[Math] the topology on the Grassmannian $G_n(\mathbb{R}^{n+k})$

algebraic-topologygeneral-topologyvector-bundles

If the real projective space $\mathbb{P}^n=\mathbb{R}^{n+1}/(x\sim \lambda x, \lambda\in\mathbb{R})$, then how does one define a real Grassmanian $G_n(\mathbb{R}^{n+k})=\{V\subset\mathbb{R}^{n+k}\mid \dim V=n\}$ as a quotient of $\mathbb{R}^{n+k}$? I saw on Wikipedia that its topology is given by the quotient topology, without specifically referring to what quotient.

I am asking because in the definition of a tautological bundle over a Grassmannian, Wikipedia says that $G_n(\mathbb{R}^{n+k})$ is given a topology such that the map $G_n(\mathbb{R}^{n+k})\to \mathrm{End}(\mathbb{R}^{n+k})$, sending an $n$-plane $V$ to the orthogonal projection map $P_V$ onto that plane, is a homeomorphism onto its image.

https://en.wikipedia.org/wiki/Tautological_bundle#cite_note-3

As a consequence, then the set $U_V$ containing all $n$-planes $X$ such that $P_V(X)\cong X$ by a linear isomorphism is open. Is this because it is a map onto the set of automorphisms which is open from the determinant function?

Best Answer

Consider the collection $M$ of matrices of $n\times (n+k)$ of rank $n$ inside matrices of this size. There is a map $M \to G(n,n+k)$ that sends a matrix $x$ to its column span. This onto and induces a topology on $G(n,n+k)$. The reduced row echelon form gives you canonical representatives for the class of a matrix.

Related Question