Álgebra tensorial
De Wikipedia, la enciclopedia libre
En matemática, el álgebra tensorial es (dentro del álgebra abstracta) una construcción de un álgebra asociativa T(V) partiendo de un espacio vectorial V. Si tomamos vectores de base para V, se convierten en variables que no conmutan en T(V), ni sujetos a ninguna restricción (más allá de la asociatividad, de la ley distributiva y las K-linealidades, donde V está definido sobre el cuerpo K). Por lo tanto, T(V), mirada en términos que no son intrínsecos, se puede ver como el álgebra de polinomios en n variables que no conmutan sobre K, si V tiene dimensión n. Otras álgebras de interés tales como el álgebra exterior aparecen como cocientes de T(V), como relaciones impuestas por generadores.
La construcción de T(V) es una suma directa de partes graduadas Tk para k = 0, 1, 2,...; donde Tk es el producto tensorial de V con sí mismo k veces, y T0 es K como espacio vectorial unidimensional. La función de multiplicación en Ti y Tj mapea a T i + j y es la yuxtaposición natural de los tensores puros, ampliados por bilinealidad. Es decir, el álgebra tensorial es representante de las álgebras con tensores covariantes que se forman de V y de cualquier rango. Para tener el álgebra completa de tensores, contravariantes así como covariantes, se debe tomar T(W) donde W es la suma directa de V y de su espacio dual - esto consistirá en todos los tensores TIJ con los índices superiores J e índices inferiores I, en la notación clásica.
Uno también se puede referir a T(V) como el álgebra libre sobre el espacio vectorial V. De hecho,el funtor que lleva una K-álgebra A a su espacio K-vectorial subyacente está en un par de funtores adjuntos con T, que es su adjunto izquierdo. El punto de vista de álgebra libre es útil para construcciones como la de un álgebra de Clifford o un álgebra envolvente universal, donde la pregunta sobre la existencia se puede resolver comenzando con T(V) e imponiendo después las relaciones requeridas.
La construcción se generaliza fácilmente al álgebra tensorial de cualquier módulo M sobre un anillo conmutativo.
