Слева направо: поверхность отрицательной гауссовой кривизны ( гиперболоид ), поверхность нулевой гауссовой кривизны ( цилиндр ) и поверхность положительной гауссовой кривизны ( сфера ).Некоторые точки тора имеют положительную, некоторые отрицательную, а некоторые имеют нулевую гауссову кривизну.
В дифференциальной геометрии гауссова кривизна или кривизна Гаусса Κ гладкой поверхности в трехмерном пространстве в точке является произведением главных кривизн κ 1 и κ 2 в данной точке :
радиус кривизныК. r1/р 2илитора
Гауссова кривизна — это внутренняя мера кривизны , зависящая только от расстояний, измеряемых «внутри» или вдоль поверхности, а не от того, как она изометрически встроена в евклидово пространство. Таково содержание «Теоремы эгрегиум» .
В любой точке поверхности мы можем найти вектор нормали , расположенный под прямым углом к поверхности; Плоскости, содержащие вектор нормали, называются нормальными плоскостями . Пересечение нормальной плоскости и поверхности образует кривую, называемую нормальным сечением , а кривизна этой кривой является нормальной кривизной . Для большинства точек на большинстве «гладких» поверхностей разные нормальные сечения будут иметь разную кривизну; их максимальное и минимальное значения называются главными кривизнами , назовем их κ 1 , κ 2 . Гауссова кривизна является произведением двух главных кривизн Κ = κ 1 κ 2 .
Знак гауссовой кривизны можно использовать для характеристики поверхности.
Если обе главные кривизны имеют один и тот же знак: κ 1 κ 2 > 0 , то гауссова кривизна положительна и говорят, что поверхность имеет эллиптическую точку. В таких точках поверхность будет куполообразной, локально лежащей по одну сторону от касательной плоскости. Все кривизны сечения будут иметь один и тот же знак.
Если главные кривизны имеют разные знаки: κ 1 κ 2 < 0 , то гауссова кривизна отрицательна и говорят, что поверхность имеет гиперболическую или седловую точку . В таких точках поверхность будет иметь седловидную форму. Поскольку одна главная кривизна отрицательна, другая положительна, а нормальная кривизна постоянно меняется, если вы вращаете плоскость, ортогональную поверхности, вокруг нормали к поверхности в двух направлениях, нормальные кривизны будут равны нулю, что дает асимптотические кривые для этой точки.
Если одна из главных кривизн равна нулю: κ 1 κ 2 = 0 , гауссова кривизна равна нулю и говорят, что поверхность имеет параболическую точку.
Большинство поверхностей будут содержать области положительной гауссовой кривизны (эллиптические точки) и области отрицательной гауссовой кривизны, разделенные кривой точек с нулевой гауссовой кривизной, называемой параболической линией .
Две главные кривизны в данной точке поверхности являются собственными значениями оператора формы в этой точке. Они измеряют, как поверхность изгибается на разную величину в разных направлениях от этой точки. Мы представляем поверхность согласно теореме о неявной функции как график функции f двух переменных таким образом, что точка p является критической точкой, то есть градиент f обращается в нуль (этого всегда можно достичь с помощью подходящее жесткое движение). Тогда гауссова кривизна поверхности в точке p является определителем матрицы Гессе функции f (будучи произведением собственных значений гессиана). (Напомним, что гессиан — это матрица вторых производных размером 2×2.) Это определение позволяет сразу уловить разницу между чашкой/шапкой и седловой точкой.
Сумма углов треугольника на поверхности отрицательной кривизны меньше, чем у плоского треугольника.
Поверхностный интеграл гауссовой кривизны по некоторой области поверхности называется полной кривизной . Полная кривизна геодезического треугольника равна отклонению суммы его углов от π . Сумма углов треугольника на поверхности положительной кривизны будет превышать π , а сумма углов треугольника на поверхности отрицательной кривизны будет меньше π . На поверхности нулевой кривизны, такой как евклидова плоскость , сумма углов составит ровно π радиан.
Теорема Гаусса egregium (лат. «замечательная теорема») утверждает, что гауссова кривизна поверхности может быть определена на основе измерений длины самой поверхности. Фактически, ее можно найти при полном знании первой фундаментальной формы и выразить через первую фундаментальную форму и ее частные производные первого и второго порядка. Эквивалентно так можно выразить определитель второй фундаментальной формы поверхности в R 3 . «Замечательная» и удивительная особенность этой теоремы состоит в том, что, хотя определение гауссовой кривизны поверхности S в R3 , безусловно, зависит от способа расположения поверхности в пространстве, конечным результатом является сама гауссова кривизна. , определяется внутренней метрикой поверхности без какой-либо дальнейшей ссылки на окружающее пространство: это внутренний инвариант . В частности, гауссова кривизна инвариантна относительно изометрических деформаций поверхности.
В современной дифференциальной геометрии «поверхность», рассматриваемая абстрактно, представляет собой двумерное дифференцируемое многообразие . Чтобы связать эту точку зрения с классической теорией поверхностей , такую абстрактную поверхность вкладывают в R3 и наделяют римановой метрикой , заданной первой фундаментальной формой. Предположим, что образ вложения — это поверхность S в R 3 . Локальная изометрия — это диффеоморфизм f : U → V между открытыми областями R3 , ограничение которого на S ∩ U является изометрией на его образ. Тогда теорема эгрегиум формулируется следующим образом:
Гауссова кривизна вложенной гладкой поверхности в R 3 инвариантна относительно локальных изометрий.
Например, гауссова кривизна цилиндрической трубы равна нулю, как и для «развернутой» трубы (которая плоская). [1] [ нужна страница ] С другой стороны, поскольку сфера радиуса R имеет постоянную положительную кривизну R −2 , а плоская плоскость имеет постоянную кривизну 0, эти две поверхности не являются изометрическими, даже локально. Таким образом, любое плоское представление даже небольшой части сферы должно искажать расстояния. Поэтому ни одна картографическая проекция не является идеальной.
Теорема Гаусса – Бонне
Теорема Гаусса-Бонне связывает полную кривизну поверхности с ее эйлеровой характеристикой и обеспечивает важную связь между локальными геометрическими свойствами и глобальными топологическими свойствами.
Поверхности постоянной кривизны
Две поверхности, обе из которых имеют постоянную положительную гауссову кривизну, но либо с открытой границей, либо с особыми точками.
Теорема Миндинга ( 1839 г.) утверждает, что все поверхности с одинаковой постоянной кривизной K локально изометричны. Следствием теоремы Миндинга является то, что любая поверхность, кривизна которой тождественно равна нулю, может быть построена путем изгиба некоторой плоской области. Такие поверхности называются развертывающимися поверхностями . Миндинг также поставил вопрос о том, обязательно ли является жесткой замкнутая поверхность с постоянной положительной кривизной.
Теорема Либмана ( 1900 г.) ответила на вопрос Миндинга. Единственными регулярными (класса С2 ) замкнутыми поверхностями вR3 с постоянной положительной гауссовой кривизной являются сферы . [2] Если сфера деформируется, она не остается сферой, что доказывает, что сфера жесткая. Стандартное доказательство использует лемму Гильберта о том, что непупочные точки крайней главной кривизны имеют неположительную гауссову кривизну. [3]
Теорема Гильберта (1901) утверждает , что не существует полной аналитической (класса Cω ) регулярной поверхности в R3 постоянной отрицательной гауссовой кривизны . В действительности, вывод справедлив и для поверхностей класса C2 , погруженных в R3 , но неверен для C1 -поверхностей . Псевдосфера имеет постоянную отрицательную гауссову кривизну , за исключением граничной окружности, где гауссова кривизна не определена.
Существуют и другие поверхности, имеющие постоянную положительную гауссову кривизну. Манфредо ду Карму рассматривает поверхности вращения где , и ( неполный эллиптический интеграл второго рода ). Все эти поверхности имеют постоянную гауссову кривизну, равную 1, но имеют либо границу, либо особую точку. Ду Карму также приводит три различных примера поверхности с постоянной отрицательной гауссовой кривизной, один из которых — псевдосфера . [4]
Существует много других возможных ограниченных поверхностей с постоянной гауссовой кривизной. Хотя сфера жесткая и ее нельзя согнуть с помощью изометрии, если удалить небольшую область или даже разрезать ее по небольшому сегменту, то полученную поверхность можно согнуть. Такой изгиб сохраняет гауссову кривизну, поэтому любой такой изгиб сферы с удаленной областью также будет иметь постоянную гауссову кривизну. [5]
The Формула Бриоши (поФранческо Бриоски) дает гауссову кривизну исключительно с точки зрения первой фундаментальной формы:
Для ортогональной параметризации ( F = 0 ) гауссова кривизна равна:
Для поверхности, описываемой как график функции z = F ( x , y ) , гауссова кривизна равна: [6]
Для неявно определенной поверхности F ( x , y , z ) = 0 гауссова кривизна может быть выражена через градиент ∇ F и матрицу Гессе H ( F ) : [7] [8]
Для поверхности с метрикой, конформной евклидовой, поэтому F = 0 и E = G = e σ , кривизна Гаусса определяется выражением ( Δ — обычный оператор Лапласа ):
Гауссова кривизна — это предельная разница между длиной окружности геодезического круга и окружностью на плоскости: [9]
Гауссова кривизна — это предельная разница между площадью геодезического диска и диска на плоскости: [9]