Риманово многообразие

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

Это позволяет определить различные геометрические понятия на римановых многообразиях, такие как углы, длины кривых, площади (или объёмы), кривизну, градиент функции и дивергенции векторных полей.

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

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

Термин назван в честь немецкого математика Бернхарда Римана.

Обзор

Касательное расслоение гладкого многообразия ставит в соответствие каждой точке векторное пространство, называемое касательным, и на этом касательном пространстве можно ввести скалярное произведение. Если такой набор введённых скалярных произведений на касательном расслоении многообразия изменяется гладко от точки к точке, то с помощью таких произведений можно ввести метричность на всём многообразии. К примеру, гладкая кривая : имеет касательный вектор в касательном пространстве в любой точке , и каждый такой вектор имеет длину , где обозначает норму, индуцированную скалярным произведением на . Интеграл по этим длинам даёт длину всей кривой :

Гладкость для в гарантирует, что интеграл существует и длина кривой определена.

Во многих случаях для того чтобы перейти от линейно-алгебраической концепции к дифференциально геометрической, гладкость очень важна.

Каждое гладкое подмногообразие имеет индуцированную метрику : скалярное произведение на каждом касательном пространстве — это просто скалярное произведение на . Имеет место и обратный факт: теорема Нэша о регулярных вложениях утверждает, что любое достаточно гладкое риманово многообразие может быть реализовано как подмногообразие с индуцированной метрикой в достаточной большой размерности .

Измерение длин и углов при помощи метрики

На римановом многообразии длина сегмента кривой, заданной параметрически (как вектор-функция параметра , меняющегося от до ), равна:

Угол между двумя векторами, и (в искривлённом пространстве векторы существуют в касательном пространстве в точке многообразия), определяется выражением:

Обобщения

Литература