Гиперпространство - Сапцина Ульяна Валерьевна. Страница 14
Целью Римана было ввести в математику новый элемент, позволяющий описывать все поверхности независимо от их сложности. Как и следовало ожидать, эта цель побудила его обратиться к фарадеевой концепции поля.
Как мы помним, поле Фарадея представляло собой подобие крестьянского, занимающего двумерный участок пространства. Фарадеево поле занимает часть трехмерного пространства; любой точке этого пространства мы присваиваем ряд параметров, описывающих магнитное или электрическое взаимодействие в этой точке. Идея Римана заключалась в том, чтобы присвоить каждой точке пространства ряд параметров, которые описывали бы степень его деформации или кривизны.
К примеру, для обычной двумерной поверхности Риман вводил набор из трех параметров для каждой точки, полностью описывающих искривление этой поверхности. Риман обнаружил, что в четырех пространственных измерениях для описания свойств каждой точки требуется набор из десяти параметров. Каким бы «скомканным» или искривленным ни было пространство, этих десяти параметров для каждой точки оказывалось достаточно, чтобы зашифровать всю информацию о данном пространстве. Обозначим эти десять параметров как g11, g12, g13, и т. д. (при анализе четырехмерного пространства нижний индекс меняется от единицы до четырех). В этом случае риманов набор из десяти параметров можно симметрично расположить, как показано на рис. 2.3 [15]. (Несмотря на то что компонентов всего 16, g12 = g21, g13 = g31 и т. д., т. e. в действительности независимых компонентов только десять.) В настоящее время этот набор параметров называется римановым метрическим тензором. Грубо говоря, чем больше значение метрического тензора, тем сильнее скомкан лист. Как бы ни был смят лист бумаги, метрический тензор дает нам простое средство измерения его кривизны в любой точке. Если же мы полностью расправим скомканный лист, сделаем его плоским, то снова вернемся к теореме Пифагора.
Рис. 2.3. Метрический тензор Римана содержит всю информацию, необходимую для математического описания изогнутого N-мерного пространства. Для каждой точки четырехмерного пространства требуется метрический тензор с 16 параметрами. Эти числа можно расположить в виде квадратной матрицы (из этих параметров шесть на самом деле избыточны, следовательно, в метрический тензор входит десять независимых параметров).
Метрический тензор позволил Риману построить эффективный аппарат для описания пространств с любым количеством измерений и произвольной кривизной. К своему изумлению, Риман обнаружил, что все эти пространства четко определены и логически последовательны. Ранее считалось, что при исследовании запретного мира высших измерений непреодолимые противоречия неизбежны. Но, как ни странно, Риман не заметил ни одного. Напротив, переход к N-мерным пространствам оказался почти пустяковым делом. Метрический тензор приобрел сходство с шахматной доской размером NxN клеток. Это обстоятельство приобретет глубокий физический смысл в следующих главах, когда мы перейдем к объединению всех сил.
(Как мы убедимся, секрет объединения кроется в расширении метрического тензора Римана до N-мерного пространства с последующим его нарезанием на прямоугольные части. Каждый прямоугольник соответствует одному взаимодействию. В этом случае можно описывать различные силы природы, размещая их в метрическом тензоре, как элементы в головоломке. Таково математическое выражение принципа, согласно которому многомерное пространство объединяет законы природы так, что для их объединения «хватает места» в N-мерном пространстве. Точнее, для объединения сил природы «достаточно места» в метрическом тензоре Римана.)
Риман предсказал еще одно направление развития физики: он первым заговорил о многосвязных пространствах, или «червоточинах». Для наглядного представления этой концепции возьмите два листа бумаги, положите один на другой. Сделайте ножницами короткий разрез на каждом листе. Потом склейте листы друг с другом вдоль разрезов (рис. 2.4). (Топологически получается то же самое, что и на рис. 1.1, только горловина «червоточины» имеет нулевую длину.)
Рис. 2.4. Разрез Римана и два листа, соединенных друг с другом по одной линии. Если обойти разрез, мы останемся в пределах одного и того же пространства. Если пройти в разрез, мы перейдем с одного листа на другой. Таковы многосвязные пространства.
Жучок, живущий на верхнем листе, может когда-нибудь случайно заползти в разрез и очутиться на нижнем листе. И озадачиться, так как все вокруг изменится. После многочисленных экспериментов жучок наверняка поймет, что можно вернуться в привычный мир, если проползти через разрез в обратном направлении. Стоит только сделать это — и мир станет обычным, но любые попытки пройти через разрез в надежде сократить путь чреваты проблемами.
Разрез Римана — пример «червоточины» (с нулевой длиной), соединяющей два пространства. Римановы разрезы с успехом применил математик Льюис Кэрролл в книге «Алиса в Зазеркалье». Зеркало — это и есть риманов разрез, соединяющий Англию и Страну чудес. Сегодня римановы разрезы сохранились в двух видах. Во-первых, о них упоминают в учебных курсах математики всего мира применительно к конформному отображению или теории электростатики.
Во-вторых, римановы разрезы фигурируют в сериале «Сумеречная зона» (следует отметить, что сам Риман никогда не рассматривал эти разрезы как средство перемещения между вселенными).
Наследие Римана
Риман упорно продолжал исследования в области физики. В 1858 г. он даже объявил, что наконец сформулировал единое описание для света и электричества. Он писал: «Я полностью убежден, что моя теория верна и что через несколько лет ее признают таковой» [16]. Несмотря на то что его метрический тензор стал эффективным средством описания любого изогнутого пространства в любом измерении, Риман не знал, каким именно уравнениям подчиняется этот метрический тензор; иначе говоря, он не знал, в результате чего лист стал скомканным.
К сожалению, стараниям Римана решить эту задачу неуклонно препятствовала мучительная бедность. Его успехи не приносили денег. В 1857 г. Риман перенес еще один нервный срыв. По прошествии многих лет его наконец назначили в Гёттингене на завидный пост, который ранее занимал Гаусс, но было уже слишком поздно. Жизнь в нужде подорвала здоровье Римана, и, подобно многим выдающимся математикам в истории человечества, он преждевременно скончался от истощения в возрасте 39 лет, не успев закончить свою геометрическую теорию гравитации, электричества и магнетизма.
Итак, Риман не просто заложил основы математики гиперпространства. Оглядываясь назад, мы видим, что Риман предвидел некоторые важные проблемы современной физики, а именно:
1. Он воспользовался многомерным пространством, чтобы упростить законы природы; т. е. для него электричество, магнетизм и гравитация были просто следствиями, вызванными деформацией, или искривлением гиперпространства.
2. Он предвидел появление концепции «червоточин». Римановы разрезы — простейшие примеры многосвязных пространств.
3. Он отображал гравитацию как поле. Поскольку метрический тензор описывает силу гравитации (посредством кривизны) в каждой точке пространства, то применительно к гравитации он представляет собой именно концепцию фарадеева поля.
Риман не сумел завершить свой труд, посвященный силовым полям, по той причине, что ему недоставало уравнений поля, которым подчиняются электричество, магнетизм и гравитация. Иными словами, он не знал, как именно должна быть скомкана Вселенная, чтобы создать силу гравитации. Он пытался сформулировать уравнения поля для электричества и магнетизма, но умер раньше, чем справился с этой задачей. К моменту смерти он так и не узнал способа вычислить степень искривления, необходимую для описания этих взаимодействий. Решающие открытия в этой сфере остались Максвеллу и Эйнштейну.
15
А точнее, в условиях N измерений риманов метрический тензор g?? представляет собой матрицу NxN, определяющую расстояние между двумя точками, так что бесконечно малое расстояние между двумя точками дается выражением ds2 = ?dx?g??dx?. В ограниченном плоском пространстве риманов метрический тензор становится диагональным, т. e. g?? = ???, в итоге все формулы сводятся к теореме Пифагора для N измерений. Отклонение метрического тензора от ???, грубо говоря, показывает, насколько пространство отличается от плоского. На основании метрического тензора можно построить риманов тензор кривизны, представленный R????.
Искривление пространства в любой данной точке можно измерить, нарисовав в этой точке окружность и измерив ее площадь. В плоском двумерном пространстве площадь круга равна ?r2. Но в условиях положительной кривизны, например, на сферической поверхности, эта площадь меньше ?r2. А если кривизна отрицательная и поверхность седлообразная или воронкообразная, площадь круга больше ?r2.
Строго говоря, принято считать, что кривизна скомканного листа бумаги равна нулю. Дело в том, что площади кругов, нарисованных на этой скомканной бумаге, по-прежнему равны ?r2. В римановом примере взаимодействия, созданного смятым листом бумаги, мы косвенным образом подразумеваем, что бумага деформирована, растянута и сложена, поэтому кривизна отлична от нуля.
16
Процитировано в: Белл «Математики», с. 501.