Теорема Гопфа — Рінова стверджує, що для (лінійно зв'язного) (ріманового многовиду) наступні твердження еквівалентні:
- — є повним метричним простором;
- Для деякої точки (експоненційне відображення) визначено для всіх векторів у (де — (дотичний простір) до в точці ); Простори з такими властивостями називаються геодезично повними;
- Кожна множина, обмежена і замкнута в , є (компактною).
Наслідки
- Будь-які дві точки p і q в лінійно зв'язному повному рімановому многовиді можна з'єднати (геодезичною лінією) довжина якої рівна відстані між p і q;
- Будь-яка геодезична в лінійно зв'язному повному рімановому многовиді є необмеженою, тобто визначена для всіх (дійсних чисел).
Приклади
- (Сфера)
, евклідовий простір
і (гіперболічний простір)
є геодезично повними;
- Всі компактні зв'язані ріманові многовиди є геодезично повними;
- Метричний простір
з метрикою інкукованою звичайним скалярним добутком не є геодезично повним. Зокрема точки
і
не зв'язані жодною геодезичною лінією в
.
Узагальнення
- Теорема Гопфа — Рінова вірна для просторів з (внутрішньою метрикою), не обов'язково рімановою (наприклад, (фінслерових)): якщо
— (локально компактний) (повний) (метричний простір) з внутрішньою метрикою, то будь-які дві точки простору
можна з'єднати (найкоротшою) лінією.
- Теорема Гопфа — Рінова не вірна в (нескінченновимірних просторах) зокрема дві точки скінченновимірного повного Гільбертового многовиду можуть не бути сполученими жодною геодезичною лінією . Твердження теореми також неправильне для (псевдоріманових многовидів) зокрема многовидів Лоренца .
Примітки
- Atkin, C. J. (1975), The Hopf-Rinow theorem is false in infinite dimensions (PDF), The Bulletin of the London Mathematical Society, 7 (3): 261—266, (doi):10.1112 / blms / 7.3.261, (MR) 0400283
{{}}
: Перевірте значення|doi=
(). - O'Neill, Barrett (+1983), , Pure and Applied Mathematics, т. 103, Academic Press, с. 193, (ISBN) , архів оригіналу за 14 травня 2021, процитовано 24 жовтня 2018.
Література
- Громол Д., Клингенберг В., Мейер В., Риманова геометрия в целом, пер. с нем., М., 1971;
- Кон-Фоссен, Некоторые вопросы дифференциальной геометрии в целом, М., 1959.
- Jost, J., Riemannian Geometry and Geometric Analysis. Springer-Verlag, Berlin 2002, .
- Manfredo Perdigao do Carmo: Riemannian Geometry. Birkhauser, Boston 1992, .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет