Producto tensorial

En matemáticas, el producto tensorial, denotado por ${displaystyle otimes }$, se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso, el significado del símbolo es el mismo: la operación bilineal más general.

Un caso representativo de producto tensorial es el producto de Kronecker de dos matrices cualesquiera, por ejemplo:

cuyo rango resultante es igual a 2, dimensión resultante es igual a 3x4.

En este ejemplo el rango denota el número de índices indispensables, mientras que la dimensión cuenta el número de grados de libertad en la matriz que resulta.

El producto tensorial ${displaystyle Votimes _{K}W}$ de dos espacios vectoriales V y W sobre un cuerpo K tienen una definición formal por el método de generadores y relaciones (se denota generalmente como V ⊗ W cuando el cuerpo subyacente K se sobreentiende). Para construirlo, se comienza con el conjunto de pares ordenados del producto cartesiano V × W. Para propósitos de esta construcción, considérese este producto como un conjunto en vez de un espacio vectorial. El espacio vectorial libre F sobre V × W se define tomando el espacio vectorial en el cual los elementos de V × W son una base. Escrito en notación teorética de conjuntos,

donde se usa el símbolo e_(v,w) para destacar que son tomados como linealmente independientes por definición para distintos  (v, w) ∈ V × W.

El producto tensorial surge por la definición de las siguientes relaciones de equivalencia en F(V × W):

donde v, v₁ y v₂ son vectores de V, mientras que w, w₁, y w₂ son vectores de W, y c surge del cuerpo K. Denotando por R el espacio generado por esas cuatro relaciones de equivalencia, el producto tensorial de dos espacios vectoriales V y W es entonces el espacio cociente

Es llamado también espacio producto tensor de V y W y es un espacio vectorial (que puede ser verificado directamente mirando los axiomas de espacio vectorial). El producto tensorial de dos elementos v and w es la clase de equivalencia (e_(v,w) + R) de e_(v,w) en V ⊗ W. La clase de equivalencia de (v, w) se llama tensor y es denotada por ${displaystyle votimes w}$. Por construcción, se puede demostrar solamente tantas identidades entre los tensores, y las sumas de tensores, como se siguen de las relaciones usadas.

Tómese el espacio vectorial generado por W x V y aplique (factorice los subespacios generados por) las relaciones multilineales detalladas arriba. Con esta notación, las cuatro relaciones de equivalencia toman la forma de igualdades en el espacio producto tensor:

Cada elemento del producto tensorial es una suma finita de tensores: más de un tensor se requiere generalmente para hacer eso. Se muestra simplemente cómo construir una base de los ${displaystyle Votimes W}$. Dadas bases para V y W, el conjunto de productos tensoriales de los vectores de base, uno de V y uno de W, forman una base para ${displaystyle Votimes W}$.

La dimensión del espacio por lo tanto está dada por el producto mn de las dimensiones de V y de W.

En álgebra abstracta, el álgebra lineal es elevada a álgebra multilineal introduciendo el producto tensorial de dos espacios vectoriales. Se hace para reducir el estudio de los operadores bilineales al de los operadores lineales. Esto es suficiente para hacer lo mismo con todas las funciones multilineales.

Formalmente, el producto tensorial de los dos espacios vectoriales V y W sobre el mismo cuerpo base F es definido por la siguiente propiedad universal:

Es un espacio vectorial T sobre F, junto con un operador bilineal: ${displaystyle otimes :V imes W ightarrow T}$, tales que para cada operador bilineal ${displaystyle B:V imes W ightarrow X}$ existe un operador lineal L único: L: T → X con ${displaystyle B=Lcirc otimes }$, i.e. ${displaystyle B(x,y)=L(xotimes y)}$ para todo x en V e y en W.

El producto tensorial es único salvo isomorfismo, especificado unívocamente por este requisito, y podemos por lo tanto escribir ${displaystyle Votimes W}$ en vez de T. Por la construcción directa, según lo sugerido en la sección anterior, se puede demostrar que existe el producto tensorial para dos espacios vectoriales cualesquiera. El espacio ${displaystyle Votimes W}$ es generado por la imagen de la ${displaystyle otimes }$ y aún más: si S es una base de V y T es una base de W, entonces los ${displaystyle sotimes t}$ (tal que ${displaystyle sin S}$ y ${displaystyle tin T}$) son una base para ${displaystyle Votimes W}$.

Es posible generalizar la definición de producto tensorial de un número cualquiera de espacios. Por ejemplo, la propiedad universal de ${displaystyle Votimes Wotimes X}$ es que cada operador tri-lineal en ${displaystyle V imes W imes X}$ corresponde a un operador lineal único en ${displaystyle Votimes Wotimes X}$.

El producto tensorial de los tres se puede por lo tanto identificar con cualquiera de esos: el binario ${displaystyle otimes }$ será suficiente. Los espacios tensoriales permiten que se utilice la teoría de operadores lineales para estudiar operadores multilineales, donde el caso bilineal es el principal.

