Римановы метрики и геодезические

Риманова метрика измеряет длины и углы на многообразии, а геодезические — это кривые, которые локально минимизируют длину, являясь аналогами прямых линий в искривленном пространстве.

Definition

Риманова метрика приписывает каждому касательному пространству положительно определенное скалярное произведение, гладко зависящее от точки; геодезическая — это кривая, которая локально минимизирует длину, или, эквивалентно, кривая, скорость которой параллельна самой себе.

Scope

Эта тема определяет риманову метрику как гладко меняющееся скалярное произведение на касательных пространствах, а также вытекающие из этого понятия длины дуги, угла и риманова объема, и функцию расстояния, превращающую связное риманово многообразие в метрическое пространство. В ней рассматриваются геодезические как кривые, минимизирующие длину, и как решения геодезического уравнения, экспоненциальное отображение и нормальные координаты, геодезическая полнота и теорема Хопфа-Ринова, связывающая полноту с существованием минимизирующих геодезических. Включены изометрии и вариационная характеристика геодезических.

Core questions

• Как метрика превращает гладкое многообразие в метрическое пространство с четко определенным расстоянием?
• В каком смысле геодезические являются наиболее прямыми и локально кратчайшими кривыми?
• Как экспоненциальное отображение предоставляет канонические координаты вокруг точки?
• Когда геодезическая полнота гарантирует минимизирующие геодезические между любыми двумя точками (теорема Хопфа-Ринова)?

Key concepts

• Риманова метрика, длина дуги и объем
• Риманова функция расстояния и изометрии
• Геодезическое уравнение и минимизация длины
• Экспоненциальное отображение и нормальные координаты
• Геодезическая полнота и теорема Хопфа-Ринова

Clinical relevance

Геодезические моделируют движение свободных частиц и пути света в теории относительности, оптимальные пути в пространствах форм и робототехнике, а также кратчайшие маршруты на искривленных поверхностях; метрическая структура превращает многообразие в подлинный геометрический и метрический объект.

History

Риман ввел метрику в 1854 году; вариационное изучение геодезических развивалось в конце XIX — начале XX веков, а теорема Хопфа-Ринова (1931) прояснила эквивалентность метрической и геодезической полноты, завершив формирование фундаментальной картины, преподаваемой сегодня.

Key figures

• Bernhard Riemann
• Heinz Hopf
• Willi Rinow

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

Всегда ли геодезические являются кратчайшими путями?

Только локально. Геодезическая минимизирует длину между достаточно близкими точками, но глобально геодезическая между двумя удаленными точками может не быть кратчайшей — например, дуга большого круга, проходящая по длинному пути вокруг сферы.

Что гарантирует теорема Хопфа-Ринова?

На связном римановом многообразии геодезическая полнота, метрическая полнота и свойство компактности замкнутых ограниченных множеств эквивалентны, и любое из них гарантирует, что любая пара точек соединена минимизирующей геодезической.