Producto tensorial

En matemticas, el producto tensorial, denotado por , se puede aplicar en diversos

contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso, el significado
del smbolo es el mismo: la operacin bilineal ms general.
Un caso representativo de producto tensorial es el producto de Kronecker de dos matrices
cualesquiera, por ejemplo:

cuyo rango resultante es igual a 12, dimensin resultante es igual a 3x4.

En este ejemplo el rango denota el nmero de ndices indispensables, mientras que la
dimensin cuenta el nmero de grados de libertad en la matriz que resulta.
ndice
[ocultar]

1 Producto tensorial de espacios vectoriales

o

1.1 Caracterizacin por una propiedad universal

2 Producto tensorial de espacios de Hilbert

2.1 Definicin

2.2 Propiedades

2.3 Ejemplos y aplicaciones

3 Producto tensorial de dos tensores

o

3.1 Producto tensorial de funciones multilineales

4 Tipos de tensores, ejemplos alternativos

5 Relacin con el espacio dual

6 Vase tambin

7 Referencias

8 Enlaces externos

Producto tensorial de espacios vectoriales[editar]

El producto tensorial
de dos espacios vectoriales V y W sobre
un cuerpo K tienen una definicin formal por el mtodo 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 propsitos de esta construccin, considrese 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 notacin teortica de conjuntos,

donde se usa el smbolo e(v,w) para destacar que son tomados como linealmente
independientes por definicin para distintos (v, w) V W.
El producto tensorial surge por la definicin de las siguientes relaciones de
equivalencia en F(V W):

donde v, v1 y v2 son vectores de V, mientras que w, w1, y w2 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 tambin espacio producto tensor de V y W y es un espacio

vectorial (que puede ser verificado directamente mirando los axiomas de
espacio vectorial). Elproducto 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
. Por
construccin, se puede demostrar solamente tantas identidades entre los
tensores, y las sumas de tensores, como se siguen de las relaciones usadas.
Tmese el espacio vectorial generado por W x V y aplique (factorice los
subespacios generados por) las relaciones multilineales detalladas arriba.
Con esta notacin, 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: ms de
un tensor se requiere generalmente para hacer eso. Se muestra simplemente
cmo construir una base de los
. 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
.
La dimensin del espacio por lo tanto est dada por el producto mn de las
dimensiones de V y de W.

Caracterizacin por una propiedad universal[editar]

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:
, tales
que para cada operador bilineal
existe un operador lineal L nico: L: T
X con

, i.e.

para todo x en V e y en W.

El producto tensorial es nico salvo isomorfismo, especificado unvocamente

por este requisito, y podemos por lo tanto escribir
en vez de T. Por
la construccin directa, segn lo sugerido en la seccin anterior, se puede
demostrar que existe el producto tensorial para dos espacios vectoriales
cualesquiera. El espacio
es generado por la imagen de la
y an
ms: si S es una base de V y T es una base de W, entonces los
(tal
que
y
) son una base para
.
Es posible generalizar la definicin de producto tensorial de un nmero
cualquiera de espacios. Por ejemplo, la propiedad universal
de
es que cada operador tri-lineal en
corresponde a un operador lineal nico en
.
El producto tensorial de los tres se puede por lo tanto identificar con
cualquiera de esos: el binario
ser suficiente. Los espacios tensoriales
permiten que se utilice la teora de operadores lineales para estudiar
operadores multilineales, donde el caso bilineal es el principal.
El producto binario tensorial es asociativo:
isomorfo a

es naturalmente

Producto tensorial de espacios de Hilbert[editar]

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

Definicin[editar]

Sean H1 y H2 dos espacios de Hilbert con los productos internos < , >1 y < ,
>2, respectivamente. Constryase el producto tensorial de H1 y H2 como
espacios vectoriales segn lo explicado arriba. Podemos convertir a este
producto tensorial de espacios vectoriales en uno con producto
escalar definiendo:

y extendiendo por linealidad. Finalmente, tomemos completacin de este

producto interno. El resultado es el producto tensorial de H1 y H2 como
espacios de Hilbert.

Propiedades[editar]
Si H1 y H2 tienen bases ortonormales {k} y {l}, respectivamente,
entonces {kl} son una base ortonormal para H1H2.

Ejemplos y aplicaciones[editar]
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 funcin cuadrado-integrable en X,
y g es una funcin cuadrado-integrable en Y, entonces podemos definir
una funcin h en X Y por h(x, y) = f(x) g(y). la definicin de la medida
producto nos asegura que todas las funciones de esta forma son
cuadrado-integrables, as que sta define una funcin bilineal de L(X)
L(Y) L(X Y). Las combinaciones lineales de las funciones de la
forma f(x) g(y) estn tambin 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 tambin explica porqu necesitamos tomar la completacin
en la construccin 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 esseparable. 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 mecnica cuntica. Si una cierta partcula es descrita por el
espacio de Hilbert H1, y se describe otra partcula por H2, entonces el
conjunto que consiste en ambas partculas es descrito por el producto
tensorial de H1 y H2. Por ejemplo, el espacio de estado de unoscilador
armnico cuntico 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 partculas es descrito por las funciones de la onda de
la forma (x1, x2). Un ejemplo ms intrincado es proporcionado por
los espacios de Fock, que describen un nmero variable de partculas.

Producto tensorial de dos tensores[editar]

Vase tambin: Clculo tensorial

Hay una frmula particular para el producto de dos (o ms) tensores

,
donde se est asumiendo, para simplificar, tensores ortogonales, sin
distincin entre ndices covariantes y contravariantes.
Los parmetros rango y dimensin de este producto tensorial de dos
tensores son los siguientes:

Producto tensorial de funciones

multilineales[editar]
Dadas las funciones multilineales f(x1... xk) y g(x1... xm) su
producto tensorial es la funcin
multilineal

Tipos de tensores, ejemplos

alternativos[editar]
Los subespacios lineales de operadores bilineales (o en
general, operadores multilineales) determinan espacios
cociente naturales del espacio tensorial, que son con
frecuencia tiles. Vase producto cua como primer ejemplo
principal. Otro sera el tratamiento de las formas
algebraicas como tensores anti-simtricos.

Relacin con el espacio dual[editar]

Ntese que el espacio
(espacio
dual de
que contiene todos los funcionales lineales
en ese espacio) corresponde naturalmente al espacio de
todos los funcionales bilineales en los
. Es decir
cada funcional bilineal es un funcional en el producto
tensorial, y viceversa. Cuando los espacios
y
son de
dimensin finita, existe un isomorfismo natural
entre
y
. 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 dimensin
arbitraria, tan slo tenemos la
inclusin