El producto binario tensorial es asociativo: ${displaystyle (Votimes W)otimes Z}$ es naturalmente isomorfo a ${displaystyle Votimes (Wotimes Z)}$.

El producto tensorial de dos espacios de Hilbert es otro espacio de Hilbert, que se define según lo descrito abajo.

Sean H₁ y H₂ dos espacios de Hilbert con los productos internos < ·, ·>₁ y < ·, ·>₂, respectivamente. Constrúyase el producto tensorial de H₁ y H₂ como espacios vectoriales según lo explicado arriba. Podemos convertir a este producto tensorial de espacios vectoriales en uno con producto escalar definiendo:

y extendiendo por linealidad. Finalmente, tomemos completación de este producto interno. El resultado es el producto tensorial de H₁ y H₂ como espacios de Hilbert.

Si H₁ y H₂ tienen bases ortonormales {φ_k} y {ψ_l}, respectivamente, entonces {φ_k⊗ψ_l} son una base ortonormal para H₁⊗H₂.

Los ejemplos siguientes muestran que los productos tensoriales se presentan naturalmente.

Dados dos espacios de medida X y Y, con μ y ν las medidas respectivamente, uno puede considerar L²(X × Y), el espacio de las funciones en X × Y que son cuadrado-integrables con respecto a la medida producto μ × ν. Si f es una función cuadrado-integrable en X, y g es una función cuadrado-integrable en Y, entonces podemos definir una función h en X × Y por h(x, y) = f(x) g(y). la definición de la medida producto nos asegura que todas las funciones de esta forma son cuadrado-integrables, así que ésta define una función bilineal de L²(X) × L²(Y) → L²(X × Y). Las combinaciones lineales de las funciones de la forma f(x) g(y) están también en L²(X × Y). Resulta que el conjunto de combinaciones lineales es de hecho denso en L²(X × Y), si L²(X) y L²(Y) son separables. Esto demuestra que L²(X) ⊗ L²(Y) es isomorfo a L²(X × Y), y también explica porqué necesitamos tomar la completación en la construcción del producto tensorial del espacio de Hilbert.

Semejantemente, podemos demostrar que L²(X; H), denotando el espacio de las funciones cuadrado-integrables de X → H, es isomorfo al L²(X) ⊗ H si este espacio es separable. El isomorfismo manda f(x) ⊗ψ ∈ L²(X)⊗ H a f(x)ψ ∈ L²(X; H). Podemos combinar esto con el ejemplo anterior y concluir que L²(X) ⊗ L²(Y) y L²(X × Y) son ambos isomorfos a L²(X; L²(Y)).

Los productos tensoriales de los espacios de Hilbert se presentan a menudo en la mecánica cuántica. Si una cierta partícula es descrita por el espacio de Hilbert H₁, y se describe otra partícula por H₂, entonces el conjunto que consiste en ambas partículas es descrito por el producto tensorial de H₁ y H₂. Por ejemplo, el espacio de estado de un oscilador armónico cuántico es L²(R), así que el espacio de estado de dos osciladores es L²(R) ⊗ L²(R ), el cual es isomorfo a L²(R²). Por lo tanto, el conjunto de las dos partículas es descrito por las funciones de la onda de la forma φ(x₁, x₂). Un ejemplo más intrincado es proporcionado por los espacios de Fock, que describen un número variable de partículas.

Hay una fórmula particular para el producto de dos (o más) tensores

donde se está asumiendo, para simplificar, tensores ortogonales, sin distinción entre índices covariantes y contravariantes.

Los parámetros rango y dimensión de este producto tensorial de dos tensores son los siguientes:

Dadas las funciones multilineales f(x₁... x_k) y g(x₁... x_m) su producto tensorial es la función multilineal ${displaystyle (fotimes g)(x_{1},...x_{k+m})=f(x_{1},...x_{k})g(x_{k+1},...x_{k+m})}$

Los subespacios lineales de operadores bilineales (o en general, operadores multilineales) determinan espacios cociente naturales del espacio tensorial, que son con frecuencia útiles. Véase producto cuña como primer ejemplo principal. Otro sería el tratamiento de las formas algebraicas como tensores anti-simétricos.

Nótese que el espacio ${displaystyle (Votimes W)^{star }}$ (espacio dual de ${displaystyle Votimes W}$ que contiene todos los funcionales lineales y continuos en ese espacio) corresponde naturalmente al espacio de todos los funcionales bilineales en los ${displaystyle V imes W}$. Es decir cada funcional bilineal es un funcional en el producto tensorial, y viceversa. Cuando los espacios ${displaystyle V}$ y ${displaystyle W}$ son de dimensión finita, existe un isomorfismo natural entre ${displaystyle V^{star }otimes W^{star }}$ y ${displaystyle (Votimes W)^{star }}$. Así pues, los tensores de los funcionales lineales son funcionales bilineales. Esto nos da una nueva manera de mirar el espacio de funcionales bilineales: como producto tensorial. En el caso de dimensión arbitraria, tan sólo tenemos la inclusión ${displaystyle V^{star }otimes W^{star }subset (Votimes W)^{star }}$.

---