Álgebra multilineal

En la matemática, el álgebra multilineal es un área de estudio que generaliza los métodos del álgebra lineal. Los objetos de estudio son los productos tensoriales de espacios vectoriales y las transformaciones multi-lineales entre los espacios^[1].

Origen

Si bien muchos conceptos y aplicaciones teóricas involucran vectores simples, matemáticos como Hermann Grassmann consideraron estructuras que involucran pares, tripletes y multivectores que generalizan vectores. Con múltiples posibilidades combinacionales, el espacio de multivectores se expande a 2ⁿ dimensiones, donde n es la dimensión del espacio vectorial relevante.^[2] El determinante se puede formular de forma abstracta utilizando las estructuras del álgebra multilineal.

El álgebra multilineal aparece en el estudio de la respuesta mecánica de los materiales a la tensión y la deformación, involucrando varios módulos de elasticidad. El término «tensor» describe elementos dentro del espacio multilineal debido a su estructura añadida. A pesar de los primeros trabajos de Grassmann en 1844 con su Ausdehnungslehre, que también se volvió a publicar en 1862, al principio el tema no se comprendió ampliamente, ya que incluso el álgebra lineal ordinaria planteaba muchos retos en aquella época.

Los conceptos del álgebra multilineal encuentran aplicaciones en ciertos estudios de cálculo multivariante y variedades, en particular en lo referente a la matriz jacobiana. Los diferenciales infinitesimales que se encuentran en el cálculo de una sola variable se transforman en formas diferenciales en Cálculo multivariable, y su manipulación se lleva a cabo utilizando el álgebra exterior.^[3]

Tras Grassmann, los desarrollos en álgebra multilineal fueron realizados por Victor Schlegel en 1872 con la publicación de la primera parte de su System der Raumlehre ^[4] y por Elwin Bruno Christoffel. Notablemente, avances significativos vinieron a través del trabajo de Gregorio Ricci-Curbastro y Tullio Levi-Civita,^[5] particularmente en la forma de cálculo diferencial absoluto dentro del álgebra multilineal. Marcel Grossmann y Michele Besso introdujeron esta forma a Albert Einstein, y en 1915, la publicación de Einstein sobre relatividad general, explicando la precesión del perihelio de Mercurio, estableció el álgebra multilineal y los tensores como importantes herramientas matemáticas en física.

En 1958, Nicolas Bourbaki incluyó un capítulo sobre álgebra multilineal titulado «“”Algèbre Multilinéaire“”» en su serie Éléments de mathématique, concretamente dentro del libro de álgebra. El capítulo trata temas como las funciones bilineales, el producto tensorial de dos módulos, y las propiedades de los productos tensoriales.^[6].

Notación

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: $\scriptstyle X=X^{s}e_{s}\,$ . Lo cual indica que el objeto X, es la combinación lineal:

$\sum _{s=1}^{n}X^{s}e_{s}=X^{1}e_{1}+X^{2}e_{2}+\cdots +X^{n}e_{n}$

sobre los vectores básicos

\scriptstyle e_{s}\,

, y los

\scriptstyle X^{s}\,

llamados los componentes de X. Aquí

n

es la dimensión (algebraica) de espacio donde "vive" X. Por convención se llama a estos 1-contra-tensores.

En rango uno también están los 1-co tensores, es decir mapeos lineales desde el espacio elegido hacia el campo de los escalares. Ellos se escriben como combinación lineal de los funcionales lineales $e^{s}$ , transformaciones lineales $\scriptstyle V\to \mathbb {K}$ que satisfacen: $\scriptstyle e^{s}(e_{\sigma })={\delta ^{s}}_{\sigma }$ , donde (como clásicamente) se está usando la delta de Kronecker. Así cualquier covector $\scriptstyle f\colon V\to \mathbb {K}$ se escribe como $\scriptstyle f=f_{s}e^{s}\,$ , notación que abrevia $\scriptstyle f=f_{1}e^{1}+\cdots +f_{n}e^{n}\,$ .
Tensores de rango dos:
- Un tensor de rango dos contravariante es $\scriptstyle B=B^{st}e_{s}\otimes e_{t}$ .
- Un tensor de rango dos covariante es $\scriptstyle C=C_{st}e^{s}\otimes e^{t}$ .
- Y un tensor de rango dos mixto es $\scriptstyle D={D^{s}}_{t}e_{s}\otimes e^{t}$ . Esto indica una combinación lineal bi-indexada.

Por ejemplo,

$B=B^{11}e_{1}\otimes e_{1}+B^{12}e_{1}\otimes e_{2}+B^{21}e_{2}\otimes e_{1}+B^{22}e_{2}\otimes e_{2}$

si la dimensión del espacio es dos.

Generalizando lo anterior se escribe $\scriptstyle {A^{i_{1}i_{2}...i_{p}}}_{j_{1}j_{2}...j_{q}}$ para representar los componentes de un tensor mixto A, que es p-contravariante y q-covariante. Pero

$A={A^{i_{1}i_{2}...i_{p}}}_{j_{1}j_{2}...j_{q}}e_{i_{1}}\otimes \cdots \otimes e_{i_{p}}\otimes e^{j_{1}}\otimes \cdots \otimes e^{j_{q}}$

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 $\{b_{1},...,b_{n}\}$ , $\{c_{1},...,c_{m}\}$ se define su producto tensorial

$V\otimes W:=\langle \{b_{i}\otimes c_{j}\}\rangle$

es decir el espacio vectorial generado por los nuevos símbolos

$\{b_{1}\otimes c_{1},b_{1}\otimes c_{2},...,b_{n}\otimes c_{m-1},b_{n}\otimes c_{m}\}$

