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

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

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

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

На сферической поверхности нет ни одной параллельной линии, проходящей через эту точку [71] Можно было бы подумать, что линии постоянной широты параллельны экватору. Это не так, потому что линии широты (за исключением экватора) — это не прямые линии, а лишь прямые линии могут быть параллельны друг другу. Прямая — это кратчайшее расстояние между двумя точками; вот почему самолет, летящий из Нью-Йорка в Мадрид — при том, что эти две точки находятся на одной широте, — не летит по линии постоянной широты, а выбирает траекторию, которая на двумерной карте выглядит искривленной. ( Примеч. авт. ) .

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

Поведение параллельных линий на плоской или сферической поверхности можно понять интуитивно, потому что нам легко представить себе плоскую поверхность, которая продолжается до бесконечности, и потому что все мы знаем, что такое сфера. Гораздо более сложная задача — понять поведение параллельных линий на гиперболической поверхности, потому что совершенно не ясно, как будет выглядеть такая поверхность, когда она продолжается до бесконечности. Параллельные линии в гиперболическом пространстве расходятся все дальше и дальше друг от друга. При этом, отклоняясь одна от другой, они не изгибаются, потому что, раз мы говорим о параллельных линиях, они должны быть прямыми, и тем не менее они расходятся из-за того, что гиперболическая поверхность постоянно искривляется, уходя сама от себя, а по мере того, как поверхность расширяется, между любыми двумя параллельными линиями появляется все больше и больше места. Да уж, такая картина кого угодно сведет с ума, и неудивительно, что, несмотря на всю свою гениальность, Риман не сумел придумать никакой поверхности, которая имела бы заданные свойства.

В последние десятилетия XIX века проблема представления гиперболической плоскости возбуждала многих математиков. Одна из таких попыток, предпринятая Анри Пуанкаре, захватила воображение голландского художника-графика М. К. Эшера (1898–1972). Его знаменитая серия гравюр «Предел круга» возникла как результат знакомства с предложенной французским математиком «дисковой моделью» гиперболической поверхности. На гравюре «Предел круга IV» двумерная вселенная помещена на круг (диск), где ангелы и демоны уменьшаются по мере приближения к краю. Сами ангелы и демоны, однако, и не подозревают о том, что уменьшаются, потому что по мере того, как они сами становятся меньше, то же самое происходит и с их измерительными приборами. С точки зрения обитателей диска все они сохраняют свои размеры, а их вселенная продолжается до бесконечности.

«Предел круга IV»

Изобретательность, воплощенная в дисковой модели Пуанкаре, состоит в том, что она восхитительным образом иллюстрирует, как параллельные линии ведут себя в гиперболическом пространстве. Прежде всего, нам надо определиться с тем, что такое прямая линия на диске. Аналогично тому, как прямые на сфере линии выглядят искривленными, когда их изображают на плоской карте (например, маршруты самолетов являются прямыми, но на карте выглядят искривленными), линии, являющиеся прямыми в диско-мире, также кажутся нам искривленными. Пуанкаре определил прямую линию на диске как сечение диска окружностью, которая входит в него под прямым углом.