Haar measure on the Grassmannian space

The Haar measure is the volume induced by the unique (up to scalar) $O(n)$ invariant Riemannian metric on $G(n,m)$, and any volume induced by a Riemannian metric has this property (since the metric looks flatter and flatter as you zoom in).

EDIT: Uri's comment below points out that a Riemannian metric has this property for balls in that metric and I haven't addressed whether the metric mentioned by the OP is Riemmannian. Of course, the question isn't well-defined, since the OP didn't state what norm s/he is using on complex matrices. If one uses $L^2$ norm, then presumably that's the invariant Riemmanian metric. (EDIT: From Uri's comment above, I see that it's not. On all matrices, the $L^2$ norm gives the usual flat metric, and geodesics in that metric (i.e. straight lines) don't stay in the Grassmannian.) If one uses any other norm, then presumably not. However, these norms are all comparable (since any two norms on a finite dimensional $\mathbb{C}$ vector space are comparable), so if this property holds for one, it holds for all.


Yes, this is true. The answer by Ben Webster gives the idea, but for completion let me give you a list of easy facts that combined together answer the question.

  1. The inequalities you seek are correct for any Riemannian manifold with bounds on the curvature (upper/lower bounds for corresponding sides of the inequalities), once you take the Riemannian volume and Riemannian metric. In particular, this is the case for a compact Riemannian manifolds.

  2. Our Grassmanian could be seen as a Riemannian manifold, by embedding it in $\text{End}(\mathbb{R}^n)$ as you do, and restrict the standard inner product to the tangent spaces. The obtained Riemannian structure will be $G$-invariant (for $G=\text{O}(n)$ of course).

  3. For our manifold, up to normalization, the Riemannian volume coincides with the Haar measure, as both are $G$-invariant, by "uniqueness".

  4. For a Riemannain manifold $M$ and a compact submanifold $N$ the two metrics on $N$, the restriction to $N$ of the Riemannian metric of $M$ and the Riemannian metric of $N$ associated with the induced Riemannian structure, are biLipischits (this is an easy excercise).

  5. All norms on a Euclidean space are equivalent.


Of course, we apply 5 for whatever norm you had in mind in the formulation of the question and the standard inner product on $\text{End}(\mathbb{R}^n)$ and we apply 4 with $M=\text{End}(\mathbb{R}^n)$ and $N$ being the image of the Grassmannian.