В математике дифференциал Геометрия поверхностей имеет дело с дифференциальной геометрией гладких поверхностей с различными дополнительными структурами, чаще всего римановой метрикой. Поверхности были тщательно изучены с различных точек зрения: внешне, в связи с их встраиванием в евклидово пространство, и по сути, отражая их свойства, определяемые исключительно расстоянием внутри поверхности, измеренным по кривым на поверхность. Одной из фундаментальных концепций исследования является гауссова кривизна, впервые подробно изученная Карлом Фридрихом Гауссом, который показал, что кривизна является внутренним свойством поверхности, независимо от ее изометрического вложения в Евклидово пространство.
Поверхности естественно возникают как графики из функций пары переменных, а иногда появляются в параметрической форме или как локусы, связанные с Космические кривые. Важную роль в их исследовании сыграли группы Ли (в духе программы Эрлангена ), а именно группы симметрии евклидовой плоскость, сфера и гиперболическая плоскость . Эти группы Ли можно использовать для описания поверхностей постоянной гауссовой кривизны; они также являются важным компонентом современного подхода к внутренней дифференциальной геометрии через соединения. С другой стороны, внешние свойства, основанные на вложении поверхности в евклидово пространство, также широко изучаются. Это хорошо иллюстрируется нелинейными уравнениями Эйлера – Лагранжа в вариационном исчислении : хотя Эйлер разработал уравнения с одной переменной для понимания геодезических, определенных независимо Вложения, одно из основных приложений Лагранжа двух уравнений с переменными было к минимальным поверхностям, концепция, которая может быть определена только в терминах вложения.
Объемы некоторых квадратичных поверхностей оборотов были рассчитаны по Архимед. Развитие исчисления в семнадцатом веке предоставило более систематический способ их вычисления. Кривизну общих поверхностей впервые изучил Эйлер. В 1760 году он доказал формулу кривизны плоского сечения поверхности, а в 1771 году он рассмотрел поверхности, представленные в параметрической форме. Монж заложил основы их теории в своих классических мемуарах L'application de l'analyse à la géometrie, появившихся в 1795 году. Определяющий вклад в теорию поверхностей внес Гаусс в двух замечательных статьях, написанных в 1825 и 1827 годах. Это ознаменовало новый отход от традиции, потому что впервые Гаусс рассмотрел внутреннюю геометрию поверхности, свойства, которые определяются только геодезическими расстояниями между точками на поверхности независимо от особый способ, которым поверхность расположена в окружающем евклидовом пространстве. Главный результат, теорема Egregium Гаусса, установил, что гауссова кривизна является внутренним инвариантом, то есть инвариантом относительно локальных изометрий. Эта точка зрения была распространена на многомерные пространства Риманом и привела к тому, что сегодня известно как риманова геометрия. Девятнадцатый век был золотым веком теории поверхностей, как с топологической, так и с дифференциально-геометрической точки зрения, и большинство ведущих геометров посвятили себя их изучению. Дарбу собрал множество результатов в своих четырехлетних исследованиях. объемный трактат Теория поверхностей (1887–1896).
Интуитивно довольно привычно сказать, что лист растения, поверхность стекла или форма лица искривлены определенным образом, и что все Эти формы, даже после игнорирования каких-либо отличительных знаков, имеют определенные геометрические особенности, которые отличают одна от другой. Дифференциальная геометрия поверхностей занимается математическим пониманием таких явлений. Изучение этой области, которое было начато в ее современной форме в 1700-х годах, привело к развитию многомерной и абстрактной геометрии, такой как риманова геометрия и общая теория относительности.
существенным математическим объектом является регулярная поверхность. Хотя соглашения различаются по точному определению, они образуют общий класс подмножеств трехмерного евклидова пространства (ℝ), которые захватывают часть знакомое понятие «поверхность». Анализируя класс кривых, лежащих на такой поверхности, и степень, в которой поверхности заставляют их изгибаться в, можно сопоставить каждой точке поверхности два числа, называемых главными кривизнами. Их сумма называется средней кривизной поверхности, а их произведение - гауссовой кривизной.
Существует множество классических примеров регулярных поверхностей, в том числе:
Удивительный результат Карла Фридриха Гаусса, известный как теорема egregium, показал, что гауссовский кривизна поверхности, которая по своему определению связана с тем, как кривые на поверхности меняют направление в трехмерном пространстве, на самом деле может быть измерена длиной кривых, лежащих на поверхностях, вместе с углами, образованными при пересечении двух кривых на поверхности.. Терминологически это говорит о том, что гауссова кривизна может быть вычислена из первой фундаментальной формы (также называемой метрическим тензором ) поверхности. Вторая фундаментальная форма, напротив, представляет собой объект, который кодирует, как длина и углы кривых на поверхности искажаются, когда кривые отталкиваются от поверхности.
Несмотря на измерение различных аспектов длины и угла, первая и вторая основные формы не являются независимыми друг от друга и удовлетворяют определенным ограничениям, называемым уравнениями Гаусса-Кодацци . Основная теорема, часто называемая фундаментальной теоремой дифференциальной геометрии поверхностей, утверждает, что всякий раз, когда два объекта удовлетворяют ограничениям Гаусса-Кодацци, они возникают как первая и вторая фундаментальные формы регулярной поверхности.
Используя первую фундаментальную форму, можно определять новые объекты на регулярной поверхности. Геодезические - это кривые на поверхности, которые удовлетворяют определенному обыкновенному дифференциальному уравнению второго порядка, которое задается первой фундаментальной формой. Они очень напрямую связаны с изучением длин кривых; геодезическая достаточно короткой длины всегда будет кривой самой короткой длины на поверхности, соединяющей два ее конца. Таким образом, геодезические являются фундаментальными для задачи оптимизации определения кратчайшего пути между двумя заданными точками на регулярной поверхности.
Можно также определить параллельный перенос вдоль любой заданной кривой, который дает рецепт, как деформировать касательный вектор к поверхности в одной точке кривой до касательных векторов во всех других точках. кривой. Рецепт определяется обыкновенным дифференциальным уравнением первого порядка, которое задается первой фундаментальной формой.
По сути, все вышеперечисленные концепции относятся к многомерному исчислению. Теорема Гаусса-Бонне является более глобальным результатом, который связывает гауссову кривизну поверхности с ее топологическим типом. В нем утверждается, что среднее значение гауссовой кривизны полностью определяется эйлеровой характеристикой поверхности вместе с ее площадью поверхности.
Понятия риманова многообразия и риманова поверхность являются двумя обобщениями регулярных поверхностей, обсуждавшихся выше. В частности, практически вся обсуждаемая здесь теория регулярных поверхностей имеет обобщение в теории римановых многообразий. Это не относится к римановым поверхностям, хотя каждая регулярная поверхность дает пример римановой поверхности.
Интуитивно ясно, что сфера гладкая, а конус или пирамида из-за их вершины или ребер не являются. Понятие «регулярная поверхность» является формализацией понятия гладкой поверхности. В определении используется локальное представление поверхности с помощью карт между евклидовыми пространствами. Для таких отображений существует стандартное понятие гладкости; отображение между двумя открытыми подмножествами евклидова пространства является гладким, если его частные производные любого порядка существуют в каждой точке области.
Ниже приведены три эквивалентных способа представления определения; среднее определение, пожалуй, наиболее наглядно интуитивно понятное, поскольку оно по существу говорит о том, что регулярная поверхность - это подмножество, которое локально является графиком гладкой функции (будь то в области в плоскости yz, плоскости xz или плоскости xy).
Локальная параметризация формы пятна Монжа для верхней полусферы 2-сферы, полученная путем проецирования на плоскость xyОбъекты, используемые в определении | Регулярная поверхность в евклидовом пространстве ℝ является подмножество S в такое, что каждая точка S имеет... |
---|---|
локальную параметризацию | ... открытую окрестность U ⊂ S, для которой существует открытое подмножество V в и гомеоморфизм f: V → U такое, что
|
патчи Монжа | ...открытая окрестность U ⊂ ℝ, для которой существует открытое подмножество V в ℝ и гладкая функция h: V → ℝ такая, что выполняется одно из следующих условий:
|
Неявные функции | ... открытая окрестность U ⊂ ℝ, для которой существует гладкая функция F: U → ℝ такая, что:
|
Гомеоморфизмы, появляющиеся в первом определении, известны как локальные параметризации или локальных систем координат или локальных карт на S. Эквивалентность первых двух определений утверждает, что вокруг любой точки на регулярной поверхности всегда существуют локальные параметризации форма (u, v) ↦ (h (u, v), u, v), (u, v) ↦ (u, h (u, v), v) или (u, v) ↦ (u, v, h (u, v)), известные как патчи Монжа. Функции F, как в третьем определении, называются локальными определяющими функциями . Эквивалентность всех трех определений следует из теоремы о неявной функции.
Изменения координат между разными локальными картами должны быть плавнымиДля любых двух локальных параметризаций f: V → U и f ′: V ′ → U ′ регулярная поверхность, композиция f ∘ f ′ обязательно гладкая как отображение между открытыми подмножествами ℝ. Это показывает, что любая регулярная поверхность естественным образом имеет структуру гладкого многообразия, причем гладкий атлас задается обратными локальными параметризациями.
В классической теории дифференциальной геометрии поверхности обычно изучаются только в регулярном случае. Однако также распространено изучение нерегулярных поверхностей, в которых две частные производные ∂ u f и ∂ v f локальной параметризации могут не быть линейно независимый. В этом случае S может иметь особенности, такие как ребра возврата. Такие поверхности обычно изучаются в теории особенностей. Другие ослабленные формы регулярных поверхностей встречаются в автоматизированном проектировании, где поверхность разбивается на непересекающиеся части, при этом производные локальной параметризации не могут быть даже непрерывными вдоль границ.
Гиперболоид два листа Тор ГеликоидПростые примеры. Простым примером регулярной поверхности является двумерная сфера {(x, y, z) | х + у + z = 1}; эта поверхность может быть покрыта шестью пятнами Монжа (по два каждого из трех типов, указанных выше), принимая h (u, v) = ± (1 - u - v). Его также можно охватить двумя локальными параметризациями, используя стереографическую проекцию. Множество {(x, y, z): ((x + y) - r) + z = R} представляет собой тор вращения с радиусами r и R. Это регулярная поверхность; локальные параметризации могут быть заданы в виде
гиперболоид на двух листах {(x, y, z): z = 1 + x + y} - регулярная поверхность; он может быть покрыт двумя патчами Монжа с h (u, v) = ± (1 + u + v). Геликоид появляется в теории минимальных поверхностей. Он покрывается единственной локальной параметризацией, f (u, v) = (u sin v, u cos v, v).
Пусть S - регулярная поверхность в, а p - элемент S. Используя любое из приведенных выше определений, можно выделить определенные векторы в как касательные к S в точке p, а некоторые векторы в как ортогональные к S в точке p.
Объекты, используемые в определении | Вектор X в ℝ касается S в точке p, если... | Вектор n в нормален к S в точке p, если... |
---|---|---|
Локальные параметризации | ... для любой локальной параметризации f: V → S с p ∈ f (V), X является линейной комбинацией и | ... это ортогонален каждому касательному вектору к S в p |
патчи Монжа | ... для любого патча Монжа (u, v) ↦ (u, v, h (u, v)), диапазон которого включает p, один имеет с частными производными, вычисленными в точке (p 1, p 2). Аналогичное определение применимо к заплатам Монжа двух других форм. | ... для любого фрагмента Монжа (u, v) ↦ (u, v, h (u, v)), диапазон которого включает p, n кратно (∂h / ∂u, ∂h / ∂v, -1), как оценено в точке (p 1, p 2). Аналогичное определение применимо к заплатам Монжа двух других форм. |
Неявные функции | ... для любой локальной определяющей функции F, область определения которой содержит p, X ортогонален ∇F (p) | ... для любой локальной определяющей функции F, чья домен содержит p, n кратно ∇F (p) |
Видно, что касательное пространство к S в точке p, которое определяется как состоящее из всех касательных векторов к S в точке p, является двумерное линейное подпространство в; его часто обозначают Т р S. нормальное пространство к S в точке p, которое определяется как состоящее из всех нормальных векторов к S в точке p, является одномерным линейным подпространством в, которое ортогонально касательному пространству T p С. Таким образом, в каждой точке p на S есть два вектора нормалей единичной длины, называемые единичными векторами нормалей. Полезно отметить, что единичные векторы нормалей в p могут быть заданы в терминах локальной параметризации, Пятна Монжа, или локальные определяющие функции, с помощью формул
в тех же обозначениях, что и в предыдущих определениях.
Также полезно отметить «внутреннее» определение касательных векторов, которое типично для обобщения теории регулярных поверхностей для случая гладких многообразий. Он определяет касательное пространство как абстрактное двумерное вещественное векторное пространство, а не как линейное подпространство. В этом определении говорится, что касательный вектор к S в точке p является присвоением каждой локальной параметризации f: V → S с p ∈ f (V) двух чисел X и X, так что для любой другой локальной параметризации f ′: V → S с p ∈ f (V) (и с соответствующими числами (X ′) и(X ′)), то
где A f ′ (p) - матрица Якоби отображения f ∘ f ′, вычисленного в точке f ′ (p). Набор касательных векторов к S в точке p естественным образом имеет структуру двумерного пространства. Касательный вектор в этом смысле соответствует касательному вектору в предыдущем смысле, если рассматривать вектор
в ℝ. Условие Якоби на X и X гарантирует, что с помощью цепочки этот вектор не зависит от правил f.
Для гладких функций на поверхности обрабатывают поля (т. Е. Касательные установки поля) восстанавливают как операторы или производные первого порядка. Пусть будет регулярной поверхностью, открытым подмножеством плоскости и координатная диаграмма. Если , пробел можно отождествить с . Точно так же указывает на поля на с векторными полями на
Для векторных полей X и Y просто проверить, что оператор
Таким образом, мы используем поля на
Пусть S - регулярная поверхность в. Учитывая локальные параметры f: V → S и единичное поле нормальное значение n к f (V), можно определить следующие объекты как действующие или матричнозначные функции на V. Первая фундаментальная форма зависит только от f, а не от по п. В четвертом столбце записано, каким образом эти функции зависят от f, связывая функции E ′, F ′, G ′, L ′ и т. Д., Возникающие при выборе других параметров, f ′: V ′ → S, тем, различающим для f. Здесь A обозначает матрицу Якоби функции f ∘ f ′. Ключевым формулом создания при установлении четвертого столбца является
в соответствии с правилами цепочки .
Терминология | Обозначение | Определение | Зависимость от стандартных параметров |
---|---|---|---|
Первая фундаментальная форма | E | ||
F | |||
G | |||
Вторая фундаментальная форма | L | ||
M | |||
N | |||
Оператор формы | P | ||
Гауссова кривизна | K | ||
Средняя кривизна | H | ||
Основные кривизны |
Путем прямого вычисления с матрицей, определяющей оператор формы, можно проверить, что гауссовский кривизна - это детерминант оператора формы, средняя кривизна - это след оператора формы, а основные кривизны - это собственные значения оператора формы; кроме того, гауссова кривизна - это произведение главного кривизн, а средняя кривизна - их сумма. Эти наблюдения также можно определить как определения этих объектов. Эти наблюдения также показывают, что последние три строки четвертого столбца следуют непосредственно за предыдущей строкой, так как похожие матрицы имеют идентичные определитель, след и собственные значения. Важно отметить, что E, G и EG - F обязательно положительны. Это гарантирует, что матрица, обратная оценка оператора формы, хорошо определена, и что главные кривизны являются действительными числами.
Также обратите внимание, что отрицание выбора единичного нормального поля отрицает вторую фундаментальную форму, оператор формы, среднюю кривизну и основную кривизну, но оставит гауссову кривизну неизменной. Таким образом, это показало, что для регулярной поверхности S гауссова кривизна S может рассматриваться как действительная функция на S; относительно единичного нормального поля на всей S, две главные кривизны и средний кривизна также являются действующими функциями на S.
второй фундаментальной формы Главные кривизны в точке на поверхностиГеометрически первые и вторую фундаментальные формы можно рассматривать как информация о том, как f (u, v) перемещается в, когда (u, v) перемещается в V. В частности, первая фундаментальная форма кодирует, как быстро движется f, в то время как вторая фундаментальная форма кодирует степень, в которой его движение происходит в направлении движения нормали n. Другими словами, вторая фундаментальная форма в точке p кодирует длину ортогональной проекции от S на касательную плоскость к S в p; в частности, он дает квадратичную функцию, которая наилучшим образом приближает эту длину. Это мышление может быть уточнено формулами
следующим образом прямо из определений основных форм и теоремы Тейлора в двух измерениях. Основные кривизны можно увидеть следующим образом. В данной точке p на S рассмотрим набор всех плоскостей, которые содержат прямую, перпендикулярную S. Каждая такая плоскость имеет кривую пересечения с S, которую можно рассматривать как плоскую кривую внутри Самолета. Две рассматриваемые плоскость вращается вокруг нормали.
Ниже представлена сводная информация о приведенных выше сводках относительно участка Монжа f (u, v) = (u, v, h (u, v)). Здесь h u и h v обозначают две частные производные от h с аналогичными функциями для вторых частных производных. Вторая фундаментальная форма и все последующие величины относительно данного выбора единичного нормального поля.
Количество | Формула |
---|---|
Единичное новое поле нормали | |
Первая фундаментальная форма | |
Вторая фундаментальная форма | |
Оператор формы | |
Гауссова кривизна | |
Средняя кривизна |
Пусть S - регулярная поверхность в. Символы Кристоффеля присваивают каждую индивидуальную параметризацию f: V → S восемь функций на V, определенные как
Их также можно определить по следующим формулам, в которых n - единичное нормальное векторное поле вдоль f (V) и L, M, N - соответствующие компоненты второй фундаментальной формы:
Ключ согласно этому определению, ∂f / ∂u, ∂f / ∂v и n образуют основу ℝ в каждой точке, относительно которой каждое из трех уравнений однозначно определяет символы Кристоффеля как координаты вторых частных производных f. Выбор единичной нормали не влияет на символы Кристоффеля, так как если n заменяется на его отрицание, то компоненты второй основной формы также инвертируются, и поэтому знаки Ln, Mn, Nn остаются неизменными.
Второе определение показывает, в контексте локальной параметризации, что символы Кристоффеля геометрически естественны. Хотя формулы в первом определении кажутся менее естественными, они важны для демонстрации того, что символы Кристоффеля могут быть вычислены из первой фундаментальной формы, что не сразу видно из второго определения. Эквивалентность определений можно проверить, напрямую подставив первое определение во второе и используя определения E, F, G.
В уравнениях Кодацци утверждается, что
Эти уравнения могут быть непосредственно выведены из второго определения символов Кристоффеля, приведенного выше; например, первое уравнение Кодацци получается дифференцированием первого уравнения по v, второго уравнения по u, вычитания двух и взятия скалярного произведения с n. Уравнение Гаусса утверждает, что
Эти ок. n выводится аналогично уравнениям Кодацци, с использованием уравнения Вейнгартена вместо скалярного произведения с n. Хотя они записаны как три отдельных уравнения, они идентичны, когда определения символов Кристоффеля в терминах первых фундаментальных форм, подставляются в. Есть много способов записать результирующее выражение, один из них был получен в 1852 году Бриоши с умелым использованием определителей:
Когда символы Кристоффеля считаются определяемыми первой фундаментальной формой, уравнения Гаусса и ацци предоставляет собой ограничения между первой и второй фундаментальной формойми. Уравнение Гаусса заслуживает особого внимания, поскольку оно показывает, что кривизна Гаусса может быть вычислена непосредственно из первой фундаментальной формы, без необходимости в какой-либо другой информации; эквивалентно, это означает, что LN - M может быть записано как функция от E, F, G, даже если отдельные компоненты L, M, N не могут. Это известно как теорема egregium и было крупным открытием Карла Фридриха Гаусса. Это особенно поразительно, если вспомогательное геометрическое определение гауссовой кривизны определяется максимальным и минимальным радиусами соприкасающихся окружностей; они кажутся фундаментально определяемыми геометрией того, как S изгибается внутри. Тем не менее, теорема показывает, что их произведение может быть определено из «внутренней» геометрии S, имея дело только с длиной кривых вдоль S и углами, образованными на их пересечении. Как сказал Марсель Бергер :
Эта теорема сбивает с толку. [...] Это такая теорема, которая могла бы подождать еще несколько десятков лет, прежде чем ее обнаружит другой математик, поскольку в отличие от части интеллектуальной истории, она абсолютно не витала в воздухе. [...] Насколько нам известно, сегодня не существует простого геометрического доказательства теоремы эгрегиум.
Уравнения Гаусса-Кодацци также могут быть лаконично выражены и получены на языке формальные связи из-за Эли Картана. На языке тензорного исчисления, используя естественные метрики и связи на тензорных связках, уравнение Гаусса может быть записано как H - | h | = R и два уравнения Кодацци могут быть записаны как ∇ 1h12= ∇ 2h11и ∇ 1h22= ∇ 2h12; сложные, связанные с символами Кристоффеля и первой фундаментальной формы, полностью поглощаются определениями ковариантной производной тензора ∇h и скалярной кривизны R. Пьер Бонне доказал, что две квадратичные формы, удовлетворяющие уравнениям Гаусса-Кодацци, всегда однозначно определяют вложенную поверхность локально. По этой причине уравнения Гаусса-Кодацци часто называют фундаментальными уравнениями для вложенных поверхностей, точно определяя, откуда берутся внутренняя и внешняя кривизна. Они допускают обобщения на поверхности, вложенные в более общие римановы многообразия.
Диффеоморфизм
В терминах внутреннего произведения, полученного из первой фундаментальной формы, это можно переписать как
С другой стороны, длина параметризованной кривой
и, если t кривая лежит в
И наоборот, если
Простой пример изометрии дается двумя параметризациями
Цилиндр и плоскость являются примерами поверхностей, которые являются локально изометрическими, но которые не могут быть расширены до изометрии по топологическим причинам. В качестве другого примера, катеноид и геликоид являются локально изометрическими.
A тангенциальное векторное поле X на S присваивается каждому p в S, касательный вектор X p к S в p. Согласно "внутреннему" определению касательных векторов, данному выше, касательное векторное поле X затем назначает каждой локальной параметризации f: V → S две вещественнозначные функции X и X на V, так что
для каждого p в S. Говорят, что X является гладким, если функции X и X гладкие, для любого выбора f. Согласно другим определениям касательных векторов, данным выше, можно также рассматривать касательное векторное поле X на S как отображение X: S → ℝ такое, что X (p) содержится в касательном пространстве T p S ⊂ ℝ для каждого p из S. Как это часто бывает в более общей ситуации гладких многообразий, касательные векторные поля также могут быть определены как некоторые дифференциальные операторы на пространстве гладких функций по S.
ковариантные производные (также называемые «тангенциальные производные») Туллио Леви-Чивита и Грегорио Риччи-Курбастро обеспечивают средства дифференцирования гладких касательных векторных полей. Учитывая касательное векторное поле X и касательный вектор Y к S в точке p, ковариантная производная ∇ Y X является некоторым касательным вектором к S в точке p. Следовательно, если X и Y оба являются касательными векторными полями, то ∇ Y X также можно рассматривать как тангенциальное векторное поле; итеративно, если X, Y и Z - тангенциальные векторные поля, можно вычислить ∇ Z∇YX, которое будет другим касательным векторным полем. Есть несколько способов определить ковариантную производную; в первом ниже используются символы Кристоффеля и «внутреннее» определение касательных векторов, а во втором - более явно геометрическая форма.
Учитывая касательное векторное поле X и касательный вектор Y к S в точке p, определяется ∇ Y X как касательный вектор к p, который назначается локальной параметризации f: V → S два числа
где D (Y, Y) - производная по направлению . Это часто сокращается в менее громоздкой форме (∇ Y X) = ∂ Y (X) + YΓ. ijX, используя нотацию Эйнштейна и с неявным пониманием местоположения оценки функции. Это следует стандартному предписанию в римановой геометрии для получения связи из римановой метрики. Это фундаментальный факт, что вектор
в ℝ не зависит от выбора локальная параметризация f, хотя это довольно утомительно проверять.
Также можно определить ковариантную производную с помощью следующего геометрического подхода, который не использует символы Кристоффеля или локальные параметризации. Пусть X - векторное поле на S, рассматриваемое как функция S → ℝ. Для любой кривой c: (a, b) → S можно рассмотреть композицию X ∘ c: (a, b) → ℝ. Как карта между евклидовыми пространствами, его можно дифференцировать при любом входном значении, чтобы получить элемент (X ∘ c) ′ (t) из ℝ. Ортогональная проекция этого вектора на T c (t) S определяет ковариантную производную ∇ c ′ (t) X. Хотя это очень геометрически чистое определение, необходимо показать, что результат зависит только от c ′ (t) и X, а не от c и X; Для этого небольшого технического аргумента можно использовать локальные параметризации.
Из второго определения не сразу видно, что ковариантное дифференцирование зависит только от первой фундаментальной формы S; однако это непосредственно следует из первого определения, поскольку символы Кристоффеля могут быть определены непосредственно из первой фундаментальной формы. Несложно проверить эквивалентность этих двух определений. Суть в том, что если рассматривать X∂f / ∂u + X∂f / ∂v как-значную функцию, ее дифференцирование по кривой приводит к вторым частным производным ∂f; символы Кристоффеля входят с ортогональной проекцией в касательное пространство из-за формулировки символов Кристоффеля как тангенциальных компонентов вторых производных f относительно базиса ∂f / ∂u, ∂f / ∂v, n. Это обсуждается в предыдущем разделе.
Правая часть трех уравнений Гаусса может быть выражена с помощью ковариантного дифференцирования. Например, правая часть
можно распознать как вторую координату
относительно базиса ∂f / ∂u, ∂f / ∂v, что можно непосредственно проверить, используя определение ковариантного дифференцирования с помощью символов Кристоффеля. На языке римановой геометрии это наблюдение можно также сформулировать как утверждение, что правые части уравнений Гаусса являются различными компонентами кривизны Риччи уравнения Леви. -Civita соединение первой фундаментальной формы, при интерпретации как риманова метрика.
Поверхность вращения получается вращением кривой в плоскости xz вокруг оси z. К таким поверхностям относятся сферы, цилиндры, конусы, торы и катеноид. Общие эллипсоиды, гиперболоиды и параболоиды не являются. Предположим, что кривая параметризована следующим образом:
с s, взятым из интервала (a, b). Если c 1 никогда не равно нулю, если c 1 ′ и c 2 ′ оба никогда не равны нулю, и если c 1 и c 2 оба гладкие, тогда соответствующая поверхность вращения
будет регулярная поверхность в. Локальная параметризация f: (a, b) × (0, 2π) → S задается как
По отношению к этой параметризации геометрические данные:
Количество | Формула |
---|---|
Единичное векторное поле нормали | |
Первая фундаментальная форма | |
Вторая фундаментальная форма | |
Основные кривизны | |
Гауссова кривизна | |
Средняя кривизна |
В особый случай, когда исходная кривая параметризована длиной дуги, то есть (c 1 ′ (s)) + (c 1 ′ (s)) = 1, можно дифференцировать, чтобы найти c 1 ′ (s) c 1 ′ ′ (s) + c 2 ′ (s) c 2 ′ ′ (s) = 0. При подстановке в гауссову кривизну получаем упрощенное
Простота этой формулы делает особенно простым изучение класса осесимметричных поверхностей с постоянной гауссовой кривизной. Сведением к альтернативному случаю, когда c 2 (s) = s, можно изучать вращательно-симметричные минимальные поверхности, в результате чего любая такая поверхность является частью плоскости или масштабированного катеноида.
Каждая кривая с постоянным t на S может быть параметризована как геодезическая; кривая постоянной s на S может быть параметризована как геодезическая тогда и только тогда, когда c 1 ′ (s) равно нулю. Как правило, геодезические на S регулируются соотношением Клеро.
Квадрика эллипсоидРассмотрим квадратичную поверхность, определенную как
Эта поверхность допускает параметризацию
Гауссова кривизна и средняя кривизна определяются как
Линейчатая поверхность - это поверхность, которая может генерироваться движением прямой линии в E . Выбрав направляющую на поверхности, то есть гладкую кривую единичной скорости c (t), ортогональную прямым линиям, а затем выбрав u (t) в качестве единичных векторов вдоль кривой в направлении линий, вектор скорости v = c t и u удовлетворяет
Поверхность состоит из точек
при изменении s и t.
Тогда, если
гауссова и средняя кривизна определяются как
Гауссова кривизна линейчатой поверхности равна нулю тогда и только тогда, когда u t и v пропорциональны. Это условие эквивалентно поверхности, являющейся огибающей плоскостей вдоль кривой, содержащей касательный вектор v и ортогональный вектор u, то есть поверхности, являющейся разворачивающейся по кривой. В более общем случае поверхность в E имеет исчезающую гауссову кривизну около точки тогда и только тогда, когда она может развиваться около этой точки. (Эквивалентное условие дано ниже в терминах метрики.)
В 1760 г. Лагранж расширил результаты Эйлера по вариационному исчислению с участием интегралов от одной переменной до двух. Он имел в виду следующую задачу:
Учитывая замкнутую кривую в E, найти поверхность с кривой в качестве границы с минимальной площадью.
Такая поверхность называется минимальной поверхностью .
В 1776 году Жан Батист Мёзнье показал, что дифференциальное уравнение, выведенное Лагранжем, эквивалентно обращению в нуль средней кривизны поверхности:
Поверхность минимальна тогда и только тогда, когда ее средняя кривизна равна нулю.
Минимальные поверхности имеют простую интерпретацию в реальной жизни: они представляют собой форму, которую примет мыльная пленка, если проволочный каркас, имеющий форму кривой, погрузить в мыльный раствор, а затем осторожно вынуть. Вопрос о том, существует ли минимальная поверхность с заданной границей, называется проблемой Плато в честь бельгийского физика Джозефа Плато, который проводил эксперименты с мыльными пленками в середине девятнадцатого века. В 1930 г. Джесси Дуглас и Тибор Радо дали утвердительный ответ на проблему Плато (Дуглас был награжден одной из первых медалей Филдса за эту работу в 1936 г.)
Многие явные примеры минимальной поверхности известны в явном виде, такие как катеноид, геликоид, поверхность Шерка и Эннепер. поверхность. В этой области проводились обширные исследования, обобщенные в Osserman (2002). В частности, результат Оссермана показывает, что если минимальнаяповерхность не плоская, то ее изображение под отображением Гаусса плотно в S.
Поверхности с (от l. До r.) Постоянной отрицательной, нулевой и положительной гауссовой кривизнойЕсли поверхность имеет постоянную гауссову кривизну, она называется поверхность кривизны .
Каждая из этих поверхностей постоянной кривизны имеет транзитивную группу Ли симметрий. Этот теоретико-групповой факт имеет далеко идущие последствия, которые эти специальные поверхности играют в геометрии поверхности, в силу теоремы Пуанкаре об униформизации (см. Ниже).
Другие примеры поверхностей с гауссовой визуальной 0 включают в себя конусы, касательные разворачивающиеся элементы и вообще любую разворачивающуюся поверхность.
дифференциал dn отображение Гаусса n может быть для типа внешняя кривизны, известный как оператор формы или карта Вайнгартена. Впервые этот оператор неявно появился в работе Вильгельма Блашке, а затем явно в трактате Бурали-Форти и Бургати. В каждой точке x поверхности касательное пространство является внутренним пространством продукта, оператор формы S x может быть определен как линейный оператор в этом пространстве по формуле
для касательных v, w (внутренний вектор имеет смысл, поскольку dn (v) и w оба лежат в E ). Правая часть симметрична по v и w, поэтому оператор формы самосопряжен в касательном изображении. Собственные значения S x - это просто главные кривизны k 1 и k 2 в точке x. В частности, детерминант оператора в точке является гауссовой кривизной, но он также содержит другую информацию, поскольку средняя кривизна составляет половину след оператор формы. Средняя кривизна - внешний инвариант. В внутренней геометрии цилиндр является разворачивающимся, что означает, что каждый его элемент неотличим от части плоскости, поскольку его кривизна Гаусса одинаково равна нулю. Однако его средняя кривизна не равна нулю; Следовательно, внешне он отличается от самолета.
Как правило, собственные формы и собственные значения оператора в каждой точке определяют направления, в которых поверхность изгибается в каждой точке. Собственные значения соответствуют главной кривизне поверхности, а внутренние являются главными направлениями. Главные направления определяют, в которых кривая, встроенная в поверхность должна двигаться, чтобы иметь максимальную и минимальную кривизну, которые задаются главными кривизнами.
Кривые на поверхности, минимизирующие длину между конечными точками, называются геодезическими ; они имеют форму, которую примет эластичная лента , натянутая между двумя точками. Математически они описываются с помощью обыкновенных различных уравнений и вариационного исчисления. Дифференциальная геометрия вращается вокруг изучения геодезических. До сих пор остается открытым вопрос, возникает ли временная метрика на 2-мерной локальной карте вложения в 3-мерное евклидово пространство: теория геодезических использовалась, чтобы показать, что это верно в важном случае, когда компоненты метрики аналитический.
Для кусочно-гладкого пути c (t) = (x (t), y (t)) в карте для t в [a, b], его длина определяется как
и энергия на
Длина не зависит от параметров настройки пути. Согласно уравнениям Эйлера - Лагранжа, если c (t) - минимизирующая длина пути, параметризованная длина дуги, она должна удовлетворять уравнениями Эйлера
где символы Кристоффеля Γ. ijзадаются как
где g 11 = E, g 12 = F, g 22 = G, а g - матрица, обратная к g ij. Путь, удовлетворяющий уравнению Эйлера, называется геодезическим. Согласно неравенству Коши – Шварца путь, минимизирующий энергию, является просто геодезической, параметризованной длиной дуги; и для любой геодезической параметр t пропорционален длине дуги.
геодезическая кривизна kgв точке кривой c (t), параметризованная Длина дуги на ориентированной поверхности определена как
где n (t) - «основная» единица перпендикулярно кривой на поверхности, построенной путем поворота единичного касательного вектора ċ (t) на угол + 90 °.
Геодезическая кривизна точно определяет, насколько кривая на поверхности отличается от геодезической.
Когда F = 0 на всей карте координат, например, с геодезическими полярными координатами, обсуждаемыми ниже, изображения линий, параллельных осям x и y, будут ортогональные и обеспечивают ортогональные координаты . Если H = (EG), то гауссова кривизна определяется как
Если дополнительно E = 1, так что H = G, то угол φ на пересечении геодезических (x (t), y (t)), а прямая y = constant задается уравнением
Производная φ задается классической формулой Гаусса для производных:
После того, как метрика задана на поверхности и базовая точка зафиксирована, существует уникальная геодезическая, соединяющая базовую точку с каждой достаточно близкой точкой. Направление геодезической в базовой точке и расстояние однозначно определяют другую конечную точку. Эти два бита данных, направление и величина, таким образом, определяют касательный вектор в базовой точке. Карта от касательных векторов к конечным точкам плавно сметает окрестности базовой точки и определяет то, что называется «экспоненциальной картой», определяя локальную карту координат в этой базовой точке. Выметанная окрестность имеет те же свойства, что и шары в евклидовом пространстве, а именно любые две точки в ней соединены единственной геодезической. Это свойство называется «геодезической выпуклостью», а координаты - «нормальными координатами». Явное вычисление нормальных координат может быть выполнено путем рассмотрения дифференциального уравнения, которому удовлетворяют геодезические. Свойства выпуклости являются следствием леммы Гаусса и ее обобщений. Грубо говоря, эта лемма утверждает, что геодезические, начинающиеся в базовой точке, должны разрезать сферы фиксированного радиуса с центром в базовой точке под прямым углом. Геодезические полярные координаты получаются путем объединения экспоненциальной карты с полярными координатами касательных векторов в базовой точке. Гауссова кривизна поверхности тогда определяется отклонением метрики в точке второго порядка от евклидовой метрики. В частности, гауссова кривизна является инвариантом метрики, знаменитой теоремы Гаусса. Удобный способ понять кривизну - это обычное дифференциальное уравнение, сначала рассмотренное Гауссом, а затем обобщенное Якоби, возникающее в результате изменения нормальных координат в двух разных точках. Уравнение Гаусса – Якоби предоставляет другой способ вычисления гауссовой кривизны. Геометрически он объясняет, что происходит с геодезическими от фиксированной базовой точки, когда конечная точка изменяется вдоль небольшого сегмента кривой посредством данных, записанных в поле Якоби, векторное поле вдоль геодезической. Спустя полтора века после Гаусса и Якоби Марстон Морс дал более концептуальную интерпретацию поля Якоби в терминах вторых производных функции энергии на бесконечномерном гильбертовом многообразии
Теория обыкновенного дифференциального уравнения показывает, что если f (t, v) является гладким, то дифференциальное уравнение dv / dt = f (t, v) с начальным условием v (0) = v 0 имеет единственное решение для | т | достаточно мало, и решение гладко зависит от t и v 0. Это означает, что для достаточно малых касательных векторов v в данной точке p = (x 0,y0) существует геодезическая c v (t), определенная на (−2,2) с c v (0) = (x 0,y0) и ċ v (0) = v. Более того, если | с | ≤ 1, тогда c sv = c v (st). экспоненциальное отображение определено как
и дает диффеоморфизм круга discv ‖ < δ and a neighbourhood of p; more generally the map sending (p,v) to expp (v) дает локальный диффеоморфизм на добавление (p, p). Экспоненциальная карта дает геодезические нормальные координаты рядом с п.
Существует стандартный метод (см., Например, Berger (2004)) для вычислений замены чисел к нормальным координатам u, v в точке в виде формального разложения в ряд Тейлора. Если координаты x, y в точке (0,0) локально ортогональны, запишите
где L, M - квадратичные, а λ, μ кубические однородные многочлены от u и v.Если u и v фиксированы, x (t) = x (tu, tv) и y (t) = y (tu, tv) можно рассматривать как формальные степенные ряды решений уравнений Эйлера: это однозначно определить α, β, L, M, λ и μ.
В этих координатах матрица g (x) удовлетворяет условию g (0) = I, а линии t tv являются геодезическими через 0. Из уравнений Эйлера следует матричное уравнение
- ключевой результат, обычно называемый леммой Гаусса. Геометрически это утверждает, что
геодезические, проходящие через 0, разрезают окружности с центром в 0 ортогонально. |
Принимая полярные координаты (r, θ), следует, что метрика имеет вид
В геодезических координатах легко проверить, что геодезические до нуля минимизируют длину. Тогда топология на римановом разнообразии задается функцией расстояния d (p, q), а именно точной гранью длинных кусочно гладких путей между p и q. Это расстояние реализуется локально геодезическими, так что в нормальных координатах d (0, v) = ‖v‖. Если радиус δ взять достаточно малым, небольшое уточнение леммы Гаусса покажет, что образ U диска ‖v‖ < δ under the exponential map is геодезически выпуклый, т.е. две точки в U соединены любые единственной геодезической, целиком лежащей внутри U.
Гаусса Теорема Egregium, «Замечательная теорема», показывает, что гауссова критическая поверхность может быть вычислена исключительно в терминах метрики и, таким образом, является внутренним инвариантом поверхности, независимым от любого изометрического вложения в E и неизменным при преобразованиях координат. В частности, изометрии поверхностей сохраняют гауссову кривизну.
Эта теорема может быть выражена в терминах разложения метрики в степенном ряду, ds, дается в нормальных координатах (u, v) как
Переход от нормальных координат в точку p к нормальным координатам в ближайшей точке q дает Уравнение Штурма - Ли, которому удовлетворяет H (r, θ) = G ( r, θ), обнаруженное Гауссом и с помощью обобщенного с Якоби,
Hrr= –KH |
Якобиан этого изменения координаты в q H равенство r. Это дает еще один объект внутренней природы гауссовой кривизны. H (r, θ) можно интерпретировать как длину линейного элемента в направлении θ, уравнение Гаусса - Якоби показывает, что гауссова кривизна измеряет распространение геодезических на геометрической поверхности по мере их удаления от точки.
На поверхности с локальной метрикой
и оператор Лапласа - Бельтрами
где H = EG - F, гауссова кривизна в точке задается формулой
где r обозначает геодезическое расстояние от точки.
В изотермических координат, впервые рассмотренных Гауссом, требуется, чтобы метрика имела специальный вид
В этом случае оператор Лапласа - Бельтрами определяется как
и φ удовлетворяет уравнению Лиувилля
Известно, что изотермические координаты существуют в любой точке поверхности, хотя все доказательства на сегодняшний день основаны на нетривиальных результатах на частных производственных. уравнения. Существуетарное доказательство для минимальных элементов поверхностей.
На сфере или гиперболоиде, площадь геодезического треугольника, т. е. треугольника, все стороны которого являются геодезическими, пропорциональна суммы внутренних углов и π. Константа пропорциональности - это просто гауссова кривизна, постоянная для этих поверхностей. Для тора разница равна нулю, что соответствует факту, что его гауссова кривизна равна нулю. Это стандартные результаты сферической, гиперболической и школьной тригонометрии (см. Ниже). Гаусс обобщил эти результаты на произвольную поверхность, показывающий интеграл гауссовой кривизны по внутренней части геодезического треугольника также равен этой угловой разнице или превышению. Его формула показала, что кривизна Гаусса может быть вычислена около точки как предел площади над угловым превышением для геодезических треугольников, сужающихся к точке. Поскольку любую замкнутую поверхность можно разложить на геодезические треугольники, формулу можно также использовать для вычисления интеграла кривизны по всей поверхности. В качестве частного случая того, что сейчас называется теоремой Гаусса – Бонне, Гаусс доказал, что этот интеграл всегда был 2π, умноженным на целое число, топологический инвариант поверхности, называемый характеристикой Эйлера. Этот инвариант легко вычислить комбинаторно с точки зрения количества вершин, ребер и граней треугольников в разложении, также называемом триангуляцией. Это взаимодействие между анализом и топологией явилось предшественником многих более поздних результатов в геометрии, кульминацией которых стала теорема об индексе Атьи-Зингера. В частности, свойства кривизны накладывают ограничения на топологию поверхности.
Гаусс доказал, что если Δ - геодезический треугольник на поверхности с углами α, β и γ в вершинах A, B и C, то
Фактически, принимая геодезические полярные координаты с началом A и AB, AC радиусы под полярными углами 0 и α:
где второе равенство следует из уравнения Гаусса – Якоби, а четвертая - из формулы производной Гаусса в ортогональных координатах (r, θ).
Формула Гаусса показывает, что кривизна в точке может быть вычислена как предел превышения угла α + β + γ - π над площадью для последовательно уменьшающихся геодезических треугольников около точки. Качественно поверхность имеет положительную или отрицательную кривизну в зависимости от знака превышения угла для произвольно малых геодезических треугольников.
Поскольку каждое компактное ориентированное двумерное многообразие M может быть триангулировано небольшими геодезическими треугольниками, отсюда следует, что
где χ (M) обозначает эйлерову характеристику поверхности.
На самом деле, если имеется F граней, E ребер и V вершин, то 3F = 2E и левая часть равна 2πV - πF = 2π (V - E + F) = 2πχ (M).
Это знаменитая теорема Гаусса – Бонне : она показывает, что интеграл от гауссовой кривизны является топологическим инвариантом многообразия, а именно характеристикой Эйлера. Эту теорему можно интерпретировать по-разному; возможно, одним из самых далеко идущих результатов стала теорема об индексе для эллиптического дифференциального оператора на M, один из простейших случаев теоремы Атьи-Зингера об индексе. Другой связанный результат, который может быть доказан с помощью теоремы Гаусса – Бонне, - это теорема Пуанкаре-Хопфа об индексах для векторных полей на M, которые обращаются в нуль только в конечном числе точек: сумма индексов в этих точках точки равны эйлеровой характеристике, где индекс точки определяется следующим образом: на маленьком круге вокруг каждого изолированного нуля векторное поле определяет отображение в единичный круг; индекс - это просто число витков этой карты.)
Если гауссова кривизна поверхности M всюду положительна, то характеристика Эйлера равна положительно, поэтому M гомеоморфно (и, следовательно, диффеоморфно) S . Если, кроме того, поверхность изометрически вложена в E, карта Гаусса обеспечивает явный диффеоморфизм. Как заметил Адамар, в этом случае поверхность выпуклая ; этот критерий выпуклости можно рассматривать как 2-мерное обобщение известного критерия второй производной выпуклости плоских кривых. Гильберт доказал, что каждая изометрически вложенная замкнутая поверхность должна иметь точку положительной кривизны. Таким образом, замкнутое риманово 2-многообразие неположительной кривизны никогда не может быть вложено изометрически в E ; однако, как показал Адриано Гарсия, используя уравнение Бельтрами для квазиконформных отображений, это всегда возможно для некоторой конформно эквивалентной метрики.
Односвязные поверхности постоянной кривизны 0, +1 и –1 являются евклидовой плоскостью, единичной сферой в E, и гиперболическая плоскость. Каждый из них имеет транзитивную трехмерную группу Ли сохраняющих ориентацию изометрий G, которые можно использовать для изучения их геометрии. Каждую из двух некомпактных поверхностей можно отождествить с факторпространством G / K, где K - максимальная компактная подгруппа группы G. Здесь K изоморфна SO (2). Любое другое замкнутое риманово 2-многообразие M постоянной гауссовой кривизны после масштабирования метрики постоянным множителем, если необходимо, будет иметь одну из этих трех поверхностей в качестве своего универсального накрывающего пространства. В ориентируемом случае фундаментальная группа Γ группы M может быть отождествлена с свободной от кручения однородной подгруппой группы G, а затем M можно отождествить с двойное пространство смежности Γ \ G / K. В случае сферы и евклидовой плоскости единственными возможными примерами являются сама сфера и торы, полученные как частные от R по дискретному рангу 2. подгруппы. Для замкнутых поверхностей рода g ≥ 2, пространство модулей римановых поверхностей, полученное как Γ, изменяется по всем таким подгруппам, имеет вещественную размерность 6g - 6. По теореме Пуанкаре об униформизации, любое ориентируемое замкнутое двумерное многообразие конформно эквивалентно поверхности постоянной кривизны 0, +1 или –1. Другими словами, умножив показатель на положительный масштабный коэффициент, можно заставить гауссову кривизну принять ровно одно из этих значений (знак характеристики Эйлера M).
В случае евклидовой плоскости группа симметрии - это группа евклидовых движений, полупрямое произведение двумерной группы переводов по группе вращений. Геодезические - это прямые линии, а геометрия закодирована в элементарных формулах тригонометрии, таких как правило косинуса для треугольника со сторонами a, b, c и углами α, β, γ :
Плоские торы могут быть получены путем деления R решеткой , т.е. свободной абелевой подгруппой ранга 2. Эти замкнутые поверхности не имеют изометрических вложений в E . Тем не менее они допускают изометрические вложения в E ; в простейшем случае это следует из того факта, что тор является произведением двух окружностей, и каждая окружность может быть изометрически вложена в E.
Группа изометрии единичной сферы S в E является ортогональной группой O (3), с группа вращения SO (3) как подгруппа изометрий, сохраняющих ориентацию. Это прямое произведение SO (3) на антиподальное отображение, отправляющее x в –x. Группа SO (3) действует транзитивно на S. Подгруппа стабилизатора единичного вектора (0,0,1) может быть отождествлена с SO (2), так что S = SO (3) / SO (2).
Геодезические между двумя точками на сфере - это дуги большого круга с данными конечными точками. Если точки не противоположны друг другу, между ними существует единственная кратчайшая геодезическая. Геодезические также могут быть описаны группой теоретически: каждая геодезическая, проходящая через северный полюс (0,0,1), является орбитой подгруппы вращений вокруг оси через противоположные точки на экваторе.
A сферический треугольник - геодезический треугольник на сфере. Он определяется точками A, B, C на сфере со сторонами BC, CA, AB, образованными дугами большого круга длиной меньше π. Если длины сторон равны a, b, c и углы между сторонами α, β, γ, тогда закон сферического косинуса гласит, что
Площадь треугольника определяется как
Используя стереографическую проекцию с северного полюса, сферу можно отождествить с расширенной комплексной плоскостью C∪ {∞}. Явное отображение дается формулой
При этом соответствии каждое вращение S соответствует преобразованию Мёбиуса в SU (2), уникально до знака. Что касается координат (u, v) в комплексной плоскости, сферическая метрика принимает вид
Единичная сфера - это единственная замкнутая ориентируемая поверхность постоянной кривизны +1. Фактор SO (3) / O (2) можно отождествить с вещественной проективной плоскостью. Он неориентируемый и может быть описан как фактор S по антиподальному отображению (умножение на -1). Сфера односвязна, а реальная проективная плоскость имеет фундаментальную группу Z2. Конечные подгруппы в SO (3), соответствующие конечным подгруппам в O (2) и группам симметрии платоновых тел, не действуют свободно на S, поэтому соответствующие частные - это не 2-многообразия, а просто орбифолды.
Неевклидова геометрия впервые обсуждалась в письмах Гаусса, который сделал обширные вычисления на рубеже девятнадцатого века, которые, хотя и находились в частном обращении, он решил не печатать. В 1830 г. Лобачевский и независимо в 1832 г. Бойяи, сын одного из корреспондентов Гаусса, опубликовали синтетические версии этой новой геометрии, за что подверглись резкой критике. Однако только в 1868 году Бельтрами, за которым последовал Клейн в 1871 году и Пуанкаре в 1882 году, дали конкретные аналитические модели для того, что Клейн назвал гиперболической геометрией. Появились четыре модели двумерной гиперболической геометрии:
Первая модель, основанная на диске, имеет то преимущество, что геодезические на самом деле являются отрезками прямых (т. Е. пересечения евклидовых прямых с открытым единичным кругом). Последняя модель имеет то преимущество, что она дает конструкцию, полностью параллельную конструкции единичной сферы в трехмерном евклидовом пространстве. Однако из-за их применения в комплексном анализе и геометрии наиболее широко используются модели Пуанкаре: они взаимозаменяемы благодаря преобразованиям Мёбиуса между диском и верхней полуплоскостью.
Пусть
- диск Пуанкаре в комплексной плоскости с метрикой Пуанкаре
В полярных координатах (r, θ) метрика определяется как
Длина кривой γ: [a, b] → D определяется формулой
Группа G = SU (1,1), заданная формулой
действует транзитивно посредством преобразований Мёбиуса на D и стабилизирующая подгруппа в 0 - это группа вращений
Фактор-группа SU (1,1) / ± I является группой сохраняющих ориентацию изометрий D. Любые две точки z, w в D соединены единственной геодезической, задаваемый частью окружности или прямой линии, проходящей через z и w и ортогональной граничной окружности. Расстояние между z и w определяется как
В частности, d ( 0, r) = 2 th r и c (t) = 1 / 2tanh t - геодезическая, проходящая через 0 вдоль вещественной оси, параметризованная длиной дуги.
Топология, определяемая этой метрикой, эквивалентна обычной евклидовой топологии, хотя как метрическое пространство (D, d) является полным.
Гиперболический треугольник в модели диска ПуанкареA гиперболический треугольник является геодезическим треугольником для этой метрики: любые три точки в D являются вершинами гиперболического треугольника. Если стороны имеют длину a, b, c с соответствующими углами α, β, γ, то правило гиперболического косинуса утверждает, что
Площадь гиперболического треугольника определяется как
Единичный круг и верхняя полуплоскость
конформно эквивалентны преобразованиям Мёбиуса
При этом соответствии действие SL (2, R) преобразованиями Мёбиуса на H соответствует действию SU (1, 1) на D. Метрика на H становится
Поскольку прямые или окружности сохраняются при преобразованиях Мёбиуса, геодезические снова описываются линиями или окружностями, ортогональными к действительной оси.
Единица Диск с метрикой Пуанкаре - это единственное односвязное ориентированное двумерное риманово многообразие постоянной кривизны −1. Любая ориентированная замкнутая поверхность M с этим свойством имеет D как универсальное накрывающее пространство. Ее фундаментальная группа может быть отождествлена с компактной подгруппой без кручения Γ группы SU (1,1) таким образом, что
В этом случае Γ является конечно представленной группой. Генераторы и отношения кодируются в геодезически выпуклом фундаментальном геодезическом многоугольнике в D (или H), геометрически соответствующем замкнутым геодезическим на M.
Примеры .
Учитывая ориентированную замкнутую поверхность M с гауссовой кривизной K, метрику на M можно изменить конформно, масштабируя ее в e раз. Новая гауссова кривизна K 'тогда определяется как
где Δ - лапласиан для исходной метрики. Таким образом, чтобы показать, что данная поверхность конформно эквивалентна метрике постоянной кривизны K ′, достаточно решить следующий вариант уравнения Лиувилля :
Когда M имеет эйлерову характеристику 0, поэтому он диффеоморфен тору , K ′ = 0, поэтому это сводится к решению
Согласно стандартной эллиптической теории, это возможно, потому что интеграл от K по M равен нулю по теореме Гаусса – Бонне.
Когда M имеет отрицательная эйлерова характеристика, K ′ = −1, поэтому решаемое уравнение:
Используя непрерывность экспоненциального отображения в пространстве Соболева из-за Нила Трудингера, это нелинейное уравнение всегда можно решить.
Наконец, в случае двумерной сферы K '= 1, и уравнение принимает следующий вид:
До сих пор это нелинейное уравнение не анализировалось напрямую, хотя классические результаты, такие как теорема Римана-Роха Подразумевается, что всегда есть решение. Метод потока Риччи, разработанный Ричардом С. Гамильтоном, дает другое доказательство существования, основанное на нелинейных уравнениях в частных производных, чтобы доказать существование. Фактически поток Риччи на конформных метриках на S определяется на функциях u (x, t) формулой
Через конечное время Чоу показал, что K ′ становится положительным; предыдущие результаты Гамильтона затем могут быть использованы, чтобы показать, что K 'сходится к +1. До этих результатов по потоку Риччи Осгуд, Филлипс и Сарнак (1988) предложили альтернативный и технически более простой подход к униформизации, основанный на потоке на римановой метрике g, определяемой как log det Δ g.
Простое Доказательство с использованием только эллиптических операторов, обнаруженных в 1988 г., можно найти в Динг (2001). Пусть G - функция Грина на S, удовлетворяющая ΔG = 1 + 4πδ P, где δ P - точечная мера в фиксированной точке P множества S. уравнение Δv = 2K - 2, имеет гладкое решение v, так как правая часть имеет интеграл 0 по теореме Гаусса – Бонне. Таким образом, φ = 2G + v удовлетворяет Δφ = 2K на расстоянии от P. Отсюда следует, что g 1 = eg является полной метрикой постоянной кривизны 0 на дополнении к P, которая поэтому изометрична плоскости. Составив стереографическую проекцию , следует, что существует гладкая функция u такая, что eg имеет гауссову кривизну +1 на дополнении к P. Функция u автоматически продолжается до гладкой функции на всем S.
Классический подход Гаусса к дифференциальной геометрии поверхностей был стандартным элементарным подходом, предшествовал появлению концепции риманова многообразия, инициированные Бернхардом Риманом в середине девятнадцатого века, и связи, разработанные Туллио Леви-Чивита, Эли Картан и Герман Вейль в начале двадцатого века. Понятие связи, ковариантной производной и параллельного переноса дало более концептуальный и единообразный способ понимания кривизны, который не только позволил обобщить многомасштабность, но и предоставил важный инструмент для определения новые геометрические инварианты, называемые характеристические классами. Подход, использующий ковариантные производные и связи, в настоящее время принят в более сложных учебниках.
Связи на поверхности могут быть применимы с различными эквивалентными, но не менее важными точками зрения. Риманова связь или Связь Леви-Чивита., возможно, легче всего понять в терминах подъема векторных полей, рассматриваемых как дифференциальные операторы, действующие функции на многообразии, к дифференциальным операторам на касательном пучке или связке фреймов. В случае вложенной поверхности подъем к оператору над векторными полями, называемый ковариантной производной, очень просто описывается в терминах ортогональной проекции. Настоящее поле на поверхности, вложенной в R, может действительно рассматриваться как функция от поверхности в R . Другое место установки как дифференциальный оператор покомпонентно. Результирующее поле не будет касаться поверхности, но это можно исправить, взяв его ортогональную проекцию на касательное пространство в каждой точке поверхности. Как Риччи и Леви-Чивита осознал на рубеже двадцатого века, этот процесс зависит только от метрики и может быть локально выражен в терминах символов Кристоффеля.
Параллельный перенос вектора вокруг геодез треугольника на сфере. Длина переносимого вектора и угол, который составляет с каждой стороной, остаются постоянными.Параллельный перенос касательных векторов вдоль кривой на поверхности следующим достижением в этой области, в связи с Леви-Чивита. Это связано с более ранним понятием ковариантной производной, потому что это монодромия обыкновенного дифференциального уравнения на кривой, определяемой ковариантной производной относительно вектора скорости кривой.. Параллельный перенос по геодезическим, прямым линиям поверхности, также можно легко описать напрямую. Вектор в касательной плоскости переносится по геодезической как единственное поле постоянной длины и составляющее постоянный угол с вектором скорости геодезической. Для общей кривой процесс должен быть изменен с использованием геодезической кривизны, которая измеряет, насколько кривая отклоняется от геодезической.
Векторное поле v (t) вдоль кривой единичной скорости c (t), с геодезической кривизной k g (t), называется параллельной вдоль кривой, если
Это возвращает правило параллельного переноса по геодезической или кусочно-геодезической кривой, потому что в этом случае k g = 0, так что угол θ (t) должен оставаться постоянным на любом геодезическом отрезке. Существование параллельного переноса следует из того, что θ (t) может быть вычислено как интеграл геодезической кривизны. Он, следовательно, непрерывно зависит от нормы L для k g, отсюда следует, что параллельный перенос для произвольной кривой может быть получен как предел переноса при аппроксимации кусочно-геодезических кривых.
Таким образом, связь может быть представлена в терминах подъемных путей в множестве путей путям в касательном или ортонормированном расслоении реперов, что формализует классическую теорию «подвижной реперы », предпочитают французские авторы. Подъем петель вокруг точки приводит к возникновению группы голономии в этой точке. Гауссова кривизна в точке может быть восстановлена параллельного переноса вокруг все более мелких петель в точке. Эквивалентно кривизна может быть вычислена непосредственно на бесконечно малом уровне в терминах скобок Ли поднятых векторных полей.
Эли Картан в 1904 годуПодход Картана и Вейля, использующий форму соединения 1 в пакете кадров M, дает третий способ понять риманову связь. Они заметили, что параллельный перенос требует, чтобы путь на поверхности поднимался до пути в связке кадров, так что его касательные векторы лежат в специальном подпространстве коразмерности один в трехмерном касательном пространстве связки кадров. Проекция на это подпространство определяется дифференциальной 1-формой на пучке ортонормированных реперов, формой связи . Это позволило закодировать свойства кривизны поверхности в дифференциальных формах на связке кадров и формулах, включающих их внешние производные.
Этот подход особенно прост для встроенной поверхности. Благодаря результату Кобаяши (1956), 1-форма связности на поверхности, вложенной в евклидово пространство E, является просто откатом под картой Гаусса 1-формы связности на S. Используя отождествление S с однородным пространством SO (3) / SO (2), 1-форма связности является просто компонентом 1-формы Маурера – Картана на SO (3).
Хотя характеристика кривизны включает только локальную геометрию поверхности, существуют важные глобальные аспекты, такие как Gauss– Теорема Бонне, теорема об униформизации, теорема фон Мангольдта-Адамара и теорема о вложимости. Есть и другие важные аспекты глобальной геометрии поверхностей. К ним относятся:
Одно из наиболее полных Вводных обзоров предмета, показывающие историческое развитие от Гаусса до наших дней,лены Бергером (2004). Изложение классической теории дано в Эйзенхарт (2004), Крейсциг (1991) и Струик (1988) ; более доступными могут оказаться более современные, обильно иллюстрированные учебники для студентов Грея, Аббены и Саламона (2006), Прессли (2001) и Уилсона (2008). Доступное изложение классической теории можно найти в Hilbert Cohn-Vossen (1952). Более сложные процедуры на уровне выпускников с использованием римановой связи на поверхности можно найти в Singer Thorpe (1967), do Carmo (2016) и О 'Нил (2006).