Занимательно о космологии

Итак, на поверхности сферы сумма углов треугольника оказывается больше двух прямых, больше 180°. Попробуем сделать еще одну проверку, на этот раз первого постулата: «Из каждой точки к каждой точке можно провести прямую линию (и притом только одну)». Но «прямыми» на сфере являются дуги больших кругов — меридианы. А таких, от полюса до полюса, например, можно провести бесчисленное количество. Опять промах.

Второй постулат: «и чтобы ограниченную прямую можно было непрерывно продолжать по прямой». Отправимся в кругосветное путешествие, держась все время строго одного направления. Мы объехали сферический мир и вернулись к следам своих мокасин… Это значит, что законы Эвклида для сферы неприемлемы. Шар требует другой, неэвклидовой геометрии.

Подобный пример в свое время заставил Гаусса крепко задуматься. Как же быть тогда с нашим собственным миром? Действительно ли правдоподобные, но совершенно бездоказательные постулаты Эвклида отражают объективную реальность? А может быть, истинные законы геометрии нашего физического мира совсем иные?.. Вот когда понадобилась впервые проверка геометрии опытом. Нет, нет, Карл Фридрих Гаусс вовсе не собирался взрывать систему Эвклида, как это сделал в свое время Галилей со взглядами Аристотеля. У Карла Фридриха был не тот характер. Но истине он служил честно. Истина же требовала проверки.

Потихоньку, воспользовавшись наличием в своем топографическом хозяйстве угломерных инструментов, Гаусс выбирает вершины трех гор, хорошо заметных на горизонте. То были Хохер-Хаген, Инзельсберг и знаменитый Брокен — согласно поверьям, излюбленное место шабаша ведьм. Вершины составили подходящий по величине треугольник. Гаусс измеряет его углы со всей доступной инструментам точностью. Измеряет, считает, снова измеряет. Нет! Никакого отклонения от 180° сумма углов треугольника не давала. Разочарование?

Конечно! Однако Гаусс никому о нем не говорит. Он не уверен в собственной интуиции и неоднократно в письмах к друзьям то выражает свое недоверие Эвклиду, то снова принимает его взгляды безоговорочно. В конце концов он все-таки отказался от постулатов, заменив их фундаментальными величинами, которые можно точно измерить в каждой точке поверхности, воспользовавшись для этого системой изобретенных им криволинейных (гауссовых) координат. Эти измерения сами по себе дают понятие о кривизне поверхности независимо от пространства, в котором эта поверхность находится. Ведь о форме поверхности мы судим, как правило, извне, держа ее в руках или перед глазами.

Так, лист бумаги, лежащий перед вами на столе, — плоскость. А рулон линолеума имеет цилиндрическую поверхность. А как мы убеждаемся в том, что Земля — шар? Когда в Ленинграде вы смотрите на ночное небо, Полярная звезда стоит высоко над головой. Но погрузитесь в самолет. Через три часа вы на берегу Черного моря. Темной южной ночью поищите свою знакомую Полярную звезду, и вы заметите, как сильно сместилась она к горизонту. На море есть и еще одна возможность ощутить округлость земного бока. Уходит от берега корабль. И чем дальше, тем глубже, кажется нам, погружается он в пучину. Сначала исчезает корпус, потом трубы и наконец мачты… Кругла Земля! Третье измерение позволяет нам зафиксировать этот факт из внешнего, окружающего нашу поверхность пространства. Эта кривизна так и называется внешней, и характеризуется она уже знакомым нам радиусом кривизны.

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

Лучше же всего характеризовать кривизну любой поверхности так называемой полной, или гауссовой, кривизной. Тут мы подходим к замечательному открытию, которое совершил Гаусс, исследуя искривленные поверхности.

«Великолепная теорема» Гаусса

Давайте вспомним или познакомимся с тем, как обычно геометры характеризуют кривизну искривленной поверхности в окрестностях избранной точки M. Прежде всего они строят плоскость, касательную к поверхности в исследуемой точке, и восстанавливают перпендикуляр. Затем проводят через перпендикуляр множество секущих плоскостей. Каждая из них пересекает поверхность по какой-то кривой, которую вблизи точки M можно считать частью окружности большего или меньшего радиуса. И вот оказывается, что окружности самого большого и самого маленького радиусов лежат всегда во взаимно перпендикулярных плоскостях сечения. Геометры берут величины, обратные этим радиусам (их называют главными радиусами кривизны), и перемножают:

1/R_max · 1/R_min = K

Получают, полную, или гауссову, кривизну.