Гиперпространство - [19]

Метрический тензор Римана: новая теорема Пифагора

Риману понадобилось несколько месяцев, чтобы оправиться от последствий нервного срыва. Его доклад, наконец прочитанный в 1854 г., приняли с воодушевлением. В ретроспективе это был, бесспорно, один из наиболее выдающихся публичных докладов в истории математики. По Европе быстро распространилось известие, что Риман решительно сбросил оковы евклидовой геометрии, которой математики подчинялись на протяжении двух тысячелетий. О докладе вскоре узнали во всех центрах образования Европы, вклад Римана в математику приветствовали повсюду в научных кругах. Доклад Римана перевели на несколько языков, он произвел фурор в математике. К евклидовой геометрии раз и навсегда перестали относиться так, как прежде.

Суть выдающегося труда Римана, как и суть многих величайших работ в области физики и математики, уловить довольно просто. Риман начал со знаменитой теоремы Пифагора, одного из важнейших достижений древнегреческих математиков. Эта теорема устанавливает соотношения между длинами сторон прямоугольного треугольника. Согласно ей, сумма квадратов коротких сторон, катетов, равна квадрату длинной стороны, гипотенузы; если а и b — длины катетов, ac — длина гипотенузы, тогда а² + Ь² = с². (Естественно, теорема Пифагора лежит в основе всей архитектуры; все сооружения на планете построены с ее учетом.)

Эту теорему легко сформулировать для трехмерного пространства. Она гласит, что сумма квадратов трех смежных сторон куба равна квадрату его диагонали; или если а, Ь и с — стороны куба, ad — его диагональ, тогда а² + b² + с² = d² (рис. 2.1).

Рис. 2.1. Длину диагонали куба дает трехмерный вариант теоремы Пифагора: a² + Ь² + c² = d². Простого добавления новых переменных в теорему Пифагора достаточно, чтобы записать формулу для диагонали гиперкуба в N-мерном пространстве. Таким образом, несмотря на сложность визуализации высших измерений, представить N-мерность математически довольно просто.

Теперь так же просто можно сформулировать ту же теорему для N-мерного пространства. Представим себе N-мерный куб. Если а, Ь, с… — длины сторон «гиперкуба», а z — длина его диагонали, тогда а² + Ь² + с² + d² +… = z². Примечательный момент: хотя наш мозг не в состоянии представить N-мерный куб, формулу для его сторон и диагонали записать несложно. (Это типичная особенность работы с гиперпространством. С математической, точки зрения манипулировать N-мерным пространством не труднее, чем трехмерным пространством. Поразительно, как на простом листе бумаги можно математически описать свойства многомерных объектов, которые не в силах вообразить наш мозг.)

Затем Риман записал эти уравнения для пространств с произвольным количеством измерений. Эти пространства могут быть либо плоскими, либо искривленными. К плоским применяются обычные аксиомы Евклида: кратчайшее расстояние между двумя точками — прямая, параллельные линии никогда не пересекаются, сумма внутренних углов треугольника составляет 180°. Вместе с тем Риман обнаружил, что поверхности могут иметь «положительную кривизну», как поверхность сферы, где параллельные всегда пересекаются и сумма углов треугольника может быть больше 180°. Бывают и поверхности с «отрицательной кривизной»: например, седлообразные или воронкообразные. На этих поверхностях сумма углов треугольника меньше 180°. Если взять линию и точку вне этой линии, то через такую точку можно провести бесконечное множество линий, параллельных данной (рис. 2.2).

Рис. 2.2. Плоскость имеет нулевую кривизну. Согласно евклидовой геометрии сумма углов треугольника равна 180°, параллельные не пересекаются. В неевклидовой геометрии сфера имеет положительную кривизну. Сумма углов треугольника превышает 180°, параллельные линии всегда пересекаются. (К параллельным линиям относятся дуги, центры которых совпадают с центром сферы. Широтные линии в эту категорию не входят.) У седлообразной поверхности отрицательная кривизна. Сумма углов треугольника меньше 180°. Через конкретную точку можно провести бесконечное множество линий, параллельных данной.

Целью Римана было ввести в математику новый элемент, позволяющий описывать все поверхности независимо от их сложности. Как и следовало ожидать, эта цель побудила его обратиться к фарадеевой концепции поля.

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

К примеру, для обычной двумерной поверхности Риман вводил набор из трех параметров для каждой точки, полностью описывающих искривление этой поверхности. Риман обнаружил, что в четырех пространственных измерениях для описания свойств каждой точки требуется набор из десяти параметров. Каким бы «скомканным» или искривленным ни было пространство, этих десяти параметров для каждой точки оказывалось достаточно, чтобы зашифровать всю информацию о данном пространстве. Обозначим эти десять параметров как