Professional Documents
Culture Documents
2.1 Definicin
2.2 Propiedades
6 Vase tambin
7 Referencias
8 Enlaces externos
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):
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.
, i.e.
para todo x en V e y en W.
es naturalmente
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:
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.