Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created:
Given a smooth manifold , the Lie bracket of vector fields and can be defined in several ways.
Since derivations of smooth functions are vector fields, we can identify and with the corresponding derivations .
Taking the commutator of these derivations produces another derivation, which is denoted by , and which can be identified with a vector field on .
Alternatively, we can set
where denotes the Lie derivative of a vector field.
The real vector space of vector fields on equipped with the Lie bracket forms a Lie algebra.
1 to 1 of 1