Край листа Мебиуса гомеоморфен окружности, поэтому Лист Мебиуса не гомеоморфен кольцу, у которого край состоит из двух окружностей.
Пример 2. Если на торе вырезать круглую дыру, то мы получим поверхность с краем, которая называется ручкой. Край полученной поверхности состоит из одной кривой, гомеоморфной окружности.
Пример 3. Рассмотрим сферу, в которой вырезано p круглых дыр, и заклеим каждую из дыр ручкой.
Полученная поверхность называется сферой с p ручками. Сфера с одной ручкой гомеоморфна тору, а сфера с двумя ручками - поверхности «кренделя» (получающейся склеиванием двух ручек).
2.2.1 Правильные многогранники. Теорема Эйлера
Рассмотрим известные в евклидовой геометрии правильные многогранники. В следующей таблице указано название, число вершин, ребер и граней этих пяти правильных многогранников.
Название многогранников | Число вершин | Число ребер | Число граней |
Тетраэдр | 4 | 6 | 4 |
Куб | 8 | 12 | 6 |
Октаэдр | 6 | 12 | 8 |
Додекаэдр | 20 | 30 | 12 |
Икосаэдр | 12 | 30 | 20 |
Из рассмотрения этой таблицы видно, что для каждого правильного многогранника имеет место соотношение:
, (1)где В- число вершин многогранника, Г- число граней, Р- число ребер. Соотношение (1) легко проверить также для пирамид, призм и других многогранников. Эйлер впервые подметил и доказал это замечательное свойство многогранников.
Уточним формулировку теоремы Эйлера. Прежде всего заметим, что любая грань каждого из рассмотренных многогранников гомеоморфна кругу. Далее, поверхность каждого из рассмотренных многогранников (или, вообще, любого выпуклого многогранника) гомеоморфна сфере: если О- произвольная внутренняя точка многогранника, а S- сфера с центром О, содержащая внутри себя этом многогранник, то проекция поверхности на сферу S из центра О представляет собой искомый гомеоморфизм.
Теорема Эйлера. Для всякого многогранника, поверхность которого гомеоморфна сфере, а каждая грань гомеоморфна кругу справедливо соотношение (1).
Можно придать этой теореме чисто топологическую формулировку. Для этого заметим, что все вершины и ребра многогранника образуют связный граф, который разбивает поверхность многогранника на отдельные грани (т.е. куски, гомеоморфные кругу). Мы получаем следующее (более общее, чем теорема Эйлера) утверждение:
Пусть на сфере (или гомеоморфной ей поверхности) начерчен связанный граф G, имеющий В вершин и Р ребер и разбивающий сферу на Г областей (граней), тогда справедливо соотношение:
. (2)В дальнейшем простой дугой будем называть гомеоморфный образ отрезка, а простой замкнутой кривой или циклом – гомеоморфный образ окружности.
2.2.2 Понятие сети
Определение 1. Пусть Q – компактная поверхность с краем. Сетью å на Q назовем любой набор конечного числа точек А1, А2, …, Аm и конечного числа простых дуг g1, g2,×××,gn, которые имеют концы в точках А1, А2, …, Аmи не пересекаются друг с другом во внутренних точках.
Точки А1, А2, …, Аm называются вершинами сети, дуги g1, g2,×××,gn– ребрами сети. Областями сети назовем компоненты множества
Q \ ((
Определение 2. Если каждая область сети å гомеоморфна открытому кругу, то говорят, что сеть å задает клеточное разбиение поверхности с краем Q. В этом случае вершины сети называем вершинами клеточного разбиения, ребра сети – ребрами клеточного разбиения, а области сети – областями клеточного разбиения.
Пусть Q- поверхность (с краем или без края, двусторонняя или односторонняя), которая допускает разбиение на многоугольники. Это означает, что на поверхности можно задать клеточное разбиение, разбивающее ее на конечное число областей, гомеоморфных кругу. Обозначим число вершин и ребер сети через В и Р, а число многоугольников, на которые Q разбивается этой сетью - через Г. Число
c(Q) = В - Р + Г (3)
называется эйлеровой характеристикой поверхности Q.
Строго говоря, число (2) определяется не самой поверхностью Q, а выбором ее разбиения на многоугольники. Однако теорема Эйлера показывает, что для поверхности Q, гомеоморфной сфере, эйлерова характеристика не зависит от выбора разбиения на многоугольники:
c(Q) = 2.
Теорема 1. Для любой поверхности Q ее эйлерова характеристика c(Q) не зависит от выбора разбиения на многоугольники, а определяется самой поверхностью, т.е. является ее топологическим инвариантом.
Теорема 2. Эйлерова характеристика поверхности является ее топологическим инвариантом, т.е., если поверхности Q1 и Q2 гомеоморфны, то c (Q1) = c (Q2).
Доказательство. В самом деле, при гомеоморфизме
f: Q1®Q2
сеть G1, заданная на поверхности Q1, переходит в сеть G2 = f(G1) на поверхности Q2, причем число вершин, ребер и граней на поверхности Q2 будет столько же, сколько и на поверхности Q1.
Определение 3. Будем говорить, что двумерное многообразие Ẽ получено из Е и Е’ склеиванием по совокупности гомеоморфизмов
fi: gI®gI¢, i=1,2,…, k, если мы имеем склеивание по каждому гомеоморфизму fi: gI®gI¢ отдельно и при этом компоненты края все попарно различны.
Теорема 3. Если двумерное многообразие Ẽ получено из Е и Е¢ склеиванием по совокупности гомеоморфизмов fi: gI®gI¢, i=1,2,…, k, то эйлерова характеристика многообразия Ẽ равна сумме эйлеровых характеристик многообразий Е и Е¢.
Доказательство. Пусть Е ¹ Е¢, К и К¢ их клеточные разбиения. Очевидно, всегда можно выбрать клеточные разбиения
и К¢ такими, что гомеоморфизм fi: gI®gI¢ отображает вершину из К на вершину из К¢ и, наоборот. Обозначим a0, a1, a2, (a0¢, a1¢, a2¢) – число вершин, сторон и клеток в К (К¢), р0 (р0¢) – число вершин расположенных на отождествляемых компонентах края. При этом р0 = р0¢. Объединяя все клетки К и К¢ мы получим новое клеточное разбиение для многообразия Ẽ. При этом имеет: вершин = a0 + a0¢ – р0, сторон = a1+ a1¢ – р0, клеток = a2 + a2¢.Следовательно,
c (Ẽ) =
– + =(a0 + a0¢ – р0) – (a1+ a1¢ – р0) + (a2 + a2¢) = c (Е) + c (Е’).Теорема доказана.
Определение 4. Многогранник нулевого рода называется топологически правильным, если все его грани имеют одно и то же число вершин, а к каждой вершине подходит одно и то же число ребер.
Найдем все топологически правильные многогранники. Пусть Р один из них, n – число вершин каждой из его грани, m – число ребер, подходящих к каждой вершине. Так как каждое ребро является общей стороной двух его граней, то
n×a2 = 2 a1. (4)
Так как каждое ребро подходит к двум вершинам, то
m×a0 = 2 a1. (5)
Из (1) и (2) получим:
a2 =
, a0 = .Подставляя эти равенства в формулу Эйлера, получим
– a1 + = 2.Преобразовав это равенство, получим
+ = + 1,что приводит нас к неравенству
Так как n³ 3, m³ 3, то
> 1 – ³ 1 – = ,что дает нам интервал значений для m
3 £m < 6.
Аналогично получаем интервал значений для n
3 £n < 6.
Рассматривая всевозможные комбинации значений n и m и, учитывая равенства (4), (5) и (6), получим все топологически правильные многогранники. Набор таких многогранников соответствует, по названию, набору правильных многогранников евклидова пространства.