После опубликования работ Римана его идеи привлекли внимание ряда математиков, которые развивали дальше аналитический аппарат Р. г. и устанавливали в ней новые теоремы геометрического содержания. Важным шагом было создание итальянскими геометрами Г. Риччи-Курбастро и Т. Леви-Чивита на рубеже 20 в. так называемого тензорного исчисления, которое оказалось наиболее подходящим аналитическим аппаратом для разработки Р. г. Решающее значение имело применение Р. г. в создании А. Эйнштейном общей теории относительности, которое было триумфом не только абстрактной геометрии, но и идей о связи геометрии и физики, выдвинутых Лобачевским и Риманом. Это привело к бурному развитию Р. г. и её разнообразных обобщений. В настоящее время Р. г. вместе с её обобщениями представляет собой обширную область геометрии, которая продолжает успешно развиваться, причём особое внимание уделяется вопросам глобального характера.
Определение риманова пространства. К строгому определению риманова пространства можно подойти следующим образом. Положение точки n-мерного многообразия определяется n координатами x1, x2,..., xn. В евклидовом n-мерном пространстве расстояние между любыми двумя точками X, Y в надлежаще выбранных координатах выражается формулой
где Dxi — разности координат точек X, Y. Соответственно в римановом пространстве в окрестности каждой точки А могут быть введены координаты x1,..., xnтак, что расстояние между точками X, Y, близкими к А, выражаются формулой
где e таково, что
, когда
X, Y приближаются к
А. Отсюда следует, что в произвольных координатах расстояние между близкими точками (
xi) и (
xi+
dxi)
, или, что то же самое, дифференциал длины дуги кривой, задаётся выражением
(здесь коэффициенты
суть функции координат), которое называется линейным элементом риманова пространства. Т. о., риманово пространство
R можно аналитически определить как
n-мерное многообразие, в котором в каждой точке задана дифференциальная квадратичная форма
(она называется также метрической формой, или просто метрикой, R и является по своему определению положительно определённой). Возможность преобразования координат обусловливает то, что одно и то же риманово пространство в разных координатах имеет разные выражения метрической формы, однако её величина (вследствие своего геометрического смысла как квадрата элемента длины дуги) при преобразовании координат от xi к
должна оставаться неизменной:
Это приводит к определённому закону преобразования коэффициентов gij как компонент дважды ковариантного тензора (см. Тензорное исчисление); он называется метрическим тензором риманова пространства.
Каждой точке А риманова пространства R сопоставляется так называемое касательное евклидово пространство EA, в которое отображается некоторая окрестность U точки А так, что относительное искажение расстояний стремится к нулю при приближении к точке А. Аналитически это сводится к введению вблизи некоторой точки A пространства EA таких координат, что в них квадрат линейного элемента
евклидова пространства
EA выражается в точке
A такой же формой
, какой выражается квадрат линейного элемента риманова пространства
ds2 в точке
А. Т. о., в пренебрежении малыми выше первого порядка окрестность точки в римановом пространстве можно заменять окрестностью точки касательного пространства.
Простейшие понятия римановой геометрии. 1) Длина дуги s кривой
(
i = 1, …,
n,
) в римановом пространстве
R определяется как интеграл
вдоль этой кривой (что соответствует как бы измерению длин «малым масштабом», как отметил ещё Риман). Если любые две точки пространства R соединимы кривой, то R становится метрическим пространством: расстояние r(Х, Y) между двумя точками определяется как точная нижняя грань длин кривых, соединяющих эти точки, и называется внутренней метрикой риманова пространства R.
2) Угол между двумя исходящими из одной точки А кривыми определяется как угол между касательными векторами к кривым в точке А.
3) Объём Vn-мерной области G риманова пространства определяется по формуле:
где
.
Геодезические. Линии, которые в достаточно малых областях являются кратчайшими из всех кривых с теми же концами, называются геодезическими, они играют роль прямых в римановом пространстве R. По определению, они являются экстремалями функционала
(см. Вариационное исчисление) и удовлетворяют уравнениям:
,
где Гijk — так называемые Кристоффеля символы, выражающиеся через компоненты метрического тензора gij и их первые производные. Через каждую точку риманова пространства в любом направлении проходит геодезическая; любые две точки А, В достаточно малой области можно соединить кратчайшей [длина её будет равна внутреннему расстоянию r(А, В) между этими точками], и притом единственной, однако единственность может нарушаться, если точки достаточно удалены друг от друга (например, полюсы сферы соединимы бесконечным множеством дуг больших кругов, являющихся кратчайшими).
Представляет интерес (для описания периодических движений в механической задаче многих тел, например) оценка числа n замкнутых геодезических пространства R; эта задача (поставленная Ж. А. Пуанкарев 1905 в связи с некоторыми вопросами небесной механики), несмотря на усилия многих математиков, ещё далека от завершения, наилучший результат: n ³ 2, если R односвязно.
Соприкасающееся пространство. Между римановым пространством R и касательным к нему евклидовым пространством в окрестности U некоторой точки А можно установить такое соответствие, при котором оба пространства будут совпадать с точностью до малых выше второго порядка. Для этого проводят из точки А геодезические во всех направлениях и каждой из них в касательном пространстве сопоставляют луч соответствующего направления, а затем устанавливают такое соответствие этих лучей и геодезических, при котором длины дуг геодезических b соответствующих им лучей равны. В достаточно малой окрестности такое соответствие будет взаимно однозначным; если ввести в касательном пространстве декартовы координаты x1,..., xn и приписать их значения соответствующим точкам окрестности U, то между линейными элементами ds риманова и dso евклидова пространств будет такая связь: