The Stiefel manifold of Orthonormal -frames in is the collection of vectors (, ..., ) where is in for all , and the -tuple (, ..., ) is Orthonormal. This is a submanifold of , having Dimension .

Sometimes the ``orthonormal'' condition is dropped in favor of the mildly weaker condition that the -tuple (, ..., ) is linearly independent. Usually, this does not affect the applications since Stiefel manifolds are usually considered only during Homotopy Theoretic considerations. With respect to Homotopy Theory, the two definitions are more or less equivalent since Gram-Schmidt Orthonormalization gives rise to a smooth deformation retraction of the second type of Stiefel manifold onto the first.

© 1996-9

1999-05-26