PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Lie bracket (Definition)

The Lie bracket is an antisymmetric, bilinear, first order differential operator on vector fields. It may be defined either in terms of local coordinates or in a global, coordinate-free fashion. Though both defintions are prevalent, it is perhaps easier to formulate the Lie Bracket without the use of coordinates at all, as a commutator:

Definition (Global, coordinate-free) Suppose $ X$ and $ Y$ are vector fields on a smooth manifold $ M$. Regarding these vector fields as operators on functions, the Lie bracket is their commutator:

$\displaystyle [X,Y](f)=X(Y(f))-Y(X(f)).$    

Definition (Local coordinates) Suppose $ X$ and $ Y$ are vector fields on a smooth $ n$-dimensional manifold $ M$, suppose $ (x^1,\ldots, x^n)$ are local coordinates around some point $ x\in M$, and suppose that in these local coordinates

$\displaystyle X(x)$ $\displaystyle =$ $\displaystyle X^i(x) \frac{\partial}{\partial x^i}\Big\vert _x,$  
$\displaystyle Y(x)$ $\displaystyle =$ $\displaystyle Y^i(x) \frac{\partial}{\partial x^i}\Big\vert _x.$  

Then the Lie bracket of the above vector fields is the locally defined vector field
$\displaystyle [X,Y](x) = X^i \frac{\partial Y^j}{\partial x^i} \frac{\partial}{... ...^i \frac{\partial X^j}{\partial x^i} \frac{\partial}{\partial x^j}\Big\vert _x.$
(The Einstein summation convention employed in the above equations -- repeated indices are to be summed from the range 1 to $ n$.)

Properties

Suppose $ X,Y,Z$ are smooth vector fields on a smooth manifold $ M$.



"Lie bracket" is owned by rspuzio. [ full author list (3) | owner history (2) ]
(view preamble)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: changes of coordinates, Jacobi identity, Lie algebra, anti-symmetric, Lie derivative, range, indices, equations, Einstein summation convention, point, smooth, functions, operators, smooth manifold, commutator, coordinates, local coordinates, terms, vector fields, differential operator, first order, bilinear, antisymmetric
There are 23 references to this entry.

This is version 6 of Lie bracket, born on 2004-02-16, modified 2006-10-14.
Object id is 5591, canonical name is LieBracket.
Accessed 8413 times total.

Classification:
AMS MSC53-00 (Differential geometry :: General reference works )

Pending Errata and Addenda
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)