Метрический тензор Римана: новая теорема Пифагора
Риману понадобилось несколько месяцев, чтобы оправиться от последствий нервного срыва. Его доклад, наконец прочитанный в 1854 г., приняли с воодушевлением. В ретроспективе это был, бесспорно, один из наиболее выдающихся публичных докладов в истории математики. По Европе быстро распространилось известие, что Риман решительно сбросил оковы евклидовой геометрии, которой математики подчинялись на протяжении двух тысячелетий. О докладе вскоре узнали во всех центрах образования Европы, вклад Римана в математику приветствовали повсюду в научных кругах. Доклад Римана перевели на несколько языков, он произвёл фурор в математике. К евклидовой геометрии раз и навсегда перестали относиться так, как прежде.
Суть выдающегося труда Римана, как и суть многих величайших работ в области физики и математики, уловить довольно просто. Риман начал со знаменитой теоремы Пифагора, одного из важнейших достижений древнегреческих математиков. Эта теорема устанавливает соотношения между длинами сторон прямоугольного треугольника. Согласно ей, сумма квадратов коротких сторон, катетов, равна квадрату длинной стороны, гипотенузы; если a и b — длины катетов, а с — длина гипотенузы, тогда а? + b? = с?. (Естественно, теорема Пифагора лежит в основе всей архитектуры; все сооружения на планете построены с её учётом.)
Эту теорему легко сформулировать для трёхмерного пространства. Она гласит, что сумма квадратов трёх смежных сторон куба равна квадрату его диагонали; или если а, b и с — стороны куба, а d — его диагональ, тогда a? + b? + c? = d? (рис. 2.1).

Теперь так же просто можно сформулировать ту же теорему для N-мерного пространства. Представим себе N-мерный куб. Если a, b, c… — длины сторон «гиперкуба», а z — длина его диагонали, тогда a? + b? + c? + d? +… = z?. Примечательный момент: хотя наш мозг не в состоянии представить N-мерный куб, формулу для его сторон и диагонали записать несложно. (Это типичная особенность работы с гиперпространством. С математической точки зрения манипулировать N-мерным пространством не труднее, чем трёхмерным пространством. Поразительно, как на простом листе бумаги можно математически описать свойства многомерных объектов, которые не в силах вообразить наш мозг.)
Затем Риман записал эти уравнения для пространств с произвольным количеством измерений. Эти пространства могут быть либо плоскими, либо искривлёнными. К плоским применяются обычные аксиомы Евклида: кратчайшее расстояние между двумя точками — прямая, параллельные линии никогда не пересекаются, сумма внутренних углов треугольника составляет 180?. Вместе с тем Риман обнаружил, что поверхности могут иметь «положительную кривизну», как поверхность сферы, где параллельные всегда пересекаются и сумма углов треугольника может быть больше 180?. Бывают и поверхности с «отрицательной кривизной»: например, седлообразные или воронкообразные. На этих поверхностях сумма углов треугольника меньше 180?. Если взять линию и точку вне этой линии, то через такую точку можно провести бесконечное множество линий, параллельных данной (рис. 2.2).

Целью Римана было ввести в математику новый элемент, позволяющий описывать все поверхности независимо от их сложности. Как и следовало ожидать, эта цель побудила его обратиться к фарадеевой концепции поля.
Как мы помним, поле Фарадея представляло собой подобие крестьянского, занимающего двумерный участок пространства. Фарадеево поле занимает часть трёхмерного пространства; любой точке этого пространства мы присваиваем ряд параметров, описывающих магнитное или электрическое взаимодействие в этой точке. Идея Римана заключалась в том, чтобы присвоить каждой точке пространства ряд параметров, которые описывали бы степень его деформации или кривизны.
К примеру, для обычной двумерной поверхности Риман вводил набор из трёх параметров для каждой точки, полностью описывающих искривление этой поверхности. Риман обнаружил, что в четырёх пространственных измерениях для описания свойств каждой точки требуется набор из десяти параметров. Каким бы «скомканным» или искривлённым ни было пространство, этих десяти параметров для каждой точки оказывалось достаточно, чтобы зашифровать всю информацию о данном пространстве. Обозначим эти десять параметров как g11, g12, g13, и т. д. (при анализе четырёхмерного пространства нижний индекс меняется от единицы до четырёх). В этом случае риманов набор из десяти параметров можно симметрично расположить, как показано на рис. 2.3{12}. (Несмотря на то что компонентов всего 16, g12 = g21, g13 = g31 и т. д., т. е. в действительности независимых компонентов только десять.) В настоящее время этот набор параметров называется римановым метрическим тензором. Грубо говоря, чем больше значение метрического тензора, тем сильнее скомкан лист. Как бы ни был смят лист бумаги, метрический тензор даёт нам простое средство измерения его кривизны в любой точке. Если же мы полностью расправим скомканный лист, сделаем его плоским, то снова вернёмся к теореме Пифагора.

Метрический тензор позволил Риману построить эффективный аппарат для описания пространств с любым количеством измерений и произвольной кривизной. К своему изумлению, Риман обнаружил, что все эти пространства чётко определены и логически последовательны. Ранее считалось, что при исследовании запретного мира высших измерений непреодолимые противоречия неизбежны. Но, как ни странно, Риман не заметил ни одного. Напротив, переход к N-мерным пространствам оказался почти пустяковым делом. Метрический тензор приобрёл сходство с шахматной доской размером N?N клеток. Это обстоятельство приобретёт глубокий физический смысл в следующих главах, когда мы перейдём к объединению всех сил.
(Как мы убедимся, секрет объединения кроется в расширении метрического тензора Римана до N-мерного пространства с последующим его нарезанием на прямоугольные части. Каждый прямоугольник соответствует одному взаимодействию. В этом случае можно описывать различные силы природы, размещая их в метрическом тензоре, как элементы в головоломке. Таково математическое выражение принципа, согласно которому многомерное пространство объединяет законы природы так, что для их объединения «хватает места» в N-мерном пространстве. Точнее, для объединения сил природы «достаточно места» в метрическом тензоре Римана.)
Риман предсказал ещё одно направление развития физики: он первым заговорил о многосвязных пространствах, или «червоточинах». Для наглядного представления этой концепции возьмите два листа бумаги, положите один на другой. Сделайте ножницами короткий разрез на каждом листе. Потом склейте листы друг с другом вдоль разрезов (рис. 2.4). (Топологически получается то же самое, что и на рис. 1.1, только горловина «червоточины» имеет нулевую длину.)
Жучок, живущий на верхнем листе, может когда-нибудь случайно заползти в разрез и очутиться на нижнем листе. И озадачиться, так как всё вокруг изменится. После многочисленных экспериментов жучок наверняка поймёт, что можно вернуться в привычный мир, если проползти через разрез в обратном направлении. Стоит только сделать это — и мир станет обычным, но любые попытки пройти через разрез в надежде сократить путь чреваты проблемами.

Разрез Римана — пример «червоточины» (с нулевой длиной), соединяющей два пространства. Римановы разрезы с успехом применил математик Льюис Кэрролл в книге «Алиса в Зазеркалье». Зеркало — это и есть риманов разрез, соединяющий Англию и Страну чудес. Сегодня римановы разрезы сохранились в двух видах. Во-первых, о них упоминают в учебных курсах математики всего мира применительно к конформному отображению или теории электростатики. Во-вторых, римановы разрезы фигурируют в сериале «Сумеречная зона» (следует отметить, что сам Риман никогда не рассматривал эти разрезы как средство перемещения между вселенными).
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОК