Construcción del producto tensorial de espacios vectoriales Carlos S.

Chinea

Construcción del producto tensorial de espacios vectoriales

La definición y desarrollo del concepto de producto tensorial de espacios vectoriales

ha sido de gran importancia en el devenir de la física del siglo XX. Veremos en las
páginas siguientes el intento de definir esta importante operación, mostrando
algunos ejemplos elementales y tratando de establecer la unicidad del producto
tensorial, y su existencia real desde un conjunto cualquiera de espacios vectoriales.

Es decir, intentaremos contestar a las preguntas ¿Qué es realmente el producto

tensorial de varios espacios vectoriales?, ¿Hay en la matemática ejemplos
concretos de productos tensoriales?, ¿Caso de que exista, es único?, ¿Podemos
construir desde un conjunto de n espacios vectoriales, su producto tensorial?.
¿Existe el producto tensorial de un número n de cualesquiera espacios vectoriales?.

Producto tensorial
Sean V1 y V2 dos espacios vectoriales sobre el cuerpo conmutativo K, y sea f una
aplicación bilineal de V1xV2 en otro K-espacio vectorial T.

Diremos que el par (f, T) es el producto tensorial de los K-espacios V1 y V2 sii para
toda aplicación bilineal f’ de V1xV2 en otro K-espacio vectorial cualquiera, T’,
siempre existe un único homomorfismo de espacios vectoriales g : T → T ' , tal que
g o f = f '.

Denotaremos al espacio T por V1 ⊗ V2 y la imagen f ( x, y ) del par ( x, y ) por x ⊗ y .

Es decir:
∀( x, y ) ∈ V1 xV2 , f ( x, y ) ≡ x ⊗ y ∈ T ≡ V1 ⊗ V2

cumpliéndose las condiciones de bilinealidad para la aplicación f:

1
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

( x1 + x2 ) ⊗ y = ( x1 ⊗ y ) + ( x2 ⊗ y )
x ⊗ ( y1 + y2 ) = ( x ⊗ y1 ) + ( x ⊗ y2 )
(λx ) ⊗ y = x ⊗ (λ y ) = λ ( x ⊗ y )
Teorema 1:
a) Si en el anterior diagrama 1 el par (f,T) es el producto tensorial de los espacios
vectoriales V1 y V2, es decir, si para cualquier otro par (f’,T’) con f’ bilineal y T’
espacio vectorial, se verifica que existe un homomorfismo g : T → T ' único que
hace conmutativo al diagrama, entonces el conjunto imagen f (V1 xV2 ) del espacio
producto cartesiano de ambos espacios vectoriales genera al espacio T:
g : T → T ' único ⇒ L( f (V1 xV2 )) = T
b) Y recíprocamente, si en el anterior diagrama 1 se verifica que el espacio
generado por f (V1 xV2 ) coincide con T, entonces el homomorfismo g es
necesariamente único y el par (f,T) es, efectivamente, el producto tensorial de
ambos espacios vectoriales:
L( f (V1 xV2 )) = T ⇒ g : T → T ' único
Demostración:
a) Sea L( f (V1 xV2 )) ⊆ T el espacio engendrado por f (V1 xV2 ) y sea j : L(V1 xV2 ) → T
la inmersión canónica (j es la identidad sobre L( f (V1 xV2 )) ).
Al ser la identidad es j ∈ Hom(L(V1 xV2 ), T ) , teniéndose el siguiente diagrama:

se tiene:
j o f '= f go f = f'
premultiplicando la segunda de estas expresiones por j:
j o ( g o f ) = j o f ' = f → ( j o g ) o f = f → j o g = id
Al ser j o g la identidad id nos encontramos que la inmersión j es realmente un
isomorfismo, por lo que L( f (V1 xV2 )) = T
b) Sea L( f (V1 xV2 )) = T ∧ g : T → T ' homomorfismo
Supongamos que existe otro homomorfismo g * : T → T '

Se tendría entonces que

2
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

f '= g o f ∧ f '= g * o f
es decir:
g o f = g * o f → ( g − g*) o f = 0
∀x ∈ T → x ∈ L( f (V1 xV2 )) → x = ∑ λi f ( xi , yi ) , con ( xi , yi ) ∈ V1 xV2
por lo cual ∀x ∈ T , ( g − g *)( x) = ( g − g *) (∑ λ f ( x , y )) = ∑ λ ( g − g*) f ( x , y ) =
i i i i i i

