To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Lie bracket of vector fields

From Wikipedia, the free encyclopedia

In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted [X, Y].

Conceptually, the Lie bracket [X, Y] is the derivative of Y along the flow generated by X, and is sometimes denoted ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by X.

The Lie bracket is an R-bilinear operation and turns the set of all smooth vector fields on the manifold M into an (infinite-dimensional) Lie algebra.

The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius integrability theorem, and is also fundamental in the geometric theory of nonlinear control systems.[1]


There are three conceptually different but equivalent approaches to defining the Lie bracket:

Vector fields as derivations

Each smooth vector field on a manifold M may be regarded as a differential operator acting on smooth functions (where and of class ) when we define to be another function whose value at a point is the directional derivative of f at p in the direction X(p). In this way, each smooth vector field X becomes a derivation on C(M). Furthermore, any derivation on C(M) arises from a unique smooth vector field X.

In general, the commutator of any two derivations and is again a derivation, where denotes composition of operators. This can be used to define the Lie bracket as the vector field corresponding to the commutator derivation:

Flows and limits

Let be the flow associated with the vector field X, and let D denote the tangent map derivative operator. Then the Lie bracket of X and Y at the point xM can be defined as the Lie derivative:

This also measures the failure of the flow in the successive directions to return to the point x:

In coordinates

Though the above definitions of Lie bracket are intrinsic (independent of the choice of coordinates on the manifold M), in practice one often wants to compute the bracket in terms of a specific coordinate system . We write for the associated local basis of the tangent bundle, so that general vector fields can be written and for smooth functions . Then the Lie bracket can be computed as:

If M is (an open subset of) Rn, then the vector fields X and Y can be written as smooth maps of the form and , and the Lie bracket is given by:

where and are n × n Jacobian matrices ( and respectively using index notation) multiplying the n × 1 column vectors X and Y.


The Lie bracket of vector fields equips the real vector space of all vector fields on M (i.e., smooth sections of the tangent bundle ) with the structure of a Lie algebra, which means [ • , • ] is a map with:

  • R-bilinearity
  • Anti-symmetry,
  • Jacobi identity,

An immediate consequence of the second property is that for any .

Furthermore, there is a "product rule" for Lie brackets. Given a smooth (scalar-valued) function f on M and a vector field Y on M, we get a new vector field fY by multiplying the vector Yx by the scalar f(x) at each point xM. Then:

where we multiply the scalar function X(f) with the vector field Y, and the scalar function f with the vector field [X, Y]. This turns the vector fields with the Lie bracket into a Lie algebroid.

Vanishing of the Lie bracket of X and Y means that following the flows in these directions defines a surface embedded in M, with X and Y as coordinate vector fields:

Theorem: iff the flows of X and Y commute locally, meaning for all xM and sufficiently small s, t.

This is a special case of the Frobenius integrability theorem.


For a Lie group G, the corresponding Lie algebra is the tangent space at the identity , which can be identified with the vector space of left invariant vector fields on G. The Lie bracket of two left invariant vector fields is also left invariant, which defines the Jacobi–Lie bracket operation .

For a matrix Lie group, whose elements are matrices , each tangent space can be represented as matrices: , where means matrix multiplication and I is the identity matrix. The invariant vector field corresponding to is given by , and a computation shows the Lie bracket on corresponds to the usual commutator of matrices:


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


As mentioned above, the Lie derivative can be seen as a generalization of the Lie bracket. Another generalization of the Lie bracket (to vector-valued differential forms) is the Frölicher–Nijenhuis bracket.


  • "Lie bracket", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  • Isaiah, Pantelis (2009), "Controlled parking [Ask the experts]", IEEE Control Systems Magazine, 29 (3): 17–21, 132, doi:10.1109/MCS.2009.932394, S2CID 42908664
  • Khalil, H.K. (2002), Nonlinear Systems (3rd ed.), Upper Saddle River, NJ: Prentice Hall, ISBN 0-13-067389-7
  • Kolář, I., Michor, P., and Slovák, J. (1993), Natural operations in differential geometry, Springer-VerlagCS1 maint: multiple names: authors list (link) Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
  • Lang, S. (1995), Differential and Riemannian manifolds, Springer-Verlag, ISBN 978-0-387-94338-1 For generalizations to infinite dimensions.
  • Lewis, Andrew D., Notes on (Nonlinear) Control Theory (PDF)[permanent dead link]
  • Warner, Frank (1983) [1971], Foundations of differentiable manifolds and Lie groups, New York-Berlin: Springer-Verlag, ISBN 0-387-90894-3
This page was last edited on 10 November 2021, at 19:57
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.