The Lie bracket is an object from mathematics , in particular from the field of algebra and differential geometry . The Lie bracket is the multiplicative connection in a Lie algebra , i.e. a kind of multiplication on a set with a special algebraic structure . Examples of such a connection are the trivial Lie bracket , the matrix commutator, the cross product or the Poisson bracket . The Lie bracket and Lie algebra are named after the mathematician Sophus Lie .
Let be a vector space over the body . An inner connection
is called a Lie bracket if it has the following three properties:
- for everyone and everyone .
- It applies to everyone .
- It satisfies the Jacobi identity , that is, it applies
- for everyone .
A vector space together with a Lie bracket is called a Lie algebra .
The antisymmetry of the Lie bracket follows from the first and the second property of the definition, i.e. for all . If the body does not have the characteristic , one can derive the property again from the antisymmetry alone . By exposing .
Lie brackets are generally not associative , which means that the term does not have to be the same as the term . However, the Lie bracket satisfies the flexibility law , so it applies to all elements .
Trivial lie bracket
Is any vector space and are and are two elements of the space, then can be through
a Lie bracket can always be defined. Vector spaces with a trivial Lie bracket are also called Abelian Lie algebras .
Let , and three matrices with entries in a field (for example the field of real or the field of complex numbers ). The commutator for square matrices is defined by
where is called the matrix multiplication . The calculation rules apply to the commutator
Therefore the commutator in the space of the matrix is a Lie bracket.
The Pauli matrices are now used as a concrete example
viewed over the body of complex numbers. If one forms the commutator of and , then applies
For is the cross product
a lie bracket. Compared to the examples above, this multiplication is usually not written in brackets. The bilinearity and the identity can be read directly from the definition. In order to recognize the Jacobi identity , the term
can be calculated component by component.
Lie bracket of vector fields
Let and be two vector fields on the -dimensional smooth manifold . The Lie derivative is then defined by
This operator fulfills the defining properties of a Lie bracket. Therefore one also writes .
Let be a commutative ring , a commutative algebra over, and two derivatives of . Then it's through
defined operation a Lie bracket on the space of the derivatives. It is called the Jacobi bracket . Since the vector fields from the previous example are special derivatives and their Lie bracket is defined accordingly, this Lie bracket is a concrete example of a Jacobi bracket.
The Poisson bracket is a two-digit operation that operates on the algebra of smooth functions . It fulfills the defining properties of a Lie bracket and also the product rule
for all smooth functions , and . Poisson brackets are often used on functions that map from a smooth manifold into the real numbers. Such manifolds with a fixed Poisson bracket are called Poisson manifolds . For example, each symplectic manifold can naturally be enclosed in Poisson brackets. In local coordinates , the Poisson bracket has the representation
↑ a b James E. Humphreys: Introduction to Lie algebras and representation theory . Springer, New York 1997, ISBN 3-540-90053-5 , pp. 4 .
^ R. Abraham, Jerrold E. Marsden , T. Ratiu: Manifolds, tensor analysis, and applications (= Applied mathematical sciences 75). 2nd Edition. Springer, New York NY et al. 1988, ISBN 0-387-96790-7 , pp. 278-279.
^ Günter Scheja, Uwe Storch: Textbook of Algebra [Electronic Resource] . Vieweg + Teubner Verlag, Wiesbaden 1988, ISBN 978-3-322-80092-3 , p. 105-106 .