= ∑ λ ( g o f )( x , y ) − ∑ λ ( g * o f )( x , y ) = ∑ λ f ' ( x , y ) − ∑ λ f ' ( x , y ) = 0 →
i i i i i i i i i i i i

→ g − g* = 0 → g = g *

Por tanto, g es homomorfismo único.

En definitiva, para probar la unicidad del homomorfismo g : T → T ' bastará probar,

equivalentemente, que el espacio engendrado por f (V1 xV2 ) coincide con el espacio
T de la definición.

Ejemplos:

Ejemplo 1: Consideremos el cuerpo R de los números reales. Sea el R-

espacio vectorial (V ; R ) , y consideremos también el mismo cuerpo R como
espacio vectorial sobre sí mismo.

Si definimos la aplicación f : RxV → V por la condición de que

∀(α , x) ∈ RxV , f (α , x) = αx ∈ V
el par ( f ,V ) será producto tensorial de los espacios vectoriales R y V.
Para comprobarlo veamos que se verifica la definición, esto es, que f es
aplicación bilineal de RxV en V, y que, si existe otra aplicación bilineal ϕ de
RxV en otro espacio vectorial H, entonces existirá un único
homomorfismo g : V → H tal que g o f = ϕ .
1.a) f es aplicación bilineal:
∀α , β ∈ R, ∀x, y ∈ V
f (α + β , x) = (α + β ).x = α .x + β .x = f (α , x) + f ( β , x)
f (α , x + y ) = α .( x + y ) = αx + αy = f (α , x) + f (α , y )
f (λα , x) = λαx = λf (α , x) = f (a, λx), ∀λ ∈ R
1.b) Definamos g : V → H por la condición de que
∀x ∈ V , g ( x) = ϕ (1, x) ∈ H y veamos su linealidad:
g ( x + y ) = ϕ (1, x + y ) = ϕ (1, x) + ϕ (1, y ) = g ( x) + g ( y )
g (λx) = ϕ (1, λx) = λϕ (1, x) = λg ( x)
1.c) Veamos que g o f = ϕ :

3
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

∀(α , x) ∈ RxV , ( g o f )(α , x) = g [ f (α , x)] = g (αx) = αg ( x) = αϕ (1, x) = ϕ (α , x)

por tanto g o f = ϕ
1.d) La unicidad de g:
De la definición de f:
∀(α , x) ∈ RxV , f (α , x) = αx ∈ V
se tiene que f ( RxV ) = RxV = V , por lo que es obvio que L( f ( RxV )) = V , y
aplicando el teorema 1, g es único.

En definitiva, el par ( f ,V ) es producto tensorial de R y V.

Ejemplo 2: Consideremos de nuevo el cuerpo R de los números reales. El

espacio M mxn (R ) de las matrices rectangulares reales, de m filas y n
columnas, junto con la aplicación f : R m xR n → M mxn ( R) , es el producto
m n
tensorial de los espacios R y R , si dicha aplicación f se define en la forma:
 a1b1 ... a1bn 
 ... ... ... 
∀(a1 ,..., am ), (b1 ,..., bn ) ∈ R m xR n , f ((a1 ,..., am ), (b1 ,..., bn ) ) = 
 ... ... ... 
a b ... ambn 
 m 1

Comprobamos, pues, a continuación, que se verifican las condiciones de la

definición, esto es, que f es bilineal y que para cualquier otra aplicación
bilineal definida hacia otro espacio H, ϕ : R m xR n → H , cualquiera que sea,
siempre existe una única aplicación lineal g : M mxn ( R ) → H tal que g o f = ϕ
2.a) f es aplicación bilineal:
Llamaremos, para simplificar:
(ai ) m = (a1 ,..., am ), (b j ) n = (b1 ,..., bn ) , y
 a1b1 ... a1bn 
 ... ... ... 
(aib j ) mxn =
 ... ... ... 
a b ... ambn 
 m 1
