Алекс в стране чисел. Необычайное путешествие в волшебный мир математики

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

Поверхность отрицательной кривизны называется гиперболической. Итак, поверхность чипса «Принглс» — гиперболическая. Впрочем, чипс — это всего лишь первый шаг к пониманию гиперболической геометрии, потому что у него есть край. Стоит только показать математику край, как он тут же захочет выйти за его пределы.

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

А как же выглядит поверхность отрицательной кривизны без края? Она не может выглядеть как чипс, потому что если мы бы жили на чипсе «Принглс» размером с Землю и начали бы шагать в одном направлении, то в конце концов свалились бы за край. Математики долго гадали, как могла бы выглядеть «бескрайняя» гиперболическая поверхность — такая, по которой можно было бы путешествовать так далеко, как только захочется, и никогда не достигать края, но которая при этом не теряет своих гиперболических свойств. Понятно, что такая поверхность должна быть постоянно изогнута как чипс; так может, попробовать склеить ее из множества чипсов указанной формы? Увы, так у нас ничего не получится, потому что чипсы «Принглс» плохо состыковываются один с другим, а если заполнять образующиеся пустоты какой-то другой поверхностью, то эти добавленные области не будут гиперболическими. Другими словами, чипсы позволяют представить себе лишь локальные гиперболические свойства. Вещь, которую необычайно сложно представить — и которая требует напряжения мысли у даже самых блестящих математических умов, — это гиперболическая поверхность, которая продолжается без конца и без края.

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

Вернемся к постулату о параллельных, который дает нам весьма точный способ классификации поверхностей на плоские, сферические и гиперболические. Для любой заданной прямой и точки вне ее:

На плоской поверхности имеется одна и только одна параллельная прямая, проходящая через эту точку.

На сферической поверхности нет ни одной параллельной линии, проходящей через эту точку[71].

На гиперболической поверхности имеется бесконечно много параллельных линий, проходящих через эту точку.