Теорема Хопфа — Рінова
Теорема Хопфа — Рінова стверджує, що для лінійно зв'язного ріманового многовиду наступні твердження еквівалентні:
- — є повним метричним простором;
- Для деякої точки експоненційне відображення визначено для всіх векторів у (де — дотичний простір до в точці ); Простори з такими властивостями називаються геодезично повними;
- Кожна множина, обмежена і замкнута в , є компактною.
Наслідки
- Будь-які дві точки p і q в лінійно зв'язному повному рімановому многовиді можна з'єднати геодезичною лінією довжина якої рівна відстані між p і q;
- Будь-яка геодезична в лінійно зв'язному повному рімановому многовиді є необмеженою, тобто визначена для всіх дійсних чисел.
Приклади
- Сфера , евклідовий простір і гіперболічний простір є геодезично повними;
- Всі компактні зв'язані ріманові многовиди є геодезично повними;
- Метричний простір з метрикою інкукованою звичайним скалярним добутком не є геодезично повним. Зокрема точки і не зв'язані жодною геодезичною лінією в .
Узагальнення
- Теорема Хопфа — Рінова вірна для просторів з внутрішньою метрикою, не обов'язково рімановою (наприклад, фінслерових): якщо — локально компактний повний метричний простір з внутрішньою метрикою, то будь-які дві точки простору можна з'єднати найкоротшою лінією.
- Теорема Хопфа — Рінова не вірна в нескінченновимірних просторах зокрема дві точки скінченновимірного повного Гільбертового многовиду можуть не бути сполученими жодною геодезичною лінією [1]. Твердження теореми також неправильне для псевдоріманових многовидів зокрема многовидів Лоренца [2].
Примітки
- Atkin, C. J. (1975). The Hopf-Rinow theorem is false in infinite dimensions. The Bulletin of the London Mathematical Society 7 (3): 261–266. MR 0400283. doi:10.1112 / blms / 7.3.261..
- O'Neill, Barrett (+1983). Semi-Riemannian Geometry With Applications to Relativity. Pure and Applied Mathematics 103. Academic Press. с. 193. ISBN 9780080570570..
Література
- Громол Д., Клингенберг В., Мейер В., Риманова геометрия в целом, пер. с нем., М., 1971;
- Кон-Фоссен, Некоторые вопросы дифференциальной геометрии в целом, М., 1959.
- Jost, J., Riemannian Geometry and Geometric Analysis. Springer-Verlag, Berlin 2002, ISBN 3-540-42627-2.
- Manfredo Perdigao do Carmo: Riemannian Geometry. Birkhauser, Boston 1992, ISBN 0-8176-3490-8.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.