Let be a closed subgroup of a Lie group , and let nonzero vectors in the ambient Lie algebra tend to zero with and . For any real , choose integers with . Then . Closedness gives . Compactness of the unit sphere supplies a limit direction from every sequence approaching the identity through nonidentity subgroup elements.
Articles by others on the same topic
There are currently no matching articles.