Еще одно революционное открытие Гаусса: кривизну заданного пространства можно изучить исключительно в его пределах, без оглядки на большее пространство, которое может содержать, а может и не содержать заданного. Технически говоря, геометрия искривленного пространства может быть изучена
Чтобы понять, как нам определить кривизну вне зависимости от пространства снаружи, представим Алексея и Николая двухмерными существами в цивилизации, жестко привязанной к поверхности Земли. Насколько их опыт отличается от нашего – за вычетом воздушных перелетов, покорений Эвереста и того факта, что рекорд по прыжкам в высоту у этой цивилизации – ноль?
Вот, к примеру, эти самые прыжки в высоту. Дело не в том, что Алексей никак не может оторваться от земли, – для него не существует самого
Также требует пояснений и неспособность Алек сея и Николая влезть на Эверест. Ясное дело, добраться до вершины они могут – это же все равно часть земной поверхности. Но у них не будет представления о перемене высоты. Алексей выходит из лагеря у подножия и движется к вершине, а то, что нам известно как земное тяготение, будет для него загадочной силой, которая тянет его назад к стоянке, словно горный пик наделен странным свойством отталкивания.
Помимо этой загадочной силы, Алексей и Николай переживают искривление геометрии пространства. К примеру, любой треугольник, в котором содержится гора, включает в себя до странности большое пространство. Оно и понятно: поверхности горы больше площади ее основания, но Алексей и Николай воспримут это как искажение пространства.
Алексею и Николаю невдомек, что существуют палочки, воткнутые в песок; они не могут наблюдать никакого Солнца, отбрасывающего тени от этих палочек. Лодка, исчезающая за горизонтом, для них – плоская, у нее ни корпуса, ни мачт. Все подсказки о том, что наша планета круглая, подмеченные древними, исчезнут, а Николаю и Алексею будет известны лишь расстояния и отношения между точками в их пространстве. Без намеков из третьего измерения Евклид и сам заключил бы, что это пространство – неевклидово.
Представим древнего ученого по имени Неевклида. Сидит она себе в своем кабинете в академии и приходит к тем же выводам, что и наш старик Евклид. Но прежде чем обнародовать свои «Начала», она желает проверить, приложимы ли ее теории к пространству за пределами стен академии, т. е. к широкомасштабной геометрии пространства. Ее ученик Алексей приносит ей карту из библиотеки – см. рисунок на стр. 185. На карте видно, что габонский Либревиль располагается на нулевой широте, 9° ВД в вершине прямоугольного треугольника, две другие вершины которого приблизительно приходятся на нигерийский Кано (24°) и угандийскую Кампалу. Одна из основных теорем евклидовой геометрии – теорема Пифагора. Неевклида просит Алексея произвести расчеты и проверить ее. Алексей докладывает:
Неевклида, взглянув на результаты, выговаривает Алексею: нерадивый ты счетовод. Однако, проделав повторный расчет собственноручно, Неевклида обнаруживает, что Алексей прав. Тогда Неевклида применяет другой оборонительный прием теоретика: она списывает расхождения в расчетах на экспериментальную ошибку. Отправляет в библиотеку другого своего ученика, Николая, чтобы он собрал больше данных. Николай возвращается с координатами вершин треугольника пообширнее: Либервиль, итальянский Кальяри (39° СШ) и колумбийская Лерида (71° ЗД). Этот треугольник тоже отображен на карте. Николай вычисляет: