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

Форма чашки и форма пончика топологически различны-и теорема Гаусса-Бонне может это 'почувствовать' через кривизну: ∫K dA = 0 для тора, 4π для сферы. В физике те же идеи лежат в основе топологических изоляторов. В ML: число Эйлера меша вычисляется за один проход и служит потерей топологического качества в 3D-генерации.

• **3D-меши:** χ = V − E + F за O(V) позволяет классифицировать топологический тип любой 3D-модели
• **Топологические изоляторы:** число Чёрна (инвариант Гаусса-Бонне для зонной структуры) предсказывает проводящие краевые состояния без учёта деталей кристалла
• **Topological loss:** в 3D-генерации штрафует за неверный род g-обеспечивает топологически корректные выходы

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

• Riemann Curvature Tensor

Локальная теорема Гаусса-Бонне

**Локальная теорема Гаусса-Бонне:** Для криволинейного многоугольника P на ориентированной поверхности с n сторонами, внешними углами θᵢ и геодезической кривизной k_g границы: ∫∫_P K dA + ∮_{∂P} k_g ds + Σᵢ θᵢ = 2π.

**Частный случай-геодезический треугольник** (k_g = 0 на сторонах): A + B + C = π + ∫∫ K dA, где A,B,C-внутренние углы. Геодезический треугольник на сфере (K > 0): сумма углов > π. На поверхности с K < 0: < π.

**Дефект параллельного переноса** = ∫∫ K dA. Именно на столько повернётся вектор при параллельном переносе по контуру ∂P. Это связывает локальную теорему Гаусса-Бонне с голономией: угол поворота = площадная интеграл кривизны.

Глобальная теорема и теорема Пуанкаре-Хопфа

**Глобальная теорема Гаусса-Бонне:** ∫∫_M K dA = 2πχ(M), где χ = V − E + F (число Эйлера). Следствие: суммарная кривизна замкнутой поверхности-топологический инвариант. Деформируй форму как угодно-∫K dA не изменится.

**Теорема Пуанкаре-Хопфа:** Для векторного поля X с изолированными нулями на компактном многообразии M: Σᵢ ind(xᵢ) = χ(M), где ind(xᵢ)-индекс нуля (сколько раз поле оборачивается вокруг нуля). Этот результат объединяет теорему о ёжике и теорему Гаусса-Бонне.

**Дискретная версия:** для треугольного меша χ = V − E + F. Сумма угловых дефицитов Σᵢ(2π − Σ_j угол_ij) = 2πχ. Это позволяет определить топологический тип поверхности одним проходом по вершинам-используется в 3D-обработке мешей.

Применения: физика и ML

**Топологические изоляторы:** в физике конденсированного состояния число Чёрна n_C-целочисленный инвариант зонной структуры кристалла, вычисляемый как ∫∫ F dS/(2π) (интеграл кривизны Берри по зоне Бриллюэна). n_C ≠ 0 означает топологически непростое состояние-проводящие краевые состояния.

**Теорема Хирна-Гаусса-Бонне:** Для компактного ориентируемого многообразия M размерности 2k: ∫_M Pf(Ω/2π) = χ(M), где Pf-пфаффиан матрицы кривизны Ω. При k=1: ∫ K/2π dA = χ (классический случай).

**Применение в DL:** нейронные сети на мешах (Mesh RCNN, PoinTr) используют χ для проверки корректности топологии генерируемых 3D-объектов. Теоремой Гаусса-Бонне также обосновывается устойчивость топологических потерь (topological loss) в обучении.

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

• **Локальная Гаусса-Бонне:** ∫∫_P K dA + ∮ k_g ds + Σ θᵢ = 2π. Для геодезического треугольника: A+B+C = π + ∫K dA
• **Глобальная Гаусса-Бонне:** ∫∫_M K dA = 2πχ(M). Суммарная кривизна = топологический инвариант
• **Теорема Пуанкаре-Хопфа:** Σ ind(нулей) = χ(M). Теорема о ёжике (S²: χ=2, нет нулей невозможно)-частный случай
• **Применения:** χ = V−E+F для мешей; числа Чёрна в физике; topological loss в 3D-генерации

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

Теорема Гаусса-Бонне-вершина классической дифференциальной геометрии:

• Theorema Egregium — K-внутренний инвариант (dg-05). Теорема Гаусса-Бонне показывает, что ∫K dA-топологический
• Теорема Стокса — Теорема Гаусса-Бонне-следствие обобщённой теоремы Стокса и теории Чёрна-Вайля
• Тензор кривизны Римана — Хирна-Гаусса-Бонне: ∫ Pf(Ω/2π) = χ-обобщение через тензор Римана

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

• Суммарный дефицит углов Σᵢ δᵢ = 2πχ. Для тетраэдра: V=4, E=6, F=4 → χ=2. Вычислите дефект каждой вершины тетраэдра (углы при правильном тетраэдре = arccos(1/3)) и проверьте теорему.
• Число Чёрна n_C = (1/2π)∫∫ F dS вычисляется как интеграл кривизны Берри по зоне Бриллюэна. Почему n_C всегда целое? Как это связано с теоремой Гаусса-Бонне?
• В задаче 3D-генерации нейронные сети иногда порождают топологически некорректные меши (лишние дырки). Как определить нужный χ для заданного класса объектов и использовать это как потерю?

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

• calc-01-sequences