Se tiene, por tanto:
∀(ai ) m , (b j ) n ∈ R m xR n , f ((ai ) m , (b j ) n ) = (ai b j )mxn ∈ M mxn ( R )
[ ] ( ) = (a b + a b )
- f (a1i ) m + ( a2i ) m , (b j ) n = ( a1i + a2i )b j
mxn 1i j 2i j mxn =
= (a b ) + (a b ) = f [(a ) , (b ) ] + f [(a ) , (b ) ]
1i j mxn 2i j mxn 1i m j n 2i m j n

- f [(a ) , (b ) + (b ) ] = (a .(b + b ) ) = (a b + a b )
i m 1j n 2j n i 1j 2j i 1j i 2 j mxn =
mxn

4
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

[ ] [
= (ai b2 j )mxn + (ai b2 j )mxn = f (ai ) m , (b2 j ) n + f (ai ) m , (b2 j ) n ]
- ∀λ ∈ R, f [λ (a ) , (b ) ] = f [(λa )
i m j n i m , (b ) ] = (λa b ) = λ (a b )
j n i j mxn i j mxn =
[
= λf (ai ) m , (b ) ] = f [(a ) , (λb ) ]
j n i m j n

2.b) Definamos g : M mxn ( R ) → H por la condición siguiente

[ ]
∀(cij ) mxn ∈ M mxn ( R), g (cij ) mxn = ϕ [(1,0,...,0), (c11 , c12 ,..., c1n )] +
+ ϕ [(0,1,...,0), (c21 , c22 ,..., c2 n )] + ... + ϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn )]
Veamos que g así definido es lineal:
[ ]
- g (cij ) mxn + ( d ij ) mxn = ϕ [(1,0,...,0), (c11 , c12 ,..., c1n ) + ( d11 , d12 ,..., d1n )] + ...
... + ϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn ) + (d m1 , d m 2 ,..., d mn )] =
= ϕ [(1,0,...,0), (c11 , c12 ,..., c1n )] + ϕ [(1,0,...,0), (d11 , d12 ,..., d1n )] + ...
... + ϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn )] + ϕ [(0,0,...,1), (d m1 , d m 2 ,..., d mn )] =
= {ϕ [(1,0,...,0), (c11 , c12 ,..., c1n )] + ... + ϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn )]} +
+ {ϕ [(1,0,...,0), (d11 , d12 ,..., d1n )] + ... + ϕ [(0,0,...,1), (d m1 , d m 2 ,..., d mn )]} =
[ ] [ ]
= g (cij ) mxn + g (dij ) mxn
- ∀λ ∈ R, g [λ (c ) ] = g [(λc ) ] = ϕ [(1,0,...,0), (λc
ij mxn ij mxn 11 , λc12 ,..., λc1n )] +
+ ϕ [(0,1,...,0), (λc21 , λc22 ,..., λc2 n )] + ... + ϕ [(0,0,...,1), (λcm1 , λcm 2 ,..., λcmn )] =
= λϕ [(1,0,...,0), (c11 , c12 ,..., c1n )] + ... + λϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn )] =
= λ {ϕ [(1,0,...,0), (c11 , c12 ,..., c1n )] + ... + ϕ [(0,0,...,1), (cm1 , cm 2 ,..., cmn )]} =
[
= λ.g (cij ) mxn ]
2.c) Veamos que g o f = ϕ :
[ ] [
∀((ai ) m , (b j ) n )∈ R m xR n , ( g o f ) (ai ) m , (b j ) n = g f ((ai ) m , (b j ) n ) = g (ai b j )mxn = ] [ ]
= ϕ [(1,0,...,0), (a1b1 ,..., a1bn )] + ϕ [(0,1,...,0), (a2b1 ,..., a2bn )] + ...
+ ϕ [(0,0,...,1), (amb1 ,..., ambn )] = ϕ [(1,0,...,0), a1 (b1 ,..., bn )] + ...
+ ϕ [(0,1,...,0), a2 (b1 ,..., bn )] + ... + ϕ [(0,0,...,1), am (b1 ,..., bn )] =
= a1ϕ [(1,0,...,0), (b1 ,..., bn )] + a2ϕ [(0,1,...,0), (b1 ,..., bn )] + ...
+ amϕ [(0,0,...,1), (b1 ,..., bn )] = ϕ [(a1 ,0,...,0), (b1 ,..., bn )] +
+ ϕ [(0, a2 ,...,0), (b1 ,..., bn )] + ... + ϕ [(0,0,..., am ), (b1 ,..., bn )] =
= ϕ [( a1 ,..., a m ), ( b1 ,..., b n ) ] = ϕ ( a i ) m , ( b j ) n[ ]
[ ] [
Por tanto, ( g o f ) ( ai ) m , (b j ) n = ϕ ( ai ) m , (b j ) n → g o f = ϕ ]
2.d) La unicidad de g:
m n
Demostraremos a continuación que el espacio generado por f ( R xR ) , esto
[ m n
]
es, L f ( R xR ) , coincide con M mxn (R ) , lo cual, por el teorema 1, implicaría
que el homomorfismo g es único.
[ ]
Como es L f ( R xR ) ⊆ M mxn ( R ) , probaremos que también tiene lugar la
m n

