Теорема Гаусса (Theorema Egregium) и внутренняя геометрия

Определение Гауссовой кривизны

В дифференциальной геометрии гауссова кривизна (K) в определенной точке поверхности алгебраически вычисляется как произведение двух ее главных кривизн: K = k1 * k2. Если обе главные кривизны имеют одинаковый знак (поверхность изгибается в одну сторону, как чаша или сфера), гауссова кривизна положительна. Если знаки разные (одна кривизна выгибается вверх, а другая вниз, как у седла или гиперболоида), гауссова кривизна отрицательна. Если хотя бы одна из главных кривизн равна нулю (как у цилиндра или конуса), то и гауссова кривизна равна нулю. Через коэффициенты первой и второй квадратичных форм эта величина выражается как K = (LN - M^2) / (EG - F^2). Числитель здесь полностью зависит от внешней геометрии (векторов нормали).

Суть Замечательной теоремы

Теорема Гаусса (Theorema Egregium) гласит: гауссова кривизна поверхности зависит исключительно от коэффициентов первой квадратичной формы (E, F, G) и их первых и вторых частных производных. Иными словами, числитель (LN - M^2) можно выразить через сложнейшую комбинацию производных от знаменателя (EG - F^2). Это означает, что если гипотетические двумерные существа, живущие на искривленной поверхности, нарисуют на ней треугольники, измерят их длины и углы, они смогут математически точно вычислить гауссову кривизну своего мира, даже не имея физической возможности посмотреть на него «сверху» из третьего измерения! Кривизна оказалась внутренним, неотъемлемым алгебраическим свойством самого двумерного пространства.

Изометрия и неразвертываемость сферы

Грандиозным следствием теоремы Гаусса является невозможность изменения гауссовой кривизны при изометрических деформациях (деформациях без растяжения, сжатия или разрывов материала). Лист бумаги абсолютно плоский (K=0). Мы можем свернуть его в цилиндр. Цилиндр имеет одну нулевую главную кривизну, поэтому его гауссова кривизна по-прежнему K=0. Изометрия сохранена. Но сфера имеет строго положительную гауссову кривизну (K = 1/R^2). Поскольку изометрическое преобразование не может изменить гауссову кривизну, невозможно плоский лист бумаги обернуть вокруг сферы без складок или разрывов. Это строго аналитически доказывает, что идеальной плоской карты Земли (без масштабных искажений материков) создать невозможно в принципе.

Связь с топологией: Теорема Гаусса-Бонне

Теорема Гаусса дала толчок развитию глобальной дифференциальной геометрии, апогеем которой стала теорема Гаусса-Бонне. Она связывает локальную аналитическую характеристику (гауссову кривизну) с глобальным топологическим инвариантом поверхности. Если мы проинтегрируем гауссову кривизну K по всей площади замкнутой гладкой поверхности (например, по всему деформированному шару или тору), результат всегда будет равен 2 * pi * X, где X — Эйлерова характеристика поверхности (которая зависит только от количества «дыр» в объекте). Это означает, что как бы мы ни мяли, ни вдавливали и ни вытягивали резиновую сферу, пока мы ее не порвем, интеграл ее кривизны останется абсолютно неизменной алгебраической константой (4 * pi), демонстрируя величайшую гармонию между дифференциальным анализом и топологией.