Теорема Гаусса-Бонне: кривизна и эйлерова характеристика

Теорема Гаусса-Бонне - один из самых красивых результатов классической дифференциальной геометрии: она соединяет локальную геометрическую величину (гауссову кривизну $K$) с глобальным топологическим инвариантом (эйлеровой характеристикой $\chi$). На замкнутой поверхности интеграл кривизны не зависит от метрики и равен $2\pi\chi$. Ниже разберём локальную и глобальную формулировки, доказательство через триангуляцию, классические следствия и обобщение Чжэня.

Локальная версия: область с гладкой границей

Пусть $R$ - компактная двумерная область на ориентированной римановой поверхности с кусочно-гладкой границей $\partial R$. Локальная теорема Гаусса-Бонне утверждает:

$\int_R K\, dA + \oint_{\partial R} k_g\, ds + \sum_i \theta_i = 2\pi.$

Здесь $K$ - гауссова кривизна поверхности, $dA$ - элемент площади, $k_g$ - геодезическая кривизна границы, $ds$ - элемент длины, а $\theta_i$ - внешние углы в угловых точках границы (если кусочно-гладкая граница имеет «изломы»). Сумма всех трёх вкладов всегда равна $2\pi$, независимо от формы области.

Содержательно теорема говорит: «дефект поворота» при обходе границы, который мы накапливаем за счёт кривизны самой поверхности, изгибов её границы и угловых поворотов, в сумме всегда даёт полный оборот $2\pi$. Это инвариантная переписка теоремы о повороте касательной из планиметрии.

Tool: примени теорему к конкретной поверхности

Подставить $\chi$ для нужной поверхности, прикинуть интеграл кривизны или применить локальную версию с границей - нужно один раз, но руками легко запутаться в знаках и константах. Соберите задачу в форме ниже и получите готовый разбор: формула, подстановка, численный ответ и интерпретация.

Глобальная версия: замкнутая поверхность

Если $M$ - компактная ориентированная двумерная поверхность без края, граничные и угловые члены исчезают, и теорема приобретает компактный вид:

$\int_M K\, dA = 2\pi\, \chi(M).$

Здесь $\chi(M) = 2 - 2g$ - эйлерова характеристика, $g$ - род поверхности (число «ручек»). Невероятная сторона результата: левая часть зависит от римановой метрики, правая - нет. Если мы деформируем поверхность, меняя метрику (например, надуваем сферу или приплющиваем её в эллипсоид), кривизна $K$ в каждой точке может вырасти или упасть, но её интеграл по всей поверхности останется тем же - $4\pi$ для сферы, $0$ для тора, $-4\pi$ для двойного тора и так далее.

Классические следствия

Сфера $S^2$. Эйлерова характеристика $\chi(S^2) = 2$, значит $\int_{S^2} K\, dA = 4\pi$. На стандартной сфере радиуса $R$ постоянная кривизна $K = 1/R^2$, площадь $4\pi R^2$ - и интеграл сходится с теоремой. Но даже если вы возьмёте эллипсоид или яйцо - сумма всё равно $4\pi$.

Тор $T^2$. $\chi(T^2) = 0$, поэтому $\int_{T^2} K\, dA = 0$. Это значит, что на торе не может быть метрики с всюду положительной (или всюду отрицательной) кривизной. Стандартное вложение бублика в $\mathbb{R}^3$ даёт $K > 0$ на внешней части и $K < 0$ на внутренней - они в точности компенсируются. Плоский тор (с фактор-метрикой $\mathbb{R}^2 / \mathbb{Z}^2$) - это просто метрика, у которой $K \equiv 0$ всюду.

Поверхности рода $g \geq 2$. $\chi = 2 - 2g < 0$, поэтому средняя кривизна отрицательна. Гиперболическая плоскость $H^2$ с метрикой $ds^2 = (dx^2 + dy^2)/y^2$ имеет $K \equiv -1$; на её фактор-многообразиях рода $g \geq 2$ интеграл $\int K\, dA = -4\pi(g - 1)$, что согласуется с теоремой.

Доказательство через триангуляцию

Идея доказательства - разбить поверхность на маленькие геодезические треугольники и применить классическую формулу Гаусса для каждого:

$\int_T K\, dA = (\alpha_1 + \alpha_2 + \alpha_3) - \pi,$

где $\alpha_i$ - внутренние углы треугольника $T$. Эта формула - частный случай локальной теоремы для геодезического треугольника (геодезическая кривизна сторон равна нулю), а её правая часть - «угловой избыток» относительно евклидова случая.

Дальше работает телескопирование по симплициальному комплексу. Просуммируем формулу Гаусса по всем $F$ треугольникам триангуляции:

$\int_M K\, dA = \sum_T \left( \sum_i \alpha_i^T - \pi \right) = \sum_v 2\pi - \pi F,$

потому что в каждой внутренней вершине $v$ сумма углов треугольников, прилегающих к ней, равна $2\pi$. Получаем $\int K\, dA = 2\pi V - \pi F$. Используя соотношение $3F = 2E$ для триангуляции замкнутой поверхности, переписываем правую часть как $2\pi(V - E + F) = 2\pi \chi$. Глобальная теорема доказана.

Чжэнь-Гаусс-Бонне: обобщение на чётномерные многообразия

