En matemáticas , la identidad de Jacobi es una propiedad de una operación binaria que describe cómo el orden de evaluación, la colocación de paréntesis en un producto múltiple, afecta el resultado de la operación. Por el contrario, para las operaciones con la propiedad asociativa , cualquier orden de evaluación da el mismo resultado (no se necesitan paréntesis en un producto múltiple). La identidad lleva el nombre del matemático alemán Carl Gustav Jakob Jacobi .
El producto cruzado y la operación de soporte de mentira ambos satisfacen la identidad de Jacobi. En mecánica analítica , la identidad de Jacobi se satisface con los paréntesis de Poisson . En mecánica cuántica , se satisface mediante conmutadores de operador en un espacio de Hilbert y, de manera equivalente, en la formulación de espacio de fase de la mecánica cuántica por el soporte de Moyal .
Definición
Un conjunto A con dos operaciones binarias + y × , con una identidad aditiva 0, satisface la identidad de Jacobi si:
El lado izquierdo es la suma de todas las permutaciones pares de x × ( y × z ) : los paréntesis se dejan fijos y las letras se intercambian un número par de veces.
Forma del soporte del conmutador
El ejemplo informativo más simple de un álgebra de Lie se construye a partir del anillo (asociativo) dematrices, que pueden considerarse como movimientos infinitesimales de un espacio vectorial n- dimensional. La operación × es el conmutador , que mide el fallo de conmutatividad en la multiplicación de matrices. En vez de, se utiliza la notación de corchetes de Lie:
En esa notación, la identidad de Jacobi es:
Eso se comprueba fácilmente mediante cálculo.
De manera más general, si A es un álgebra asociativa y V es un subespacio de A que está cerrado bajo la operación de corchetes:pertenece a V para todos, La identidad de Jacobi sigue manteniendo en V . [1] Por lo tanto, si una operación binaria satisfaga la identidad de Jacobi, se puede decir que se comporta como si estuviera dada por en algún álgebra asociativa incluso si no está realmente definido de esa manera.
Usando la propiedad antisimetría , la identidad de Jacobi puede reescribirse como una modificación de la propiedad asociativa :
Si es la acción del movimiento infinitesimal X sobre Z , que se puede afirmar como:
La acción de Y seguida de X (operador), menos la acción de X seguida de Y (operador), es igual a la acción de , (operador ).
También hay una plétora de identidades de Jacobi graduadas que involucran anticonmutadores , como:
Forma adjunta
Los ejemplos más comunes de la identidad de Jacobi provienen de la multiplicación de corchetes en álgebras de Lie y anillos de Lie . La identidad de Jacobi está escrita como:
Debido a que la multiplicación de corchetes es antisimétrica , la identidad de Jacobi admite dos reformulaciones equivalentes. Definición del operador adjunto , la identidad se convierte en:
Por lo tanto, la identidad de Jacobi para las álgebras de Lie establece que la acción de cualquier elemento en el álgebra es una derivación . Esa forma de la identidad de Jacobi también se usa para definir la noción de álgebra de Leibniz .
Otro reordenamiento muestra que la identidad de Jacobi es equivalente a la siguiente identidad entre los operadores de la representación adjunta:
Allí, el corchete del lado izquierdo es la operación del álgebra original, el corchete de la derecha es el conmutador de la composición de operadores, y la identidad establece que el El mapa que envía cada elemento a su acción adjunta es un homomorfismo de álgebra de Lie .
Identidades relacionadas
La identidad Hall-Witt es la identidad análoga para la operación del conmutador en un grupo .
La siguiente identidad se deriva de la anticomutatividad y la identidad de Jacobi y se mantiene en el álgebra de Lie arbitraria: [2]
Ver también
- Constantes de estructura
- Identidad Super Jacobi
- Lema de tres subgrupos (identidad de Hall-Witt)
Referencias
- ^ Salón 2015 Ejemplo 3.3
- ^ Alekseev, Ilya; Ivanov, Sergei O. (18 de abril de 2016). "Identidades superiores de Jacobi". arXiv : 1604.05281 .
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction , Textos de posgrado en matemáticas, 222 (2a ed.), Springer, ISBN 978-3319134666.