En topología diferencial, dados dos campos de vectores diferenciables X e Y sobre una variedadM, se define el corchete de Lie de los campos X e Y, notado como el único campo de vectores que cumple:
Su expresión en un sistema de coordenadas asociado una carta local será:
donde n es la dimensión de M.
El corchete de Lie de dos campos constituye un caso particular de una operación más general: la derivada de Lie de un tensor cualquiera a lo largo de la dirección que marque un campo X. Cuando T es un campo de vectores Y, recuperamos el corchete de Lie
Esta última igualdad destaca que aunque el corchete sea R-bilineal, no es bilineal sobre las funciones diferenciables. Como consecuencia, el corchete no tendrá carácter tensorial, es decir, el valor del vector no solo dependerá del valor de los vectores e (no podremos definir el corchete de Lie de dos vectores), sino de los campos X e Y.
Como consecuencia inmediata de la antisimetría, para cualquier campo .
Coeficientes de estructura
Si {ek} una base local de campos de vectores, podremos desarrollar el corchete de dos de sus elementos como combinación lineal de los elementos de la base:
A las funciones se les denomina coeficientes de estructura de la base {ek}. Estos coeficientes no forman parte de un tensor.
En el caso especial en que la base esté asociada a un sistema de coordenadas {xa}, dado que los vectores básicos conmutan ( ), los coeficientes de estructura serán nulos. Las bases locales para las que se anulan estos coeficientes reciben el nombre de bases holónomas.
En un grupo de LieG, considerado como variedad, podemos definir un conjunto particular de campos de vectores: los campos invariantes por la izquierda. A este conjunto se le denomina álgebra de Lie de G. Dada una base de campos invariantes por la izquierda, se demuestra que los coeficientes de estructura son constantes, y reciben el nombre de constantes de estructura de G con respecto a la base .
corchete, campos, vectores, topología, diferencial, dados, campos, vectores, diferenciables, sobre, variedad, define, corchete, campos, notado, displaystyle, como, único, campo, vectores, cumple, displaystyle, expresión, sistema, coordenadas, asociado, carta, . En topologia diferencial dados dos campos de vectores diferenciables X e Y sobre una variedad M se define el corchete de Lie de los campos X e Y notado X Y displaystyle X Y como el unico campo de vectores que cumple X Y f X Y f Y X f displaystyle X Y f X Y f Y X f Su expresion en un sistema de coordenadas asociado una carta local x m displaystyle x mu sera X Y i j 1 n X j Y i x j Y j X i x j displaystyle X Y i sum j 1 n left X j frac partial Y i partial x j right left Y j frac partial X i partial x j right donde n es la dimension de M El corchete de Lie de dos campos constituye un caso particular de una operacion mas general la derivada de Lie de un tensor cualquiera L X T displaystyle mathcal L X T a lo largo de la direccion que marque un campo X Cuando T es un campo de vectores Y recuperamos el corchete de Lie L X Y X Y displaystyle mathcal L X Y X Y Propiedades Editar es R bilineal a X 1 b X 2 Y a X 1 Y b X 2 Y displaystyle alpha X 1 beta X 2 Y alpha X 1 Y beta X 2 Y X a Y 1 b Y 2 a X Y 1 b X Y 2 displaystyle X alpha Y 1 beta Y 2 alpha X Y 1 beta X Y 2 dd Antisimetria X Y Y X displaystyle X Y Y X dd Identidad de Jacobi X Y Z Z X Y Y Z X 0 displaystyle X Y Z Z X Y Y Z X 0 dd Para funciones f y g tenemos f X g Y f g X Y f X g Y g Y f X displaystyle fX gY fg X Y fX g Y gY f X dd Esta ultima igualdad destaca que aunque el corchete sea R bilineal no es bilineal sobre las funciones diferenciables Como consecuencia el corchete no tendra caracter tensorial es decir el valor del vector X Y p displaystyle X Y p no solo dependera del valor de los vectores X p displaystyle X p e Y p displaystyle Y p no podremos definir el corchete de Lie de dos vectores sino de los campos X e Y Como consecuencia inmediata de la antisimetria X X 0 displaystyle X X 0 para cualquier campo X displaystyle X Coeficientes de estructura EditarSi ek una base local de campos de vectores podremos desarrollar el corchete de dos de sus elementos como combinacion lineal de los elementos de la base e k e ℓ c k ℓ m e m displaystyle e k e ell c k ell m e m A las funciones c k ℓ m displaystyle c k ell m se les denomina coeficientes de estructura de la base ek Estos coeficientes no forman parte de un tensor En el caso especial en que la base este asociada a un sistema de coordenadas xa dado que los vectores basicos conmutan x a x b 0 displaystyle partial x a partial x b 0 los coeficientes de estructura seran nulos Las bases locales para las que se anulan estos coeficientes reciben el nombre de bases holonomas En un grupo de Lie G considerado como variedad podemos definir un conjunto particular de campos de vectores los campos invariantes por la izquierda A este conjunto se le denomina algebra de Lie de G Dada una base X 1 X n displaystyle X 1 ldots X n de campos invariantes por la izquierda se demuestra que los coeficientes de estructura son constantes y reciben el nombre de constantes de estructura de G con respecto a la base X i displaystyle X i Vease tambien EditarDerivada de Lie Algebra de Witt Datos Q5478310 Obtenido de https es wikipedia org w index php title Corchete de Lie campos de vectores amp oldid 123683448, wikipedia, wiki, leyendo, leer, libro, biblioteca,
