Впоследствии Клейн определил ориентируемость по-другому. Поместим на поверхность небольшую окружность и выберем на ней ориентацию. Эта окружность не нарисована на одной стороне поверхности, а является частью поверхности, поэтому видна на обеих сторонах (на одной она будет ориентирована по часовой стрелке, а на другой — против часовой стрелки). Представим, что поверхность сделана из папиросной бумаги, а окружность нарисована фломастером, так что просвечивает с другой стороны. Клейн называл такую окружность индикатрисой. если индикатрису можно переместить вдоль поверхности, так что она вернется в исходную точку с противоположной ориентацией, то поверхность неориентируемая. На рис. 16.10 показано, что лента Мёбиуса неориентируема, поскольку при перемещении вдоль средней линии индикатриса меняет ориентацию.
Рис. 16.9. Триангуляцию ленты Мёбиуса невозможно ориентировать
Рис. 16.10. Лента Мёбиуса неориентируема
Вальтер фон Дик (1856–1934), ученик Клейна, дал еще одно определение. Он поместил на поверхность подвижную систему координат (x, y). Если можно переместить эту систему координат по поверхности, так что оси поменяются местами, то поверхность неориентируемая (одно из преимуществ подхода Дика в том, что он легко обобщается на многомерные топологические объекты).
Интересно отметить, что математики не используют свойство односторонности для определения неориентируемости. Хотя может показаться, что односторонность и неориентируемость эквивалентны, Клейн и фон Дик доказали, что в многомерных пространствах односторонность теряет всякий смысл, а неориентируемость — нет. Понятие стороны имеет смысл только для поверхностей в трехмерном пространстве. Говорить о внутренности или внешности поверхности — даже сферы — в 4-мерном пространстве бессмысленно.
Это и другие утверждения о многомерных пространствах, которые еще будут сделаны ниже, трудно воспринять. Требуются мысленные усилия, к которым мозг человека не приучен природой. Как писал математик Томас Банхофф, «все мы рабы предрассудков своей размерности»147.
Чтобы проиллюстрировать трудное для понимания заявление о том, что в 4-мерном пространстве поверхности не имеют сторон, мы понизим размерность и перейдем от поверхностей к кривым. На рис. 16.11 слева видно, что в любой точке кривой на плоскости векторы нормали могут указывать в двух направлениях (вектор называется нормальным к кривой, если он перпендикулярен касательной к ней). Таким образом, у плоской кривой есть стороны, а поскольку невозможно переместить вектор нормали вокруг кривой, так чтобы он вернулся в исходную точку, сменив направление, сторон две. Если речь идет о простой замкнутой кривой, т. е. замкнутой петле, не пересекающей саму себя, то эти направления называются внутрь и вовне (на самом деле кажущееся таким очевидным утверждение, что у всякой простой замкнутой кривой есть внутренность и внешность, — это глубокий факт, известный под названием теоремы Жордана).
Рис. 16.11. Кривая на плоскости двусторонняя, но у кривой в трехмерном пространстве нет сторон
С другой стороны, для кривой в трехмерном пространстве нормальных направлений в каждой точке бесконечно много (как показывает круг нормальных векторов на рис. 16.11 справа). Поэтому понятие стороны в данном случае бессмысленно.
Аналогично в любой точке поверхности в трехмерном пространстве нормальных направлений два (нормальный вектор перпендикулярен плоскости, касательной к поверхности). Для неориентируемых поверхностей можно переместить нормальный вектор вокруг поверхности, так что он вернется в исходную точку, сменив направление на противоположное, поэтому поверхность односторонняя (см. рис. 16.12). Для ориентируемых поверхностей это невозможно, поэтому они двусторонние. Но для поверхности в 4-мерном пространстве нормальных направлений в любой точке бесконечно много, поэтому, как и для кривой в трехмерном пространстве, говорить о сторонах не имеет смысла.
Рис. 16.12. В трехмерном пространстве лента Мёбиуса односторонняя, а тор двусторонний
Лента Мёбиуса — не единственная неориентируемая поверхность. В 1882 году Клейн открыл еще одну, вообще не имеющую края, теперь она называется бутылкой Клейна148. На рис. 16.13 показано, как получить ее путем склеивания сторон квадрата. Нужно склеить противоположные стороны вместе; левая и правая склеиваются с перекручиванием, а верхняя и нижняя без перекручивания. Для построения бутылки Клейна склеим две одинаково ориентированные стороны, получится цилиндр. Если теперь свернуть цилиндр наподобие тора, то разные концы будут иметь противоположные направления. Но вместо того чтобы сразу склеивать их, мы должны «протащить» цилиндр через собственную стенку и вытащить наружу, так чтобы окружности оказались одинаково ориентированными.