inclusión inversa, M mxn ( R ) ⊆ L f ( R xR ) . [ m n

]

5
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

 a11 ... a1n   a11

a12 0 ... 0
   
a ... a2 n   0
a22 0 ... 0
∀A ∈ M mxn ( R ), A = (aij )mxn =  21 = +
... ... ...   ...
... ... ... ...
   
a
 m1 am 2 ... amn   0 0 ... 0 
 0 a12 ... 0 0 0 ... 0  1 0 ... 0
     
0 0 ... 0 0 0 ... 0  0 0 ... 0
`+  + ... +   = a11  +
... ... ... ... ... ... ... ... ... ... ... ... 
     
0 0     0 
 ... 0 0 0 ... amn  0 0 ...
 0 1 ... 0   0 0 ... 0 
   
 0 0 ... 0   0 0 ... 0 
`+ a12  + ... + amn  = a11 f [(1,0,...,0), (1,0,...0)] +
... ... ... ... ... ... ... ...
   
 0 0 ... 0   0 0 ... 1 
   
+ a12 f [(1,0,...,0), (0,1,...0)] + ... + amn f [(0,0,...,1), (0,0,...1)] =
[ ] [
= ∑ aij f (ui ) m , (u j ) n ∈ L f ( R m , R n ) ]
Por consiguiente, M mxn ( R ) ⊆ L f ( R xR ) , [ m n
]
[ ]
L f ( R m xR n ) ⊆ M mxn ( R )
[ ]
 → L f ( R xR ) = M mxn ( R) , de lo cual, por el
m n

[
M mxn ( R ) ⊆ L f ( R m xR n )  ]
teorema 1, concluimos que el homomorfismo g es único.

Generalización:
La idea de producto tensorial es de inmediato generalizable a un número cualquiera
de espacios vectoriales sobre un cuerpo conmutativo, considerando ahora
n
aplicaciones multilineales definidas desde Π V j hacia un k-espacio vectorial.
j =1

Cuando se trata de n espacios vectoriales, V1 ,..., Vn , sobre un cuerpo conmutativo K,

el producto tensorial se define como el par (f, T) donde T es un K-espacio vectorial
n
y f : Π V j → T es una aplicación multilineal tal que para cualquier otra aplicación
j =1
n
multilineal f ': Π V j → T ' , cualquiera que sea el K-espacio T’, existe un único
j =1

homomorfismo g : T → T ' tal que g o f = f ' .

En forma general podemos, asimismo, definir la idea de producto tensorial de n

espacios vectoriales dentro de la teoría de categorías:

Dados n espacios vectoriales V1 ,..., Vn , consideremos la categoría Φ cuyos objetos

son los pares ( f , T ), ( f ' , T ' ), ( f " , T " ),... donde los T, T’, T”,... son K-espacios
n
vectoriales, y las f, f’, f”,... son respectivas aplicaciones n-lineales, f : Π V j → T ,
r r
j =1

de forma que los morfismos del par (( f r

)
, T r ), ( f s , T s ) Φ son los homomorfismos
g : T → T tales que g o f = f . Se define entonces el producto tensorial de los n
r s r s

espacios vectoriales dados, V1 ,..., Vn , como un objeto inicial de la categoría Φ .

