Космос Эйнштейна. Как открытия Альберта Эйнштейна изменили наши представления о пространстве и времени - [27]

Гроссман просмотрел литературу и выяснил, что, как ни смешно, базовую математику, нужную Эйнштейну, в самом деле преподавали в Политехникуме. В геометрии Бернхарда Римана, разработанной в 1854 г., Эйнштейн обнаружил наконец достаточно мощную основу для описания искривления пространства-времени. (Много лет спустя, вспоминая, как трудно было овладевать новой математикой, Эйнштейн заметил в разговоре со школьниками: «Не обращайте внимания на свои трудности с математикой; могу вас заверить, что мои еще больше».)

До Римана вся математика основывалась на евклидовой геометрии – геометрии плоских поверхностей. Тысячи лет школьников мучили проверенными временем теоремами греческой геометрии, где сумма внутренних углов треугольника всегда равняется 180°, а параллельные прямые не пересекаются. Два математика – русский Николай Лобачевский и венгр Янош Бойяи – подошли очень близко к созданию неевклидовой геометрии, то есть такой геометрии, где сумма углов в треугольнике может быть больше или меньше 180°. Но по-настоящему теорию неевклидовой геометрии разработали «король математики» Карл Фридрих Гаусс и особенно его ученик Риман. (Гаусс подозревал, что теория Евклида может оказаться неверной по физическим причинам. По его указаниям помощники светили прожекторами с вершин гор Гарца, а сам он пытался экспериментально выяснить сумму углов треугольника, образованного тремя вершинами. К несчастью, результат эксперимента оказался отрицательным. Кроме того, Гаусс был настолько политически осторожным человеком, что так и не опубликовал своей работы по этому тонкому вопросу, опасаясь реакции консерваторов от науки, готовых клясться теоремами евклидовой геометрии.)

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

В большинстве биографий Эйнштейна общая теория относительности возникает как полностью готовая в 1915 г., как будто он безошибочно, волшебным образом нашел эту теорию уже полностью сформированной. Только в последние десятилетия были проанализированы некоторые из «потерянных записных книжек» Эйнштейна, которые позволили заполнить многие пробелы в промежутке между 1912 и 1915 г. Теперь можно восстановить, иногда помесячно, основные вехи эволюции одной из величайших теорий в истории. В частности, Эйнштейн хотел обобщить понятие ковариантности. Специальная теория относительности, как мы видели, была основана на идее Лоренц-ковариантности; это означало, что уравнения физики сохраняют свою форму при преобразованиях Лоренца. Теперь Эйнштейн хотел обобщить это на все возможные ускорения и трансформации, а не только на инерциальные. Иными словами, он хотел найти уравнения, которые сохраняли бы свою форму в любой системе отсчета, какой бы она ни была, ускорялась она или двигалась с постоянной скоростью. Каждой системе отсчета, в свою очередь, необходима координатная сетка, которая позволила бы измерить длину по трем пространственным измерениям и времени. Эйнштейну нужна была теория, которая сохраняла бы форму, какая бы координатная сетка ни использовалась в данной системе отсчета. Этот поиск привел его к знаменитому принципу общей ковариантности: уравнения физики должны быть общековариантны (то есть они должны сохранять форму при любом преобразовании координат).

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

В 1912 г. Эйнштейн был уже уверен, что риманова математика – подходящий язык для гравитации. Опираясь на закон общей ковариантности, он начал искать внутри римановой геометрии подходящие, то есть общековариантные, объекты. Как ни удивительно, таких объектов оказалось всего два: объем искривленного пространства и кривизна (или, как ее называют, «кривизна Риччи») такого пространства. Это была чрезвычайно важная находка: серьезно ограничив состав возможных строительных блоков для сооружения теории гравитации, принцип общей ковариантности помог Эйнштейну сформулировать корректную в основном теорию в 1912 г., всего через несколько месяцев изучения работы Римана по кривизне Риччи. Однако по какой-то причине он отбросил верную теорию и двинулся по ложному пути. Почему он отказался от корректной теории, оставалось для ученых загадкой до самого последнего времени, когда были обнаружены потерянные записные книжки. В тот год, когда он в основном выстроил верную теорию гравитации на основе кривизны Риччи, он совершил очень серьезную ошибку – решил, что эта верная теория нарушает принцип, известный как «принцип Маха»