In mathematics the Jacobi identity is a property of a binary operation which describes how the order of evaluation (the placement of parentheses in a multiple product) affects the result of the operation. By contrast, for operations with the associative property, any order of evaluation gives the same result (parentheses in a multiple product are not needed). The identity is named after the German mathematician Carl Gustav Jakob Jacobi.
The cross product and the Lie bracket operation both satisfy the Jacobi identity. In analytical mechanics, the Jacobi identity is satisfied by the Poisson brackets. In quantum mechanics, it is satisfied by operator commutators on a Hilbert space and, equivalently, in the phase space formulation of quantum mechanics by the Moyal bracket.
Consider a set A with two binary operations + and × , with an additive identity 0. This satisfies the Jacobi identity if:
The left side is the sum of all even permutations of x × (y × z): that is, we leave the parentheses fixed and interchange letters an even number of times.
Commutator bracket formEdit
The simplest example of a Lie algebra is constructed from the (associative) ring of matrices, which may be thought of as infinitesimal motions of an n-dimensional vector space. The × operation is the commutator, which measures the failure of commutativity in matrix multiplication; instead of , one uses the Lie bracket notation:
In this notation, the Jacobi identity is:
This is easily checked by a computation.
More generally, suppose A is an associative algebra and V is a subspace of A which is closed under the bracket operation: belongs to V for all . Then the Jacobi identity continues to hold on V. Thus, if a binary operation satisfies the Jacobi identity, we may say that it behaves as if it were given by in some associative algebra, even if it is not actually defined that way.
Considering as the action of the infinitesimal motion X on Z, this can be stated as:
The action of Y followed by X (operator ), minus the action of X followed by Y (operator ), is equal to the action of , (operator ).
Another rearrangement shows that the Jacobi identity is equivalent to the following identity between the operators of the adjoint representation:
Here the bracket on the left side is the operation of the original algebra, the bracket on the right is the commutator of the composition of operators, and the identity states that the map sending each element to its adjoint action is a Lie algebra homomorphism.
The following identitity follows from anticommutativity and Jacobi identity and holds in arbitrary Lie algebra: