Риманово многообразие, или риманово пространство, — это (вещественное) гладкое многообразие , в котором каждое касательное пространство снабжено скалярным произведением — метрическим тензором, меняющимся от точки к точке гладким образом. Другими словами, риманово многообразие — это дифференцируемое многообразие, в котором касательное пространство в каждой точке является конечномерным евклидовым пространством.
Это позволяет определить различные геометрические понятия на римановых многообразиях, такие как углы, длины кривых, площади (или объёмы), кривизну, градиент функции и дивергенции векторных полей.
Риманова метрика — это положительно определённый симметрический тензор — метрический тензор; точнее — это гладкое ковариантное симметричное положительно определенное тензорное поле валентности .
Не стоит путать римановы многообразия с римановыми поверхностями — многообразиями, которые локально выглядят как склейки комплексных плоскостей.
Термин назван в честь немецкого математика Бернхарда Римана.
Обзор
Касательное расслоение гладкого многообразия ставит в соответствие каждой точке векторное пространство, называемое касательным, и на этом касательном пространстве можно ввести скалярное произведение. Если такой набор введённых скалярных произведений на касательном расслоении многообразия изменяется гладко от точки к точке, то с помощью таких произведений можно ввести метричность на всём многообразии. К примеру, гладкая кривая : имеет касательный вектор в касательном пространстве в любой точке , и каждый такой вектор имеет длину , где обозначает норму, индуцированную скалярным произведением на . Интеграл по этим длинам даёт длину всей кривой :
Гладкость для в гарантирует, что интеграл существует и длина кривой определена.
Во многих случаях для того чтобы перейти от линейно-алгебраической концепции к дифференциально геометрической, гладкость очень важна.
Каждое гладкое подмногообразие имеет индуцированную метрику : скалярное произведение на каждом касательном пространстве — это просто скалярное произведение на . Имеет место и обратный факт: теорема Нэша о регулярных вложениях утверждает, что любое достаточно гладкое риманово многообразие может быть реализовано как подмногообразие с индуцированной метрикой в достаточной большой размерности .
Измерение длин и углов при помощи метрики
На римановом многообразии длина сегмента кривой, заданной параметрически (как вектор-функция параметра , меняющегося от до ), равна:
Угол между двумя векторами, и (в искривлённом пространстве векторы существуют в касательном пространстве в точке многообразия), определяется выражением:
Обобщения
Литература