In mathematics, the Stiefel manifold V k ( R n ) {\displaystyle V_{k}(\mathbb {R} ^{n})} is the set of all orthonormal k-frames in R n . {\displaystyle \mathbb {R} ^{n}.} That is, it is the set of ordered orthonormal k-tuples of vectors in R n . {\displaystyle \mathbb {R} ^{n}.} It is named after Swiss mathematician Eduard Stiefel. Likewise one can define the complex Stiefel manifold V k ( C n ) {\displaystyle V_{k}(\mathbb {C} ^{n})} of orthonormal k-frames in C n {\displaystyle \mathbb {C} ^{n}} and the quaternionic Stiefel manifold V k ( H n ) {\displaystyle V_{k}(\mathbb {H} ^{n})} of orthonormal k-frames in H n {\displaystyle \mathbb {H} ^{n}} . More generally, the construction applies to any real, complex, or quaternionic inner product space. In some contexts, a non-compact Stiefel manifold is defined as the set of all linearly independent k-frames in R n , C n , {\displaystyle \mathbb {R} ^{n},\mathbb {C} ^{n},} or H n ; {\displaystyle \mathbb {H} ^{n};} this is homotopy equivalent to the more restrictive definition, as the compact Stiefel manifold is a deformation retract of the non-compact one, by employing the Gram–Schmidt process. Statements about the non-compact form correspond to those for the compact form, replacing the orthogonal group (or unitary or symplectic group) with the general linear group.
Topology Let F {\displaystyle \mathbb {F} } stand for R , C , {\displaystyle \mathbb {R} ,\mathbb {C} ,} or H . {\displaystyle \mathbb {H} .} The Stiefel manifold V k ( F n ) {\displaystyle V_{k}(\mathbb {F} ^{n})} can be thought of as a set of n × k matrices by writing a k-frame as a matrix of k column vectors in F n . {\displaystyle \mathbb {F} ^{n}.} The orthonormality condition is expressed by A*A = I k {\displaystyle I_{k}} where A* denotes the conjugate transpose of A and I k {\displaystyle I_{k}} denotes the k × k identity matrix. We then have
V k ( F n ) = { A ∈ F n × k : A ∗ A = I k } . {\displaystyle V_{k}(\mathbb {F} ^{n})=\left\{A\in \mathbb {F} ^{n\times k}:A^{*}A=I_{k}\right\}.}
The topology on V k ( F n ) {\displaystyle V_{k}(\mathbb {F} ^{n})} is the subspace topology inherited from F n × k . {\displaystyle \mathbb {F} ^{n\times k}.} With this topology V k ( F n ) {\displaystyle V_{k}(\mathbb {F} ^{n})} is a compact manifold whose dimension is given by
… excerpt ends here. Continue reading the full article.
