Топология
Классификация поверхностей
Сколько существует принципиально разных форм поверхностей? Оказывается - ровно столько, сколько натуральных чисел: сфера, тор, двойной тор, тройной тор... плюс неориентируемые поверхности. Теорема классификации - это полный список всех возможных «форм двумерного мира».
- **Теория графов:** род поверхности определяет максимальную плотность графа без пересечений; χ = V−E+F зависит от рода
- **Топология ландшафта потерь:** топологические методы исследуют форму пространства параметров нейронных сетей
- **Компьютерная графика:** топология поверхности (число ручек) определяет сложность UV-параметризации и рендеринга
Предварительные знания
Основные поверхности
**Поверхность** - двумерное многообразие: каждая точка имеет окрестность, гомеоморфную R² (или замкнутому полудиску для поверхностей с краем). Компактные поверхности без края - замкнутые поверхности. Их полная классификация - один из главных результатов классической топологии.
| Поверхность | χ | Ориентируемость | H₀, H₁, H₂ |
|---|---|---|---|
| Сфера S² | 2 | Ориентируема | ℤ, 0, ℤ |
| Тор T² | 0 | Ориентируема | ℤ, ℤ², ℤ |
| Двойной тор (g=2) | -2 | Ориентируема | ℤ, ℤ⁴, ℤ |
| Плоскость RP² | 1 | Неориентируема | ℤ, ℤ/2ℤ, 0 |
| Бутылка Клейна | 0 | Неориентируема | ℤ, ℤ⊕ℤ/2ℤ, 0 |
| Поверхность рода g | 2−2g | Ориентируема | ℤ, ℤ^{2g}, ℤ |
**Ориентируемость:** поверхность ориентируема, если на ней можно согласованно выбрать «правую руку» (нормаль) во всех точках. Эквивалентно: не содержит лист Мёбиуса как подпространство. Неориентируемые поверхности: RP², бутылка Клейна и их связные суммы.
Бутылка Клейна не вкладывается в R³ без самопересечений. Почему?
Связная сумма поверхностей
**Связная сумма** X # Y двух поверхностей: вырезаем по открытому диску из каждой поверхности и склеиваем по получившимся окружностям. Это алгебраическая операция на поверхностях: χ(X # Y) = χ(X) + χ(Y) − 2, роды складываются: g(X # Y) = g(X) + g(Y).
**Связная сумма с RP²:** RP² # RP² ≅ бутылка Клейна. Три копии RP² дают поверхность рода 3 (неориентируемую). Любое добавление RP² к ориентируемой поверхности делает результат неориентируемым.
χ(T² # T² # T²) = ?
Теорема классификации
**Теорема классификации компактных поверхностей:** Любая замкнутая компактная поверхность гомеоморфна одной из следующих: 1. **Ориентируемые:** сфера S² или связная сумма g торов Σ_g = T²#···#T² (g раз), g ≥ 1. 2. **Неориентируемые:** связная сумма k копий RP², N_k = RP²#···#RP² (k раз), k ≥ 1.
**Параметры классификации:** Для ориентируемых поверхностей - **род** g (число ручек). χ = 2 − 2g. Для неориентируемых - число k копий RP². χ = 2 − k. Два инварианта - (χ, ориентируемость) - полностью определяют тип поверхности.
Теорема классификации - редкий пример **полной** классификации в топологии. Для 3-многообразий аналогичный результат - гипотеза Пуанкаре (теперь теорема Перельмана) - потребовал века усилий. Для n ≥ 5-многообразий полная классификация невозможна (сводится к неразрешимой алгоритмической проблеме).
Какова поверхность с χ = −6 и ориентируемостью?
Род в теории графов и топологии потерь
**Формула Эйлера для графов на поверхностях:** для планарного графа V − E + F = 2 (сфера). На поверхности рода g: V − E + F = 2 − 2g. Род поверхности = минимальный род поверхности, на которую граф вкладывается без пересечений рёбер.
**Ландшафт потерь нейронных сетей:** исследования Goodfellow, Goldfarb (2018) показали, что ландшафт потерь глубоких сетей топологически сложен: много седловых точек, плоских минимумов, «дыр». TDA-методы (персистентные гомологии) позволяют исследовать топологию ландшафта потерь, что помогает понять, почему SGD находит хорошие решения.
K₅ (полный граф на 5 вершинах) непланарен. На какой поверхности его можно нарисовать без пересечений рёбер?
Ключевые идеи
- **Основные поверхности:** S², T², RP², K (бутылка Клейна); описываются через идентификации квадрата
- **Связная сумма #:** χ(X#Y) = χ(X)+χ(Y)−2; роды складываются
- **Теорема классификации:** любая замкнутая поверхность = Σ_g (ориентируемые, g ≥ 0) или N_k (неориентируемые, k ≥ 1)
- **Двойной инвариант:** (χ, ориентируемость) полностью определяет тип; V−E+F = 2−2g на поверхности рода g
Связанные темы
Классификация поверхностей - вершина 2D топологии, фундамент для 3D и выше:
- Гомологии — H₁(Σ_g) = ℤ^{2g}; числа Бетти - вычислимые инварианты в теореме классификации
- Эйлерова характеристика — χ - главный числовой инвариант поверхностей; связывает V, E, F, гомологии и кривизну
Вопросы для размышления
- Докажите, что T² # RP² ≅ RP² # RP² # RP² (N₃). Это неожиданный факт о связных суммах ориентируемых и неориентируемых поверхностей.
- Почему для 3-многообразий нет полной классификации аналогичной теореме для поверхностей? Что именно делает задачу сложнее?
- Граф K₃,₃ (двудольный полный) непланарен. Каков его минимальный род? Проверьте через формулу Эйлера.