Эйлерова характеристика

Согните лист бумаги в цилиндр, потом в тор, потом в любую другую форму - интеграл от гауссовой кривизны не изменится! Это теорема Гаусса-Бонне: геометрия (кривизна) и топология (χ) связаны нерасторжимо. Эйлерова характеристика V−E+F - самый простой пример этой связи.

• **3D-моделирование:** χ поверхности мешей определяет число «дыр» и ограничивает возможные деформации
• **Физика:** теорема Гаусса-Бонне в форм-факторе D-бран и теории струн; топологические инварианты в квантовом холловском эффекте
• **Численный анализ:** дискретная теорема Гаусса-Бонне помогает контролировать качество триангуляций и сеточных методов

Предварительные знания

• Classification of Surfaces

χ = V − E + F

**Эйлерова характеристика** топологического пространства X - целое число χ(X), которое для симплициального комплекса вычисляется как χ = f₀ − f₁ + f₂ − f₃ + ···, где fₙ - число n-симплексов (вершин, рёбер, граней, ...). Для многогранника: χ = V − E + F.

**Теорема Эйлера (1752):** Для любого выпуклого многогранника V − E + F = 2. Куб: 8 − 12 + 6 = 2. Тетраэдр: 4 − 6 + 4 = 2. Икосаэдр: 12 − 30 + 20 = 2. Это V, E, F всегда дают 2 для любого выпуклого многогранника - но почему?

Эйлерова характеристика вычисляется через числа Бетти: χ = Σₙ (−1)ⁿ βₙ = β₀ − β₁ + β₂ − ···. Это **теорема Эйлера-Пуанкаре** - глубокая связь между комбинаторной формулой V−E+F и алгебраическими инвариантами гомологий.

χ как топологический инвариант

**Теорема:** χ(X) не зависит от выбора триангуляции X. Это делает χ **топологическим инвариантом**: если X ≅ Y (гомеоморфны), то χ(X) = χ(Y). Обратное неверно: χ(X) = χ(Y) не гарантирует гомеоморфность (например, χ(T²) = χ(K) = 0, но T² ≠ K).

**Мультипликативность:** χ(X × Y) = χ(X) · χ(Y). Следствие: χ(T² = S¹ × S¹) = χ(S¹) · χ(S¹) = 0 · 0 = 0. χ(S² × S²) = 2 · 2 = 4. **Аддитивность:** χ(X ∪ Y) = χ(X) + χ(Y) − χ(X ∩ Y) (формула включений-исключений для χ).

χ и род поверхности

Для ориентируемой поверхности рода g: **χ = 2 − 2g**. Для неориентируемой (k копий RP²): **χ = 2 − k**. Таким образом χ однозначно определяет поверхность в паре с ориентируемостью. Это кодирует теорему классификации в одном числе.

В теории графов: χ(G) = V − E определяет топологию графа. β₁ = E − V + 1 (для связного G) - первое число Бетти, число независимых циклов. Это размерность пространства циклов, важная характеристика сетей: β₁ = 0 означает дерево (ациклический граф).

Теорема Гаусса-Бонне

**Теорема Гаусса-Бонне:** Для гладкой замкнутой поверхности M в R³: ∫∫_M K dA = 2π χ(M), где K - гауссова кривизна. Это поразительная связь: интеграл по геометрическому объекту (кривизна) равен топологическому инварианту (χ). Деформируя поверхность, меняем K в каждой точке, но интеграл остаётся неизменным!

**Следствие для 3D графики:** при любой деформации сетки поверхности сумма гауссовых кривизн в вершинах (∝ дефекту угла 2π − Σθᵢ) остаётся постоянной. Это позволяет контролировать топологию мешей: «дыры» нельзя убрать без изменения χ.

Ключевые идеи

• **χ = V−E+F:** не зависит от триангуляции; инвариант при гомеоморфизме
• **Через гомологии:** χ = Σ(−1)ⁿβₙ; β₀−β₁+β₂ = компоненты − петли + полости
• **Связь с родом:** χ = 2−2g (ориентируемые), χ = 2−k (неориентируемые)
• **Гаусс-Бонне:** ∫∫K dA = 2πχ; интеграл кривизны = 2π × топологический инвариант

Связанные темы

Эйлерова характеристика - центральный инвариант, связывающий все ветви топологии:

• Классификация поверхностей — χ вместе с ориентируемостью полностью классифицирует замкнутые поверхности
• Многообразия — χ обобщается на многообразия произвольной размерности; теорема Хирцебруха-Римана-Роха

Вопросы для размышления

• Докажите, что конус над окружностью (диск D²) имеет χ = 1, а не 2. Где «пропадает» одна единица по сравнению со сферой?
• Как теорема Гаусса-Бонне объясняет невозможность бесшовной проекции сферы Земли на плоскую карту?
• Граф G с 100 вершинами, 150 рёбрами, 60 гранями на поверхности рода g. Каков g? Как меняется ответ, если граф несвязен?

Связанные уроки

• aa-01-groups-intro