Третья теорема Ли - Lie's third theorem

В математике в теории Ли , третьей теоремы Ли гласит , что всякая конечномерная алгебра Ли над вещественными числами , связанными с группой Ли G . Теорема является частью соответствия группа Ли – алгебра Ли .

Исторически третья теорема относилась к другому, но связанному результату. Две предыдущие теоремы Софуса Ли , переформулированные современным языком, относятся к бесконечно малым преобразованиям действия группы на гладком многообразии . Третья теорема из списка устанавливает тождество Якоби для инфинитезимальных преобразований локальной группы Ли . Наоборот, при наличии алгебры Ли векторных полей интегрирование дает локальное действие группы Ли . Результат, теперь известный как третья теорема, обеспечивает внутреннее и глобальное обращение к исходной теореме.

Теорема Картана

Эквивалентность категории односвязных вещественных групп Ли и конечномерных вещественных алгебр Ли обычно называют (в литературе второй половины XX века) теоремой Картана или теоремой Картана-Ли, как это было доказано Эли Картаном . Софус Ли ранее доказал инфинитезимальную версию: локальную разрешимость уравнения Маурера-Картана или эквивалентность категории конечномерных алгебр Ли и категории локальных групп Ли.

Ли перечислил свои результаты как три прямые и три обратные теоремы. Бесконечно малый вариант теоремы Картана был, по сути, третьей обратной теоремой Ли. Во влиятельной книге Жан-Пьер Серр назвал ее третьей теоремой Ли . Исторически это название вводит в заблуждение, но часто используется в связи с обобщениями.

Серр представил в своей книге два доказательства: одно основано на теореме Адо, а другое - на основе доказательства Эли Картана.

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

Ссылки

внешние ссылки