В 1958 г. он ознакомился со статьей британского ученого Гарольда Коксетера под названием Cristal Symmetry and Its Generalizations («Симметрия кристаллов и ее обобщения»), где описывался оригинальный способ укладки плиток, который вдохновил Эшера на новые поиски. Речь шла о разбиении круга на треугольники так, что их число возрастало по мере приближения к краю.
Этим рисунком Коксетер иллюстрировал модель неевклидова метрического пространства, называемого диск Пуанкаре. Диск Пуанкаре является моделью геометрии Лобачевского, в которой через одну точку можно провести несколько прямых, параллельных данной, о чем мы рассказывали в прошлой главе.
Диск Пуанкаре является частью важного ряда моделей геометрии Лобачевского, так как в реальном трехмерном пространстве (на языке математики оно обозначается
) не существует поверхности, на которой бы выполнялись законы этой геометрии
[14]. Следовательно, этот раздел геометрии отличается от эллиптической геометрии, прекрасной моделью которой является сфера.
Модель, описанная Пуанкаре, — это круг, метрика которого отличается от метрики евклидовой плоскости. Метрика диска Пуанкаре такова, что все уменьшается в размерах по мере приближения к границе круга[15]. Как следствие, человек, живущий в мире Пуанкаре, никогда не сможет попасть на «край света».
ОБИТАТЕЛИ ГИПЕРБОЛИЧЕСКОГО МИРА
Понимают ли существа, обитающие в мире Пуанкаре, в каком пространстве они живут? Представим, что один из обитателей этого мира измерил длину свой ладони, которая оказалась равной 20 см. Затем он начинает идти в сторону края круга и спустя некоторое время снова измеряет длину ладони. Для нас его ладонь уменьшится в размерах, а для него длина ладони будет по-прежнему равна 20 см, так как расстояние между делениями линейки тоже уменьшится. Измерения относительны: для нас, сторонних наблюдателей, его ладонь уменьшится в размерах, для жителя этой плоскости ее длина не изменится. Аналогично для нас его мир ограничен, а для него — безграничен, так как он никогда не сможет достичь его края. Как обитатель этого мира может понять, что живет на гиперболической плоскости? Один из возможных способов — найти сумму углов произвольного треугольника, которая будет меньше 180°. Треугольник должен быть достаточно большим, чтобы на результат не повлияла погрешность измерений, так как с увеличением размеров треугольника сумма его углов будет уменьшаться. Еще один способ — провести окружность радиуса r и убедиться, что ее длина превышает 2πr (поэтому плоскость и называется гиперболической). Однако в этом случае радиус окружности также должен быть достаточно большим.