En el campo matemático de la topología diferencial , el corchete de Lie de campos vectoriales , también conocido como corchete de Jacobi-Lie o conmutador de campos vectoriales , es un operador que asigna a dos campos vectoriales cualesquiera X e Y en una variedad suave M un tercero campo vectorial denotado [ X , Y ] .
Conceptualmente, el corchete de Lie [ X , Y ] es la derivada de Y a lo largo del flujo generado por X y, a veces, se denota ("Derivada de Lie de Y a lo largo de X"). Esto se generaliza a la derivada de Lie de cualquier campo tensorial a lo largo del flujo generado por X.
El corchete de Lie es una operación R - bilineal y convierte el conjunto de todos los campos vectoriales suaves en la variedad M en un álgebra de Lie (de dimensión infinita) .
El corchete de Lie juega un papel importante en la geometría diferencial y la topología diferencial , por ejemplo en el teorema de integrabilidad de Frobenius , y también es fundamental en la teoría geométrica de los sistemas de control no lineales . [1]
VI Arnold se refiere a esto como el "derivado del pescador", ya que uno puede imaginarse siendo un pescador, sosteniendo una caña de pescar, sentado en un bote. Tanto el barco como el flotador fluyen según el campo vectorial X , y el pescador alarga/encoge y gira la caña de pescar según el campo vectorial Y . El rango de mentira es la cantidad de arrastre del flotador de pesca en relación con el agua circundante. [2]
Hay tres enfoques conceptualmente diferentes pero equivalentes para definir el grupo de Lie:
Cada campo vectorial suave en una variedad M puede considerarse como un operador diferencial que actúa sobre funciones suaves (donde y de clase ) cuando definimos como otra función cuyo valor en un punto es la derivada direccional de f en p en la dirección X ( pag ). De esta manera, cada campo vectorial suave X se convierte en una derivación en C ∞ ( M ). Además, cualquier derivación en C ∞ ( M ) surge de un campo vectorial suave único X .
En general, el conmutador de dos derivaciones cualesquiera y es nuevamente una derivación, donde denota la composición de operadores. Esto se puede utilizar para definir el corchete de Lie como el campo vectorial correspondiente a la derivación del conmutador:
Sea el flujo asociado con el campo vectorial X , y sea D el operador derivado del mapa tangente . Entonces el corchete de Lie de X e Y en el punto x ∈ M se puede definir como la derivada de Lie :
Esto también mide la falla del flujo en las direcciones sucesivas para regresar al punto x :
Aunque las definiciones anteriores de corchete de Lie son intrínsecas (independientes de la elección de las coordenadas en la variedad M ), en la práctica a menudo se desea calcular el corchete en términos de un sistema de coordenadas específico . Escribimos para la base local asociada del paquete tangente, de modo que se puedan escribir campos vectoriales generales y para funciones suaves . Entonces el corchete de Lie se puede calcular como:
Si M es (un subconjunto abierto de) R n , entonces los campos vectoriales X e Y se pueden escribir como mapas suaves de la forma y , y el corchete de Lie viene dado por:
donde y son matrices jacobianas de n × n ( y, respectivamente , usando notación de índice) que multiplican los vectores de columna de n × 1 X e Y.
El corchete de Lie de campos vectoriales equipa el espacio vectorial real de todos los campos vectoriales en M (es decir, secciones suaves del paquete tangente ) con la estructura de un álgebra de Lie , lo que significa que [ • , • ] es un mapa con:
Una consecuencia inmediata de la segunda propiedad es que para cualquiera .
Además, existe una " regla del producto " para los corchetes de Lie. Dada una función suave (con valor escalar) f en M y un campo vectorial Y en M , obtenemos un nuevo campo vectorial fY multiplicando el vector Y x por el escalar f ( x ) en cada punto x ∈ M . Entonces:
donde multiplicamos la función escalar X ( f ) por el campo vectorial Y , y la función escalar f por el campo vectorial [ X , Y ] . Esto convierte los campos vectoriales con el corchete de Lie en un algebroide de Lie .
La desaparición del corchete de Lie de X e Y significa que seguir los flujos en estas direcciones define una superficie incrustada en M , con X e Y como campos vectoriales de coordenadas:
Teorema: si y solo los flujos de X e Y conmutan localmente, es decir, para todo x ∈ M y s suficientemente pequeño , t .
Este es un caso especial del teorema de integrabilidad de Frobenius .
Para un grupo de Lie G , el álgebra de Lie correspondiente es el espacio tangente en la identidad , que puede identificarse con el espacio vectorial de campos vectoriales invariantes a la izquierda en G. El corchete de Lie de dos campos vectoriales invariantes a la izquierda también es invariante a la izquierda, lo que define la operación de corchete de Jacobi-Lie .
Para un grupo matricial de Lie, cuyos elementos son matrices , cada espacio tangente se puede representar como matrices:, donde significa multiplicación de matrices e I es la matriz identidad. El campo vectorial invariante correspondiente a está dado por , y un cálculo muestra que el corchete de Lie corresponde al conmutador habitual de matrices:
Como se mencionó anteriormente, la derivada de Lie puede verse como una generalización del grupo de Lie. Otra generalización del corchete de Lie (a formas diferenciales con valores vectoriales ) es el corchete de Frölicher-Nijenhuis .
{{citation}}
: CS1 maint: multiple names: authors list (link)Amplia discusión sobre los corchetes de Lie y la teoría general de las derivadas de Lie.