stringtranslate.com

Дифференцируемое многообразие

Недифференцируемый атлас карт земного шара. Результаты вычислений могут быть несовместимы между диаграммами, если атлас не дифференцируем. На центральной и правой картах Тропик Рака представляет собой плавную кривую, тогда как на левой карте он имеет острый угол. Понятие дифференцируемого многообразия уточняет понятие многообразия, требуя, чтобы функции, которые преобразуются между картами, были дифференцируемыми.

В математике дифференцируемое многообразие (также дифференциальное многообразие ) — это тип многообразия , который локально достаточно похож на векторное пространство , чтобы можно было применять исчисление . Любое многообразие можно описать набором карт ( атласом ). Затем можно применять идеи исчисления при работе с отдельными диаграммами, поскольку каждая диаграмма находится в векторном пространстве, к которому применяются обычные правила исчисления. Если карты достаточно совместимы (т. е. переход от одной карты к другой дифференцируем ), то вычисления, выполненные в одной карте, действительны в любой другой дифференцируемой карте.

Формально дифференцируемое многообразие — это топологическое многообразие с глобально определенной дифференциальной структурой . Любому топологическому многообразию можно локально придать дифференциальную структуру, используя гомеоморфизмы его атласа и стандартную дифференциальную структуру в векторном пространстве. Чтобы вызвать глобальную дифференциальную структуру в локальных системах координат, индуцированных гомеоморфизмами, их композиции на пересечениях карт в атласе должны быть дифференцируемыми функциями в соответствующем векторном пространстве. Другими словами, если области карт перекрываются, координаты, определенные каждой картой, должны быть дифференцируемы относительно координат, определенных каждой картой в атласе. Карты, которые связывают координаты, определенные различными картами, друг с другом, называются картами перехода .

Возможность определить такую ​​локальную дифференциальную структуру в абстрактном пространстве позволяет распространить определение дифференцируемости на пространства без глобальных систем координат. Локально дифференциальная структура позволяет определить глобально дифференцируемое касательное пространство , дифференцируемые функции и дифференцируемые тензорные и векторные поля.

Дифференцируемые многообразия играют очень важную роль в физике . Особые виды дифференцируемых многообразий составляют основу физических теорий, таких как классическая механика , общая теория относительности и теория Янга-Миллса . Можно разработать исчисление для дифференцируемых многообразий. Это приводит к такому математическому аппарату, как внешнее исчисление. Изучение исчисления на дифференцируемых многообразиях известно как дифференциальная геометрия.

«Дифференцируемости» многообразия придавалось несколько значений, в том числе: непрерывно дифференцируемое , k -раз дифференцируемое, гладкое (что само по себе имеет много значений) и аналитическое .

История

Появление дифференциальной геометрии как отдельной дисциплины обычно приписывают Карлу Фридриху Гауссу и Бернхарду Риману . Риман впервые описал многообразия в своей знаменитой абилитационной лекции перед профессорско-преподавательским составом в Геттингене . [1] Он мотивировал идею многообразия интуитивным процессом изменения данного объекта в новом направлении и прозорливо описал роль систем координат и карт в последующих формальных разработках:

Построив понятие многообразия n измерений и обнаружив, что его истинный характер состоит в том свойстве, что определение положения в нем может быть сведено к n определениям величины, ... – Б. Риман

Работы таких физиков , как Джеймс Клерк Максвелл [2] и математиков Грегорио Риччи-Курбастро и Туллио Леви-Чивита [3] привели к развитию тензорного анализа и понятия ковариантности , которая определяет внутреннее геометрическое свойство как свойство, которое инвариант относительно преобразований координат . Эти идеи нашли ключевое применение в общей теории относительности Альберта Эйнштейна и лежащем в ее основе принципе эквивалентности . Современное определение двумерного многообразия было дано Германом Вейлем в его книге 1913 года о римановых поверхностях . [4] Широко распространенное общее определение многообразия в терминах атласа принадлежит Хасслеру Уитни . [5]

Определение

Атласы

Пусть Mтопологическое пространство . Карта ( U , φ ) на M состоит из открытого подмножества U в M и гомеоморфизма φ из U в открытое подмножество некоторого евклидова пространства Rn . Несколько неформально можно сослаться на карту φ  : URn , имея в виду , что образ φ является открытым подмножеством Rn и что φ является гомеоморфизмом на его образ; в использовании некоторых авторов это может вместо этого означать, что φ :  U Rn сам по себе является гомеоморфизмом.

Наличие диаграммы предполагает возможность проведения дифференциального исчисления на М ; например, если задана функция u  : MR и карта ( U , φ ) на M , можно было бы рассмотреть композицию uφ −1 , которая является вещественной функцией, областью определения которой является открытое подмножество евклидовой космос; как таковой, если он окажется дифференцируемым, можно будет рассмотреть его частные производные .

Данная ситуация не является полностью удовлетворительной по следующей причине. Рассмотрим вторую карту ( V , ψ ) на M и предположим, что U и V содержат некоторые общие точки. Две соответствующие функции uφ −1 и uψ −1 связаны в том смысле, что их можно перепараметризовать друг в друга:

φ ( UV )φψψφ −1φ ( UV )ψ ( UV )uφ −1uψ −1ψφ −1цепное правилоc  : RM

