호프-리노우 정리

호프-리노우 정리(Hopf–Rinow theorem)는 리만 다양체의 측지선 완비성에 대한 일련의 진술이다. 그것은 1931년에 그것을 출판한 하인츠 호프와 그의 제자 빌리 리노우의 이름을 따서 명명됐다. Stefan Cohn-Vossen은 호프-리노우 정리의 일부를 특정 유형의 계량 공간의 맥락으로 확장했다.

**진술**
를 매끄러운 연결 리만 다양체라 하자. 그러면, 다음 명제들은 동치이다.7loc=Section 5.7.1
# 의 닫힌 부분집합과 유계 부분집합운  콤팩트 하다;
# 이 완비 계량 공간이다.
# 이 측지 완비다. 즉, 각  지수 사상 expp는 전체 접공간 에서 정의된다.
또한, 위의 어느 하나는 주어진 두 점이  이 두 지점을 연결하는 측지선을 극소화하는 길이가 존재한다(측지선은 일반적으로 길이 함수에 대한 임계점이며 최소값일 수도 있고 아닐 수도 있다).
호프-리노우 정리에서 완비성의 첫 번째 특성화는 순전히 다양체의 위상과 다양한 집합의 경계를 다룬다. 두 번째는 변분법 (즉 길이 함수의 극소화)에서 특정 문제에 대한 극소점의 존재를 다룬다. 세 번째는 특정 연립 상미분방정식에 대한 해의 특성을 다룬다.

**변형 및 일반화**
 호프-리노우 정리는 다음과 같은 방법으로 길이 거리 공간에 일반화된다.
** 길이 거리 공간이 완비 국소 콤팩트이면 두 점을 극소화 측지선으로 연결할 수 있으며 경계가 있는 닫힌 집합은 모두 콤팩트이다.
 실제로 이러한 성질은 국소 콤팩트 길이 거리 공간에 대한 완비성을 특징으로 한다.1loc=Section 2.5.3- 이 정리는 무한 차원 다양체에는 적용되지 않는다. 분리 가능한 힐베르트 공간의 단위 구는 대척점이 길이를 최소화하는 측지선으로 결합될 수 없는 방식으로 힐베르트 다양체의 구조를 부여받을 수 있다. 최소화 여부에 관계없이 두 지점이 측지선으로 결합된다는 것이 자동적으로 참이 아니라는 것이 나중에 관찰됐다.- 이 정리는 또한 로런츠 다양체에 일반화되지 않는다. Clifton-Pohl 원환은 콤팩트하지만 완비가 아닌 예(2차원 원환에 대한 미분동형사상)를 제공한다.

**각주**

**참조**
 서적 인용|title=Metric spaces of non-positive curvature|last1=Bridson|first1=Martin R.|last2=Haefliger|first2=André|year=1999|series=Grundlehren der mathematischen Wissenschaften|volume=319|publisher=Springer-Verlag|location=Berlin|doi=10.1007/978-3-662-12494-9|isbn=3-540-64324-9|mr=1744486|zbl=0988.53001|author-link1=Martin Bridson|author-link2=André Haefliger- 서적 인용|title=Riemannian geometry|last=do Carmo|first=Manfredo Perdigão|authorlink=Manfredo do Carmo|year=1992|series=Mathematics: Theory & Applications|publisher=Birkhäuser Boston, Inc.|location=Boston, MA|others=Translated from the second Portuguese edition by Francis Flaherty|isbn=0-8176-3490-8|mr=1138207|zbl=0752.53001- 서적 인용|title=Riemannian geometry|last1=Gallot|first1=Sylvestre|last2=Hulin|first2=Dominique|year=2004|edition=Third|series=Universitext|publisher=Springer-Verlag|doi=10.1007/978-3-642-18855-8|isbn=3-540-20493-8|mr=2088027|zbl=1068.53001|last3=Lafontaine|first3=Jacques|author-link1=Sylvestre Gallot|author-link2=Dominique Hulin- 서적 인용|title=Metric structures for Riemannian and non-Riemannian spaces|last1=Gromov|first1=Misha|year=1999|edition=Based on the 1981 French original|series=Progress in Mathematics|volume=152|publisher=Birkhäuser Boston, Inc.|location=Boston, MA|others=With appendices by M. Katz, P. Pansu, and S. Semmes.|doi=10.1007/978-0-8176-4583-0|isbn=0-8176-3898-9|mr=1699320|zbl=0953.53002|title-link=Metric Structures for Riemannian and Non-Riemannian Spaces|translator-last1=Bates|translator-first1=Sean Michael|author-link1=Mikhael Gromov (mathematician)- 서적 인용|title=Riemannian geometry and geometric analysis|last1=Jost|first1=Jürgen|year=2017|edition=Seventh edition of 1995 original|series=Universitext|publisher=Springer, Cham|doi=10.1007/978-3-319-61860-9|isbn=978-3-319-61859-3|mr=3726907|zbl=1380.53001|author-link1=Jürgen Jost- 서적 인용|title=Foundations of differential geometry. Volume I|last1=Kobayashi|first1=Shoshichi|last2=Nomizu|first2=Katsumi|year=1963|publisher=John Wiley & Sons, Inc.|location=New York–London|mr=0152974|zbl=0119.37502|author-link1=Shoshichi Kobayashi|author-link2=Katsumi Nomizu|title-link=Foundations of Differential Geometry- 서적 인용|title=Fundamentals of differential geometry|last1=Lang|first1=Serge|year=1999|series=Graduate Texts in Mathematics|volume=191|publisher=Springer-Verlag|location=New York|doi=10.1007/978-1-4612-0541-8|isbn=0-387-98593-X|mr=1666820|zbl=0932.53001|author-link1=Serge Lang- 서적 인용|title=Semi-Riemannian geometry. With applications to relativity|last1=O'Neill|first1=Barrett|year=1983|series=Pure and Applied Mathematics|volume=103|publisher=Academic Press, Inc.|location=New York|doi=10.1016/s0079-8169(08)x6002-7|isbn=0-12-526740-1|mr=0719023|zbl=0531.53051|author-link1=Barrett O'Neill- 서적 인용|title=Riemannian geometry|last1=Petersen|first1=Peter|year=2016|edition=Third edition of 1998 original|series=Graduate Texts in Mathematics|volume=171|publisher=Springer, Cham|doi=10.1007/978-3-319-26654-1|isbn=978-3-319-26652-7|mr=3469435|zbl=1417.53001

**외부 링크**
 이름1=M. I.- 성=Derwent, John
분류:계량기하학