Топология
Гомологии (обзор)
Как понять форму данных без координат? Как узнать, есть ли дырки в молекуле, не рисуя её? Как посчитать «независимые циклы» в нейронной сети? Гомологии - алгебраический ответ: они превращают топологические «дыры» в числа (числа Бетти), которые можно вычислить и сравнивать.
- **TDA (Topological Data Analysis):** числа Бетти β₀, β₁, β₂ - характеристики формы данных; персистентные гомологии - основной инструмент анализа облаков точек
- **Биоинформатика:** форма белковых молекул, дыры в граф-структурах РНК, кавитации в структурах кристаллов
- **Компьютерная графика:** числа Бетти поверхности влияют на UV-развёртку и рендеринг; χ = V−E+F используется для проверки топологии мешей
Предварительные знания
Симплициальные комплексы
**Симплекс** - выпуклая оболочка аффинно-независимых точек: 0-симплекс - точка, 1-симплекс - отрезок, 2-симплекс - треугольник, 3-симплекс - тетраэдр. **Симплициальный комплекс** K - набор симплексов, замкнутый относительно взятия граней: если σ ∈ K и τ - грань σ, то τ ∈ K.
**Геометрическая реализация:** симплициальный комплекс K задаёт топологическое пространство |K| - объединение всех его симплексов. Любое «разумное» топологическое пространство гомеоморфно |K| для некоторого K (теорема триангуляции). Симплексы - клеточные строительные блоки топологии.
В машинном обучении и TDA данные часто представляются как симплициальные комплексы: облако точек → комплекс Вьеториса-Рипса (соединяем точки на расстоянии ≤ ε). Изменяя ε, отслеживаем рождение и гибель топологических особенностей - это **персистентные гомологии**.
Можно ли добавить 2-симплекс {0, 1, 2} в комплекс, не включив ребро {0, 1}?
Цепные комплексы и оператор края
Для вычисления гомологий строим **цепной комплекс**: группа n-цепей Cₙ = свободная абелева группа, порождённая n-симплексами (с целыми коэффициентами). **Оператор края** ∂ₙ: Cₙ → Cₙ₋₁ отображает ориентированный n-симплекс в знакочередующуюся сумму его (n-1)-мерных граней.
**Формула для оператора края:** ∂ₙ([v₀, v₁, ..., vₙ]) = Σᵢ (-1)ⁱ [v₀, ..., v̂ᵢ, ..., vₙ], где v̂ᵢ означает, что вершина vᵢ пропущена. **Ключевое свойство:** ∂ₙ ∘ ∂ₙ₊₁ = 0, то есть «граница границы равна нулю».
∂₂([0,1,2]) = [1,2] − [0,2] + [0,1]. Это граница треугольника - какой геометрический смысл?
Группы гомологий
Из свойства ∂ ∘ ∂ = 0 следует: im(∂ₙ₊₁) ⊆ ker(∂ₙ). Группа **n-циклов** Zₙ = ker(∂ₙ) - цепи с нулевой границей. Группа **n-границ** Bₙ = im(∂ₙ₊₁) - границы (n+1)-цепей. **Группа гомологий:** Hₙ = Zₙ / Bₙ = ker(∂ₙ) / im(∂ₙ₊₁).
**Интерпретация:** Hₙ = «n-мерные дыры». H₀ - компоненты связности (одна компонента → H₀ = ℤ). H₁ - петли/тоннели (π₁ абелианизированная). H₂ - полости (замкнутые поверхности). Hₙ = {e} если нет n-мерных дыр.
| Пространство | H₀ | H₁ | H₂ | Интерпретация |
|---|---|---|---|---|
| Точка | ℤ | 0 | 0 | 1 компонента, нет дыр |
| Окружность S¹ | ℤ | ℤ | 0 | 1 компонента, 1 петля |
| Сфера S² | ℤ | 0 | ℤ | 1 компонента, 1 полость |
| Тор T² | ℤ | ℤ² | ℤ | 1 компонента, 2 петли, 1 полость |
| Клин S¹∨S¹ | ℤ | ℤ² | 0 | 1 компонента, 2 независимых петли |
| Две точки | ℤ² | 0 | 0 | 2 компоненты |
Тор T² имеет H₁(T²) = ℤ². Что означают два генератора ℤ²?
Числа Бетти и характеристика Эйлера
**Числа Бетти** βₙ = rank(Hₙ) - количество независимых n-мерных «дыр». β₀ - компоненты связности, β₁ - петли/тоннели, β₂ - замкнутые полости. **Эйлерова характеристика:** χ = Σₙ (-1)ⁿ βₙ = β₀ − β₁ + β₂ − ···.
**Числа Бетти в TDA:** В Topological Data Analysis числа Бетти вычисляются для комплексов Вьеториса-Рипса, построенных на данных. β₀ - число кластеров, β₁ - число петель, β₂ - число полостей. Персистентные числа Бетти (зависящие от параметра ε) дают «топологические штрихкоды» данных.
Для тора T²: χ = β₀ − β₁ + β₂ = 1 − 2 + 1 = 0. Что означает χ = 0?
Ключевые идеи
- **Симплициальные комплексы:** строительные блоки из симплексов; любое пространство триангулируется
- **Оператор края ∂:** ∂([v₀,...,vₙ]) = знакочередующаяся сумма граней; ∂∘∂ = 0
- **Группы гомологий:** Hₙ = ker(∂ₙ)/im(∂ₙ₊₁); H₀ = связность, H₁ = петли, H₂ = полости
- **Числа Бетти:** βₙ = rank(Hₙ); χ = Σ(−1)ⁿβₙ = топологический инвариант
Связанные темы
Гомологии - главный инструмент вычислительной топологии:
- Фундаментальная группа — H₁(X) = абелианизация π₁(X); гомологии - коммутативный вариант π₁
- Topological Data Analysis — Персистентные гомологии = гомологии, меняющиеся с масштабом; числа Бетти данных
Вопросы для размышления
- Вычислите группы гомологий сферы S^n для произвольного n. Сформулируйте закономерность и объясните геометрически.
- Если X = A ∪ B с непустым A ∩ B, то выполняется формула Майера-Вьеториса для гомологий. Найдите гомологии S² через S² = D² ∪_S¹ D² (два диска склеены по границе).
- В TDA β₁ = 1 для данных на окружности, β₁ = 0 для данных на диске. Как это используется для различения формы облаков точек?