Théorème de Hopf-Rinow

Un article de Wikipédia, l'encyclopédie libre.

Le théorème de Hopf-Rinow dit que les propriétés suivantes sont équivalentes :

  • Pour tout point m, l'application exponentielle d'origine m est définie sur TmM
  • La variété (M,g) est géodésiquement complète, ie : les géodésiques sont définies sur \mathbb{R}.
  • L'espace M est complet pour la distance riemannienne.
  • Les boules fermées et bornées sont compactes.

[modifier] Lien interne