Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDmitri Pavlov
   • CommentTimeApr 7th 2023
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexCreated: ## Definition Given a [[smooth manifold]] $X$, the __Lie bracket__ of [[vector fields]] $u$ and $v$ can be defined in several ways. ### As commutator of derivations Since [[derivations of smooth functions are vector fields]], we can identify $u$ and $v$ with the corresponding derivations $C^\infty(X)\to C^\infty(X)$. Taking the [[commutator]] $uv-vu$ of these derivations produces another [[derivation]], which is denoted by $[u,v]$, and which can be identified with a vector field on $X$. ### As a Lie derivative Alternatively, we can set $$[u,v]=\mathcal{L}_u v=\mathcal{L}_v u,$$ where $\mathcal{L}$ denotes the [[Lie derivative]] of a [[vector field]]. ## Properties The real [[vector space]] of [[vector fields]] on $X$ equipped with the Lie bracket forms a [[Lie algebra]]. ## Related concepts * [[vector field]] * [[Lie derivative]] * [[Lie algebra]] <a href="https://ncatlab.org/nlab/revision/Lie+bracket+of+vector+fields/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Lie+bracket+of+vector+fields">current</a>

   Created:

   Definition

   Given a smooth manifold $X$, the Lie bracket of vector fields $u$ and $v$ can be defined in several ways.

   As commutator of derivations

   Since derivations of smooth functions are vector fields, we can identify $u$ and $v$ with the corresponding derivations $C^\infty(X)\to C^\infty(X)$.

   Taking the commutator $uv-vu$ of these derivations produces another derivation, which is denoted by $[u,v]$, and which can be identified with a vector field on $X$.

   As a Lie derivative

   Alternatively, we can set

   $$[u,v]=\mathcal{L}_u v=\mathcal{L}_v u,$$

   where $\mathcal{L}$ denotes the Lie derivative of a vector field.

   Properties

   The real vector space of vector fields on $X$ equipped with the Lie bracket forms a Lie algebra.

   Related concepts

   • vector field

   • Lie derivative

   • Lie algebra

   v1, current