The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
4answers
1k views

Measure on real Grassmannians

OK, so I'm reading about this nice measure you can define on a (real) Grassmannian on Wikipedia. Basically, and to save you the trip through the link, consider the Haar measure $\theta$ on $O(n)$, fix ...