Математическая энциклопедия - риманова геометрия

теория риманова пространства. Р и м а н о в ы м п р о с т р а н с т в о м наз. n-мерное связное дифференцируемое многообразие М п, на к-ром задано дифференцируемое поле ковариантного, симметрического и положительно определенного тензора gранга 2. Тензор gназ. м е т р и ч ес к и м т е н з о р о м. Р. г. есть многомерное обобщение внутренней геометрии двухмерных поверхностей в эвклидовом пространстве Е ³. Метрика риманова пространства с точностью до первого порядка малости, по сравнению с размерами рассматриваемой области, совпадает с евклидовой метрикой. Отличие этих метрик оценивается (локально) римановой кривизной многомерным обобщением понятия гауссовой кривизны поверхности в Е ³.

В основании Р. г. лежат три идеи. Первая идея осознание факта существования неевклидовой геометрии геометрии Н. И. Лобачевского. Вторая идея понятие внутренней геометрии поверхностей, созданной К. Гауссом (С. Gauss). Третья идея понятие n-мерного пространства, разработанное в 1-й пол. 19 в. Б. Риман (В. Riemann) соединил и обобщил эти идеи в лекции "О гипотезах, лежащих в основании геометрии". Понятия Р. г. сыграли важную роль в создании А. Эйнштейном (A. Einstein) общей теории относительности, дальнейшее ее развитие связано с созданием аппарата тензорного исчисления. Р. г. и ее многочисленные обобщения успешно развиваются, особенно в той ее части, к-рая наз. римановой геометрией в целом, и находят обширные и глубокие механические и физич. применения.

Основные понятия Р. г. следующие.

С к а л я р н о е п р о и з в е д е н и е. В каждом касательном пространстве , тензор gопределяет скалярное (внутреннее) произведение по формуле

Верно и обратное: если для любого в определено скалярное произведение, дифференцируемо зависящее от р, то оно определяет тензорное поле gсуказанными выше свойствами. Степени гладкости М ⁿ и gварьируются в зависимости от поставленной задачи. В большинстве случаев достаточно потребовать, чтобы М ⁿ было трижды непрерывно дифференцируемо, а поле тензора g - дважды непрерывно дифференцируемо (далее необходимая степень гладкости указываться не будет). В локальных координатах { х ⁱ}слокальным базисом , компоненты тензора gимеют вид

так что

где

Р и м а н о в о п р о с т р а н с т в о к а к м е т р и ч е с к о е п р о с т р а н с т в о. Д л и н а lгладкой кривой определяется формулой

где касательный вектор к c(t). Длина кусочно гладкой кривой равна сумме длин ее гладких звеньев. Если х ⁱ = х ⁱ(t)уравнения c(t)в локальных координатах, то

Имея в виду эту формулу, метрику на М ⁿ записывают в традиционной форме

и ds наз. элементом длины, а функции gij(x) - коэффициентами метрической (основной, первой квадратичной) формы. У г о л между двумя кривыми в точке их пересечения определяется как угол между касательными к ним. Объём области , принадлежащей координатной окрестности, определяется формулой

где . Объем произвольной области равен сумме объемов ее частей, причем каждая из частей лежит в нек-рой координатной окрестности.

Р а с с т о я н и е r( р, q )между точками определяется как точная нижняя грань длин всех кусочно гладких кривых, соединяющих с . Аналогично определяется метрика в произвольной связной области U. Два римановых пространства и наз. и з о м е т р и ч н ы м и, если существует отображение , при к-ром

или, что то же, , где с - произвольная кривая в . Если j изометрия, то для любой точки существует координатная окрестность и координатная окрестность такие, что . Изометрич. отображение М ⁿ на себя наз. д в и ж е н и е м.

Кривая с концами в точках и наз. к р а т ч а й ш е й, если ее длина равна . Стационарная кривая функционала длины lназ. г е о д е з и ч е с к о й линией. Каждая кратчайшая в М ⁿ есть геодезическая, и каждая достаточно малая дуга геодезической есть кратчайшая. Область наз. г е о д е з и ч е с к и в ы п у к л о й, если кратчайшие, определенные по метрике , есть геодезические М ⁿ. Если xⁱ = xⁱ(t), i=l, ..., п,- уравнения геодезической в локальной системе координат { хi}, то функции xⁱ(t) удовлетворяют системе уравнений, к-рая в случае, когда t - параметр, пропорциональный длине дуги, имеет вид

где

