|
Вернемся к нашим размерностям. Как уже было сказано, в топологии существуют только две фундаментальные одномерные формы: прямая линия, которая идентична любой волнистой линии, и окружность, которая идентична любой петле — вытянутой, волнистой или даже имеющей форму квадрата — любой, какую только можно себе представить. Двухмерные пространства также можно разделить на два фундаментальных типа: это либо сферы, либо бублики. Тополог рассматривает любую двухмерную поверхность как сферу в том случае, если в ней нет дырок, при этом включая в эту категорию такие привычные нам геометрические тела, как кубы, призмы, пирамиды и даже похожие на дыни объекты, которые носят название эллипсоидов. Вся разница между бубликом и сферой состоит исключительно в наличии дырки в первом и отсутствии ее во второй: неважно, насколько сильно вы деформировали сферу, — пока вы не проделаете в ней дырку, вы ни за что не получите из нее бублик, и наоборот. Другими словами, нельзя проделать ни одной новой дырки в объекте или разорвать его каким-то другим образом, не изменив при этом его топологию. И наоборот, тополог считает две формы функционально эквивалентными, если, вылепив их из пластичной глины или пластилина, можно трансформировать одну в другую, только сжимая и растягивая, но не разрывая ее. Рис. 1.1. В топологии существуют два вида одномерных пространств, принципиально отличных друг от друга: линия и окружность. Можно преобразовать окружность в петлю любой формы, но превратить окружность в линию, не разрезая ее, невозможно. Двухмерные поверхности, являющиеся ориентируемыми , — что означает, что они, подобно мячу, имеют две поверхности, а не одну, как лента Мёбиуса, — могут быть классифицированы по их роду, грубо говоря, по количеству дырок в данной поверхности. Так, сфера, имеющая род 0, в которой нет дырок, принципиально отлична от бублика, имеющего род 1 и, соответственно, одну дырку. Как и в случае с окружностью и прямой, невозможно превратить сферу в бублик, не проделав в ней дырку Бублик с одной дыркой называется тором , но бубликоподобные поверхности могут иметь любое число дырок. Двухмерные поверхности, которые являются одновременно компактными (замкнутыми и ограниченными в пространстве) и ориентируемыми (имеющими две стороны), можно классифицировать по числу дырок в них, или по роду . Объекты, имеющие различный вид в двух измерениях, считаются топологически идентичными, если они относятся к одному и тому же роду. Сделанное выше утверждение о существовании только двух возможных двухмерных форм — бублика и сферы, справедливо лишь в случае, когда мы ограничиваемся ориентируемыми поверхностями, а именно о таких поверхностях мы в основном и будем говорить в этой книге. Мяч, например, имеет две стороны — внутреннюю и внешнюю, и то же самое справедливо в отношении велосипедной камеры. Но существуют и более сложные поверхности — односторонние, или «неориентируемые», такие как бутылка Клейна или лента Мёбиуса, для которых указанное утверждение не верно. — 14 —
|