В 1944 году Шиинг-Шэн Чжэнь обобщил результат на чётномерные ориентированные риманово многообразия размерности $2n$. Теорема Чжэня-Гаусса-Бонне утверждает:

$\int_M \mathrm{Pf}(\Omega) = (2\pi)^n\, \chi(M),$

где $\Omega$ - двумерная форма кривизны связности Леви-Чивиты (компонентно - тензор кривизны Римана), а $\mathrm{Pf}$ - пфаффиан (квадратный корень из определителя кососимметричной матрицы), беруший от $\Omega$ значение $2n$-формы - её и интегрируют по $M$. В размерности $2$ пфаффиан кривизны сводится к $K\, dA / (2\pi)$, и формула сворачивается обратно в классическую.

Что важно: теорема не имеет аналога в нечётной размерности. У нечётномерных замкнутых ориентируемых многообразий эйлерова характеристика тождественно равна нулю (по двойственности Пуанкаре), и любой «интеграл кривизны» тоже зануляется автоматически - теорема выродилась бы в $0 = 0$. Нетривиальный результат - только в чётных размерностях.

Связь с топологией и приложения

Теорема Гаусса-Бонне - мост между двумя дисциплинами: дифференциальная геометрия даёт левую часть (интеграл локальной кривизны), алгебраическая топология - правую (комбинаторный инвариант). Из неё извлекают несколько важных следствий.

Теорема о ёжике (Пуанкаре-Хопф для сферы). На $S^2$ нельзя «причесать» гладкое касательное векторное поле - у любого такого поля найдётся нуль. Это следствие более общего результата Пуанкаре-Хопфа: сумма индексов нулей гладкого векторного поля равна $\chi(M) = 2$, а значит ненулей не может быть вообще.

Классификация поверхностей. Замкнутые ориентируемые поверхности с точностью до диффеоморфизма классифицируются единственным целым числом - родом $g$. И единственный геометрический инвариант, который различает их «средне», - это знак средней кривизны: $g = 0$ даёт положительную (сферическая геометрия), $g = 1$ - нулевую (евклидова геометрия на торе), $g \geq 2$ - отрицательную (гиперболическая геометрия).

Геометризация и униформизация. На любой компактной поверхности существует метрика постоянной кривизны: $K = +1, 0, -1$ - ровно в соответствии с тем, какой знак имеет $\chi$. Это теорема униформизации Кёбе-Пуанкаре, и теорема Гаусса-Бонне даёт согласованность: средняя кривизна имеет правильный знак.

Частые ошибки

• Забывают про геодезическую кривизну $k_g$ или про угловые члены $\theta_i$ при применении локальной версии - в этом случае равенство $2\pi$ не выполняется.
• Путают внешний и внутренний угол на изломе границы: $\theta_i$ - это именно внешний угол, отклонение касательной от прямолинейного продолжения.
• Применяют формулу $\int K\, dA = 2\pi\chi$ к поверхности с краем - нужно либо включить границу, либо считать с локальной версией.
• Считают, что «искривление» метрики меняет интеграл - нет, $\int K\, dA$ инвариантен относительно изменения метрики на замкнутой поверхности.
• Пытаются применить теорему к нечётномерному многообразию - она тривиальна там, потому что $\chi$ автоматически ноль.

FAQ

Зачем теорема нужна на практике? Она даёт способ считать топологические инварианты через геометрию (и наоборот). На ней основана теория Чжэня, классы Понтрягина и Эйлера, индекс эллиптических операторов вроде оператора Лапласа-Бельтрами (Атья-Зингер - далеко идущее обобщение). В численных приложениях она используется для проверки корректности триангуляций: интеграл дискретной кривизны по сетке должен давать $2\pi\chi$.

Что значит «гауссова кривизна» геометрически? $K = 1/(R_1 R_2)$, где $R_1, R_2$ - главные радиусы кривизны поверхности. Положительная $K$ - поверхность выпукла в обоих направлениях (сфера), отрицательная - седло (внутренняя часть тора, гиперболоид), нулевая - поверхность развёртывается на плоскость без растяжения (цилиндр, конус). По теореме Гаусса (Theorema Egregium) $K$ - внутренний инвариант, его можно вычислить из метрики, не выходя за пределы поверхности.

Связана ли теорема с теоремой Эйлера для многогранников $V - E + F = 2$? Да, это её комбинаторное дискретное проявление. Для выпуклого многогранника $K = 0$ всюду на гладких гранях, а вся кривизна сосредоточена в вершинах в виде «углового дефицита» $2\pi - \sum \alpha_v$, где $\alpha_v$ - углы граней при вершине $v$. Сумма углового дефицита по всем вершинам равна $2\pi\chi = 4\pi$ для топологической сферы.

Коротко

Теорема Гаусса-Бонне в локальной форме связывает интеграл гауссовой кривизны по области, интеграл геодезической кривизны по её границе и сумму угловых поворотов: всё это в сумме даёт $2\pi$. В глобальной форме для замкнутой ориентированной поверхности - $\int_M K\, dA = 2\pi\chi(M)$, где правая часть - чисто топологический инвариант, не зависящий от метрики. Доказательство сводится к телескопированию формулы Гаусса для треугольников триангуляции. Обобщение Чжэня переносит результат на чётномерные многообразия и стоит у истоков современной теории характеристических классов.