Дифференциальная геометрия
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/89/Hyperbolic_triangle.svg/235px-Hyperbolic_triangle.svg.png)
Геометрия |
---|
![]() |
|
Геометры |
Дифференциальная геометрия — математическая дисциплина, изучающая геометрию гладких форм и гладких пространств, также известных как гладкие многообразия . Он использует методы дифференциального исчисления , интегрального исчисления , линейной алгебры и полилинейной алгебры . Эта область берет свое начало в изучении сферической геометрии еще в древности . Это относится и к , геодезии Земли , а позднее к изучению гиперболической геометрии Лобачевского . астрономии Простейшими примерами гладких пространств являются плоские и пространственные кривые и поверхности в трехмерном евклидовом пространстве , и изучение этих форм легло в основу развития современной дифференциальной геометрии в XVIII и XIX веках.
С конца 19-го века дифференциальная геометрия превратилась в область, занимающуюся более общими геометрическими структурами на дифференцируемых многообразиях . Геометрическая структура — это структура, которая определяет некоторое понятие размера, расстояния, формы, объема или другой структуры, придающей жесткость. Например, в римановой геометрии задаются расстояния и углы, в симплектической геометрии можно вычислять объемы, в конформной геометрии задаются только углы, а в калибровочной теории определенные поля в пространстве заданы . Дифференциальная геометрия тесно связана с дифференциальной топологией , которая касается свойств дифференцируемых многообразий, которые не полагаются на какую-либо дополнительную геометрическую структуру (подробнее о различии между двумя предметами см. В этой статье). Дифференциальная геометрия также связана с геометрическими аспектами теории дифференциальных уравнений , иначе известными как геометрический анализ .
Дифференциальная геометрия находит применение в математике и естественных науках . Наиболее заметно язык дифференциальной геометрии использовался Альбертом Эйнштейном в его общей теории относительности , а затем физиками при разработке квантовой теории поля и стандартной модели физики элементарных частиц . Помимо физики, дифференциальная геометрия находит применение в химии , экономике , технике , теории управления , компьютерной графике и компьютерном зрении , а с недавних пор и в машинном обучении .
и развитие История
История и развитие дифференциальной геометрии как предмета начинается, по крайней мере, еще в классической античности . Оно тесно связано с развитием геометрии в целом, понятия пространства и формы, а также топологии , особенно с изучением многообразий . В этом разделе мы сосредоточиваемся прежде всего на истории применения бесконечно малых методов к геометрии, а затем к идеям касательных пространств и, в конечном итоге, к развитию современного формализма предмета в терминах тензоров и тензорных полей .
Классическая древность до эпохи Возрождения (300 г. до н.э. – 1600 г. н.э. )
Изучение дифференциальной геометрии или, по крайней мере, изучения геометрии гладких форм можно проследить, по крайней мере, до классической античности . В частности, многое было известно о геометрии Земли , сферической геометрии , во времена древнегреческих математиков. Как известно, Эратосфен вычислил окружность Земли около 200 г. до н.э., а около 150 г. н.э. Птолемей в своей «Географии» представил стереографическую проекцию для картографирования формы Земли. [1] Неявно на протяжении всего этого времени принципы, составляющие основу дифференциальной геометрии и исчисления, использовались в геодезии , хотя и в значительно упрощенной форме. А именно, еще в было » Евклида «Началах понятно, что прямая линия может быть определена по ее свойству обеспечивать кратчайшее расстояние между двумя точками, и применение этого же принципа к поверхности Земли приводит к выводу, что большие круги , которые лишь локально похожи на прямые линии на плоской плоскости, обеспечивают кратчайший путь между двумя точками на поверхности Земли. Действительно, измерения расстояний по таким геодезическим путям Эратосфена и других можно считать элементарной мерой длины дуги кривых - концепция, которая не получила строгого определения с точки зрения исчисления до 1600-х годов.
Примерно в это же время существовало лишь минимальное явное применение теории бесконечно малых к изучению геометрии, что было предшественником современного изучения этого предмета, основанного на исчислении. В обсуждается » Евклида « Началах понятие касания линии к кругу, а Архимед применил метод исчерпывания для вычисления площадей гладких фигур, таких как круг , и объемов гладких трехмерных тел, таких как сфера. , конусы и цилиндры. [1]
теория дифференциальной геометрии получила небольшое развитие Между античностью и началом эпохи Возрождения . До развития исчисления Ньютоном и Лейбницем наиболее значительное развитие в понимании дифференциальной геометрии произошло благодаря Герардом Меркатором разработке проекции Меркатора как способа картографирования Земли. Меркатор понимал преимущества и недостатки конструкции своей карты и, в частности, осознавал конформную природу своей проекции, а также разницу между прагой , линиями кратчайшего расстояния на Земле, и директом , прямыми линиями. линии путей на его карте. праги имеют косую кривизну . Меркатор отметил, что в этой проекции [1] Этот факт отражает отсутствие сохраняющей метрику карты поверхности Земли на плоскую плоскость, следствие более поздней Эгрегиума Гаусса Теоремы .
исчисления (1600–1800 гг После . )
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/84/Osculating_circle.svg/220px-Osculating_circle.svg.png)
Первое систематическое или строгое рассмотрение геометрии с использованием теории бесконечно малых и понятий исчисления началось примерно в 1600-х годах, когда исчисление было впервые разработано Готфридом Лейбницем и Исааком Ньютоном . В это время недавняя работа Рене Декарта, вводящая аналитические координаты в геометрию, позволила строго описывать геометрические формы возрастающей сложности. В частности, примерно в это же время Пьер де Ферма , Ньютон и Лейбниц начали изучение плоских кривых и исследование таких понятий, как точки перегиба и круги соприкосновения , которые помогают в измерении кривизны . Действительно, уже в своей первой статье об основах исчисления Лейбниц отмечает, что условие бесконечно малой указывает на наличие точки перегиба. Вскоре после этого братья Бернулли , Якоб и Иоганн внесли важный вклад в использование бесконечно малых величин для изучения геометрии. В лекциях Иоганна Бернулли того времени, позже собранных Л'Опиталем в первый учебник по дифференциальному исчислению , касательные к плоским кривым различных типов вычисляются с использованием условия , и аналогично рассчитываются точки перегиба. [1] В это же время реализуется ортогональность между соприкасающимися кругами плоской кривой и касательными направлениями, и первая аналитическая формула для радиуса соприкасающегося круга, по существу первая аналитическая формула для понятия кривизны записывается .
Вслед за развитием аналитической геометрии и плоских кривых Алексис Клеро начал изучать пространственные кривые всего в 16 лет. [2] [1] В своей книге Клеро ввел понятие касательного и субкасательного направлений к пространственным кривым относительно направлений, лежащих вдоль поверхности, на которой лежит пространственная кривая. Таким образом, Клеро продемонстрировал неявное понимание касательного пространства к поверхности и впервые изучил эту идею с помощью исчисления. Важно отметить, что Клеро ввел терминологию кривизны и двойной кривизны , по сути, понятие главных кривизн, позже изученное Гауссом и другими.
Примерно в это же время Леонард Эйлер , первоначально ученик Иоганна Бернулли, внес значительный вклад не только в развитие геометрии, но и в математику в более широком смысле. [3] Что касается дифференциальной геометрии, Эйлер изучил понятие геодезической на поверхности, выведя первое аналитическое уравнение геодезической , а позже ввел первый набор внутренних систем координат на поверхности, положив начало теории внутренней геометрии , на которой основаны современные геометрические идеи. . [1] Примерно в это же время изучение механики Эйлером в « Механике» привело к пониманию того, что масса, движущаяся по поверхности, на которую не действует никакая сила, будет пересекать геодезический путь, что было ранним предшественником важных основополагающих идей общей теории относительности Эйнштейна , а также уравнения Эйлера -Лагранжа и первая теория вариационного исчисления , которая лежит в основе современной дифференциальной геометрии многих методов симплектической геометрии и геометрического анализа . Эта теория была использована Лагранжем , соавтором вариационного исчисления, для вывода первого дифференциального уравнения, описывающего минимальную поверхность в терминах уравнения Эйлера-Лагранжа. В 1760 году Эйлер доказал теорему, выражающую кривизну пространственной кривой на поверхности через главные кривизны, известную как теорема Эйлера .
Позже, в 1700-х годах, новая французская школа под руководством Гаспара Монжа начала вносить вклад в дифференциальную геометрию. Монж внес важный вклад в теорию плоских кривых и поверхностей, изучил поверхности вращения и оболочки плоских кривых и пространственных кривых. Несколько учеников Монжа внесли свой вклад в эту же теорию, и, например, Шарль Дюпен предложил новую интерпретацию теоремы Эйлера с точки зрения основных кривизн, что является современной формой уравнения. [1]
Внутренняя геометрия и неевклидова геометрия ( 1800–1900 )
Область дифференциальной геометрии стала областью исследования, рассматриваемой сама по себе, отличной от более широкой идеи аналитической геометрии, в 1800-х годах, прежде всего благодаря основополагающим работам Карла Фридриха Гаусса и Бернхарда Римана , а также благодаря важному вкладу Николая Лобачевского о гиперболической геометрии и неевклидовой геометрии и на протяжении всего этого же периода развитие проективной геометрии .
Названный самой важной работой в истории дифференциальной геометрии, [4] в 1827 году Гаусс опубликовал « Общие исследования кривых поверхностей», в которых подробно изложена общая теория искривленных поверхностей. [5] [4] [6] В этой работе, а также в его последующих статьях и неопубликованных заметках по теории поверхностей Гаусса называют изобретателем неевклидовой геометрии и изобретателем внутренней дифференциальной геометрии. [6] В своей фундаментальной работе Гаусс ввел отображение Гаусса , гауссову кривизну , первую и вторую фундаментальные формы , доказал теорему Эгрегиум , показывающую внутреннюю природу гауссовой кривизны, и изучал геодезику, вычисляя площадь геодезического треугольника в различных неевклидовых геометриях на поверхности.
В это время Гаусс уже придерживался мнения, что от стандартной парадигмы евклидовой геометрии следует отказаться, и располагал частными рукописями по неевклидовой геометрии, которые послужили основой для его изучения геодезических треугольников. [6] [7] Примерно в это же время Янош Бойяи и Лобачевский независимо друг от друга открыли гиперболическую геометрию и тем самым продемонстрировали существование непротиворечивой геометрии вне парадигмы Евклида. Конкретные модели гиперболической геометрии были созданы Эухенио Бельтрами позже, в 1860-х годах, а Феликс Кляйн ввел термин «неевклидова геометрия» в 1871 году и с помощью программы Эрлангена поставил евклидову и неевклидову геометрию на одну основу. [8] Неявно сферическая геометрия Земли, изучавшаяся с античности, была неевклидовой геометрией, эллиптической геометрией .
Развитие внутренней дифференциальной геометрии на языке Гаусса было подстегнуто его учеником Бернхардом Риманом в его работе « О гипотезах, лежащих в основе геометрии» . [9] ввел понятие римановой метрики и тензора римановой кривизны В этой работе Риман впервые и начал систематическое изучение дифференциальной геометрии в высших измерениях. Эта внутренняя точка зрения в терминах римановой метрики, обозначаемая Риманом, явилось развитием идеи Гаусса о линейном элементе поверхности. В это время Риман начал систематически использовать линейную алгебру и полилинейную алгебру в этом предмете, широко используя теорию квадратичных форм в своих исследованиях метрики и кривизны. В то время Риман еще не разработал современного понятия многообразия, поскольку еще не встречалось даже понятия топологического пространства , но он предположил, что можно исследовать или измерять свойства метрики пространства-времени посредством анализ масс в пространстве-времени, связанный с более ранним наблюдением Эйлера о том, что массы под действием каких-либо сил не будут перемещаться по геодезическим линиям на поверхностях, и предсказание фундаментального наблюдения Эйнштейном принципа эквивалентности за целых 60 лет до того, как оно появилось в научной литературе. [6] [4]
После нового описания Римана фокус методов, используемых для изучения дифференциальной геометрии, сместился от специальных и внешних методов изучения кривых и поверхностей к более систематическому подходу в терминах тензорного исчисления и программы Кляйна «Эрланген», и прогресс увеличился. в поле. Понятие групп преобразований было развито Софусом Ли и Жаном Гастоном Дарбу , что привело к важным результатам в теории групп Ли и симплектической геометрии . Понятие дифференциального исчисления на искривленных пространствах изучалось Элвином Кристоффелем , который ввел символы Кристоффеля , описывающие ковариантную производную , в 1868 году, а также другими, включая Эухенио Бельтрами , который изучал многие аналитические вопросы о многообразиях. [10] В 1899 году Луиджи Бьянки выпустил свои «Лекции по дифференциальной геометрии» , в которых дифференциальная геометрия изучалась с точки зрения Римана, а год спустя Туллио Леви-Чивита и Грегорио Риччи-Курбастро выпустили свой учебник, систематически развивающий теорию абсолютного дифференциального исчисления и тензорного исчисления . [11] [4] Именно на этом языке дифференциальная геометрия использовалась Эйнштейном при разработке общей теории относительности и псевдоримановой геометрии .
Современная дифференциальная геометрия ( 1900–2000 )
Предмет современной дифференциальной геометрии возник в начале 1900-х годов в ответ на основополагающий вклад многих математиков, включая, что немаловажно, работу Анри Пуанкаре по основам топологии . [12] В начале 1900-х годов в математике произошло крупное движение по формализации фундаментальных аспектов предмета, чтобы избежать кризисов строгости и точности, известное как программа Гильберта . В рамках этого более широкого движения понятие топологического пространства было сформулировано Феликсом Хаусдорфом в 1914 году, а к 1942 году существовало множество различных понятий многообразия комбинаторной и дифференциально-геометрической природы. [12]
Интерес к этому предмету был также усилен появлением общей теории относительности Эйнштейна и важностью уравнений поля Эйнштейна. Теория Эйнштейна популяризировала тензорное исчисление Риччи и Леви-Чивита и ввела обозначения для римановой метрики и для символов Кристоффеля, оба происходят от G в Гравитации . Эли Картан помог переформулировать основы дифференциальной геометрии гладких многообразий с точки зрения внешнего исчисления и теории движущихся систем отсчета , что привело в мире физики к теории Эйнштейна-Картана . [13] [4]
После этого раннего развития многие математики внесли свой вклад в развитие современной теории, в том числе Жан-Луи Кошуль, который ввел связи в векторных расслоениях , Шиинг-Шен Черн, который ввел в предмет характеристические классы и начал изучение комплексных многообразий , сэр Уильям Валланс. Дуглас Ходж и Жорж де Рам , которые расширили понимание дифференциальных форм , Чарльз Эресманн , который представил теорию расслоений и связей Эресмана , и другие. [13] [4] Особое значение имел Герман Вейль , который внес важный вклад в основы общей теории относительности, представил тензор Вейля , дающий понимание конформной геометрии , и первым определил понятие калибровки , что привело к развитию калибровочной теории в физике и математике .
В середине и конце 20 века дифференциальная геометрия как предмет расширилась и приобрела связи с другими областями математики и физики. Развитие калибровочной теории и теории Янга-Миллса в физике привлекло внимание к расслоениям и связям, что привело к развитию калибровочной теории . Были исследованы многие аналитические результаты, включая доказательство теоремы об индексе Атьи – Зингера . Развитие комплексной геометрии было стимулировано параллельными результатами в алгебраической геометрии , а результаты в геометрии и глобальном анализе комплексных многообразий были доказаны Шинг-Тунг Яу и другими. Во второй половине 20-го века были разработаны новые аналитические методы в отношении потоков кривизны, таких как поток Риччи , кульминацией которых стало Григорием Перельманом доказательство гипотезы Пуанкаре . В этот же период, прежде всего благодаря влиянию Майкла Атьи новые связи между теоретической физикой , сформировались и дифференциальной геометрией. Методы исследования уравнений Янга – Миллса. и калибровочная теория использовались математиками для разработки новых инвариантов гладких многообразий. Физики, такие как Эдвард Виттен , единственный физик, награжденный медалью Филдса , внесли новый вклад в математику, используя топологическую квантовую теорию поля и теорию струн для предсказаний и создания основ для новой строгой математики, что привело, например, к предположительному зеркалу . симметрия и инварианты Зайберга–Виттена .
Филиалы [ править ]
Риманова геометрия [ править ]
Риманова геометрия изучает римановы многообразия , гладкие многообразия с римановой метрикой . Это понятие расстояния, выраженное посредством гладкой положительно определенной симметричной билинейной формы, определенной в касательном пространстве в каждой точке. Риманова геометрия обобщает евклидову геометрию на пространства, которые не обязательно плоские, хотя они по-прежнему напоминают евклидово пространство в каждой точке бесконечно мало, то есть в первом порядке приближения . Различные концепции, основанные на длине, такие как длина дуги кривых, площадь плоских областей и объем твердых тел, имеют естественные аналоги в римановой геометрии. Понятие многих производной функции по направлению из переменных расширяется до понятия ковариантной производной тензора исчисления . Многие концепции анализа и дифференциальных уравнений были обобщены на случай римановых многообразий.
, сохраняющий расстояние Диффеоморфизм между римановыми многообразиями, называется изометрией . Это понятие можно определить и локально , т.е. для малых окрестностей точек. Любые две регулярные кривые локально изометричны. Однако Теорема Эгрегиум Карла Фридриха Гаусса показала, что для поверхностей существование локальной изометрии предполагает, что гауссовы кривизны в соответствующих точках должны быть одинаковыми. В более высоких измерениях тензор кривизны Римана является важным поточечным инвариантом, связанным с римановым многообразием, который измеряет, насколько оно близко к плоскому. Важным классом римановых многообразий являются римановы симметрические пространства , кривизна которых не обязательно постоянна. Это ближайшие аналоги «обычных» плоскости и пространства, рассматриваемых в евклидовой и неевклидовой геометрии .
Псевдориманова геометрия [ править ]
Псевдориманова геометрия обобщает риманову геометрию на случай, когда метрический тензор не обязательно должен быть положительно определенным . Особым случаем этого является лоренцево многообразие Эйнштейна , которое является математической основой общей теории относительности гравитации .
Финслеровая геометрия [ править ]
В финслеровой геометрии являются финслеровые многообразия основным объектом изучения . Это дифференциальное многообразие с финслеровой метрикой , то есть банаховой нормой , определенной на каждом касательном пространстве. Римановы многообразия являются частными случаями более общих финслеровых многообразий. Финслерова структура на многообразии это функция такой, что:
- для всех в и все ,
- бесконечно дифференцируема по ,
- Вертикальный гессиан является положительно определенным.
Симплектическая геометрия [ править ]
Симплектическая геометрия — это изучение симплектических многообразий . — Почти симплектическое многообразие это дифференцируемое многообразие, снабженное гладко меняющейся невырожденной кососимметрической билинейной формой на каждом касательном пространстве, т. е. невырожденной 2- формой ω , называемой симплектической формой . Симплектическое многообразие — это почти симплектическое многообразие, для которого симплектическая форма ω замкнута: d ω = 0 .
Диффеоморфизм между двумя симплектическими многообразиями, сохраняющий симплектическую форму, называется симплектоморфизмом . Невырожденные кососимметричные билинейные формы могут существовать только в четномерных векторных пространствах, поэтому симплектические многообразия обязательно имеют четную размерность. В размерности 2 симплектическое многообразие — это просто поверхность, наделенная формой площади, а симплектоморфизм — это диффеоморфизм, сохраняющий площадь. Фазовое пространство механической системы представляет собой симплектическое многообразие, и они неявно появились уже в работах Жозефа Луи Лагранжа по аналитической механике , а затем в Карла Густава Якоби и Уильяма Роуэна Гамильтона формулировках классической механики .
В отличие от римановой геометрии, где кривизна обеспечивает локальный инвариант римановых многообразий, теорема Дарбу утверждает, что все симплектические многообразия локально изоморфны. Единственные инварианты симплектического многообразия носят глобальный характер, и топологические аспекты играют важную роль в симплектической геометрии. Первым результатом в симплектической топологии, вероятно, является теорема Пуанкаре-Биркгофа , выдвинутая Анри Пуанкаре и затем доказанная Г. Д. Биркгофом в 1912 году. Она утверждает, что если сохраняющая площадь карта кольца скручивает каждый граничный компонент в противоположных направлениях, то карта имеет не менее двух фиксированных точек. [14]
Контактная геометрия [ править ]
Контактная геометрия имеет дело с некоторыми многообразиями нечетной размерности. Она близка к симплектической геометрии и, как и последняя, возникла из вопросов классической механики. Контактная структура на (2 n + 1) -мерном многообразии M задается гладким гиперплоским полем H в касательном расслоении , которое, насколько это возможно, не связано с множествами уровня дифференцируемой функции на M (технический термин есть «полностью неинтегрируемое распределение касательной гиперплоскости»). Вблизи каждой точки p распределение гиперплоскостей определяется никуда не обращающейся в нуль 1-формой , которая уникальна с точностью до умножения на никуда не исчезающую функцию:
Локальная 1-форма на M называется контактной формой, если ограничение ее внешней производной на H является невырожденной двуформой и, таким образом, индуцирует симплектическую структуру на H p в каждой точке. Если распределение H может быть определено глобальной одной формой то эта форма является контактной тогда и только тогда, когда верхнемерная форма
является формой объема на M , т. е. никуда не обращается в нуль. Имеет место контактный аналог теоремы Дарбу: все контактные структуры на нечетномерном многообразии локально изоморфны и могут быть приведены к некоторой локальной нормальной форме подходящим выбором системы координат.
Комплексная кэлерова геометрия и
Комплексная дифференциальная геометрия — это изучение комплексных многообразий . является Почти комплексное многообразие реальным многообразием . , наделенный тензором типа (1, 1), т.е. эндоморфизмом векторного расслоения (называемым почти комплексной структурой )
- , такой, что
Из этого определения следует, что почти комплексное многообразие четномерно.
Почти комплексное многообразие называется комплексным , если , где – тензор типа (2, 1), связанный с , называемый тензором Нийенхейса (или иногда кручением ). Почти комплексное многообразие является комплексным тогда и только тогда, когда оно допускает голоморфный координатный атлас . задается Почти эрмитова структура почти комплексной структурой J вместе с римановой метрикой g , удовлетворяющей условию совместимости.
Почти эрмитова структура естественным образом определяет дифференциальную двуформу
Следующие два условия эквивалентны:
где это Леви-Чивита связь . В этом случае, называется кэлеровой структурой , а кэлерово многообразие — это многообразие, наделенное кэлеровой структурой. В частности, кэлерово многообразие является одновременно комплексным и симплектическим многообразием . Большой класс кэлеровых многообразий (класс многообразий Ходжа ) дают все гладкие комплексные проективные многообразия .
CR-геометрия [ править ]
Геометрия CR — это изучение внутренней геометрии границ областей в комплексных многообразиях .
Конформная геометрия [ править ]
Конформная геометрия - это изучение набора сохраняющих угол (конформных) преобразований в пространстве.
Дифференциальная топология [ править ]
Дифференциальная топология — это изучение глобальных геометрических инвариантов без метрической или симплектической формы.
Дифференциальная топология начинается с естественных операций, таких как Ли натуральных векторных расслоений и дифференциал де Рама форм производная . Помимо алгеброидов Ли , и алгеброиды Куранта более важную роль начинают играть .
Группы лжи [ править ]
Группа Ли — это группа из категории гладких многообразий. Помимо алгебраических свойств, он обладает также дифференциально-геометрическими свойствами. Наиболее очевидная конструкция — это конструкция алгебры Ли, которая представляет собой касательное пространство в единице, снабженное скобкой Ли между левоинвариантными векторными полями . Помимо теории структур существует также широкое поле теории представлений .
Геометрический анализ [ править ]
Геометрический анализ — это математическая дисциплина, в которой инструменты дифференциальных уравнений, особенно эллиптических уравнений в частных производных, используются для получения новых результатов в дифференциальной геометрии и дифференциальной топологии.
Калибровочная теория [ править ]
Калибровочная теория — это исследование связей векторных расслоений и главных расслоений, возникающее из проблем математической физики и физических калибровочных теорий , которые лежат в основе стандартной модели физики элементарных частиц . Калибровочная теория занимается изучением дифференциальных уравнений для связностей на расслоениях и возникающих в результате пространств геометрических модулей решений этих уравнений, а также инвариантов, которые могут быть получены из них. Эти уравнения часто возникают как уравнения Эйлера–Лагранжа , описывающие уравнения движения некоторых физических систем в квантовой теории поля , и поэтому их изучение представляет значительный интерес в физике.
Связки и соединения [ править ]
Аппарат векторных расслоений , главных расслоений и связностей на расслоениях играет чрезвычайно важную роль в современной дифференциальной геометрии. Гладкое многообразие всегда содержит естественное векторное расслоение — касательное расслоение . Грубо говоря, этой структуры самой по себе достаточно только для развития анализа многообразия, в то время как выполнение геометрии требует, кроме того, какого-то способа связать касательные пространства в разных точках, то есть понятия параллельного переноса . Важным примером являются аффинные связи . Для поверхности в R 3 Касательные плоскости в разных точках можно идентифицировать с помощью естественного параллелизма по путям, индуцированного окружающим евклидовым пространством, которое имеет хорошо известное стандартное определение метрики и параллелизма. В римановой геометрии связь Леви -Чивита служит аналогичной цели. В более общем смысле, дифференциальная геометрия рассматривает пространства с векторным расслоением и произвольной аффинной связностью, которая не определена в терминах метрики. В физике многообразием может быть пространство-время , а пучки и связи связаны с различными физическими полями.
Внутреннее и внешнее [ править ]
С начала и до середины XIX века дифференциальная геометрия изучалась с внешней точки зрения: кривые и поверхности считались лежащими в евклидовом пространстве более высокой размерности (например, поверхность в пространстве окружающем трехмерном ). . Простейшие результаты — это дифференциальная геометрия кривых и дифференциальная геометрия поверхностей. Начиная с работ Римана , была развита внутренняя точка зрения, при которой нельзя говорить о движении «вне» геометрического объекта, поскольку он считается заданным автономно. Фундаментальным результатом здесь является теорема Гаусса egregium о том, что гауссова кривизна является внутренним инвариантом.
Внутренняя точка зрения более гибкая. Например, это полезно в теории относительности, где пространство-время естественным образом не может рассматриваться как нечто внешнее. Однако приходится платить за техническую сложность: внутренние определения кривизны и соединений становятся гораздо менее интуитивно понятными.
Эти две точки зрения можно примирить, т. е. внешнюю геометрию можно рассматривать как структуру, дополнительную к внутренней. (См. теорему вложения Нэша .) В формализме геометрического исчисления как внешняя, так и внутренняя геометрия многообразия может быть охарактеризована одной бивекторнозначной формой, называемой оператором формы . [15]
Приложения [ править ]
Часть серии о |
Пространство-время |
---|
![]() |
Ниже приведены некоторые примеры того, как дифференциальная геометрия применяется к другим областям науки и математики.
- В физике дифференциальная геометрия имеет множество приложений, в том числе:
- Дифференциальная геометрия — это язык, на котором Альберта Эйнштейна . общая теория относительности выражена Согласно теории, Вселенная представляет собой гладкое многообразие, снабженное псевдоримановой метрикой, описывающей кривизну пространства-времени . Понимание этой кривизны необходимо для позиционирования спутников на орбите вокруг Земли. Дифференциальная геометрия также незаменима при изучении гравитационного линзирования и черных дыр .
- Дифференциальные формы используются при изучении электромагнетизма .
- Дифференциальная геометрия имеет приложения как к лагранжевой механике , так и к гамильтоновой механике . Симплектические многообразия, в частности, могут быть использованы для изучения гамильтоновых систем .
- На основе римановой геометрии и контактной геометрии построен формализм геометротермодинамики , нашедший приложения в классической равновесной термодинамике .
- В химии и биофизике при моделировании структуры клеточных мембран при переменном давлении.
- В экономике дифференциальная геометрия имеет приложения в области эконометрики . [16]
- Геометрическое моделирование (включая компьютерную графику ) и компьютерное геометрическое проектирование основаны на идеях дифференциальной геометрии.
- В технике дифференциальная геометрия может применяться для решения задач цифровой обработки сигналов . [17]
- В теории управления дифференциальная геометрия может использоваться для анализа нелинейных регуляторов, особенно геометрического управления. [18]
- В теории вероятностей , статистике и теории информации можно интерпретировать различные структуры как римановы многообразия, что приводит к области информационной геометрии , в частности, через информационную метрику Фишера .
- В структурной геологии дифференциальная геометрия используется для анализа и описания геологических структур.
- В компьютерном зрении дифференциальная геометрия используется для анализа форм. [19]
- При обработке изображений дифференциальная геометрия используется для обработки и анализа данных на неплоских поверхностях. [20]
- Григорием Перельманом Доказательство гипотезы Пуанкаре, проведенное с использованием техники потоков Риччи, продемонстрировало силу дифференциально-геометрического подхода к вопросам топологии и подчеркнуло важную роль, которую играют его аналитические методы.
- В беспроводной связи грассмановы многообразия используются для методов формирования диаграммы направленности в системах с несколькими антеннами . [21]
- В геодезии — для расчета расстояний и углов на средней поверхности Земли на уровне моря , моделируемой эллипсоидом вращения.
См. также [ править ]
- Абстрактная дифференциальная геометрия
- Аффинная дифференциальная геометрия
- Анализ на фракталах
- Базовое введение в математику искривленного пространства-времени
- Дискретная дифференциальная геометрия
- Гаусс
- Глоссарий дифференциальной геометрии и топологии
- Важные публикации по дифференциальной геометрии.
- Важные публикации по дифференциальной топологии.
- Интегральная геометрия
- Список тем дифференциальной геометрии
- Некоммутативная геометрия
- Проективная дифференциальная геометрия
- Синтетическая дифференциальная геометрия
- Систолическая геометрия
- Калибровочная теория (математика)
Ссылки [ править ]
- ^ Перейти обратно: а б с д Это ж г Струик, DJ «Очерк истории дифференциальной геометрии: I». Исида, том. 19, нет. 1, 1933, стр. 92–120. JSTOR, www.jstor.org/stable/225188.
- ^ Клеро, AC, 1731. Исследование кривых двойной кривизны. Ньон.
- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Леонард Эйлер» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Перейти обратно: а б с д Это ж Спивак М., 1975. Всестороннее введение в дифференциальную геометрию (Том 2). Опубликуй или погибни, Incorporated.
- ^ Гаусс, CF, 1828. Общие дискуссии о искривленных поверхностях (Том 1). Типис Дитрихианис.
- ^ Перейти обратно: а б с д Струик, DJ «Очерк истории дифференциальной геометрии (II)». Исида, том. 20, нет. 1, 1933, стр. 161–191. JSTOR, www.jstor.org/stable/224886
- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Неевклидова геометрия» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Милнор, Джон В. , (1982) Гиперболическая геометрия: первые 150 лет , Bull. амер. Математика. Соц. (NS) Том 6, номер 1, стр. 9–24.
- ^ 1868 «О гипотезах, лежащих в основе геометрии» , перевод У.Клиффорда , Nature 8, 1873, 183 – перепечатано в «Собрании математических статей Клиффорда», Лондон, 1882 (Макмиллан); Нью-Йорк 1968 (Челси) http://www.emis.de/classics/Riemann/ . Также в издании Эвальда, Уильяма Б., 1996 г. «От Канта до Гильберта: справочник по основам математики», 2 тома. Оксфордский университет. Пресса: 652–61.
- ^ Кристоффель, Э. Б. (1869). «О преобразовании однородных дифференциальных выражений второй степени» . Журнал чистой и прикладной математики . 70 .
- ^ Риччи, Грегорио; Леви-Чивита, Туллио (март 1900 г.). «Методы абсолютного дифференциального исчисления и их приложения» . Mathematische Annalen (на французском языке). 54 (1–2). Спрингер: 125–201. дои : 10.1007/BF01454201 . S2CID 120009332 .
- ^ Перейти обратно: а б Дьедонне, Ж., 2009. История алгебраической и дифференциальной топологии, 1900–1960. Springer Science & Business Media.
- ^ Перейти обратно: а б Фре, П.Г., 2018. Концептуальная история пространства и симметрии. Спрингер, Чам.
- ^ Условие сохранения площади (или условие скручивания) удалить невозможно. Если кто-то попытается распространить такую теорему на более высокие измерения, можно, вероятно, догадаться, что сохраняющее объем отображение определенного типа должно иметь неподвижные точки. Это неверно для размерностей больше 3.
- ^ Хестенес, Дэвид (2011). «Форма дифференциальной геометрии в геометрическом исчислении» (PDF) . Ин Дорст, Л.; Ласенби, Дж. (ред.). Руководство по геометрической алгебре на практике . Спрингер Верлаг. стр. 393–410. Архивировано (PDF) из оригинала 14 августа 2014 г.
- ^ Марриотт, Пол; Лосось, Марк, ред. (2000). Приложения дифференциальной геометрии к эконометрике . Издательство Кембриджского университета. ISBN 978-0-521-65116-5 .
- ^ Мэнтон, Джонатан Х. (2005). «О роли дифференциальной геометрии в обработке сигналов». Слушания. (ICASSP '05). Международная конференция IEEE по акустике, речи и обработке сигналов, 2005 г. Том. 5. С. 1021–1024. дои : 10.1109/ICASSP.2005.1416480 . ISBN 978-0-7803-8874-1 . S2CID 12265584 .
- ^ Булло, Франческо; Льюис, Эндрю (2010). Геометрическое управление механическими системами: моделирование, анализ и проектирование простых механических систем управления . Спрингер-Верлаг. ISBN 978-1-4419-1968-7 .
- ^ Микели, Марио (май 2008 г.). Дифференциальная геометрия многообразий форм ориентиров: метрика, геодезия и кривизна (PDF) (доктор философии). Архивировано из оригинала (PDF) 4 июня 2011 г.
- ^ Джоши, Ананд А. (август 2008 г.). Геометрические методы обработки изображений и анализа сигналов (PDF) (доктор философии). Архивировано (PDF) из оригинала 20 июля 2011 г.
- ^ С любовью, Дэвид Дж.; Хит, Роберт В. младший (октябрь 2003 г.). «Грасманово формирование диаграммы направленности для беспроводных систем с несколькими входами и множеством выходов» (PDF) . Транзакции IEEE по теории информации . 49 (10): 2735–2747. CiteSeerX 10.1.1.106.4187 . дои : 10.1109/TIT.2003.817466 . Архивировано из оригинала (PDF) 2 октября 2008 г.
Дальнейшее чтение [ править ]
- Итан Д. Блох (27 июня 2011 г.). Первый курс геометрической топологии и дифференциальной геометрии . Бостон: Springer Science & Business Media. ISBN 978-0-8176-8122-7 . OCLC 811474509 .
- Берк, Уильям Л. (1997). Прикладная дифференциальная геометрия . Издательство Кембриджского университета. ISBN 0-521-26929-6 . OCLC 53249854 .
- ду Карму, Манфредо Пердигао (1976). Дифференциальная геометрия кривых и поверхностей . Энглвуд Клиффс, Нью-Джерси: Прентис-Холл. ISBN 978-0-13-212589-5 . ОСЛК 1529515 .
- Франкель, Теодор (2004). Геометрия физики: введение (2-е изд.). Нью-Йорк: Издательство Кембриджского университета. ISBN 978-0-521-53927-2 . OCLC 51855212 .
- Эльза Аббена; Саймон Саламон; Альфред Грей (2017). Современная дифференциальная геометрия кривых и поверхностей с помощью Mathematica (3-е изд.). Бока-Ратон: Чепмен и Холл/CRC. ISBN 978-1-351-99220-6 . OCLC 1048919510 .
- Крейциг, Эрвин (1991). Дифференциальная геометрия . Нью-Йорк: Dover Publications. ISBN 978-0-486-66721-8 . OCLC 23384584 .
- Кюнель, Вольфганг (2002). Дифференциальная геометрия: кривые – поверхности – многообразия (2-е изд.). Провиденс, Род-Айленд: Американское математическое общество. ISBN 978-0-8218-3988-1 . OCLC 61500086 .
- Макклири, Джон (1994). Геометрия с дифференцируемой точки зрения . Издательство Кембриджского университета. ISBN 0-521-13311-4 . OCLC 915912917 .
- Спивак, Михаил (1999). Всестороннее введение в дифференциальную геометрию (5 томов) (3-е изд.). Опубликуй или погибни. ISBN 0-914098-72-1 . OCLC 179192286 .
- тер Хаар Ромени, Барт М. (2003). Интерфейсное зрение и многомасштабный анализ изображений: теория и приложения многомасштабного компьютерного зрения, написанные на языке Mathematica . Дордрехт: Клювер Академик. ISBN 978-1-4020-1507-6 . OCLC 52806205 .
Внешние ссылки [ править ]
- «Дифференциальная геометрия» , Энциклопедия математики , EMS Press , 2001 [1994]
- Б. Конрад. Раздаточные материалы по дифференциальной геометрии, Стэнфордский университет
- Онлайн-курс Майкла Мюррея по дифференциальной геометрии, 1996 г. Архивировано 1 августа 2013 г. в Wayback Machine.
- Современный курс по кривым и поверхностям, Ричард С. Пале, 2003 г. Архивировано 9 апреля 2019 г. в Wayback Machine.
- Галерея поверхностей 3DXM Ришара Пале, архивировано 9 апреля 2019 г. в Wayback Machine.
- Заметки Балаша Чикоша по дифференциальной геометрии, заархивированные 5 июня 2009 г. в Wayback Machine.
- Н. Дж. Хикс, Заметки по дифференциальной геометрии, Ван Ностранд.
- MIT OpenCourseWare: Дифференциальная геометрия, осень 2008 г.