Показать меню

Тождество Якоби

05.12.2020
335

Тождество Якоби — математическое тождество на билинейную операции [ ⋅ , ⋅ ] : V × V → V {displaystyle [cdot ,cdot ]colon V imes V ightarrow V} на линейном пространстве V {displaystyle V} . Имеет следующий вид:

∀ x , y , z ∈ V : [ [ x , y ] , z ] + [ [ y , z ] , x ] + [ [ z , x ] , y ] = 0 {displaystyle forall ,x,y,zin Vcolon [[x,y],z]+[[y,z],x]+[[z,x],y]=0}

Названо в честь Карла Густава Якоби.

Понятие тождества Якоби обычно связано с алгебрами Ли.

Примеры

Следующие операции удовлетворяют тождеству Якоби:

  • Коммутатор операторов
  • коммутатор в алгебре Ли
  • Скобки Ли векторных полей
  • Скобки Пуассона функций на симплектическом многообразии
  • Векторное произведение векторов

Значение в алгебрах Ли

Если умножение [ ⋅ , ⋅ ] {displaystyle [cdot ,cdot ]} антикоммутативно, то тождеству Якоби можно придать несколько другой вид, используя присоединённое представление алгебры Ли:

a d x : y ↦ [ x , y ] {displaystyle mathrm {ad} _{x}colon ymapsto [x,y]}

Записав тождество Якоби в форме

[ x , [ y , z ] ] = [ y , [ x , z ] ] + [ [ x , y ] , z ] {displaystyle [x,[y,z]]=[y,[x,z]]+[[x,y],z]}

получим, что оно равносильно условию выполнения правила Лейбница для оператора a d x {displaystyle mathrm {ad} _{x}} :

a d x [ y , z ] = [ a d x y , z ] + [ y , a d x z ] {displaystyle mathrm {ad} _{x},[y,z]=[mathrm {ad} _{x},y,z]+[y,mathrm {ad} _{x},z]}

Таким образом, a d x {displaystyle mathrm {ad} _{x}} — это дифференцирование в алгебре Ли. Любое такое дифференцирование называется внутренним.

Тождеству Якоби также можно придать вид

a d [ x , y ] = [ a d x , a d y ] = a d x a d y − a d y a d x {displaystyle mathrm {ad} _{[x,y]}=[mathrm {ad} _{x},mathrm {ad} _{y}]=mathrm {ad} _{x}mathrm {ad} _{y}-mathrm {ad} _{y}mathrm {ad} _{x}}

Это означает, что оператор a d {displaystyle mathrm {ad} } задаёт гомоморфизм данной алгебры Ли в алгебру Ли её дифференцирований.

Градуированное тождество Якоби

Пусть Ω = ⊕ i Ω i {displaystyle Omega =oplus _{i}Omega ^{i}} — градуированная алгебра, [ ⋅ , ⋅ ] {displaystyle [cdot ,cdot ]} — умножение в ней. Говорят, что умножение в Ω {displaystyle Omega } удовлетворяет градуированному тождеству Якоби, если для любых элементов ω i ∈ Ω i {displaystyle omega _{i}in Omega ^{i}}

[ ω m , [ ω k , ω l ] = [ [ ω m , ω k ] , ω l ] + ( − 1 ) m k [ ω k , [ ω m , ω l ] {displaystyle [omega _{m},[omega _{k},omega _{l}]=[[omega _{m},omega _{k}],omega _{l}]+(-1)^{mk}[omega _{k},[omega _{m},omega _{l}]}

Примеры

  • алгебра внешних форм;
  • алгебра дифференцирований дифференциальных форм;
  • алгебра тангенциальнозначных форм с умножением, задаваемым FN-скобками или NR-скобками;
Еще по этой теме:
Дзета-функция Дедекинда
07:29, 05 декабрь
Дзета-функция Дедекинда
Дзета-функция Дедекинда ζ K ( s ) {displaystyle zeta _{K}(s)} — это
Тетрагидроксоборат натрия
00:29, 05 декабрь
Тетрагидроксоборат натрия
Тетрагидроксоборат натрия — неорганическое соединение, комплексный гидроксид натрия и бора с формулой Na[B(OH)4], бесцветные кристаллы, растворяется в воде, образует кристаллогидраты. Получение
Инвариантная мера
19:01, 04 декабрь
Инвариантная мера
Инвариантная мера — в теории динамических систем мера, определённая в фазовом пространстве, связанная с динамической системой и не изменяющаяся с течением времени при эволюции состояния динамической
Интеграл Зиверта
08:34, 04 декабрь
Интеграл Зиверта
Интеграл Зиверта (интегральный секанс) — специальная функция, возникающая в задачах о распространении излучения от протяжённого источника. Назван по имени шведского физика Рольфа Зиверта, который
Теорема Бондаревой — Шепли
20:24, 03 декабрь
Теорема Бондаревой — Шепли
В теории игр теорема Бондаревой — Шепли описывает необходимые и достаточные условия для непустоты ядра в кооперативной игре. В частности, ядро игры непусто тогда и только тогда, когда игра
Обратный элемент
23:38, 01 декабрь
Обратный элемент
Обратный элемент — термин в общей алгебре, обобщающий понятия обратного числа (для умножения) и противоположного числа (для сложения). Определения Пусть ( M
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: