Теорема Гаусса и геодезические

Theorema Egregium, геодезические и теорема Гаусса–Бонне

«Замечательная теорема» Гаусса

В 1827 году Гаусс опубликовал результат, который сам назвал «Theorema Egregium» — «Замечательная теорема». Звучит так: гауссова кривизна K является внутренним свойством поверхности.

Что это значит? K вычисляется только через коэффициенты первой формы E, F, G и их производные — без обращения к объемлющему пространству. Хотя формула K = (LN − M²)/(EG − F²) использует вторую форму (которая «внешняя»), Гаусс показал, что подставив явные выражения через E, F, G, получим тот же ответ.

Следствие: если две поверхности изометричны (можно отождествить сохраняя расстояния), они имеют одинаковую K в соответствующих точках. Плоскость K = 0 ↔ цилиндр K = 0: изометричны ✓. Плоскость K = 0 ↔ сфера K = 1/R²: не изометричны → нет карты без искажений.

Формула Гаусса (Брио–Буке–Гаусса): K выражается через символы Кристоффеля, которые выражаются через E, F, G.

Геодезические: кратчайшие пути

Геодезическая — кривая, являющаяся кратчайшим (локально) путём между двумя точками на поверхности.

Уравнения геодезических: u'' + Γ¹₁₁(u')² + 2Γ¹₁₂u'v' + Γ¹₂₂(v')² = 0 и аналог для v''.

Символы Кристоффеля Γᵢⱼₖ = (1/2)(∂ᵢgₖⱼ + ∂ⱼgᵢₖ − ∂ₖgᵢⱼ) — выражаются через E, F, G.

На сфере: Геодезические — дуги больших кругов. Кратчайший путь Москва–Нью-Йорк пролегает не «горизонтально», а дугой через Северный Атлантик (над Канадой) — именно большой круг.

На цилиндре: Геодезические — спирали. При развёртке цилиндра спираль → прямая (прямые = геодезические на плоскости).

Числовой пример: Единичная сфера, параметры (φ, θ). Символы Кристоффеля: Γ¹₂₂ = −sin φ cos φ (остальные нулевые, кроме Γ²₁₂ = cot φ). Уравнение геодезической: φ'' = sin φ cos φ · (θ')², θ'' = −2 cot φ · φ' θ'. Решение при начальных условиях — большой круг.

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

Это одна из величайших теорем математики — мост между дифференциальной геометрией и топологией.

Для многоугольника D на поверхности:

∬D K dA + ∮{∂D} κ_g ds + Σᵢ θᵢ = 2π

Здесь: K — гауссова кривизна; dA = √(EG−F²) du dv — элемент площади; κ_g — геодезическая кривизна границы (как граница «отклоняется» от геодезической); θᵢ — внешние углы на вершинах (π − угол между смежными рёбрами).

Для замкнутой поверхности:

∬_M K dA = 2π χ(M)

где χ(M) = V − E + F — эйлерова характеристика (топологический инвариант!).

Числовые примеры:

Сфера (χ = 2): K = 1/R². ∬K dA = (1/R²)·4πR² = 4π = 2π·2 ✓.

Тор (χ = 0): ∬K dA = 0. Действительно: тор имеет и эллиптические (K>0) и гиперболические (K<0) точки, и суммарно ноль.

Двойной тор (g = 2, χ = −2): ∬K dA = −4π < 0.

Приложение: сумма углов треугольника на сфере. Для геодезического треугольника (κ_g = 0 на рёбрах), три вершины: Σθᵢ = π − (сумма углов треугольника − π) — на самом деле формула:

Сумма углов треугольника на сфере = π + K · S, где S — площадь треугольника.

Пример: сферический треугольник с вершинами на Северном полюсе, на экваторе при 0° и при 90° долготы. Все три угла прямые (90°), сумма = 270° = π/2 + π/2 + π/2 = 3π/2. По формуле: π + (1/R²)·(πR²/2) = π + π/2 = 3π/2 ✓.

Геодезические в общей теории относительности

В ОТО свободно падающие тела (без негравитационных сил) движутся по геодезическим пространства-времени. Метрика пространства-времени gᵢⱼ — аналог первой фундаментальной формы. Уравнения Эйнштейна: Rᵢⱼ − (1/2)Rgᵢⱼ = 8πGTᵢⱼ. Тензор Риччи Rᵢⱼ — «свёртка» тензора кривизны Римана — вычисляется из gᵢⱼ. Материя (T) определяет геометрию (R) → геодезические → движение вещества.

Теорема Гаусса–Бонне в физике и технологиях

Теорема Гаусса–Бонне связывает геометрию и топологию настолько фундаментально, что её следствия проявляются в самых разных областях. В физике конденсированного состояния число Черна — топологический инвариант, аналог эйлеровой характеристики для расслоений — определяет квантование холловской проводимости в квантовом эффекте Холла. Измеренная экспериментально проводимость принимает строго квантованные значения потому, что она пропорциональна целочисленному топологическому инварианту — интегралу кривизны по зонной структуре материала. Это прямой аналог теоремы Гаусса–Бонне: интеграл кривизны по замкнутому многообразию равен топологическому числу. В навигации дронов и автономных транспортных средств алгоритм планирования пути использует геодезические кривые: оптимальный маршрут по ограниченной поверхности (например, горному рельефу) — геодезическая в метрике поверхности с учётом высотного профиля. Инструменты компьютерного зрения используют дискретные аналоги гауссовой кривизны (угловой дефицит вершин многогранника) для анализа формы объектов — классификации биологических структур, распознавания жестов, реконструкции трёхмерных сцен по облаку точек.

Геодезические появляются в задачах маршрутизации по трёхмерным ландшафтам: алгоритм Дейкстры на дискретных сетках аппроксимирует геодезические. Быстрое маширование (Fast Marching Method) Сетиана численно решает уравнение Эйконала |∇d| = 1/c, эквивалентное геодезическому уравнению в риманновой метрике, и используется в планировании путей роботов, компьютерной анатомии и обработке трёхмерных медицинских изображений. Теорема Гаусса–Бонне в дискретном виде (формула Дезарга для многогранников) лежит в основе инструментов анализа формы в пакетах CGAL и libigl.

Задание: (а) Для единичной сферы: найдите кривизну геодезической окружности (параллели φ = φ₀) как кривой на сфере, используя κ_g. (б) Теорема Гаусса–Бонне для треугольника: три геодезических дуги на сфере единичного радиуса с углами α, β, γ. Докажите: α + β + γ = π + S (S — площадь). (в) Тор T²: χ = 0. Найдите площади эллиптических и гиперболических частей и покажите, что они равны.