WikiDer > Псевдогруппа

В математика, а псевдогруппа является продолжением группа концепция, но она выросла из геометрического подхода Софус Ли, а не из абстрактная алгебра (Такие как квазигруппа, Например). Теория псевдогрупп была развита Эли Картан в начале 1900-х гг.^[1][2]

Это не аксиоматическая алгебраическая идея; скорее он определяет набор условий закрытия на наборах гомеоморфизмы определено на открытые наборы U данного Евклидово пространство E или, в более общем смысле, фиксированного топологическое пространство S. В группоид условие на них выполнено, в том, что гомеоморфизмы час: U→V и грамм: V→W составить гомеоморфизм из U к W. Дальнейшее требование к псевдогруппе связано с возможностью исправление (в смысле спуск, функции перехода, или аксиома склейки).

В частности, псевдогруппа на топологическом пространстве S является набором Γ гомеоморфизмов между открытыми подмножествами S удовлетворяющие следующим свойствам.^[3]

• Для каждого открытого набора U в S, то карта идентичности на U находится в Γ.
• Если ж принадлежит Γ, то и ж ⁻¹.
• Если ж принадлежит Γ, то ограничение из ж к произвольному открытому подмножеству своего домен находится в Γ.
• Если U открыт в S, U это союз открытых множеств {U_я}, ж является гомеоморфизмом из U к открытому подмножеству S, а ограничение ж к U_я принадлежит Γ для всех я, тогда ж находится в Γ.
• Если ж: U → V и f ′: U ′ → V ′ находятся в Γ, а пересечение V ∩ U ′ является непустой, то следующие ограниченные сочинение находится в Γ:

${ displaystyle f ' circ f двоеточие f ^ {- 1} (V cap U') to f '(V cap U').}$

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

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

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

В 1950-х годах теория Картана была переформулирована Шиинг-Шен Черн, и генерал теория деформации для псевдогрупп был разработан Кунихико Кодайра и Д. К. Спенсер. В 1960-е годы гомологическая алгебра был применен к основным PDE вовлеченные вопросы, чрезмерной решимости; однако это показало, что алгебра теории потенциально очень тяжелая. В том же десятилетии интерес к теоретическая физика бесконечномерной теории Ли впервые появилась в виде текущая алгебра.

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

• Санкт-Голаб (1939). Псевдогруппа "Über den Begriff der" фон Transformationen"". Mathematische Annalen. 116: 768–780. Дои:10.1007 / BF01597390.

внешняя ссылка

• Алексеевский, Д. (2001) [1994], «Псевдогруппы», Энциклопедия математики, EMS Press