Ложь третья теорема - Lies third theorem - Wikipedia

в математика из Теория лжи, Третья теорема Ли утверждает, что каждый конечномерный Алгебра Ли над действительными числами связан с Группа Ли грамм. Теорема является частью Соответствие группы Ли и алгебры Ли.

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

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

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

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

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

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

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

  1. ^ Жан-Пьер Серр (1992)[1965] Алгебры Ли и группы Ли: лекции 1964 года в Гарвардском университете, стр. 152, Springer ISBN  978-3-540-55008-2

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