Producto tensorial

Keywords: Producto tensorial, Anillo (álgebra), Aritmética modular, Conmutador, Espacio, Espacio de Hilbert, Espacio dual, Espacio vectorial, Grupo abeliano

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

Un caso representativo es Multiplicación de Kronecker de cualesquiera dos arreglos rectangulares, considerados como matrices. ejemplo:

$\begin{bmatrix}a_1 & a_2 & a_3\end{bmatrix} \otimes \begin{bmatrix}b_1 & b_2 & b_3 & b_4\end{bmatrix} = \begin{bmatrix}a_1b_1 & a_2b_1 & a_3b_1 \\ a_1b_2 & a_2b_2 & a_3b_2 \\ a_1b_3 & a_2b_3 & a_3b_3 \\ a_1b_4 & a_2b_4 & a_3b_4\end{bmatrix}$

rango resultante = 2, dimensión resultante = 12.

Aquí la fila denota el número de índices indispensables, mientras que la dimensión cuenta el número de grados de libertad en el arreglo que resulta.

Tabla de contenidos

1 producto tensorial de dos tensores

2 Producto tensorial de funciones multilineales

3 Producto tensorial de espacios vectoriales

4 propiedad universal del producto tensorial

5 Producto tensorial de espacios de Hilbert

5.1 Definición
5.2 Propiedades
5.3 Ejemplos y aplicaciones

6 descripción intrínseca

7 Relación con el espacio dual

8 Tipos de tensores, v.g. alternantes

9 Sobre anillos más generales

producto tensorial de dos tensores

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

$V \otimes U = V_{\left[ i_1,i_2,i_3,...i_n\right] }U_{\left[ j_1,j_2,j_3,...j_m\right] }$ .

Estamos asumiendo aquí, para simplificar, tensores ortogonales, sin distinción entre índices covariantes y contravariantes.

Los parámetros introducidos arriba trabajan así:

$rank( U \otimes V )=rank(U)+rank(V)$

$dim( U \otimes V )=dim(U) \cdot dim(V)$

Considerar también: Tensor clásico

Producto tensorial de funciones multilineales

dadas funciones multilineales f(x₁... x_k) y g(x₁... x_m) su producto tensorial es la función multilineal $(f \otimes g) (x_1,...x_{k+m})=f(x_1,...x_k)g(x_{k+1},... x_{k+m})$

Producto tensorial de espacios vectoriales

El producto $V \otimes W$ de dos espacios vectoriales V y W tienen una definición formal por el método de generadores y relaciones. La clase de equivalencia de (v,w) se llama un tensor y es denotada por $v \otimes w$ . Por construcción, se puede probar 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 abajo. Con esta notación las relaciones toman la forma:

$(v_1+v_2)\otimes w=v_1\otimes w$ $+v_2\otimes w$

$v\otimes (w_1+w_2)=v\otimes w_1+v\otimes w_2$

$cv\otimes w=v\otimes cw=c(v\otimes w)$

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 $V \otimes W$ .

Dadas bases para V y W, el conjunto de productos tensoriales de los vectores de base, uno de V y uno de W, formas una base para $V \otimes W$ .

La dimensión del producto tensorial por lo tanto es el producto de dimensiones.

propiedad universal del producto tensorial

El espacio de todos las funciones bilineales desde V x W a R es naturalmente isomorfo al espacio de todos las funciones lineales de $V \otimes W$ a R. Esto es por construcción: $V \otimes W$ tienen solamente las relaciones que son necesarias para asegurarse de que un homomorfismo de los $V \otimes W$ a R será bilineal.

Producto tensorial de espacios de Hilbert

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

Definición

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

$\langle\phi_1\otimes\phi_2,\psi_1\otimes\psi_2\rangle = \langle\phi_1,\psi_1\rangle_1 \, \langle\phi_2,\psi_2\rangle_2 \quad \forall \phi_1,\psi_1 \in H_1 \mbox{ y } \phi_2,\psi_2 \in H_2$

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.

Propiedades

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

Ejemplos y aplicaciones

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) estan 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 preséntanse 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 la 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.

descripción intrínseca

En álgebra abstracta, el álgebra lineal es elevada a álgebra multilineal introduciendo el producto tensorial de dos espacios vectoriales. Se lo introduce para reducir el estudio de los operadores bilineales al de los operadores lineales. Esto es suficiente para hacer lo mismo con todos 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: $\otimes : V \times W \rarr T$ , tales que para cada operador bilineal $B : V \times W \rarr X$ existe un operador lineal L único: L: T → X con $B = L \circ \otimes$ , i.e. $B(x,y) = L(x \otimes y)$ para todo x en V y y en W.

