Corxet Lie de camps vectorials

Un troç del camp vectorial (sin y, sin x)

En el camp matemàtic de la topologia diferencial, el corxet Lie de camps vectorials, també conegut com a corxet de Jacobi – Lie o commutador de camps vectorials, és un operador que assigna a dos camps vectorials X i Y qualsevol d'una varietat llisa M un tercer camp vectorial denotat per Plantilla:Nowrap.

Conceptualment, el corxet de Lie Plantilla:Nowrap és la derivada de Y al llarg del flux generat per X, i de vegades es denota ${ℒ}_{X}Y$ ("Derivada de Y al llarg de X"). Això es generalitza a la derivada de Lie de qualsevol camp tensor al llarg del flux generat per X.

El corxet de Lie és una operació R - bilineal i converteix el conjunt de tots els camps vectorials suaus de la varietat M en una àlgebra de Lie (de dimensions infinites).

El corxet de Lie té un paper important en la geometria diferencial i la topologia diferencial, per exemple en el teorema d'integrabilitat de Frobenius, i també és fonamental en la teoria geomètrica dels sistemes de control no lineals.

Hi ha tres enfocaments conceptualment diferents però equivalents per definir el corxet Lie:

Cada camp vectorial suau $X:M\to TM$ en una varietat M es pot considerar com un operador diferencial que actua sobre funcions suaus $f(p)$ (on $p\in M$ i $f$ de classe $C^{\mathrm{\infty }}(M)$) quan definim $X(f)$ ser una altra funció el valor de la qual en un punt $p$ és la derivada direccional de f en p en la direcció X (p). D'aquesta manera, cada camp vectorial llis X esdevé una derivació sobre C^∞(M). A més, qualsevol derivació sobre C^∞(M) sorgeix d'un camp vectorial suau únic X.

En general, el commutador ${\delta }_1\circ {\delta }_2-{\delta }_2\circ {\delta }_1$ de dues derivacions qualsevol ${\delta }_1$ i ${\delta }_2$ és de nou una derivació, on $\circ$ indica la composició dels operadors. Això es pot utilitzar per definir el parèntesi de Lie com el camp vectorial corresponent a la derivació del commutador:

$[X,Y](f)=X(Y(f))-Y(X(f))\text{ per tot }f\in C^{\mathrm{\infty }}(M).$