Эта проблема решена введением «дифференцируемого атласа» карт, который определяет набор карт на M , для которых все карты перехода ψφ −1 дифференцируемы. Это делает ситуацию совершенно ясной: если uφ −1 дифференцируемо, то в силу первой приведенной выше формулы репараметризации отображение uψ −1 также дифференцируемо в области ψ ( UV ) , и наоборот. Более того, производные этих двух отображений связаны друг с другом правилом цепочки. По отношению к данному атласу это облегчает представление о дифференцируемых отображениях, областью или диапазоном которых является M , а также понятие производной таких отображений.

Формально слово «дифференцируемый» несколько двусмысленно, поскольку разные авторы понимают под ним разные вещи; иногда это означает существование первых производных, иногда существование непрерывных первых производных, а иногда существование бесконечного числа производных. Ниже дается формальное определение различных (недвусмысленных) значений термина «дифференцируемый атлас». Обычно термин «дифференцируемый» используется как всеобъемлющий термин, включающий все эти возможности, при условии, что k ≥ 1 .

Поскольку каждое вещественно-аналитическое отображение является гладким, а каждое гладкое отображение является Ck для любого k , можно видеть, что любой аналитический атлас также можно рассматривать как гладкий атлас, и каждый гладкий атлас можно рассматривать как Ck атлас . Эту цепочку можно расширить, включив в нее голоморфные атласы, понимая, что любое голоморфное отображение между открытыми подмножествами C n можно рассматривать как вещественно-аналитическое отображение между открытыми подмножествами R 2 n .

Учитывая дифференцируемый атлас в топологическом пространстве, говорят, что карта дифференцируемо совместима с этим атласом или дифференцируема относительно данного атласа, если включение карты в набор карт, составляющих данный дифференцируемый атлас, приводит к дифференцируемому атласу. . Дифференцируемый атлас определяет максимальный дифференцируемый атлас , состоящий из всех карт, дифференцируемо совместимых с данным атласом. Максимальный атлас всегда очень велик. Например, для любой карты в максимальном атласе ее ограничение на произвольное открытое подмножество ее области также будет содержаться в максимальном атласе. Максимально гладкий атлас также известен как гладкая структура ; максимальный голоморфный атлас также известен как комплексная структура .

Альтернативное, но эквивалентное определение, позволяющее избежать прямого использования максимальных атласов, состоит в рассмотрении классов эквивалентности дифференцируемых атласов, в которых два дифференцируемых атласа считаются эквивалентными, если каждая карта одного атласа дифференцируемо совместима с другим атласом. Неформально это означает, что, имея дело с гладким многообразием, можно работать с одним дифференцируемым атласом, состоящим всего из нескольких карт, с неявным пониманием того, что многие другие карты и дифференцируемые атласы одинаково легитимны.

Согласно инвариантности области каждая компонента связности топологического пространства, имеющего дифференцируемый атлас, имеет четко определенную размерность n . Это вызывает небольшую двусмысленность в случае голоморфного атласа, поскольку соответствующая размерность будет равна половине значения его размерности, если рассматривать его как аналитический, гладкий или C k атлас. По этой причине отдельно говорится о «реальной» и «комплексной» размерности топологического пространства с голоморфным атласом.

Коллекторы

Дифференцируемое многообразие — это хаусдорфово и второе счетное топологическое пространство M вместе с максимальным дифференцируемым атласом на M . Большую часть базовой теории можно разработать без необходимости использования условий Хаусдорфа и второй счетности, хотя они жизненно важны для большей части продвинутой теории. По сути, они эквивалентны общему существованию функций рельефа и разбиений единицы , которые используются повсеместно.

Понятие многообразия C0 идентично понятию топологического многообразия . Однако следует сделать заметное различие. Учитывая топологическое пространство, имеет смысл задаться вопросом, является ли оно топологическим многообразием. Напротив, нет смысла задаваться вопросом, является ли данное топологическое пространство (например) гладким многообразием, поскольку понятие гладкого многообразия требует спецификации гладкого атласа, который является дополнительной структурой. Однако имело бы смысл сказать, что определенному топологическому пространству нельзя придать структуру гладкого многообразия. Можно переформулировать определения так, чтобы такого рода дисбаланса не было; можно начать с множества M (а не с топологического пространства M ) , используя в этом случае естественный аналог гладкого атласа для определения структуры топологического пространства на M.

Соединение евклидовых частей в многообразие.

Можно перепроектировать приведенные выше определения, чтобы получить один взгляд на конструкцию многообразий. Идея состоит в том, чтобы начать с изображений диаграмм и карт переходов и построить многообразие исключительно на основе этих данных. Как и в приведенном выше обсуждении, мы используем «гладкий» контекст, но в других настройках все работает так же хорошо.

Пусть задан набор индексирования, набор открытых подмножеств, и для каждого пусть это открытое (возможно, пустое) подмножество , и пусть это гладкое отображение. Предположим, что это карта идентичности, это карта идентичности и это карта идентичности. Затем определите отношение эквивалентности в непересекающемся объединении , объявив его эквивалентным. С помощью некоторой технической работы можно показать, что множеству классов эквивалентности естественным образом можно придать топологическую структуру и что используемые при этом карты образуют гладкий атлас. Информацию о соединении аналитических структур (подмножества) см. в разделе «Аналитические многообразия» .