символы Кристоффеля, g^ab - элементы матрицы, обратной к

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

Р и м а н о в о п р о с т р а н с т в о к а к м н о г оо б р а з и е с о с в я з н о с т ь ю. Ковариантная производная наз. с и м м е т р и ч е с к о й и с о вм е с т н о й с м е т р и к о й gпространства М ^п, если выполняются условия симметричности

и совместности

где X, Y, Z - дифференцируемые векторные поля, а [X, Y] - их коммутатор. Этими условиями производная определяется однозначно через поле метрич. тензора g. В локальных координатах { х ⁱ}компоненты связности имеют вид и совпадают с символом Кристоффеля 1-го рода, а

Аналогичной формулой определяется ковариантная производная любого тензора.

Векторное поле Y(t)вдоль кривой c(t)наз. п а р а лл е л ь н ы м, если . Аналитически параллельное поле Y(t)определяется решением системы

где xⁱ = xⁱ(t) уравнения кривой c(t). Решения этой системы при различных начальных условиях дают отображение в ; оно оказывается изометричным и наз. п а р а л л е л ь н ы м п е р е н ес е н и е м Л е в и Ч и в и т а. Результат перенесения зависит, вообще говоря, не только от конечных точек с(0) и с(1), но и от самого пути c(t). Кривая, для к-рой , является геодезической, и это свойство геодезической можно взять за ее определение.

П о д м н о г о о б р а з и я р и м а н о в а п р о с тр а н с т в а. Если , дифференцируемое подмногообразие риманова пространства М ^п, то в каждом касательном пространстве к индуцируется скалярное произведение и тем самым на возникает структура риманова пространства с метрич. тензором а, компоненты к-рого вычисляются по формулам

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

где Xи Y векторные поля на , а произвольное поле единичных нормалей, содержащее vp. Для любой формы определяются нормальные кривизны, главные направления и кривизны, средняя и полная кривизны и т. д. и выводятся уравнения Гаусса Ко-дацци Риччи, связывающие коэффициенты первой и вторых квадратичных форм. Свойствами вторых форм характеризуются важные классы подмногообразий, напр. минимальные, вполне геодезические, выпуклые и т. п. Для (гладкая кривая) строится теория, аналогичная теории кривых в Е ^п, определяются первая, вторая и т. д. кривизны и выводятся уравнения, аналогичные формулам Френе. Первая кривизна кривой k1. обычно наз. геодезической кривизной и вычисляется по формуле

если t длина дуги; в локальных координатах

где

a xⁱ=xⁱ(t) - уравнения c(t).

Большой круг задач Р. г. связан с изометрическими погружениями одного риманова пространства в другое и изучением свойств этих погружений. Эти задачи трудны и исследованы мало (более подробно в двумерном случае).

Э к с п о н е н ц и а л ь н о е о т о б р а ж е н и е определяется условием: expqX=r, где r - конец дуги геодезической с началом в q, с направлением и длины . Если в окрестности точки рввести систему координат, сопоставляя точке рдекартовы координаты точки , то окажется

это т. н. (римановы) н о р м а л ь н ы е координаты.

К р и в и з н а. Если в окрестности точки qввести нормальные координаты, то компоненты метрич. тензора записываются в виде

где при . Отсюда выводится важное свойство римановой метрики: для любой точки экспоненциальное отображение обладает свойством

где при . Добиться более высокого по порядку малости совпадения метрик М ^п и ( ТМ ⁿ)q за счет удачного выбора отображения j в общем случае невозможно. Поэтому коэффициенты характеризуют отличие метрики М ⁿ от евклидовой метрики ( ТМ ⁿ)q. Эти коэффициенты являются компонентами т. н. т е н з о р а к р и в и з н ы, или т е н з о р а Р и м а н а К р и с т о ф ф е л я (в точке q). В локальных координатах { х ⁱ}они выражаются через коэффициенты метрич. тензора и их первые и вторые производные по формуле

С тензором кривизны связан целый ряд других понятий, также (с разных сторон) характеризующих меру отличия метрики М ⁿ от евклидовой. Так, через тензор кривизны определяются т е н з о р ы Р и ч ч и

и Э й н ш т е й н а

где

т. н. с к а л я р н а я к р и в и з н а М ⁿ.

Трилинейное отображение, сопоставляющее трем векторным полям X, Y, Z поле

наз. п р е о б р а з о в а н и е м кривизны. Его свойства:

1) ;

2) (тождество Риччи);

3) ;