Жемчужина Эйлера

Чтобы понять это новое определение, придется вернуться к разрезанию и склеиванию. Хотя обычно разрезание и склеивание действительно изменяют топологию поверхности, это верно не всегда. Есть важное исключение: разрезать фигуру, а затем склеить отдельные куски, так чтобы разрезы точно совпали. В этом случае топология не изменится. Если разрезать тор поперек, так чтобы получился цилиндр, затем завязать цилиндр в узел и снова склеить (как на рис. 17.4), то получившаяся фигура топологически по-прежнему эквивалентна тору. Заметим, что завязанный в узел тор нельзя получить из исходного путем деформаций в трехмерном пространстве — эти фигуры не изотопические. Внутренняя топология одинакова, но внешняя различается. С другой стороны, никаким способом невозможно разрезать, деформировать и снова склеить тор, так чтобы получился двойной тор. Достаточно умный муравей сможет доказать, что они топологически различны (и очень скоро мы увидим, как именно).

Точное определение топологической «одинаковости» выходит за рамки этой книги. По существу, два топологических объекта одинаковы, если существует взаимно однозначное соответствие между их точками, сохраняющее близость, — близким точкам одного объекта соответствуют близкие точки другого. Это понятие «одинаковости» было введено Мёбиусом, который называл соответствие «элементарной связью»¹⁵⁰. В настоящее время такое соответствие называют гомеоморфизмом. Таким образом, на языке топологов два объекта одинаковы, если они гомеоморфны.

Рис. 17.4. Фигуры, топологически эквивалентные и неэквивалентные тору

Рассмотрим три петли из фокуса с афганскими лентами в главе 16. Одна не перекручена вовсе, вторая перекручена один раз, а третья — два раза. Очевидно, что внешняя топология всех трех различна. Но, согласно нашему эвристическому правилу, третья фигура гомеоморфна неперекрученной цилиндрической ленте, поскольку если разрезать цилиндр и дважды перекрутить его, то края разрезов можно будет правильно совместить перед склеиванием (рис. 17.5). Будем называть третью фигуру скрученным цилиндром. Для ленты Мёбиуса это не так. Если разрезать цилиндр и перекрутить его один раз, то края разреза нельзя будет совместить правильно. Поэтому, несмотря на поверхностное сходство между лентой Мёбиуса и скрученным цилиндром, они негомеоморфны.

Рис. 17.5. Дважды перекрученная полоса гомеоморфна цилиндру, а перекрученная один раз — нет

Хотя интуиция подсказывает, что лента Мёбиуса негомеоморфна цилиндру (скрученному или нет), доказательства мы не дали. Да, это кажется маловероятным, но, быть может, существует хитрый способ разрезания, который перевел бы одну фигуру в другую. Фокус с двойным тором на веревке уже научил нас, что не всегда можно доверять внутреннему чутью, но в данном случае интуиция не подвела — фигуры негомеоморфны.

Топологическим инвариантом называется ассоциированное с поверхностью свойство или математическая сущность, которая зависит только от топологии поверхности. Топологический инвариант может быть числом, например числом краев. если две поверхности гомеоморфны, то число краев у них должно быть одинаково. На практике это утверждение полезнее в контрапозитивной форме: если у двух поверхностей разное число краев, то они не могут быть гомеоморфными. Поскольку край цилиндра состоит из двух компонент, а край ленты Мёбиуса — из одной, то они негомеоморфны.

Еще одним топологическим инвариантом является внутренняя размерность: она позволяет отличить сферу (двумерную поверхность) от окружности (одномерной). Мы продолжим обсуждение размерности в главе 22.

Топологическим инвариантом, а точнее топологическим свойством, является также ориентируемость. Две топологически одинаковые поверхности либо обе ориентируемые, либо обе неориентируемые. По-другому то же самое можно выразить, сказав, что если одна поверхность ориентируемая, а другая нет, то они не могут быть гомеоморфными. Нетрудно видеть, что цилиндр и скрученный цилиндр ориентируемы, а лента Мёбиуса — нет.

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