Lie bracket of vector fields

Lie bracket of vector fields

:"See Lie algebra for more on the definition of the Lie bracket and Lie derivative for the derivation

In the mathematical field of differential topology, the Lie bracket of vector fields or Jacobi–Lie bracket is a bilinear differential operator which assigns, to any two vector fields "X" and "Y" on a smooth manifold "M", a third vector field denoted ["X", "Y"] . It is closely related to, and sometimes also known as, the Lie derivative. In particular, the bracket [X,Y] equals the Lie derivative mathcal{L}_X Y.

It plays an important role in differential geometry and differential topology, and is also fundamental in the geometric theory for nonlinear control systems.

Definition

Let "X" and "Y" be smooth vector fields on a smooth n-manifold "M". The Jacobi-Lie bracket or simply Lie bracket of "X" and "Y", denoted [X,Y] is the unique vector field such that

:mathcal{L}_{ [X,Y] } = mathcal{L}_X circ mathcal{L}_Y - mathcal{L}_Y circ mathcal{L}_X

where mathcal{L}_X is the Lie derivative with respect to the vector field "X." For a finite-dimensional manifold "M" we can define the Jacobi-Lie bracket in local coordinates as

: [X,Y] ^i= sum_{j=1}^n left (X^j frac {partial Y^i}{partial x^j} ight ) - left ( Y^j frac {partial X^i}{partial x^j} ight )

where "n" is the dimension of "M."

The Lie bracket of vector fields equips the real vector space V=Gamma^{infty}(TM) (i.e., smooth sections of the tangent bundle of M) with the structure of a Lie algebra, i.e., [.,.] is a map from V imesV to V with the following properties
* [.,.] is R-bilinear
* [X,Y] =- [Y,X] ,
* [X, [Y,Z] + [Z, [X,Y] + [Y, [Z,X] =0., This is the Jacobi identity.

An immediate consequence of these properties is that [X,X] =0 for any X.

Examples

For a matrix Lie group, smooth vector fields can be locally represented in the corresponding Lie algebra. Since the Lie algebra associated with a Lie group is isomorphic to the group's tangent space at the identity, elements of the Lie algebra of a matrix Lie group are also matrices. Hence the Jacobi-Lie bracket corresponds to the usual commutator for a matrix group:

: [X,Y] = XY - YX

where juxtaposition indicates matrix multiplication.

Applications

The Jacobi–Lie bracket is essential to proving small-time local controllability (STLC) for driftless affine control systems.

References

* Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
* For generalizations to infinite dimensions.
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Lie bracket — can refer to:*Lie algebra *Lie bracket of vector fields …   Wikipedia

  • Lie group — Lie groups …   Wikipedia

  • Lie algebroid — In mathematics, Lie algebroids serve the same role in the theory of Lie groupoids that Lie algebras serve in the theory of Lie groups: reducing global problems to infinitesimal ones. Just as a Lie groupoid can be thought of as a Lie group with… …   Wikipedia

  • Schouten–Nijenhuis bracket — In differential geometry, the Schouten–Nijenhuis bracket, also known as the Schouten bracket, is a type of graded Lie bracket defined on multivector fields on a smooth manifold extending the Lie bracket of vector fields. There are two different… …   Wikipedia

  • Schouten-Nijenhuis bracket — In differential geometry, the Schouten Nijenhuis bracket, also known as the Schouten bracket, is a type of graded Lie bracket defined on multivector fields on a smooth manifold extending the Lie bracket of vector fields. There are two different… …   Wikipedia

  • Frölicher-Nijenhuis bracket — In mathematics, the Frölicher Nijenhuis bracket is an extension of the Lie bracket of vector fields to vector valued differential forms on a differentiable manifold. It is useful in the study of connections, notably the Ehresmann connection, as… …   Wikipedia

  • Nijenhuis bracket — In mathematics there are four different but related brackets named after Albert Nijenhuis, giving Lie superalgebra structures to various spaces of tensors: Frölicher Nijenhuis bracket (defined on vector valued forms, extending the Lie bracket of… …   Wikipedia

  • Lie derivative — In mathematics, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of one vector field along the flow of another vector field.The Lie derivative is a derivation on the algebra of tensor fields over a… …   Wikipedia

  • Lie algebra — In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term… …   Wikipedia

  • Lie coalgebra — In mathematics a Lie coalgebra is the dual structure to a Lie algebra.In finite dimensions, these are dual objects: the dual vector space to a Lie algebra naturally has the structure of a Lie coalgebra, and conversely.DefinitionLet E be a vector… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”