“Jacobi identity”的意思、由来-开放百科全书

词条

Jacobi identity

释义

Definition
Interpretation
Examples
See also
References
External links

{{Short description|property of some binary operations, such as the cross product and any ring's commutator}}

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.

Definition

A binary operation × on a set S possessing a binary operation + with an additive identity denoted by 0 satisfies the Jacobi identity if:

That is, if the sum of all even permutations of (a,(b,c)) is zero (where the permutation is performed by leaving the parentheses fixed and interchanging letters an even number of times).

Interpretation

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 Lie bracket operation is then defined as the commutator, which measures the failure of commutativity in matrix multiplication:

It is then easy to check the Jacobi identity:

{{Equation box 1
|indent =:
|equation =

|cellpadding= 6
|border
|border colour = #0070BF
|bgcolor=#FAFFFB
}}

More generally, suppose A is an associative algebra and V is a subspace of A with the property that for all A and B in A, the element belongs to V. Then the Jacobi identity holds on V for the bracket operator given by .^[1] 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.

Using the antisymmetry property , the Jacobi identity can be rewritten as a modification of the associative property:

Considering as the action of the infinitesimal motion A on C, this can be stated as:

{{quote
| The action of B followed by A (operator

), minus the action of A followed by B (operator

), is equal to the action of

, (operator

).
}}

There is also a plethora of mixed analogs involving anticommutators, such as

etc. (Graded Jacobi identities)

{{see also|Lie bracket of vector fields|Baker–Campbell–Hausdorff formula}}

Examples

The majority of common examples of the Jacobi identity come from the bracket multiplication on Lie algebras and Lie rings. Because of this the Jacobi identity is often expressed using Lie bracket notation:

Because the bracket multiplication is antisymmetric, the Jacobi identity admits two equivalent reformulations. Defining the adjoint operator , the identity becomes:

Thus, the Jacobi identity for Lie algebras simply states that the action of any element on the algebra is a derivation. This form of the Jacobi identity is also used to define the notion of Leibniz algebra.

Another rearrangement shows that the Jacobi identity is equivalent to the following identity between the operators of the adjoint representation:

This identity implies that the map sending each element to its adjoint action is a Lie algebra homomorphism of the original algebra into the Lie algebra of its derivations.

The Hall–Witt identity is the analogous identity for the commutator operation in a group.

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.

The following identitity follows from anticommutativity and Jacobi identity and holds in arbitrary Lie algebra:^[2]

References

1. ^{{harvnb|Hall|2015}} Example 3.3
2. ^{{cite arXiv | first=Ilya |last=Alekseev | first2=Sergei O. |last2=Ivanov |arxiv=1604.05281 | title = Higher Jacobi Identities |date=18 April 2016 }}

{{citation|first=Brian C.|last=Hall|title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction|edition= 2nd|series=Graduate Texts in Mathematics|volume=222 |publisher=Springer|year=2015|isbn=978-3319134666}}.

External links

{{MathWorld|JacobiIdentities|Jacobi Identities}}

3 : Lie algebras|Mathematical identities|Non-associative algebra

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Definition

Interpretation

Examples

See also

References

External links