[22].
Однако к концу XVIII в. появились первые признаки неблагополучия — стали накапливаться случаи, когда некорректное применение бесконечно малых и бесконечно больших величин приводило к парадоксам. Поэтому в начале XIX в. эти величины были вновь изгнаны из математики и их место заняла идея предела. Громадную роль здесь сыграли работы Нильса Хенрика Абеля[23], Огюстена Когаи[24] и Карла Фридриха Гаусса[25], которого его современники называли "princeps mathematicorum" (первый среди математиков). Для отношения Гаусса к понятию бесконечности характерен следующий отрывок из его письма к Шумахеру[26], написанного в 1831 г.: "...Я протестую против употребления бесконечной величины как чего-то завершенного, что в математике никогда недопустимо. Бесконечность не нужно понимать буквально, когда речь идет собственно о пределе, к которому сколь угодно близко приближаются определенные отношения, когда другие принимаются неограниченно возрастающими".
Возникли осложнения и в космологии. Естественное предположение о равномерном распределении звезд в бесконечном пространстве неожиданно привело к парадоксу. Оказалось, что их суммарная светимость должна была бы оказаться такой, как если бы в каждой точке неба сверкало по Солнцу. Такую картину много столетий тому назад представил себе индийский поэт, воскликнувший:
Силой безмерной и грозной небо б над нами сияло,
Если бы тысяча Солнц разом на нем засверкала.
Кроме этого парадокса, получившего название фотометрического, возник другой, названный гравитационным. Оказалось, что если бы в бесконечной Вселенной была лишь конечная масса материи, то вся эта материя должна была бы собраться в одном месте, в один ком. А если суммарная масса бесконечна, то при равномерном распределении произошло бы взаимное уравновешивание сил тяготения.
Оба эти парадокса можно устранить, предположив, что материя распределена во Вселенной неравномерно. Но это ведет к гипотезе о существовании центра Вселенной, что не менее удивительно, чем конечность массы во Вселенной. А кроме того, как показали современные наблюдения, в нашей Метагалактике материя распределена более или менее равномерно.
Как фотометрический, так и гравитационный парадоксы оказались устранены лишь после того, как в XX в. была создана новая теория о строении Вселенной, основанная на общей теории относительности Эйнштейна. Прежде чем рассказывать о новых представлениях, сделаем еще один экскурс в математику.
Кривое пространство.
В своем романе "Астронавты" писатель-фантаст Станислав Лем писал: "Картина звездного неба менялась очень быстро. Снимки, сделанные еще вчера, не совпадали со снимками, сделанными сегодня. Казалось, что какая-то таинственная сила раздвигает звезды, словно они являются крапинками на поверхности воздушного шарика, который раздувается все сильнее и сильнее. Гравитолог Звездной экспедиции уже несколько дней не отходил от вычислительной машины. Экспедиция приближалась к тяжелой звезде, сильно искривлявшей окружающее пространство. Для определения курса корабля было необходимо непрерывно вычислять эту кривизну. Это была серьезная проверка. Люди впервые сталкивались со столь сильными полями тяготения, со столь большой кривизной. Уравнения, полученные когда-то Эйнштейном, держали теперь экзамен. От них зависел успех экспедиции и даже сама жизнь ее участников".
Наиболее непонятными в этом отрывке для читателя, незнакомого с современной математикой, являются слова о кривизне пространства — вообразить себе кривое пространство куда труднее, чем кривую линию или поверхность. Не зря, когда во второй половине XIX в. возникло это понятие, была сложена эпиграмма:
Die Menschen fassen kaum es,
Das Krummungsmass des Raumes
(люди никак не могут понять, что такое мера кривизны пространства).
Обычные возражения против искривленности пространства таковы. Кривую линию невозможно совместить с прямой и приходится располагать на плоскости или в пространстве. Точно так же и кривую поверхность невозможно поместить на плоскости — для этого нужно по крайней мере трехмерное пространство. Следовательно, и искривленное трехмерное пространство должно лежать в каком-то объемлющем его пространстве четырех, а то и пяти измерений. А так как никто четырехмерного пространства не наблюдал, то пространство, в котором мы живем, никак не может быть искривленным. Некоторые философы добавляли к этим рассуждениям всякие слова об идеализме, фидеизме и т. д. Зато авторам научно-фантастических рассказов идея четырехмерного пространства очень понравилась. Во многих рассказах и повестях Уэллса происходят путешествия в четвертом измерении.
На самом деле искривленность пространства совсем не связана с четвертым измерением, а является, так сказать, его внутренним делом. И установить искривленность можно не выходя из этого пространства, а лишь проводя измерения внутри него.
Для того, чтобы читателю было яснее, как это делается, расскажем сначала, как установить кривизну поверхности, не покидая ее, а лишь измеряя расстояния между ее точками.
Геометрия на Ялмезе.
В течение многих тысячелетий люди думали, что Земля плоская. Однако наблюдения за тенью Земли во время лунных затмений привели древнегреческих ученых к мысли о шарообразности Земли. Эратосфену удалось даже с довольно большой точностью измерить ее радиус. Но после того, как снова воцарилась мысль, что Земля плоская, для доказательства шарообразности Земли понадобилось кругосветное путешествие Магеллана.
А теперь представьте себе планету Ялмез, где живут разумные существа, но небо закрыто вечной пеленой облаков, а океанские путешествия по тем или иным причинам невозможны. Смогли бы жители этой планеты узнать, что кости, со всех сторон окруженном водой, а на сфере? Иными словами, было ли необходимо путешествие Магеллана для того, чтобы доказать шарообразность Земли?[27]
Чтобы понять, как возникает идея кривизны поверхности, проследим за ходом развития геометрии на планете Ялмез. Геометрия возникает как экспериментальная наука, как теоретическое обобщение многовековых наблюдений над свойствами пространства. Поскольку мы условились считать, что небо планеты покрыто облаками, геометрам Ялмеза пришлось вести наблюдения лишь на поверхности планеты. Оказалось, что среди всех линий, соединяющих две точки этой поверхности, всегда есть наикратчайшая (рис. 1). Наикратчайшие линии и были названы "отрезками прямых". Разумеется, наблюдатель, который посмотрел бы на планету со стороны, сказал бы, что эти линии совсем не прямые, а кривые — это дуги сечений сферы диаметральными плоскостями. Но ялмезяне не могли посмотреть на свою планету со стороны и считали наикратчайшие линии, проведенные на поверхности, прямыми (впрочем, ведь и мы часто говорим "дорога прямая, как стрела", хотя на самом деле она идет по дуге диаметрального сечения).
Рис. 1
Затем установили свойства этих "прямых". В самом начале наблюдению была доступна лишь малая часть планеты, а точность измерения оставалась очень небольшой. Поэтому в пределах точности измерения свойства "прямых" на поверхности планеты были такими же, как свойства прямых на плоскости: через две точки проходила одна и только одна "прямая", две "прямые" пересекались в одной и только одной точке (вторая точка пересечения, диаметрально противоположная первой, была недосягаема для наблюдателей). Наконец, ялмезянские геометры были уверены, что их "прямые линии" бесконечны. Самая мысль, что при движении по "прямой" в одном и том же направлении они вернутся в исходную точку, казалась дикой, непонятной и противоречащей здравому смыслу. И ялмезянские ученые были убеждены, что поверхность их планеты бесконечна, а тех, кто выдвигал иные идеи, обвиняли во всех смертных грехах...
Дальнейшее изучение свойств "прямых" показало, что в пределах точности измерения сумма углов любого треугольника равна 180°, что квадрат гипотенузы равен сумме квадратов катетов и т. д. Иными словами, жители Ялмеза построили геометрию Евклида и считали, что она полностью приложима к поверхности их планеты.
Вскоре, однако, им пришлось убедиться, что это не так. По мере развития техники удавалось измерить все большие и большие куски суши (мы договорились, что океанских плаваний ялмезяне совершать не могли). И эти измерения вступили в противоречие с евклидовой геометрией. Чтобы понять, в чем здесь дело, возьмем на сфере три точки A, B и C (рис. 2, а). Эти точки можно соединить "отрезками прямых", а по нашему — дугами меридианов AB и AC и дугой экватора BC. В результате получается треугольник ABC. Легко видеть, что все три угла этого треугольника прямые. Значит, сумма его углов равна 270°, а не 180°, как полагается по геометрии Евклида. На 90° больше, чем нужно.
Рис. 2
У других треугольников избыток суммы углов был бы другой. Например, у треугольника ABD (рис. 2, б) углы B и D равны 90°, а угол BAD равен 180°. Сумма углов этого треугольника равна 360° — на 180° больше, чем нужно. В дальнейшем число α+β+γ — 180°, где α, β, γ — углы сферического треугольника, мы будем для краткости называть избытком сферического треугольника.
Поворот параллельных.
Но не только наличие избытка у треугольников показало жителям Ялмеза, что они живут не на плоскости, а на кривой поверхности. Неверной оказалась и теорема Пифагора. Например, у треугольника ABC угол А равен 90°, а все его стороны равны друг другу. Вообще, здесь трудно разобрать, где гипотенуза, а где катеты — все углы прямые.