Y por lo tanto si un objeto X que vive en (pertenece a) $\scriptstyle V\otimes W$ entonces él se puede representar como una combinación lineal

$X=X^{11}b_{1}\otimes c_{1}+X^{12}b_{1}\otimes c_{2}+\cdots +X^{ij}b_{i}\otimes c_{j}+\cdots +X^{nm}b_{n}\otimes c_{m}$

y la cual se va a abreviar como

$X=X^{st}b_{s}\otimes c_{t}$

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 $V^{*}$ uno obtiene los espacios:

$V\otimes V\otimes V=V^{3\otimes }$

$\scriptstyle V\otimes V^{*}={\rm {Hom}}(V)$

$\scriptstyle V^{*}=\Lambda ^{1}(V)\,$

$\scriptstyle V\wedge V$

$\scriptstyle \Lambda ^{k}(V)\,$

Todos ellos de uso cotidiano en la geometría diferencial, geometría algebraica, álgebra conmutativa, relatividad y cuántica, teorías de campo, QFT, TQFT y otras.

Tensores y formas

Sea $V$ generado por los $b_{i}$ . Simbolicemos con $\beta ^{\mu }$ la base de dual $\scriptstyle V^{*}$ . Cualquier elemento de $\scriptstyle V^{*}\otimes V^{*}$ se escribe de la forma $\scriptstyle B_{\mu \nu }\beta ^{\mu }\otimes \beta ^{\nu }$ . Esta misma expresión puede ser vista como un mapa bilineal

\scriptstyle V\times V{\stackrel {B_{\mu \nu }\beta ^{\mu }\otimes \beta ^{\nu }}{\longrightarrow }}\mathbb {R}

\scriptstyle (b_{i},b_{j})\mapsto B_{\mu \nu }\beta ^{\mu }\otimes \beta ^{\nu }(b_{i},b_{j})=B_{ij}

sabiendo que $\scriptstyle \beta ^{\mu }\otimes \beta ^{\nu }(b_{i},b_{j})={\delta ^{\mu }}_{i}{\delta ^{\nu }}_{j}$ - kronecker.

Otro de rango dos es $\scriptstyle V\otimes V^{*}$ . Los elementos de aquí se ven como combinaciones lineales bi-indexadas $\scriptstyle {B^{\mu }}_{\nu }b_{\mu }\otimes \beta ^{\nu }$ .

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í.^[7]

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.

El material a organizar era bastante extenso, incluyendo también ideas que se remontaban a Hermann Grassmann, las ideas de la teoría de formas diferenciales que habían conducido a la cohomología de De Rham, así como ideas más elementales como el producto de cuña que generaliza el producto cruz.

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)

Referencias

↑ Greub, W. H. (1967) Multilinear Algebra, Springer
↑ Grassmann, Hermann (1862). Teoría de la extensión. Sociedad Americana de Matemáticas. ISBN 978-0 -8218-9049-3.
↑ Fleming, Wendell H. (1977). «Álgebra exterior y cálculo diferencial». Funciones de varias variables. Undergraduate Texts in Mathematics (2nd edición). Springer. pp. 275-320. ISBN 978-1-4684-9461-7. OCLC 2401829. doi:10.1007/978-1-4684-9461-7_7.
↑ Schlegel, Victor (2018). System der Raumlehre: Nach den Prinzipien der Grassmann'schen Ausdehnungslehre und als Einleitung in Dieselbe; Geometrie; Die Gebiete des Punktes, der Geraden, der Ebene. Forgotten Books. ISBN 978-0-364-22177-8.
↑ Ricci-Curbastro, Gregorio; Levi-Civita, Tullio (1900). «Méthodes de calcul différentiel absolu et leurs applications». Mathematische Annalen 54 (1): 125-201. ISSN 1432-1807. S2CID 120009332. doi:10.1007/BF01454201.
↑ Nicolas Bourbaki (1958) Algèbra Multilinéair, capítulo 3 del libro 2 Álgebra, en Éléments de mathématique, París: Hermann
↑ Bourbaki, Nicolas (1962). Algebre.. Hermann. OCLC 25747293.

Bibliografía

Robert M. Wald, General Relativity, Chicago University Press, ISBN 0-226-87033-2.

Datos: Q1197190
Multimedia: Multilinear algebra / Q1197190

[1] Greub, W. H. (1967) Multilinear Algebra, Springer

[2] Grassmann, Hermann (1862). Teoría de la extensión. Sociedad Americana de Matemáticas. ISBN 978-0 -8218-9049-3.

[3] Fleming, Wendell H. (1977). «Álgebra exterior y cálculo diferencial». Funciones de varias variables. Undergraduate Texts in Mathematics (2nd edición). Springer. pp. 275-320. ISBN 978-1-4684-9461-7. OCLC 2401829. doi:10.1007/978-1-4684-9461-7_7.

[4] Schlegel, Victor (2018). System der Raumlehre: Nach den Prinzipien der Grassmann'schen Ausdehnungslehre und als Einleitung in Dieselbe; Geometrie; Die Gebiete des Punktes, der Geraden, der Ebene. Forgotten Books. ISBN 978-0-364-22177-8.

[5] Ricci-Curbastro, Gregorio; Levi-Civita, Tullio (1900). «Méthodes de calcul différentiel absolu et leurs applications». Mathematische Annalen 54 (1): 125-201. ISSN 1432-1807. S2CID 120009332. doi:10.1007/BF01454201.

[6] Nicolas Bourbaki (1958) Algèbra Multilinéair, capítulo 3 del libro 2 Álgebra, en Éléments de mathématique, París: Hermann

[7] Bourbaki, Nicolas (1962). Algebre.. Hermann. OCLC 25747293.

[1]

[2]

[3]

[4]

[5]

[6]

[7]