El producto tensorial es módulo un único isomorfismo especificado únivocamente por este requisito, y podemos por lo tanto escribir $V \otimes W$ en vez de T. Por la construcción directa, según lo sugerido en la sección anterior, uno puede demostrar que existe el producto tensorial para cualesquiera dos espacios vectoriales. El espacio $V \otimes W$ es generado por la imagen de la $\otimes$ y aún más: si S es una base de V y T es una base de W, entonces ${ s \otimes t : s \ \mbox{en}\ S \ \mbox{y}\ t \ \mbox{en} \ T}$ es una base para $V \otimes W$ .

La dimensión del espacio por lo tanto está dada por el producto de las dimensiones de V y de W. Es posible generalizar la definición a un producto tensorial de cualquier número de espacios. Por ejemplo, la propiedad universal de $V \otimes W \otimes X$ es que cada operador tri-lineal en $V \times W \times X$ corresponde a un operador lineal único en $V \otimes W \otimes X$ .

El producto binario tensorial es asociativo: $(V \otimes W) \otimes Z$ es naturalmente isomorfo a $V \otimes (W \otimes Z)$ .

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

Relación con el espacio dual

Nótese que el espacio $(V \otimes W)^\star$ (espacio dual de $V \otimes W$ que contiene todos los funcionales lineales en ese espacio) corresponde naturalmente al espacio de todos los funcionales bilineales en los $V \times W$ . Es decir cada funcional bilineal es un funcional en el producto tensorial, y viceversa. Hay un isomorfismo natural entre $V^\star \otimes W^\star$ y $(V \otimes 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.

Tipos de tensores, v.g. alternantes

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

Sobre anillos más generales

Es también posible generalizar la definición a los productos tensoriales de módulos sobre el mismo anillo. Si el anillo es no conmutativo, necesitaremos tener cuidado en distinguir los módulos derechos y los módulos izquierdos. Escribiremos _RM para un módulo izquierdo, y M_R para un módulo derecho. Si un módulo M tiene una estructura izquierda de módulo sobre un anillo R y una estructura de módulo derecho sobre un anillo S, y además para cada m en M, r en R y s en S tenemos r(ms) = (rm)s, entonces diremos que M es un bimódulo, y lo notaremos _RM_S. Nótese que cada módulo izquierdo es un bimódulo con Z actuando por mn = m + m +... +m de m como el anillo derecho, y viceversa.

Al definir el producto tensorial, necesitamos ser cuidadosos respecto al anillo: la mayoría de los módulos se pueden considerar como distintos módulos sobre diversos anillos o sobre el mismo anillo con diversas acciones del anillo en los elementos del módulo. La forma más general de la definición de producto tensorial es como sigue: Sea M_R y _RN un módulo derecho y un módulo izquierdo, respectivamente. Su producto tensorial R es un grupo abeliano P junto con un operador R-bilineal T: M x N → P tal que para cada operador R-bilineal B: M x N → O hay un homomorfismo de grupos único L: P → O tales que L o T = B. P no necesita ser un módulo sobre R. Sin embargo, si _S₁M_R es un S₁-R-bimódulo, entonces hay una única estructura de S₁-módulo izquierdo en P que es compatible con T. similarmente _RM_S₂ es un R-S₂-bimódulo, entonces semejantemente hay una única estructura de S₂-módulo derecho en P que es compatible con T. Si M y N son ambos bimódulos, entonces P es también un bimódulo, otra vez de una manera única. (P, T) es único salvo un isomorfismo único, y se llama el "producto tensorial" de M y N. Si R es un anillo, _RM es un R-módulo izquierdo, y el conmutador rs-sr de cualesquiera dos elementos r y s de R está en el aniquilador de M, entonces se puede hacer de M un módulo derecho de R fijando mr=rm. Observe que en esta situación la acción de R en M factoriza por una acción del anillo comutativo R/Z(R), i.e. R módulo su centro. En este caso el producto tensorial de M con sí mismo sobre R es otra vez un R-módulo. Si M y N es ambos R-módulos que satisfacen esta condición, entonces su producto tensorial es otra vez un R-módulo. Esto es una técnica muy común en álgebra comutativa.

Ejemplo: Considere los números racionales Q y los enteros módulo n Z_n. Ambos se pueden considerar como módulos sobre los números enteros, Z. Sea B: Q x Z_n → M sea un operador Z-bilineal. Entonces B(q, i) = B(q/n, n*i) = B(q/p, 0) = 0, así que cada operador bilineal es idénticamente cero. Por lo tanto, si definimos P como el módulo trivial, y T como la función bilineal cero, entonces las propiedades para el producto tensorial son satisfechas. Por lo tanto, el producto tensorial de Q y Z_n es {0}.

Keywords: Producto tensorial, Anillo (álgebra), Aritmética modular, Conmutador, Espacio, Espacio de Hilbert, Espacio dual, Espacio vectorial, Grupo abeliano