Дифференцируемые функции

Вещественнозначная функция f на n -мерном дифференцируемом многообразии M называется дифференцируемой в точке pM , если она дифференцируема в любой координатной карте, определенной вокруг p . Точнее, если — дифференцируемая карта, где — открытое множество, содержащее p , и — карта, определяющая карту, то f дифференцируема в точке p тогда и только тогда, когда

pцепного правилаfppCk -

Дифференциация функций

Существуют различные способы определения производной функции на дифференцируемом многообразии, наиболее фундаментальным из которых является производная по направлению . Определение производной по направлению осложняется тем фактом, что у многообразия не будет подходящей аффинной структуры для определения векторов . Следовательно, производная по направлению рассматривает кривые в многообразии, а не векторы.

Направленная дифференциация

Учитывая вещественную функцию f на n- мерном дифференцируемом многообразии M , производная по направлению от f в точке p в M определяется следующим образом. Предположим, что γ( t ) — кривая в M с γ (0) = p , которая дифференцируема в том смысле, что ее композиция с любой картой является дифференцируемой кривой в Rn . Тогда производная f по направлению в точке p вдоль γ равна

Если γ 1 и γ 2 — две кривые такие, что γ 1 (0) = γ 2 (0) = p , и в любой координатной карте

тогда, согласно цепному правилу, f имеет ту же производную по направлению в точке p вдоль γ 1 , что и вдоль γ 2 . Это означает, что производная по направлению зависит только от касательного вектора кривой в точке p . Таким образом, более абстрактное определение направленного дифференцирования, адаптированное к случаю дифференцируемых многообразий, в конечном итоге отражает интуитивные особенности направленного дифференцирования в аффинном пространстве.

Касательный вектор и дифференциал

Касательный вектор в точке pM — это класс эквивалентности дифференцируемых кривых γ с γ (0) = p по модулю отношения эквивалентности контакта первого порядка между кривыми. Поэтому,

в каждой координатной карте . Следовательно, классы эквивалентности представляют собой кривые, проходящие через p с заданным вектором скорости в точке p . Совокупность всех касательных векторов в точке p образует векторное пространство : касательное пространство к M в точке p , обозначаемое TpM .

Если X — касательный вектор в точке p, а f — дифференцируемая функция, определенная вблизи p , то дифференцирование f вдоль любой кривой в классе эквивалентности, определяющем X , дает четко определенную производную по направлению вдоль X :

Если функция f фиксирована, то отображение

линейный функционалчастоdfpдифференциаломp

Определение касательного пространства и дифференцирование в локальных координатах

Пусть - топологическое -многообразие с гладким атласом. Пусть обозначает. "Касательный вектор в точке " - это обозначенное здесь отображение такое , что

Можно проверить, что оно естественным образом имеет структуру -мерного вещественного векторного пространства и что с этой структурой оно является линейным отображением. Ключевое наблюдение состоит в том, что из-за ограничения, возникающего при определении касательного вектора, значение для одного элемента автоматически определяется для всех

Приведенные выше формальные определения точно соответствуют более неформальным обозначениям, которые часто встречаются в учебниках, в частности

и

Учитывая идею формальных определений, с этой сокращенной записью для большинства целей работать гораздо проще.

Разделы единства

Одной из топологических особенностей пучка дифференцируемых функций на дифференцируемом многообразии является то, что он допускает разбиения единицы . Это отличает дифференциальную структуру на многообразии от более сильных структур (таких как аналитические и голоморфные структуры), которые, как правило, не имеют разбиений единицы.

Предположим, что M многообразие класса Ck , где 0 ⩽ k ⩽ ∞ . Пусть { U α } — открытое покрытие M . Тогда разбиение единицы, подчиненное покрытию { U α }, представляет собой набор вещественнозначных C k функций φ i на M , удовлетворяющих следующим условиям:

(Обратите внимание, что это последнее условие на самом деле представляет собой конечную сумму в каждой точке из-за локальной конечности носителей φ i .)

Каждое открытое покрытие Ck - многообразия M имеет Ck - разбиение единицы. Это позволяет некоторые конструкции из топологии Ck функций на Rn перенести в категорию дифференцируемых многообразий . В частности, можно обсудить интегрирование, выбрав разбиение единицы, подчиненное конкретному координатному атласу, и проведя интегрирование в каждой карте R n . Таким образом, разбиения единицы позволяют рассматривать некоторые другие виды функциональных пространств : например, пространства Lp , пространства Соболева и другие виды пространств, требующих интегрирования.

Дифференцируемость отображений между многообразиями

Предположим, что M и N два дифференцируемых многообразия с размерностями m и n соответственно, а f — функция от M до N. Поскольку дифференцируемые многообразия являются топологическими пространствами, мы знаем, что означает непрерывность f . Но что означает « f is Ck ( M , N ) » для k1 ? Мы знаем, что это означает, когда f является функцией между евклидовыми пространствами, поэтому, если мы составим f с картой M и картой N так, что мы получим карту, идущую из евклидова пространства в M , в N и в евклидово пространство, мы знаем, что это означает, что эта карта должна быть C k ( R m , R n ) . Мы определяем, что « f есть Ck ( M , N ) » , чтобы означать, что все такие композиции f с картами являются Ck ( Rm , Rn ) . Еще раз, цепное правило гарантирует, что идея дифференцируемости не зависит от того, какие карты атласов на M и N выбраны. Однако определение самой производной является более тонким. Если M или N сами по себе уже являются евклидовым пространством, то нам не нужна диаграмма, чтобы сопоставить их с ним.

