В математике, исследователь Софус Ли () инициировал направления исследований, включающие интегрирование дифференциальных уравнений, групп преобразований, и контакт из сфер, которые стали называть теорией Ли . Например, последняя тема - геометрия сферы Ли. В этой статье рассматривается его подход к группам преобразований, который является одной из областей математики, и был разработан Вильгельмом Киллингом и Эли Картаном.
. теория - это экспоненциальное отображение, связывающее алгебры Ли с группами Ли, которое называется соответствием группа Ли – алгебра Ли. Предмет является частью дифференциальной геометрии, поскольку группы Ли являются дифференцируемыми многообразиями. Группы Ли развиваются из тождества (1), и касательные векторы к однопараметрическим подгруппам порождают алгебру Ли. Структура группы Ли неявно заложена в ее алгебре, а структура алгебры Ли выражается корневыми системами и корневыми данными.
Теория Ли была особенно полезна в математике. физика, поскольку она описывает стандартные группы преобразований: группу Галилея, группу Лоренца, группу Пуанкаре и конформную группу пространства-времени.
Однопараметрические группы являются первым примером теории Ли. Случай компактный возникает благодаря формуле Эйлера в комплексной плоскости. Другие однопараметрические группы встречаются в плоскости комплексных чисел с разбиением как гипербола единиц
и в двойном числе плоскость как прямая В этих случаях параметры алгебры Ли имеют имена: угол, гиперболический угол и наклон. Используя соответствующий «угол» и радиальный вектор, любой из этих плоскостей можно задать полярное разложение . Любое из этих разложений или визуализаций алгебры Ли может быть необходимо для визуализации подалгебры Ли вещественной матрицы 2 × 2..
Существует классическая 3-параметрическая пара группы Ли и алгебры: кватернионы единичной длины, который можно отождествить с 3-сферой. Его алгебра Ли является подпространством кватернионных векторов . Поскольку коммутатор ij - ji = 2k, скобка Ли в этой алгебре вдвое больше перекрестного произведения обычного векторного анализа.
Дан еще один элементарный пример с 3 параметрами. группой Гейзенберга и ее алгеброй Ли. Стандартные трактовки теории Ли часто начинаются с классических групп.
Ранние выражения теории Ли можно найти в книгах, составленных Софусом Ли с Фридрихом. Энгель и Георг Схефферс с 1888 по 1896 год.
В ранней работе Ли идея заключалась в построении теории непрерывных групп, чтобы дополнить теорию дискретных групп., разработанные в теории модульных форм, в руках Феликса Кляйна и Анри Пуанкаре. Первоначальное приложение, которое имел в виду Ли, было к теории дифференциальных уравнений. На модели теории Галуа и полиномиальных уравнений движущей концепцией была теория, способная объединить посредством изучения симметрии всю область обыкновенные дифференциальные уравнения.
Согласно историку Томасу У. Хокинсу, именно Эли Картан сделал теорию Ли такой, какая она есть:
В своей работе над группами преобразований Софус Ли доказал три теоремы, связывающие группы и алгебры, носящие его имя. Первая теорема продемонстрировала основу алгебры посредством бесконечно малых преобразований. Вторая теорема показала структурные константы алгебры как результат коммутаторных произведений в алгебре. третья теорема показала, что эти константы антисимметричны и удовлетворяют тождеству Якоби. Как писал Роберт Гилмор:
Теория Ли часто строится на изучении классические линейные алгебраические группы. К особым ответвлениям относятся группы Вейля, группы Кокстера и здания. Классический предмет был расширен до групп лиева типа.
В 1900 Дэвид Гильберт бросил вызов теоретикам Ли своей Пятой проблемой, представленной на Международном конгрессе математиков. в Париже.