Concept information
Preferred term
théorème de Hopf-Rinow
Definition
-
Soit (M, g) une variété riemannienne connexe (sans bord). Le théorème de Hopf-Rinow dit que les propriétés suivantes sont équivalentes :
- Il existe un point m dans M pour lequel l'application exponentielle d'origine m est définie sur TmM.
- Pour tout point m dans M, l'application exponentielle d'origine m est définie sur TmM.
- La variété (M, g) est géodésiquement complète, c'est-à-dire que les géodésiques sont définies sur ℝ.
- L'espace M est complet pour la distance riemannienne.
- Les parties fermées et bornées sont compactes.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Hopf-Rinow)
Broader concept
In other languages
-
English
URI
http://data.loterre.fr/ark:/67375/PSR-QFBL60DS-6
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}