Пакеты

Касательный пучок

Касательное пространство точки состоит из возможных производных по направлениям в этой точке и имеет ту же размерность n , что и многообразие. Для набора (неособых) координат x k , локальных по отношению к точке, производные по координатам определяют голономный базис касательного пространства. Совокупность касательных пространств во всех точках, в свою очередь, может быть превращена в многообразие, касательное расслоение , размерность которого равна 2 n . Касательное расслоение — это место, где лежат касательные векторы , и оно само по себе является дифференцируемым многообразием. Лагранжиан — это функция на касательном расслоении. Касательное расслоение можно также определить как расслоение 1- струй из R ( вещественная линия ) в M.

Можно построить атлас касательного расслоения, состоящий из карт на основе U α × R n , где U α обозначает одну из карт атласа для M . Каждая из этих новых карт является касательным расслоением для карт U α . Карты перехода в этом атласе определяются на основе карт перехода на исходном многообразии и сохраняют исходный класс дифференцируемости.

Котангенс расслоение

Двойственное пространство векторного пространства - это набор вещественнозначных линейных функций в векторном пространстве. Кокасательное пространство в точке является двойственным к касательному пространству в этой точке, и элементы называются котангенсными векторами; кокасательное расслоение представляет собой совокупность всех кокасательных векторов вместе с естественной структурой дифференцируемого многообразия.

Как и касательное расслоение, кокасательное расслоение снова является дифференцируемым многообразием. Гамильтониан является скаляром на кокасательном расслоении . Все пространство кокасательного расслоения имеет структуру симплектического многообразия . Котангенсные векторы иногда называют ковекторами . Кокасательное расслоение можно также определить как расслоение 1- струй функций из M в R .

Элементы кокасательного пространства можно рассматривать как бесконечно малые смещения: если f — дифференцируемая функция, мы можем определить в каждой точке p кокасательный вектор df p , который отправляет касательный вектор X p к производной f , связанной с X p . Однако не каждое ковекторное поле можно выразить таким образом. Те, которые могут, называются точными дифференциалами . Для данного набора локальных координат x k дифференциалы dxк
п
образуют базис котангенс пространства в точке p .

Тензорный расслоение

Тензорное расслоение представляет собой прямую сумму всех тензорных произведений касательного и кокасательного расслоений. Каждый элемент расслоения представляет собой тензорное поле , которое может действовать как полилинейный оператор на векторных полях или на других тензорных полях.

Тензорное расслоение не является дифференцируемым многообразием в традиционном смысле, поскольку оно бесконечномерно. Однако это алгебра над кольцом скалярных функций. Каждый тензор характеризуется своими рангами, которые указывают, сколько у него касательных и котангенсов. Иногда эти ранги называют ковариантными и контравариантными рангами, обозначающими касательные и котангенсные ранги соответственно.

Комплект рамок

Фрейм (или, точнее, касательный фрейм) — это упорядоченный базис конкретного касательного пространства. Аналогично , касательная рамка является линейным изоморфизмом Rn этому касательному пространству. Движущийся касательный кадр представляет собой упорядоченный список векторных полей, которые задают базис в каждой точке своей области определения. Можно также рассматривать движущийся кадр как часть расслоения кадров F( M ), главного расслоения GL( n , R ) , состоящего из множества всех кадров над M. Расслоение фреймов полезно, потому что тензорные поля на M можно рассматривать как эквивариантные векторные функции на F( M ).

Реактивные пакеты

На достаточно гладком многообразии также можно рассматривать различные виды струйных расслоений. Касательное расслоение (первого порядка) многообразия — это совокупность кривых в многообразии по модулю отношения эквивалентности контакта первого порядка . По аналогии, касательное расслоение k -го порядка представляет собой совокупность кривых по модулю отношения контакта k -го порядка. Аналогично, кокасательное расслоение — это расслоение 1-струй функций на многообразии: расслоение k -струй — это расслоение их k -струй. Эти и другие примеры общей идеи струйных расслоений играют существенную роль при изучении дифференциальных операторов на многообразиях.

Понятие каркаса также обобщается на случай струй более высокого порядка. Определим фрейм k - го порядка как k - струю диффеоморфизма из Rn в M. [6] Совокупность всех фреймов k - го порядка, Fk ( M ), представляет собой главное расслоение Gk над M , где Gk группа k - струй ; т. е . группа, состоящая из k -струй диффеоморфизмов Rn , фиксирующих начало координат. Обратите внимание, что GL( n , R ) естественно изоморфна G 1 и является подгруппой каждого G k , k ≥ 2 . В частности, сечение F 2 ( M ) дает компоненты фрейма связности на M . Таким образом, факторрасслоение F 2 ( M ) / GL( n , R ) является расслоением симметричных линейных связностей над M .

