Un operador que mide el cambio infinitesimal de campos tensoriales a lo largo del flujo generado por un campo vectorial, definido sin coordenadas como el arrastre de Lie de objetos geométricos.

Principio

La derivada de Lie de un tensor a lo largo de un campo vectorial es el generador infinitesimal del pullback por el flujo del campo vectorial; depende solo del campo vectorial y del tipo algebraico del tensor, no de una conexión.

Demostración

Para un tensor métrico g y un campo de Killing X, la derivada de Lie L_X g se anula, expresando que X genera una isometría de la métrica.

Aplicación incorrecta

Sustituir la derivada de Lie por una derivada covariante sin considerar los términos de conexión es incorrecto; a diferencia de la derivada covariante, la derivada de Lie es independiente de la conexión y mide el cambio inducido por el flujo, no el transporte paralelo.

Consecuencia

El uso de derivadas de Lie proporciona una prueba independiente de coordenadas para simetrías e invariancia, identifica cantidades geométricas conservadas y suministra relaciones algebraicas como L_X L_Y - L_Y L_X = L_[X,Y].

Inversión

Mientras la derivada de Lie compara campos arrastrándolos a lo largo de flujos, una derivada covariante basada en conexión compara mediante transporte paralelo; invertir la perspectiva intercambia el cambio intrínseco del flujo por una comparación dependiente de la conexión.

Límite

Se define para variedades suaves y campos vectoriales y tensores suficientemente regulares; no se aplica directamente a estructuras no diferenciables o geometrías discretas sin un análogo apropiado.

Tensión semántica

Próxima pero distinta de la derivada covariante: ambas miden cambio, pero la derivada de Lie es intrínseca a los flujos y tensorial bajo cambios de coordenadas, mientras que la covariante requiere una conexión y captura transporte paralelo direccional.

Síntesis

La derivada de Lie es el generador infinitesimal, sin coordenadas, del arrastre de objetos tensoriales a lo largo de flujos de campos vectoriales, ofreciendo una noción natural e independiente de conexión del cambio geométrico y la simetría.