El álgebra multilineal hace un uso intensivo de la notación multi-índice. Una notación de ese tipo hace representar las combinaciones lineales por un conjunto de dos o más índices repetidos.
En el caso elemental (tensores de rango uno contravariantes) tenemos, usando la convención de la suma de Einstein: . Lo cual indica que el objeto X, es la combinación lineal:
sobre los vectores básicos, y los llamados los componentes de X. Aquí es la dimensión (algebraica) de espacio donde "vive" X. Por convención se llama a estos 1-contra-tensores.
Y un tensor de rango dos mixto es . Esto indica una combinación lineal bi-indexada.
Por ejemplo,
si la dimensión del espacio es dos.
Generalizando lo anterior se escribe para representar los componentes de un tensor mixto A, que es p-contravariante y q-covariante. Pero
representa una combinación lineal multi-indexada.
Todo lo anterior sólo ha sido considerando que el espacio vectorial es de dinensión finita igual a n.
Producto tensorial
Teniendo dos espacios vectoriales V, W, con respectivas bases , se define su producto tensorial
es decir el espacio vectorial generado por los nuevos símbolos
Y por lo tanto si un objeto X que vive en (pertenece a) entonces él se puede representar como una combinación lineal
y la cual se va a abreviar como
los índices repetidos s o t, una vez arriba y una vez abajo -está convenido- indica sumación, cada uno.
Esta definición es absolutamente abstracta, pero desde el punto de vista algebraico no hay ningún problema explorar todas las posibilidades del producto tensorial. Una plétora de espacios surge (y de importancia capital) simplemente al considerar un espacio vectorial V y su dual uno obtiene los espacios:
Sea generado por los . Simbolicemos con la base de dual .Cualquier elemento de se escribe de la forma. Esta misma expresión puede ser vista como un mapabilineal
sabiendo que - kronecker.
Otro de rango dos es . Los elementos de aquí se ven como combinaciones lineales bi-indexadas .
Utilización en topología algebraica
Hacia mediados del siglo XX, los tensores se reformularon de forma más abstracta. El tratado Álgebra multilineal del grupo Bourbaki fue especialmente influyente; de hecho, el término álgebra multilineal puede haberse originado allí.[2]
Una de las razones de entonces fue una nueva área de aplicación, el álgebra homológica. El desarrollo de la topología algebraica durante la década de 1940 supuso un incentivo adicional para el desarrollo de un tratamiento puramente algebraico del producto tensorial. El cálculo de grupos de homología del producto de dos espacios topológicos implica el producto tensor; pero sólo en los casos más sencillos, como un toroide, se calcula directamente de ese modo (véase el teorema de Künneth). Los fenómenos topológicos eran lo suficientemente sutiles como para necesitar mejores conceptos fundacionales; técnicamente hablando, había que definir los funtores Tor.
La redacción resultante del tema, bastante severa, por parte de Bourbaki, rechazó por completo un enfoque del cálculo vectorial (la vía del cuaternión, es decir, en el caso general, la relación con los grupos de Lie), y en su lugar, aplicó un enfoque novedoso utilizando la teoría de categorías, con el enfoque de los grupos de Lie considerado como un asunto aparte. Dado que esto conduce a un tratamiento mucho más limpio, probablemente no había vuelta atrás en términos puramente matemáticos. (Estrictamente, se invocó el enfoque de propiedades universales; éste es algo más general que la teoría de categorías, y la relación entre ambas como vías alternativas también se estaba aclarando, al mismo tiempo).
De hecho, lo que se logró es esencialmente una explicación de por qué los espacios tensoriales son las construcciones necesarias para convertir problemas multilineales en problemas lineales. No hay ninguna intuición geométrica en este enfoque puramente algebraico.
Al reexpresar los problemas en términos de álgebra multilineal, existe una "mejor solución" clara y bien definida: las restricciones que ejerce la solución son exactamente las que se necesitan en la práctica. En general, no es necesario invocar ninguna construcción ad hoc, idea geométrica o recurso a sistemas de coordenadas. En la jerga de la teoría de categorías, todo es totalmente natural'.
Algunos conceptos desarrollados (lista incompleta)