Skip to main content
Source Link
Amr
  • 1.1k
  • 6
  • 14

Fact: Let $G$ be a compact connected Lie group, then the exponential map is surjective.

The proof is to add an "extra" structure of a Bi-invariant Riemannian metric on $G$, then use compactness and Hopf-Rinow to deduce completeness. Finally deduce surjectivity of the exponential map from completeness.

Post Made Community Wiki by Amr