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.

Property Value
dbo:abstract
  • 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. En outre, dans cette situation, deux points quelconques a et b de M peuvent être reliés par une géodésique de longueur d(a, b). En particulier, l'application exponentielle (quelle que soit son origine) est surjective. Le théorème porte les noms de Heinz Hopf et de son étudiant (de) (1907-1979). Il admet une version plus générale dans le cadre des espaces de longueur. (fr)
  • 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. En outre, dans cette situation, deux points quelconques a et b de M peuvent être reliés par une géodésique de longueur d(a, b). En particulier, l'application exponentielle (quelle que soit son origine) est surjective. Le théorème porte les noms de Heinz Hopf et de son étudiant (de) (1907-1979). Il admet une version plus générale dans le cadre des espaces de longueur. (fr)
dbo:namedAfter
dbo:wikiPageID
  • 1101781 (xsd:integer)
dbo:wikiPageLength
  • 2908 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185115093 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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. (fr)
  • 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. (fr)
rdfs:label
  • Hopf–Rinow theorem (en)
  • Satz von Hopf-Rinow (de)
  • Stelling van Hopf-Rinow (nl)
  • Teorema di Hopf-Rinow (it)
  • Théorème de Hopf-Rinow (fr)
  • Теорема Хопфа — Рінова (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of