Исчисление на многообразиях

Многие методы многомерного исчисления также применимы с соответствующими изменениями к дифференцируемым многообразиям. Например, можно определить производную по направлению дифференцируемой функции вдоль касательного вектора к многообразию, и это приводит к средству обобщения полной производной функции: дифференциалу. С точки зрения исчисления, производная функции на многообразии ведет себя почти так же, как обычная производная функции, определенной в евклидовом пространстве, по крайней мере, локально . Например, для таких функций существуют версии теорем о неявной и обратной функциях .

Однако существуют важные различия в исчислении векторных полей (и тензорных полей в целом). Короче говоря, производная векторного поля по направлению не определена четко или, по крайней мере, не определена простым способом. Несколько обобщений производной векторного поля (или тензорного поля) действительно существуют и отражают некоторые формальные особенности дифференцирования в евклидовых пространствах. Главными среди них являются:

Идеи интегрального исчисления переносятся и на дифференциальные многообразия. Они естественным образом выражаются на языке внешнего исчисления и дифференциальных форм . Фундаментальные теоремы интегрального исчисления с несколькими переменными, а именно теорема Грина , теорема о дивергенции и теорема Стокса , обобщаются до теоремы (также называемой теоремой Стокса), связывающей внешнюю производную и интегрирование по подмногообразиям .

Дифференциальное исчисление функций

Дифференцируемые функции между двумя многообразиями необходимы для того, чтобы сформулировать подходящие понятия подмногообразий и других связанных понятий. Если f  : MN — дифференцируемая функция из дифференцируемого многообразия M размерности m в другое дифференцируемое многообразие N размерности n , то дифференциал f является отображением df  : TMT N . Его также обозначают Tf и называют касательным отображением . В каждой точке M это линейное преобразование из одного касательного пространства в другое:

p ранг.

Обычно ранг функции является поточечным свойством. Однако если функция имеет максимальный ранг, то в окрестности точки ранг останется постоянным. Дифференцируемая функция «обычно» имеет максимальный ранг в точном смысле, заданном теоремой Сарда . Функции максимального ранга в точке называются погружениями и субмерсиями :

Производная лжи

Производная Ли , названная в честь Софуса Ли , является производной в алгебре тензорных полей над многообразием M. Векторное пространство всех производных Ли на M образует бесконечномерную алгебру Ли относительно скобки Ли , определяемой формулой

Производные Ли представляются векторными полями как бесконечно малые генераторы потоков ( активных диффеоморфизмов ) на M. Если посмотреть наоборот, то группа диффеоморфизмов M имеет связанную с ней структуру алгебры Ли производных Ли, что прямо аналогично теории групп Ли .

Внешнее исчисление

Внешнее исчисление позволяет обобщить операторы градиента , дивергенции и ротора .

Пучок дифференциальных форм в каждой точке состоит из всех полностью антисимметричных полилинейных отображений касательного пространства в этой точке. Оно естественным образом разбивается на n -форм для каждого n , не превосходящего размерность многообразия; n - форма — это форма с n -переменными, также называемая формой степени n . 1-формы — это котангенсные векторы, а 0-формы — это просто скалярные функции. В общем, n -форма представляет собой тензор с котангенсным рангом n и касательным рангом 0. Но не каждый такой тензор является формой, поскольку форма должна быть антисимметричной.

Внешняя производная

Внешняя производная — это линейный оператор в градуированном векторном пространстве всех гладких дифференциальных форм на гладком многообразии . Обычно его обозначают . Точнее, если оператор for отображает пространство -форм на в пространство -форм (если на -формах нет ненулевых, то отображение тождественно нулевое на -формах).

Например, внешний дифференциал гладкой функции задается в локальных координатах с соответствующим локальным кофреймом по формуле:

Внешний дифференциал удовлетворяет следующему тождеству, аналогичному правилу произведения в отношении клинового произведения форм:

Внешняя производная также удовлетворяет тождеству . То есть, если -форма , то -форма тождественно исчезает. Такая форма называется закрытой , а форма, такая, что для какой-то другой формы, называется точной . Другая формулировка тождества состоит в том, что точная форма замкнута. Это позволяет определить когомологии де Рама многообразия , где группа когомологий является факторгруппой замкнутых форм на точных формах на .

Топология дифференцируемых многообразий

Связь с топологическими многообразиями

Предположим, что это топологическое -многообразие.

Если задан какой-либо гладкий атлас , легко найти гладкий атлас, который определяет другую структуру гладкого многообразия, если рассмотреть гомеоморфизм , который не является гладким относительно данного атласа; например, можно изменить локализованный негладкий выступ карты идентичности. Затем рассмотрим новый атлас , который легко проверяется как гладкий. Однако диаграммы в новом атласе не являются полностью совместимыми с диаграммами в старом атласе, поскольку для этого потребуется, чтобы они были гладкими для любых , а эти условия являются точным определением того, что оба и являются гладкими, что противоречит тому, как было выбрано. .

Руководствуясь этим наблюдением в качестве мотивации, можно определить отношение эквивалентности в пространстве гладких атласов, объявив, что гладкие атласы и эквивалентны, если существует гомеоморфизм, такой, который гладко совместим с , и такой, который гладко совместим с