6
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

Es obviamente válido para n ≥ 2 el teorema 1, expuesto antes para n=2, es decir:

Si (f, T) es un producto tensorial de los espacios V1 ,..., Vn , entonces f (V1 x...xVn )
genera al espacio T, y, recíprocamente, si f (V1 x...xVn ) genera a T, siendo la
aplicación f (V1 x...xVn ) multilineal, entonces se verifica que, cualquiera que sea el
n
par (f’, T’) con f ' : Π V j → T ' multilineal, existe un homomorfismo g : T → T ' , único,
j =1

tal que g o f = f ' .

Esto permite la expresión de un tensor, t, elemento del espacio tensorial, del tipo
siguiente:
r r
∀t ∈ T , t = ∑ λi f ( xi1 ,..., xin ) = ∑ λi xi1 ⊗ ... ⊗ xin
i =1 i =1

En particular, si consideramos bases de los espacios vectoriales V1 ,..., Vn :

{ } { } { }
B1 = u1i1 , i1 ∈ I1 , B2 = u1i2 , i2 ∈ I 2 ,...., Bn = u1in , in ∈ I n

un sistema de generadores sería:

{ }
B = u1i1 ⊗ ... ⊗ u nin , i j ∈ I j

Por otra parte, es inmediato que nunca podrá identificarse el producto

n n
vectorial Π V j con una parte del espacio producto tensorial T = ⊗ V j pues la
j =1 j =1
aplicación
n n
f : ΠVj → T = ⊗Vj
j =1 j =1
no es inyectiva, ya que
f (αx1 , x2 ,..., xn ) = f ( x1 , αx2 ,..., xn ) = .... = f ( x1 , x2 ,..., αxn ) ,
siendo, como es obvio,
(αx1 , x2 ,..., xn ) ≠ ( x1 , αx2 ,..., xn ) ≠ .... ≠ ( x1 , x2 ,..., αxn ) .

Unicidad y existencia del producto tensorial de n espacios vectoriales:

El teorema de unicidad:
Supongamos que (f,T) y (f’,T’) son, ambos, productos tensoriales de los k-espacios
vectoriales V1 ,..., Vn . Veamos que son isomorfos.

por definición, existen homomorfismos únicos

7
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

go f = f' [1] h o f '= f [2]

entonces:
- premultiplicando [1] por h:

h o ( g o f ) = h o f ' = f → ( h o g ) o f = f → h o g = id
.
o sea: ∃ id : T → T (ident ) / id o f = f ∧ h o g = id

- premultiplicando [2] por g:

g o ( h o f ' ) = h o f = f ' → ( g o h ) o f ' = f ' → g o h = id '

.
análogamente: ∃ id ' : T ' → T ' (ident ) / id ' o f ' = f '∧ g o h = id '
en definitiva:
h o g = id (ident en T )  −1
 → h = g isomorfismo
g o h = id ' (ident en T ' )

El teorema de existencia:
Consideremos un cuerpo conmutativo K y un conjunto de n+1 K-espacios
vectoriales, V1 ,..., Vn , W .
Sea h una aplicación del producto cartesiano V1 xV2 x...xVn en W :

h : V1 xV2 x...xVn → W ,
o sea:
∀( x1 ,..., xn ) ∈ V1 xV2 x...xVn , h( x1 ,..., xn ) ∈ W

Sea también un subpespacio S ⊆ W y una relación R en W definida por la

condición:
uRv ↔ u − v ∈ S , u, v ∈ W

que es de equivalencia por ser, trivialmente, reflexiva, simétrica y transitiva.

Llamemos W / S al conjunto cociente de W por tal relación de equivalencia, esto

es:
W / S = {[x ] / ∀y ∈ [x ], x − y ∈ S }

y sea, finalmente, el homomorfismo de inmersión canónica j : W → W / S , es decir:

∀x ∈ W , j ( x) = [x ] ∈ W / S
(es claro que si x ∈ S ⊆ W , entonces j ( x) = [0], pues x − 0 ∈ S ) [1]

Entonces, veremos que el par ( j o h, W / S ) , donde es j o h : V1 xV2 x...xVn → W / S ,

