Просто возьмите группу SU(2) в качестве примера. Три генератора , , и .
Для элемента , иногда мы хотим выразить это как
Проблема в том, что для данного , параметры однозначно определяется?
Как насчет общей группы Ли?
Экспоненты в вашей факторизации определяются однозначно, если они существуют, но не сами экспоненты.
Для связанных факторизаций в общих группах Ли см. http://en.wikipedia.org/wiki/Lie_group_decompositions .
Позволять быть группой Ли конечной размерности с алгеброй Ли .
Предположим далее, что векторы охватывать алгебру Ли ( т.е. являются -основа).
Тогда есть какой-то район личности в так, что для каждого члена можно найти (в общем случае неединственное) то есть
Это ситуация в вашем вопросе, где охватывать .
Действительно есть открытое соседство из в так что функция:
биективен. называются тогда каноническими координатами второго рода для окрестности : это уникальные координаты в районе .
Теперь это не исключает очков за пределами района так что:
и это объясняет пример Qmechanic , что любой и даст вам продукт, равный личности.
Из (2) следует, что каждый член компоненты тождественной связности можно представить в виде конечного произведения вида:
то есть -кратное произведение канонического координатного произведения. В компактной группе существует строгий верхний предел, зависящий от точного -основа выбрана для , количество необходимых множителей. В некомпактной группе такой границы нет. Таким образом, есть много членов группы (вне ) в компоненте тождества которым нельзя задать канонические координаты, и они действительно требуют большего произведения вида (4). Если рассматриваемый член группы лежит вне компоненты единичной связности, то никакое произведение вида (4) его не реализует. , однако, подключен (на самом деле просто подключен), поэтому здесь у вас нет этой проблемы. Более того, в частном случае для частного случая базиса которую вы выбрали, функция, определяемая (2), только с тремя элементами произведения, сюръективна на . Однако он не является инъективным, как мы уже отмечали на примере Qmechanic .
В одном из комментариев говорилось, что неспособность продуктов (3) и (4) реализовать членов группы была вызвана отсутствием сюръективности экспоненциальной карты. Это неправильно. В общем случае группы Ли имеется много членов группы (вне ) в компоненте тождества для которого решения (1), как мы уже отмечали, нет. Это совершенно не зависит от того, является ли экспонента сюръективной. В некомпактной группе все члены компонента тождественной связности всегда могут быть представлены произведением вида (4), просто могут быть определенные элементы, скажем , в компоненте идентичности, которые не являются экспонентами какого-либо одиночного члена алгебры Ли, т.е. и нет такой, что .
Экспоненциальное отображение сюръективно в , действительно в . Это легко увидеть, потому что все унитарные матрицы нормальны, поэтому унитарно диагонализируема как , где и так таков, что .
Экспоненциальное отображение сюръективно для всех компактных связных групп Ли . Однако, как показывает наш пример, он инъективен не во всей группе, а только в ограниченной окрестности единицы.
Экспоненциальное отображение не может быть сюръективным на некоторых некомпактных связных группах: оно сюръективно для , собственно двумерная евклидова группа (вероятно, для тоже, но я не вычислял этот), но он не может быть сюръективным в и . пример:
где является стандартным примером элемента группы Ли, который не является экспонентой какого-либо элемента .
Естественно, не является сюръективным ни на какой несвязной группе Ли (с более чем одной компонентой связности).
До сих пор остается открытым вопрос теории Ли о том, каковы точные условия сюръективности экспоненты.
Комментарий к вопросу (v1): Нет, такое разложение, вообще говоря, не единственно. Например, единичный элемент можно записать с параметрами и .
На самом деле часто бывает так, что вычисления упрощаются, когда диапазон параметров таков, что некоторые элементы не представлены однозначно. Необходимым условием уникальности параметризации является то, что интегрирование по диапазону параметров дает объем группы (объем не всегда точно известен).
изображение357
изображение357
Селена Рутли