Короче говоря, можно сказать, что два гладких атласа эквивалентны, если существует диффеоморфизм, в котором один гладкий атлас берется за область определения, а другой гладкий атлас — за диапазон.

Обратите внимание, что это отношение эквивалентности является уточнением отношения эквивалентности, которое определяет гладкую структуру многообразия, поскольку любые два гладко совместимых атласа также совместимы в настоящем смысле; можно принять за карту идентичности.

Если размерность равна 1, 2 или 3, то на существует гладкая структура , и все различные гладкие структуры эквивалентны в указанном выше смысле. В более высоких измерениях ситуация сложнее, хотя она и не до конца понятна.

Классификация

Каждое одномерное связное гладкое многообразие диффеоморфно любому из них со своими стандартными гладкими структурами.

Классификацию гладких 2-многообразий см. в разделе Surface . Конкретный результат состоит в том, что каждое двумерное связное компактное гладкое многообразие диффеоморфно одному из следующих: или или Ситуация становится более нетривиальной, если вместо гладкой структуры рассматривать комплексно-дифференцируемую структуру.

В трех измерениях ситуация несколько сложнее, и известные результаты более косвенны. Замечательным результатом, доказанным в 2002 году методами уравнений в частных производных , является гипотеза геометризации , в общих чертах утверждающая, что любое компактное гладкое 3-многообразие можно разбить на различные части, каждая из которых допускает римановы метрики, обладающие множеством симметрий. Существуют также различные «результаты распознавания» геометризуемых 3-многообразий, такие как жесткость Мостоу и алгоритм Села для проблемы изоморфизма для гиперболических групп. [8]

Классификация n -многообразий при n больше трёх, как известно, невозможна даже с точностью до гомотопической эквивалентности . По любой конечно представленной группе можно построить замкнутое 4-многообразие, имеющее эту группу в качестве фундаментальной группы. Поскольку не существует алгоритма решения проблемы изоморфизма для конечно представленных групп, не существует и алгоритма, позволяющего решить, имеют ли два 4-многообразия одну и ту же фундаментальную группу. Поскольку ранее описанная конструкция приводит к классу 4-многообразий, которые гомеоморфны тогда и только тогда, когда их группы изоморфны, проблема гомеоморфизма 4-многообразий неразрешима . Кроме того, поскольку даже распознавание тривиальной группы неразрешимо, вообще невозможно даже решить, имеет ли многообразие тривиальную фундаментальную группу, т. е. является ли оно односвязным .

Односвязные 4-многообразия были классифицированы Фридманом с точностью до гомеоморфизма с использованием формы пересечения и инварианта Кирби – Зибенмана . Теория гладких 4-многообразий, как известно , гораздо сложнее, как показывают экзотические гладкие структуры на R4 .

Однако ситуация становится более приемлемой для односвязных гладких многообразий размерности ≥ 5, где теорема о h-кобордизме может использоваться для сведения классификации к классификации с точностью до гомотопической эквивалентности и может быть применена теория перестроек . [9] Это было сделано Деннисом Барденом для обеспечения явной классификации односвязных 5-многообразий .

Структуры на гладких многообразиях

(Псевдо-)римановы многообразия

Риманово многообразие состоит из гладкого многообразия вместе с положительно определенным скалярным произведением в каждом из отдельных касательных пространств. Этот набор скалярных произведений называется римановой метрикой и, естественно, является симметричным 2-тензорным полем. Эта «метрика» определяет естественный изоморфизм векторного пространства для каждого. На римановом многообразии можно определить понятия длины, объема и угла. Любому гладкому многообразию можно задать множество различных римановых метрик.

Псевдориманово многообразие — это обобщение понятия риманова многообразия , в котором скалярным произведениям разрешено иметь неопределенную сигнатуру , а не быть положительно определенными ; они по-прежнему должны быть невырожденными. Каждое гладкое псевдориманово и риманово многообразие определяет ряд связанных с ним тензорных полей, таких как тензор кривизны Римана . Псевдоримановы многообразия сигнатуры (3, 1) являются фундаментальными в общей теории относительности . Не каждому гладкому многообразию можно придать (нериманову) псевдориманову структуру; на это существуют топологические ограничения.

Терминология псевдориманова многообразия варьируется в зависимости от автора, и большую часть литературы по этому вопросу можно пропустить, если кто-то близорук и исключает альтернативные термины, такие как лоренцево или полуриманово многообразие.

Финслерово многообразие — это другое обобщение риманова многообразия, в котором скалярное произведение заменено векторной нормой ; как таковое, это позволяет определить длину, но не угол.

Симплектические многообразия

Симплектическое многообразие — это многообразие, снабженное замкнутой невырожденной 2 - формой . Это условие заставляет симплектические многообразия быть четномерными из-за того, что все кососимметричные матрицы имеют нулевой определитель. Есть два основных примера:

Группы лжи

Группа Ли состоит из многообразия C вместе со структурой группы на такой, что отображение произведения и инверсии и является гладким как отображение многообразий. Эти объекты часто возникают естественным образом при описании (непрерывных) симметрий и служат важным источником примеров гладких многообразий.

