Алгебра Ли


А́лгебра Ли — объект общей алгебры, являющийся векторным пространством с определенной на ней антикоммутативной билинейной операцией (называемой скобкой Ли, или коммутатором), удовлетворяющей тождеству Якоби. В общем случае алгебра Ли является неассоциативной алгеброй. Названа по имени норвежского математика Софуса Ли (18421899).

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

Алгеброй Ли (иначе лиевой алгеброй) называется векторное пространство над полем , снабжённое билинейным отображением

Другими словами, в алгебре Ли задана антикоммутативная операция, удовлетворяющая тождеству Якоби. Эта операция называется коммутатором, или скобкой Ли.

Обычное трёхмерное векторное пространство является алгеброй Ли относительно операции векторного произведения.

Если  — конечномерное векторное пространство над (), то множество его линейных преобразований  — также векторное пространство над . Оно имеет размерность и может быть представлено как пространство матриц . В этом векторном пространстве задана естественная операция умножения (композиция преобразований). Определим операцию скобки Ли формулой . Пространство с так введённой скобкой Ли удовлетворяет всем аксиомам алгебры Ли.