será el producto tensorial de los n k-espacios vectoriales V1 xV2 x...xVn , siempre que
el subespacio S sea el espacio generado por los elementos de la forma

h( x1 ,..., λxi + µxi0 ,..., x n ) − λh( x1 ,..., xi ..., x n ) − µh( x1 ,..., xi0 ,..., x n )

8
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

Es decir, veremos que, con esta condición, el producto tensorial será el par ( f , T )
construido en la forma que se indica en el diagrama, que será conmutativo para
cualquier otro espacio T’ y cualquier otra aplicación n-lineal f’:

La prueba de que el par así construido es producto tensorial de los n k-espacios

indicados, requiere dar tres pasos:
- Primero, probar que la aplicación f es multilineal (n-lineal).
- Segundo, que existe un homomorfismo g tal que el diagrama 5 es
conmutativo, esto es, tal que f ' = g o f .
- Tercero, que el homomorfismo g es único.

1) La aplicación f es n-lineal:
f ( x1 ,..., λxi + µxi0 ,..., xn ) − λf ( x1 ,..., xi ,..., xn ) − µf ( x1 ,..., xi0 ,..., xn ) =
= j o h( x1 ,..., λxi + µxi0 ,..., xn ) − λj o h( x1 ,..., xi ,..., xn ) − µj o h( x1 ,..., xi0 ,..., xn ) =
[
= j h ( x1 ,..., λ xi + µxi0 ,..., xn ) − λ h ( x1 ,..., xi ,..., xn ) − µh ( x1 ,..., xi0 ,..., xn ) = 0 ]
puesto que, por construcción, es
h( x1 ,..., λxi + µxi0 ,..., xn ) − λh( x1 ,..., xi ,..., xn ) − µh( x1 ,..., xi0 ,..., xn ) ∈ S
y hemos visto en [1] que j ( x) = [0], si x ∈ S ⊆ W .
2) Existe el homomorfismo g:
Veamos que si f’ es bilineal, cualquiera que sea el k-espacio H, existirá un
homomorfismo g : T → H tal que f ' = g o f
Sea un homomorfismo cualquiera r : W → H . Se tiene
[
r h( x1 ,..., λxi + µxi0 ,..., xn ) − λh( x1 ,..., xi ,..., xn ) − µh( x1 ,..., xi0 ,..., xn ) = ]
[ ] [
= r h( x1 ,..., λxi + µx ,..., xn ) − λr [h( x1 ,..., xi ,..., xn )] − rµ ( x1 ,..., x ,..., xn ) =
0
i
0
i ]
= (r o h)( x1 ,..., λxi + µx ,..., xn ) − λ (r o h)( x1 ,..., xi ,..., xn ) − ( µ o h)( x1 ,..., xi0 ,..., xn ) =
0
i

= f ' (0 x1 ,..., λxi + µxi0 ,..., xn ) − λf ' ( x1 ,..., xi ,..., xn ) − f ' ( x1 ,..., xi0 ,..., xn ) = 0
ya que f’ es, por hipótesis, lineal.
Por tanto, S ⊆ ker(r ) por lo que se induce un homomorfismo g : T → H tal
que g o j = r , de lo cual: g o f = g o ( j o h) = ( g o j ) o h = r o h = f '

3) El homomorfismo g es único:
Pues si hubiera otro g * : T → H tal que g * f = f ' , repitiendo el razonamiento
del teorema 1, diríamos que, puesto que f (V1 x...xVn ) genera a T = W / S , se
tendrá:

9
Construcción del producto tensorial de espacios vectoriales Carlos S. Chinea

n n
∀t ∈ T = W / S , t = ∑ α i f ( xi1 ,..., xin ) → g * (t ) = ∑ α i ( g * o f )( xi1 ,..., xin ) =
i =1 i =1
n
= ∑ α i f ' ( xi1 ,..., xin ) = g (t ) → g* = g
i =1

Bibliografía:
Bobillo Ares, Nilo C., Dehesa Martinez, C.; Introducción al cálculo tensorial,
Universidad de Oviedo, 2005.
Mc Lane, S., Birkhoff, J. H.; Algèbre, Gauthiers-Villars, 1973.
Ryand, Raymond A.; Introduction to Tensor Products of Banach Spaces, Springer,
2002.

10