Однако многим знакомым примерам гладких многообразий не может быть придана структура группы Ли, поскольку , учитывая группу Ли и любое два касательных пространства группы Ли. В частности, рассматривая произвольный ненулевой вектор в, можно использовать эти отождествления, чтобы получить гладкое ненулевое векторное поле на. Это показывает, например, что никакая четномерная сфера не может поддерживать структуру группы Ли. В более общем плане тот же аргумент показывает, что каждая группа Ли должна быть распараллеливаема .

Альтернативные определения

Псевдогруппы

Понятие псевдогруппы [ 10] обеспечивает гибкое обобщение атласов, позволяющее единообразно определять множество различных структур на многообразиях. Псевдогруппа состоит из топологического пространства S и набора Γ, состоящего из гомеоморфизмов открытых подмножеств S в другие открытые подмножества S таких, что

  1. Если f ∈ Γ и U — открытое подмножество области определения f , то ограничение f | U также находится в Γ.
  2. Если f — гомеоморфизм объединения открытых подмножеств S , в открытое подмножество S , то f ∈ Γ, предусмотренный для каждого i .
  3. Для любого открытого US тождественное преобразование U находится в Γ.
  4. Если f ∈ Γ , то f −1 ∈ Γ .
  5. Композиция двух элементов из Γ находится в Γ.

Эти последние три условия аналогичны определению группы . Однако обратите внимание, что Γ не обязательно должна быть группой, поскольку функции не определены глобально на S . Например, совокупность всех локальных диффеоморфизмов Ck на Rn образует псевдогруппу . Все биголоморфизмы между открытыми множествами в C n образуют псевдогруппу. Дополнительные примеры включают: сохраняющие ориентацию карты R n , симплектоморфизмы , преобразования Мёбиуса , аффинные преобразования и т. д. Таким образом, псевдогруппы определяются множеством функциональных классов.

Атлас ( U i , φ i ) гомеоморфизмов φ i из U iM в открытые подмножества топологического пространства S называется совместимым с псевдогруппой Γ при условии, что функции перехода φ jφ i −1  : φ i ( U iU j ) → φ j ( U iU j ) все находятся в Γ.

Тогда дифференцируемое многообразие является атласом , совместимым с псевдогруппой Ck функций на Rn . Комплексное многообразие — это атлас , совместимый с биголоморфными функциями на открытых множествах в Cn . И так далее. Таким образом, псевдогруппы обеспечивают единую основу для описания многих структур на многообразиях, важных для дифференциальной геометрии и топологии.

Связка структуры

Иногда может быть полезно использовать альтернативный подход, чтобы наделить многообразие C k -структурой. Здесь k = 1, 2, ..., ∞ или ω для вещественных аналитических многообразий. Вместо рассмотрения координатных карт можно начать с функций, определенных на самом многообразии. Структурный пучок M , обозначаемый Ck , является своего рода функтором , который определяет для каждого открытого множества U M алгебру Ck ( U ) непрерывных функций UR. Говорят , что структурный пучок C k придает M структуру многообразия C k размерности n при условии, что для любого pM существует окрестность U p и n функций x 1 , ..., x nC k ( U ) такое, что отображение f = ( x1 ,..., xn ) : URn является гомеоморфизмом на открытое множество в Rn , и такое , что Ck | Uобраз пучка k - кратно непрерывно дифференцируемых функций на Rn . [11]

В частности, это последнее условие означает, что любая функция h из C k ( V ) для V может быть записана однозначно как h ( x ) = H ( x 1 ( x ), ..., x n ( x )) , где H — функция , дифференцируемая k раз на f ( V ) (открытое множество в Rn ). Таким образом, точка зрения теории пучков состоит в том, что функции на дифференцируемом многообразии могут быть выражены в локальных координатах как дифференцируемые функции на R n , и тем более этого достаточно, чтобы охарактеризовать дифференциальную структуру на многообразии.

Связки локальных колец

Похожий, но более технический подход к определению дифференцируемых многообразий можно сформулировать, используя понятие кольцевого пространства . Этот подход находится под сильным влиянием теории схем алгебраической геометрии , но использует локальные кольца ростков дифференцируемых функций. Он особенно популярен в контексте сложных многообразий.

Начнем с описания базового структурного пучка на Rn . Если U — открытое множество в Rn , пусть

О ( U ) знак равно C k ( U , р )

состоят из всех вещественных k -кратно непрерывно дифференцируемых функций на U . При изменении U это определяет пучок колец на R n . Слой O p для pRn состоит из ростков функций вблизи p и является алгеброй над R. В частности, это локальное кольцо , единственный максимальный идеал которого состоит из тех функций, которые обращаются в нуль в точке p . Пара ( Rn , O ) является примером локально окольцованного пространства : это топологическое пространство, снабженное пучком, каждый из стеблей которого является локальным кольцом .

Дифференцируемое многообразие (класса Ck ) состоит из пары ( M , OM ) , где Mвторое счетное хаусдорфово пространство , а OM — пучок локальных R -алгебр, определенных на M , таких, что локально окольцованное пространство ( M , O M ) локально изоморфно ( Rn , O ) . Таким образом, дифференцируемые многообразия можно рассматривать как схемы , моделируемые на Rn . Это означает, что [12] для каждой точки pM существует окрестность U точки p и пара функций ( f , f # ) , где

  1. f  : Uf ( U ) ⊂ Rn гомеоморфизм на открытое множество в Rn .
  2. ж # : О | f ( U )f ( O M | U ) — изоморфизм пучков.
  3. Локализация f # есть изоморфизм локальных колец
ж # ж ( п )  : О ж ( п )О M , п .

Существует ряд важных причин для изучения дифференцируемых многообразий в рамках этой абстрактной структуры. Во-первых, не существует априорной причины, по которой модельное пространство должно быть R n . Например, (в частности, в алгебраической геометрии ) это можно было бы считать пространством комплексных чисел Cn , снабженным пучком голоморфных функций (таким образом приходящим к пространствам комплексной аналитической геометрии ) или пучком полиномов (таким образом приходя к пространствам, представляющим интерес в комплексной алгебраической геометрии). В более широком смысле это понятие можно адаптировать для любого подходящего понятия схемы (см. теорию топоса ). Во-вторых, координаты больше не являются явно необходимыми для построения. Аналогом системы координат является пара ( f , f # ) , но они просто количественно выражают идею локального изоморфизма , а не являются центральными в обсуждении (как в случае карт и атласов). В-третьих, пучок ОМ вовсе не является явно пучком функций . Скорее, он возникает как пучок функций в результате построения (через факторы локальных колец по их максимальным идеалам). Следовательно, это более примитивное определение структуры (см. синтетическая дифференциальная геометрия ).

Последним преимуществом этого подхода является то, что он позволяет естественным образом давать прямые описания многих фундаментальных объектов исследования дифференциальной геометрии и топологии.

Обобщения

Категория гладких многообразий с гладкими отображениями лишена некоторых желательных свойств , и люди пытались обобщить гладкие многообразия, чтобы исправить это. В диффеологических пространствах используется другое понятие диаграммы, известное как «сюжет». Другими попытками являются пространства Фрелихера и орбифолды .

Спрямляемое множество обобщает идею кусочно-гладкой или спрямляемой кривой на более высокие измерения; однако спрямляемые множества не входят в общие многообразия.

Банаховы многообразия и многообразия Фреше , в частности многообразия отображений, являются бесконечномерными дифференцируемыми многообразиями.

Некоммутативная геометрия

Для многообразия Ck M множество вещественнозначных функций Ck на многообразии образует алгебру относительно точечного сложения и умножения, называемую алгеброй скалярных полей или просто алгеброй скаляров . Эта алгебра имеет постоянную функцию 1 как мультипликативное тождество и является дифференцируемым аналогом кольца регулярных функций в алгебраической геометрии.

Можно восстановить многообразие по его алгебре скаляров, сначала как набор, но также и как топологическое пространство – это применение теоремы Банаха – Стоуна , более формально известное как спектр C*-алгебры. . Во - первых, существует взаимно однозначное соответствие между точками M и гомоморфизмами алгебры φ : Ck ( M ) → R , поскольку такой гомоморфизм φ соответствует идеалу коразмерности один в Ck ( M ) (а именно ядро функции φ ), которое обязательно является максимальным идеалом. Наоборот, каждый максимальный идеал в этой алгебре является идеалом функций, исчезающих в одной точке, что демонстрирует, что MSpec (Max Spec) C k ( M ) восстанавливает M как набор точек, хотя на самом деле он восстанавливает M как топологическое пространство.

Можно определить различные геометрические структуры алгебраически в терминах алгебры скаляров, и эти определения часто обобщаются на алгебраическую геометрию (геометрическая интерпретация колец) и теория операторов (геометрическая интерпретация банаховых пространств). Например, касательное расслоение к M можно определить как дифференцирование алгебры гладких функций на M .

Эта «алгебризация» многообразия (замена геометрического объекта алгеброй) приводит к понятию C*-алгебры - коммутативной C*-алгебры, являющейся в точности кольцом скаляров многообразия, по Банаху – Стоуну, и позволяет рассматривать некоммутативные С*-алгебры как некоммутативные обобщения многообразий. Это основа области некоммутативной геометрии .

Смотрите также

Рекомендации

  1. ^ Б. Риман (1867).
  2. ^ Сам Максвелл работал с кватернионами , а не с тензорами, но его уравнения электромагнетизма использовались как ранний пример тензорного формализма; см . Димитриенко Юрий И. (2002), Тензорный анализ и нелинейные тензорные функции, Springer, стр. xi, ISBN 9781402010156.
  3. ^ См. Дж. Риччи (1888), Г. Риччи и Т. Леви-Чивита (1901), Т. Леви-Чивита (1927).
  4. ^ См. Х. Вейль (1955).
  5. ^ Х. Уитни (1936).
  6. ^ См. С. Кобаяши (1972).
  7. ^ Дж. Милнор (1956).
  8. ^ З. Села (1995). Однако 3-многообразия классифицируются только в том смысле, что существует (непрактичный) алгоритм для создания неизбыточного списка всех компактных 3-многообразий.
  9. ^ См. А. Раницки (2002).
  10. ^ Кобаяши и Номидзу (1963), Том 1.
  11. ^ Это определение можно найти у Маклейна и Мурдейка (1992). Эквивалентное специальное определение см. в Sternberg (1964), глава II.
  12. ^ Хартсхорн (1997)

Библиография