ALEPH SUB – CERO

SERIE DE DIVULGACIÓN
ℵ0 2014 – II ℵ0
pp. 231 - 260

SOBRE EL PRODUCTO TENSORIAL DE ESPACIOS VECTORIALES

(On the tensor product of vector spaces)
Carlos Sánchez Chinea1

Recepción: Octubre 2014. Revisión y aceptación: Noviembre 2014.

Resumen. La idea de tensor como elemento de un espacio tensorial es la
presentación más actual de este fructífero concepto. Este trabajo está dedicado a la
construcción de un espacio tensorial como el producto tensorial de espacios
vectoriales sobre un cuerpo conmutativo, estableciendo su unicidad y su existencia,
y mostrando asimismo cómo es posible su presentación desde la teoría de
categorías y funtores.

Palabras clave: Espacio vectorial, producto tensorial, tensor, aplicación,

homomorfismo, aplicación multilineal, cuerpo conmutativo, categoría, funtor,
objeto, objeto inicial,

Summary. The idea of tensor as an element of a tensor space is the most current
presentation of this fruitful concept. This work is devoted to the construction of a
tensor space as the tensor product of vector spaces over a commutative field,
establishing their uniqueness and existence, and showing how its presentation is
possible from the theory of categories and functors.

Keywords: Vector space, tensor product, tensor, application, homomorphism,

multilinear application, commutative field, category, functor, object, initial object,

Introducción

La primera idea que se conoce sobre el nombre de Tensor se remonta a 1846,

por Willian R. Hamilton, aunque en su concepto actual como generalización de
1
Carlos Sánchez Chinea, es Licenciado en Ciencias Físicas y Profesor de Matemáticas de
Educación Secundaria, con la Condición de Catedrático, en el Instituto de Enseñanza Secundaria
“Isidro de Arcenegui y Carmona” de Marchena, Sevilla, España. Prejubilado en 2008.
casanchi.com, [email protected], [email protected], ���������������������
 Sobre el producto tensorial de espacios vectoriales

ciertas entidades matemáticas, fue W. Voigt en primero en utilizarla, en 1899. Las

primeras aplicaciones prácticas como herramienta matemática se produciría en los
primeros años del siglo XX, en cálculos dentro de la teoría de la elasticidad, hecho
que daría popularidad al nombre de “tensor“ o “extensor”.

Gregorio Ricci-Curbastro (1853-1925) y un estudiante suyo, Tullio Levi-

Civitta (1873-1941), fueron los pioneros en el desarrollo del cálculo tensorial, que
recibió el empuje definitivo al convertirse en la herramienta matemática clave que
permitiría a Albert Einstein una exposición coherente de la Relatividad General,
estableciendo la transformación de sistemas referenciales mediante diferenciación
absoluta de magnitudes vectoriales y tensoriales.

Ambos publicaron en 1901 El Cálculo diferencial absoluto (“Méthodes de

calcul diférentiel absolu et leurs applications”, Mathematische Annalen 54, 125-201
(1901)), su obra más famosa, que está hoy traducida a diversos idiomas y es uno de
los textos clásicos de referencia del cálculo tensorial, más de un siglo después de su
primera publicación.

El moderno enfoque de la matemática de los tensores se hace hoy mediante

los recursos del álgebra multilineal definiendo la idea de producto tensorial de
espacios vectoriales como una correspondencia multilineal de un producto
cartesiano de espacios vectoriales en un espacio vectorial cualquiera. Las
condiciones de la definición de la correspondencia es lo que define la idea de
producto tensorial.

232
 Carlos Sánchez Chinea

Aunque en los primeros años se realizaba la exposición del concepto de

tensor basándose en la idea de las componentes o coordenadas de los objetos que se
denominarían tensoriales, la tendencia en la presentación actual de la teoría es
considerar a los tensores como los elementos de un espacio tensorial. Resulta clave,
pues, definir la idea de producto tensorial de espacios vectoriales.

01. Construcción básica del producto tensorial:

01.1. Producto tensorial de espacios vectoriales

Sean V1 y V2 dos espacios vectoriales sobre el cuerpo conmutativo K, y sea f
una aplicación bilineal de V1 × V2 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 V1 × V2 en otro K-espacio vectorial cualquiera, T’,
siempre existe un único homomorfismo de espacios vectoriales g : T → T ' , tal que
g 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:

f ( x1 + x 2 , y ) = f ( x1 , y ) + f ( x 2 , y ), o bien : ( x1 + x 2 ) ⊗ y = ( x1 ⊗ y ) + ( x 2 ⊗ y )

233
 Sobre el producto tensorial de espacios vectoriales

f ( x, y1 + y 2 ) = f ( x, y1 ) + f ( x, y 2 ), o bien : x ⊗ ( y1 + y 2 ) = ( x ⊗ y1 ) + ( x ⊗ y 2 )
f (λx, y ) = λf ( x, y ) = f ( x, λy ), o bien : (λ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 generado por f (V1 xV2 ) y sea j : L( f (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:

234
 Carlos Sánchez Chinea

j f '= f g f = f'

premultiplicando la segunda de estas expresiones por j:

j (g f ) = j f ' = f → ( j g ) f = f → j g = id

Al ser j 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

f '= g f ∧ f '= g * f

es decir:
g f = g * f → ( g − g *) 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*)(∑ λi f ( xi , yi ) ) = ∑ λi ( g − g*) f ( xi , yi ) =

= ∑ λi ( g f )( xi , yi ) − ∑ λi ( g * f )( xi , yi ) = ∑ λi f ' ( xi , yi ) − ∑ λi f ' ( xi , yi ) = 0 →

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

Por tanto, g es homomorfismo único.

235
 Sobre el producto tensorial de espacios vectoriales

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.
Si en el diagrama 1 hacemos f ' ≡ f y T ' ≡ T , el homomorfismo g único ha de
ser necesariamente el isomorfismo identidad id, pues éste siempre existe, y al ser
único, nunca podría tratarse de otro diferente:

En definitiva, dado un producto tensorial (f,T) donde es f : V1 × V2 → T , si se

verifica para f : V1 × V2 → T ' que ϕ : T → T ' es el homomorfismo único tal que
ϕ f = f , entonces ϕ es la identidad y los espacios T y T’ son isomorfos.

01.2. Ejemplos:
Ejemplo 1: Consideremos el cuerpo ℝ de los números reales. Sea el ℝ -espacio
vectorial (V ; ℝ) , y consideremos también el mismo cuerpo ℝ como espacio
vectorial sobre sí mismo.

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

∀(α , x) ∈ ℝ × V , f (α , x) = α x ∈ V

236
 Carlos Sánchez Chinea

el par ( f ,V ) será producto tensorial de los espacios vectoriales ℝ y V.

Para comprobarlo veamos que se verifica la definición, esto es, que f es aplicación
bilineal de ℝ × V en V, y que, si existe otra aplicación bilineal ϕ de ℝ × V en otro
espacio vectorial H, entonces existirá un único homomorfismo g : V → H tal que
g f =ϕ .

1.a) f es aplicación bilineal:

∀α , β ∈ ℝ, ∀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), ∀λ ∈ ℝ

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 f = ϕ :

∀(α , x) ∈ ℝ × V , ( g f )(α , x) = g [ f (α , x) ] = g (α x) = α g ( x) = αϕ (1, x) = ϕ (α , x)

por tanto g f = ϕ

1.d) La unicidad de g:

De la definición de f:
∀(α , x) ∈ ℝ × V , f (α , x) = α x ∈ V

se tiene que f (ℝ × V ) = ℝ × V = V , por lo que es obvio que L( f (ℝ × V )) = V , y

aplicando el teorema 1, g es único.
En definitiva, el par ( f ,V ) es producto tensorial de ℝ y V.

237
 Sobre el producto tensorial de espacios vectoriales

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

M m×n (ℝ ) de las matrices rectangulares reales, de m filas y n columnas, junto con la

aplicación f : ℝ m × ℝ n → M m×n (ℝ) , es el producto tensorial de los espacios ℝ m y ℝ n , si

dicha aplicación f se define en la forma:
 a1b 1 ... a1bn 
 
... ... ... 
∀(a1 ,..., am ), (b1 ,..., bn ) ∈ ℝ × ℝ , f ( (a1 ,..., am ),(b1 ,..., bn ) ) = 
m n
 ... ... ... 
 
 am b1 ... ambn 

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, ϕ : ℝ m × ℝ n → H , cualquiera que sea, siempre existe
una única aplicación lineal g : M m×n (ℝ) → H tal que g 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 ∈ ℝ m × ℝ n , f ( (ai ) m , (b j ) n ) = ( ai b j ) ∈ M m×n ( ℝ )
m× n

238
 Carlos Sánchez Chinea

- f (ai )m + (ai' )m , (b j ) n  = ( (ai + ai' )b j )m×n = ( ai b j + ai'b j )m×n

= ( ai b j ) + ( ai'b j )= f (ai ) m , (b j ) n  + f (ai' )m , (b j ) n 
m× n m× n

- f (ai )m , (b j ) n + (b 'j ) n  = ( ai .(b j + b'j ) ) = ( ai b j + aib 'j )

m× n m×n

= ( ai b j ) = f (ai ) m , (b j ) n  + f (ai )m , (b ) 
+ (a b '
)
i j m× n
'
j n
m× n

- ∀λ ∈ ℝ, f λ (ai ) m , (b j ) n  = f (λ ai ) m , (b j ) n  = ( λ ai b j ) m× n

= λ ( ai b j )
mxn
=
= λ f (ai ) m , (b j ) n  = f (ai ) m , (λ b j ) n 

2.b) Definamos g : M m×n (ℝ) → H por la condición siguiente

∀(cij )m×n ∈ M m×n (ℝ ), g (cij ) m×n  = ϕ [ (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 ) m×n + (dij ) m×n  = ϕ [(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 ) m×n  + g (dij )m×n 
- ∀λ ∈ ℝ, g λ (cij ) m×n  = g (λ cij ) m×n  = ϕ [ (1, 0,⋯ , 0), (λ c11 , λ 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 )m×n 

2.c) Veamos que g f = ϕ :

239
 Sobre el producto tensorial de espacios vectoriales

∀ ( (ai ) m , (b j )n ) ∈ ℝ m × ℝ n , ( g f ) (ai )m ,(b j ) n  = g  f ( (ai ) m , (b j ) n )  = g ( ai b j )m×n 

 
= ϕ [ (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 ,⋯ , am ), (b1 ,⋯ , bn ) ] = ϕ (ai )m , (b j ) n 

Por tanto, ( g f )[(ai ) m , (b j ) n ] = ϕ [(ai ) m , (b j ) n ] → g f = ϕ

2.d) La unicidad de g:

Demostraremos a continuación que el espacio generado por f (ℝ m × ℝ n ) , esto

es, L  f (ℝ m × ℝ n )  , coincide con M m×n ( R) , lo cual, por el teorema 1, implicaría

que el homomorfismo g es único.

Como es L  f (ℝ m × ℝ n )  ⊆ M m×n ( R) , probaremos que también tiene lugar la

inclusión inversa, M m×n (ℝ) ⊆ L  f (ℝ m × ℝ n )  .

 a11 a12 ... a1n   a11 0 ... 0 

 
a a22 ... a2 n   0 0 ... 0 

∀A ∈ M m×n (ℝ), A = ( aij ) =  21 =
m×n  ... ... ... ...   ... ... ... ... 
   
 am1 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 ... amn  0 0 ... 0 

240
 Carlos Sánchez Chinea

 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 (ℝ m , ℝ n ) 

Por consiguiente, M m×n ( R) ⊆ L  f (ℝ m × ℝ n )  ,

L  f (ℝ m × ℝ n )  ⊆ M m×n (ℝ) 
 → L  f (ℝ × ℝ )  = M m×n (ℝ) , de lo cual, por el
m n

M m×n (ℝ) ⊆ L  f (ℝ × ℝ )  
m n

teorema 1, concluimos que el homomorfismo g es único.

01.3. Generalización

La idea de producto tensorial es de inmediato generalizable a un número

cualquiera de espacios vectoriales sobre un cuerpo conmutativo, considerando
n
ahora aplicaciones multilineales definidas desde Π
j =1
V j hacia un K-espacio vectorial

T.
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-
n
espacio vectorial y f : Π
j =1
V j → T es una aplicación multilineal tal que para cualquier

n
otra aplicación multilineal f ' : Π
j =1
V j → T ' , cualquiera que sea el K-espacio T’, existe

un único homomorfismo g : T → T ' tal que g f = f ' .

241
 Sobre el producto tensorial de espacios vectoriales

El teorema 1 expuesto antes para n=2, es obviamente válido para n ≥ 2 , es

decir, si (f, T) es un producto tensorial de los espacios V1 ,⋯ , Vn , entonces
f (V1 × ⋯ × Vn ) genera al espacio T, y, recíprocamente, si f (V1 × ⋯ × Vn ) genera a T,

siendo la aplicación f multilineal, entonces se verifica que, cualquiera que sea el

n
par (f’, T’) con f ' : Π
j =1
V j → T ' multilineal, existe un homomorfismo g : T → T ' , único,

tal que g f = f ' .

01.4. Expresión de los tensores en una base:

El teorema 1 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 ⊗ ⋯ ⊗ unin , i j ∈ I j

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

n n
vectorial Π
j =1
V j con una parte del espacio producto tensorial T = ⊗ V j pues la
j =1

aplicación
n n
f : Π Vj → T = ⊗ Vj
j =1 j =1

242
 Carlos Sánchez Chinea

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 ) .

Coordenadas de un tensor:

Si en lugar del producto tensorial de p K-espacios vectoriales distintos,

determinamos el producto tensorial de r copias de un mismo K-espacio vectorial V
por s copias de su K-espacio vectorial dual, W, es decir, si consideramos el espacio
tensorial T producto de los K-espacios (V ,⋯ − r − ⋯ ,V ,W ,⋯ − s − ⋯ ,W ) :

T = V ⊗ ⋯ ⊗ V ⊗ W ⊗ ⋯ ⊗ W = (⊗ r V ) ⊗ ( ⊗ s W )

los tensores, elementos del espacio producto tensorial T , se pueden expresar por

t ∈ T → t = x1 ⊗ ⋯ ⊗ xr ⊗ y1 ⊗ ⋯ ⊗ ys

que se denominan (r,s)-tensores, de orden r + s.

Un tensor se dice que es contravariante de orden p si es un (p,0)-tensor, y se

dice que es covariante de orden q si es un (0,q)-tensor.
En general, un (p,q)-tensor se dice tensor mixto, p-contravariante y q-
covariante, con orden p + q.
Supongamos que es {e1 ,⋯ en } ≡ {ei }n una base de V, y es {u1 ,⋯ , un } ≡ {u j }n una

base del espacio dual W. La base correspondiente del espacio tensorial T sería:

{e 1i ⊗ e2 i ⊗ ⋯ ⊗ eri ⊗ u1 j ⊗ u2 j ⊗ ⋯ ⊗ usj }

243
 Sobre el producto tensorial de espacios vectoriales

Ejemplos:

- Los elementos del espacio tensorial V ⊗ V son tensores 2-contravariantes de

orden 2. Su expresión en la base {ei }n del espacio vectorial V es de la forma

t = t ij (ei ⊗ e j ).

- Los elementos del espacio tensorial V ⊗ V ⊗ W son tensores mixtos de orden

3, 2-contravariantes, 1-covariantes. Expresión en la base {ei }n de V, y {u j }n del
dual W:
t = t ij1i2 (ei1 ⊗ ei2 ⊗ u j )

- Los elementos de V, es decir, los vectores del espacio, son tensores de orden
1, 1-contravariantes. Expresión en la base {ei }n :

t = t i ei

- Los elementos del espacio dual W, covectores, son tensores de orden 1, 1-

covariantes. Expresión en la base {u j }n :

t = t ju j

- Los elementos del espacio tensorial (⊗3V ) ⊗ (⊗2 W ) son 3-contravariantes, 2-

covariantes, mixtos de orden 5. Expresión:

t = t ij11i2j2i3 (ei1 ⊗ ei2 ⊗ ei3 ⊗ u j1 ⊗ u j2 )

01.5. Unicidad y existencia del producto tensorial

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.

244
 Carlos Sánchez Chinea

por definición, existen homomorfismos únicos

g f = f' [1] h f '= f [2]

entonces:
- premultiplicando [1] por h:

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

- premultiplicando [2] por g:

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

.
análogamente: ∃ id ' : T ' → T ' (ident) / id ' f ' = f '∧ g h = id '

en definitiva:
h g = id (ident en T )  −1
 → h = g isomorfismo
g 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 cualesquiera. Vamos a ver que siempre existe el producto
tensorial de los n espacios vectoriales V1 ,⋯ , Vn :
Sea h una aplicación del producto cartesiano V1 × V2 × ... × Vn en W :

h : V1 × V2 × ... × Vn → W ,
o sea:

245
 Sobre el producto tensorial de espacios vectoriales

∀( x1 ,⋯ , xn ) ∈ V1 × V2 × ⋯ × Vn , 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 h, W / S ) , donde es j h : V1 × V2 × ... × Vn → W / S , será

el producto tensorial de los n K-espacios vectoriales V1 × V2 × ... × Vn , siempre que el
subespacio S sea el espacio generado por los elementos de la forma
h( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) − λ h( x1 ,⋯ , xi ⋯ , xn ) − µ h( x1 ,⋯ , xi0 ,⋯ , xn )

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’:

246
 Carlos Sánchez Chinea

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 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 h( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) − λ j h( x1 ,⋯ , xi ,⋯ , xn ) − µ j 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 .

En definitiva, f ( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) − λ f ( x1 ,⋯ , xi ,⋯ , xn ) − µ f ( x1 ,⋯ , xi0 ,⋯ , xn ) = 0 ,

con lo que f ( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) = λ f ( x1 ,⋯ , xi ,⋯ , xn ) + µ f ( x1 ,⋯ , xi0 ,⋯ , xn ) , y f es,

efectivamente, aplicación n-lineal.

2) Existe el homomorfismo g:

Veamos que si f’ es n-lineal, cualquiera que sea el K-espacio H, existirá un

homomorfismo g : T → H tal que f ' = g 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 + µ xi0 ,⋯ , xn )  − λ r [ h( x1 ,⋯ , xi ,⋯ , xn ) ] − r µ ( x1 ,⋯ , xi0 ,⋯ , xn ) 

247
 Sobre el producto tensorial de espacios vectoriales

= (r h)( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) − λ (r h)( x1 ,⋯ , xi ,⋯ , xn ) − ( µ h)( x1 ,⋯ , xi0 ,⋯ , xn )

= f '( x1 ,⋯ , λ xi + µ xi0 ,⋯ , xn ) − λ f '( x1 ,⋯ , xi ,⋯ , xn ) − f '( x1 ,⋯ , xi0 ,⋯ , xn ) = 0

ya que f’ es, por hipótesis, n-lineal.

Es decir, r ( z ) = 0, ∀z ∈ S , lo que indica que S ⊆ ker(r ) , por lo que se induce un
homomorfismo g : T → H tal que g j = r :
g f = g ( j h) = ( g j ) h = r 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 ×⋯ × Vn ) genera a T = W / S , se tendrá:
n n
∀t ∈ T = W / S , t = ∑ α i f ( xi1 ,⋯ , xin ) → g *(t ) = ∑ α i ( g * f )( xi1 ,⋯ , xin ) =
i =1 i =1
n
= ∑ α i f '( xi1 ,⋯ , xin ) = g (t ) → g * = g
i =1

01.6. Propiedades de isomorfía

n
1) Teorema: Si denominamos por Hom( ⊗Vi ,W ) al conjunto de los
i=1
n
homomorfismos del espacio producto tensorial ⊗Vi en un espacio vectorial
i =1

cualquiera W, y por Ln (V1 ,⋯ ,Vn ;W ) al conjunto de las aplicaciones n-lineales

n
de iΠ=1Vi en W, se verifica el isomorfismo siguiente
n
Hom(⊗Vi , W ) ≅ Ln (V1 ,⋯ ,Vn , W )
i =1

En efecto:
n
Si es ( f , ⊗Vi ) producto tensorial, se tiene:
i =1

n 
∀f ' ∈ Ln (V1 ,⋯ , Vn ;W ), ∃g ∈ Hom  ⊗ Vi , W  unico / g f = f '
 i =1 

248
 Carlos Sánchez Chinea

Esto nos indica que existe un homomorfismo

ϕ : Ln (V1 ,⋯ ,Vn ;W ) → Hom  ⊗ Vi ,W 
n

 i =1

tal que ∀f ' ∈ Ln (V1 ,⋯ ,Vn ;W ), ϕ ( f ') = g ∈ Hom  ⊗Vi ,W 
n

 i =1 
Asimismo, también se tiene que
n 
∀g ∈ Hom  ⊗Vi , W  , ∃f ' ∈ Ln (V1 ,⋯ , Vn ;W ), / g f = f '
 i =1 
Por lo que existe un homomorfismo ψ : Hom  ⊗Vi , W  → Ln (V1 ,⋯ ,Vn ;W ) tal que
n

 i =1 
n 
∀g ∈ Hom  ⊗Vi , W  , ψ ( g ) = f ' ∈ Ln (V1 ,⋯ , Vn ;W )
 i =1 
Por tanto, ϕ −1 = ψ y Hom  ⊗Vi ,W  ≅ Ln (V1 ,⋯ ,Vn ;W )
n

 i =1 
Corolario:
*

Se verifica, para el espacio dual ⊗Vi  del espacio producto tensorial, que
n

i =1 
*
n 
⊗ Vi  ≅ Ln (V1 ,⋯ , Vn , K )
i =1 
Es obvio, pues sustituyendo el espacio W por el cuerpo de escalares K, se tiene que
*
n  n 
es Hom ⊗ Vi , K  = ⊗ Vi  , por lo que, aplicando el teorema, se tiene que
 i =1  i =1 
*
n 
⊗ Vi  ≅ Ln (V1 ,⋯ , Vn , K )
i =1 
2) Teorema: Se verifica el isomorfismo siguiente: V ⊗ K ≅ V ≅ K ⊗ V
Demostración:

Sea ( f ,V ⊗ K ) producto tensorial, y sea f ': VxK → V

bilineal. Por definición, existe un único
homomorfismo
g : V ⊗ K → V tal que g f = f '
Elijamos f’ definida por la condición de que
∀( x, a ) ∈ VxK , f ' ( x, a ) = ax
y veamos que g tiene que ser necesariamente

249
 Sobre el producto tensorial de espacios vectoriales

suprayectiva e inyectiva, es decir, que se trata de un homomorfismo biyectivo o

isomorfismo.
- g es suprayectiva:
Veamos que lo es f’, es decir, veamos que ∀x ∈ V , ∃( x, a) ∈ VxK / f ' ( x, a) = x :
basta elegir a=1, que obviamente existe por ser K un cuerpo: f ' ( x,1) = 1.x = x
Si f’ es suprayectiva quiere esto decir que lo es g f = f ' , y, por tanto, g.
- g es inyectiva:
Veamos que Ker ( g ) = {0}, o sea, que ∀t ∈ V ⊗ K / g (t ) = 0 → t = 0 :
Como es t ∈ V ⊗ K → ∃x1 ,⋯ , xn ∈ V , ∃α1 ,⋯ , α n ∈ K / t = x1 ⊗ α1 + ⋯ + xn ⊗ α n
n
 n    n 
= α1 x1 ⊗ 1 + ⋯ + α n xn ⊗ 1 = ∑ α i xi ⊗ 1 = f  ∑ α i xi ,1 , y es g (t ) = g  f  ∑ α i xi ,1 
i =1  i =1    i =1 

 n   n  n
= (g f ) ∑ α i xi ,1 = f '  ∑ α i xi ,1 = ∑ α i xi . Esto quiere decir que si g (t ) = 0 , será
 i =1   i =1  i =1
n n

∑ α i xi = 0 → t = ∑α i xi ⊗ 1 = 0 ⊗ 1 = 0
i =1 i =1

En definitiva, los espacios V ⊗ K y V son isomorfos.

La demostración de que también K ⊗ V ≅ V es del todo análoga, siguiendo los
mismos pasos.

01.7. Asociatividad y conmutatividad

1) Asociatividad:
Para tres K-espacios cualesquiera, V1 ,V2 ,V3 , se verifica el isomorfismo siguiente:
V1 ⊗ (V2 ⊗ V3 ) ≅ (V1 ⊗ V2 ) ⊗ V3 ≅ V1 ⊗ V2 ⊗ V3

Demostración:
- Veamos que (V1 ⊗ V2 ) ⊗ V3 ≅ V1 ⊗ V2 ⊗ V3 :

250
 Carlos Sánchez Chinea

Sean:
( f ,V1 ⊗ V2 ⊗ V3 ) producto tensorial.
(h, (V1 ⊗ V2 ) ⊗ V3 ) producto tensorial.
f’: aplicación trilineal
h’: aplicación bilineal
g : V1 ⊗ V2 ⊗ V3 → (V1 ⊗ V2 ) ⊗ V3

m : (V1 ⊗ V2 ) ⊗ V3 → V1 ⊗ V2 ⊗ V3

son los homomorfismos únicos que

cumplen:
g f = f ' y m h = h'

Se tiene:

∀( x1 , x2 , x3 ) ∈ V1 xV2 xV3 , [ (m g ) f ] ( x1 , x2 , x3 ) = (m g )( f ( x1 , x2 , x3 ))
= (m g )( x1 ⊗ x2 ⊗ x3 ) = m( g ( x1 ⊗ x2 ⊗ x3 )) = m(( x1 ⊗ x2 ) ⊗ x3 ) = x1 ⊗ x2 ⊗ x3
= f ( x1 , x2 , x3 ) → [ (m g ) f ] ( x1 , x2 , x3 ) = f ( x1 , x2 , x3 )
O sea: (m g ) f = f → m g = I d (identidad)

Análogamente:

∀( x1 ⊗ x2 , x3 ) ∈ V1 ⊗ V2 xV3 , [ ( g m) h ] ( x1 ⊗ x2 , x3 ) = ( g m)(h( x1 ⊗ x2 , x3 ))
= ( g m)(( x1 ⊗ x2 ) ⊗ x3 ) = g (m(( x1 ⊗ x2 ) ⊗ x3 )) = g ( x1 ⊗ x2 ⊗ x3 ) = ( x1 ⊗ x2 ) ⊗ x3
= h( x1 ⊗ x2 , x3 ) → [ ( g m) h ] ( x1 ⊗ x2 , x3 ) = h( x1 ⊗ x2 , x3 )
O sea: ( g m) h = h → g m = I d (identidad)

De lo cual: m −1 = g isomorfismo → (V1 ⊗ V2 ) ⊗ V3 ≅ V1 ⊗ V2 ⊗ V

- Veamos que V1 ⊗ (V2 ⊗ V3 ) ≅ V1 ⊗ V2 ⊗ V3 :

251
 Sobre el producto tensorial de espacios vectoriales

Sean:
( f ,V1 ⊗ V2 ⊗ V3 ) producto tensorial.
(h,V1 ⊗ (V2 ⊗ V3 ) ) producto tensorial.
f’: aplicación trilineal
h’: aplicación bilineal
g : V1 ⊗ V2 ⊗ V3 → V1 ⊗ (V2 ⊗ V3 )
m : V1 ⊗ (V2 ⊗ V3 ) → V1 ⊗ V2 ⊗ V3
son los homomorfismos únicos que
cumplen:
g f = f ' y m h = h'
Se tiene:

∀( x1 , x2 , x3 ) ∈ V1 xV2 xV3 , [ (m g ) f ] ( x1 , x2 , x3 ) = (m g )( f ( x1 , x2 , x3 ))
= (m g )( x1 ⊗ x2 ⊗ x3 ) = m( g ( x1 ⊗ x2 ⊗ x3 )) = m( x1 ⊗ ( x2 ⊗ x3 )) = x1 ⊗ x2 ⊗ x3
= f ( x1 , x2 , x3 ) → [ (m g ) f ] ( x1 , x2 , x3 ) = f ( x1 , x2 , x3 )
O sea: (m g ) f = f → m g = I d (identidad)

Análogamente:

∀( x1 , x2 ⊗ x3 ) ∈ V1 xV2 ⊗ V3 , [ ( g m) h ] ( x1 , x2 ⊗ x3 ) = ( g m)(h( x1 , x2 ⊗ x3 ))
= ( g m)( x1 ⊗ ( x2 ⊗ x3 )) = g (m( x1 ⊗ ( x2 ⊗ x3 )) = g ( x1 ⊗ x2 ⊗ x3 ) = x1 ⊗ ( x2 ⊗ x3 )
= h( x1 , x2 ⊗ x3 ) → [ ( g m) h ] ( x1 , x2 ⊗ x3 ) = h( x1 , x2 ⊗ x3 )
O sea: ( g m) h = h → g m = I d (identidad)

De lo cual: m −1 = g isomorfismo → V1 ⊗ (V2 ⊗ V3 ) ≅ V1 ⊗ V2 ⊗ V3

2) Conmutatividad:
Existe un único isomorfismo ψ : Vq ⊗ V p → V p ⊗ Vq tal que
∀x p ∈ V p , ∀xq ∈ Vq , ψ (x p ⊗ xq ) = xq ⊗ x p
Demostración:

252
 Carlos Sánchez Chinea

Sean:
( f ,V1 ⊗ V2 ) producto tensorial.
( f ' ,V2 ⊗ V1 ) producto tensorial.
g: aplicación bilineal
g’: aplicación bilineal
h : V1 ⊗ V2 → V2 ⊗ V1
h': V2 ⊗ V1 → V1 ⊗ V2
son los homomorfismos únicos que
cumplen:
h f = g y h' f ' = g '
Se tiene:

∀( x1 , x2 ) ∈ V1 xV2 , [ (h ' h) f )] ( x1 , x2 ) = (h ' h)( f ( x1 , x2 ))

= (h ' h)( x1 ⊗ x2 ) = h '(h( x1 ⊗ x2 )) = h '( x2 ⊗ x1 ) = x1 ⊗ x2
= f ( x1 , x2 ) → [ (h ' h) f ) ] ( x1 , x2 ) = f ( x1 , x2 )
O sea: (h' h) f = f → h' h = I d (identidad)

Análogamente:

∀( x2 , x1 ) ∈ V2 xV1 , [ (h h ') f ') ] ( x1 , x2 ) = (h h ')( f '( x2 , x1 ))

= (h h ')( x2 ⊗ x1 ) = h(h '( x2 ⊗ x1 )) = h( x1 ⊗ x2 ) = x2 ⊗ x1
= f '( x1 , x2 ) → [ (h h ') f ')] ( x2 , x1 ) = f '( x2 , x1 )
O sea: (h h' ) f ' = f ' → h h' = I d (identidad)

De lo cual: h −1 = h isomorfismo → V1 ⊗ V2 ≅ V2 ⊗ V1

En definitiva, para k-espacios vectoriales cualesquiera, se verifica mediante

isomorfismo, la asociatividad y la conmutatividad del producto tensorial
V1 ⊗ (V2 ⊗ V3 ) ≅ (V1 ⊗ V2 ) ⊗ V3 ≅ V1 ⊗ V2 ⊗ V3
V1 ⊗ V2 ≅ V2 ⊗ V1

02. El producto tensorial de espacios vectoriales como objeto de una categoría:

02.1. Introducción a las categorías y funtores

253
 Sobre el producto tensorial de espacios vectoriales

La teoría de categorías y funtores se construye de forma elemental desde el

concepto de categoría, entendida como una clase cuyos objetos cumplen la
condición de que cualquier par ordenado de los mismos tiene asociado un conjunto
que denominamos conjunto de los morfismos correspondientes al par, teniendo a su
vez los morfismos una ley de composición interna, asociativa y con elemento
identidad:
Existencia: ∃f ∈ (a, b)ψ , ∀a, b objetos de ψ .
Ley interna: (∀f , g )( f ∈ (b, c )ψ , g ∈ (a, b )ψ ), ∃h ∈ (a, c )ψ único / f g = h
Asociativa: (∀a, b, c)( f ∈ (b, c )ψ , g ∈ (a, b )ψ , h ∈ (d , a )ψ ), f ( g h) = ( f g ) h
Elemento identidad: ∀a ∈ψ , ∃I a ∈ (a, a)ψ / f I a = f ∧ I a g = g
(∀f ∈ (a, b) ψ , ∀g ∈ (c, a )ψ , ∀b, c ∈ψ )

Así, si consideramos la categoría Φ , de objetos a,b,c,..., el conjunto

asociado, por ejemplo, al par (a,b), diremos que se trata del conjunto de morfismos
de dominio a y codominio b:
(a, b )Φ : conjunto de los morfismos de dominio a y codominio b dentro de la
categoría Φ .

Se define también lo que se entiende como objeto inicial y objeto final de

una categoría del modo siguiente:
- Un objeto α se dice que es objeto inicial de la categoría Φ , si el conjunto
(α , b )Φ tiene un único elemento, cualquiera que sea el objeto b de la
categoría.
- Un objeto β se dice que es objeto final de la categoría Φ , si el conjunto
(a, β )Φ tiene un único elemento, cualquiera que sea el objeto a de la
categoría.

Si definimos una función tal que a los objetos de una determinada categoría
Φ le correspondan los objetos de otra categoría Γ hemos de especificar también

254
 Carlos Sánchez Chinea

que a los morfismos asociados a cada par de la primera le correspondan los

morfismos asociados al correspondiente par de la segunda. Se trata, por tanto, de
definir dos funciones, una que establezca la correspondencia entre los objetos
(función-objeto) y otra que establezca la correspondencia entre los morfismos
asociados a cada par ordenado de la primera y los morfismos asociados al
correspondiente par ordenado de la segunda (función-morfismo). Con la función-
morfismo pueden darse dos situaciones, a saber, que el morfismo imagen de un
morfismo dado tenga por dominio la imagen del dominio del morfismo original y
por codominio la imagen del codominio del morfismo original (función-morfismo
covariante), o bien, que ocurra lo contrario, es decir, que el morfismo imagen de un
morfismo dado tenga por dominio la imagen del codominio del morfismo original y
por codominio la imagen del dominio del morfismo original (función-morfismo
contravariante).
Función objeto:
f o : Φ → Γ , ∀x ∈ Φ, f o ( x) ∈ Γ (si x = y → f o ( x) = f o ( y ) )

Función morfismo-covariante:
f m1 : (a, b) Φ → ( f o (a ), f o (b) )Γ , ∀f ∈ (a, b) Φ , f m1 ( f ) ∈ ( f o (a ), f o (b)) Γ

Función morfismo-contravariante:
f m 2 : (a, b) Φ → ( f o (b), f o (a ) )Γ , ∀f ∈ (a, b) Φ , f m 2 ( f ) ∈ ( f o (b), f o (a )) Γ

Un funtor entre la categoría Φ y la categoría Γ es el par constituido por una

función-objeto, fo, y una función-morfismo, fm:

Funtor covariante: ( f o , f m1 )

Funtor contravariante: ( f o , f m 2 )

255
 Sobre el producto tensorial de espacios vectoriales

Un funtor es una función entre categorías que está, pues, realmente

constituida por dos funciones, una función-objeto y una función-morfismo. Un
funtor es covariante o contravariante según lo sea su correspondiente función-
morfismo. Ha de cumplir las condiciones de definición (axiomas) siguientes:
Sobre la identidad: (∀a )(a ∈ψ , f m I a = I f a ) 0

Sobre la composición de morfismos:

Covariante: (∀f , g )( f ∈ (b, c )ψ , g ∈ (a, b )ψ , f m1 ( f g ) = f m1 ( f ) f m1 ( g ))
Contravariante: (∀f , g )( f ∈ (b, c )ψ , g ∈ (a, b )ψ , f m 2 ( f g ) = f m 2 ( g ) f m 2 ( f ) )

Podemos imaginar de manera obvia diversas categorías:

- La categoría de los grupos: GRUP, cuyos objetos son los grupos y cuyos
morfismos asociados a cada par ordenado de grupos son los homomorfismos
de grupo.
- La categoría de los anillos: ANILL, cuyos objetos son los anillos y cuyos
morfismos asociados a cada par ordenado de anillos son los homomorfismos
de anillos.

Vemos a continuación que podemos definir la idea de producto tensorial de

espacios vectoriales como objeto inicial de una cierta categoría, estableciéndose de
forma natural el concepto de funtor producto tensorial.

02.2. El producto tensorial como objeto incial de una categoría

Como ya hemos descrito antes, el producto tensorial de un conjunto de n K-

espacios vectoriales, V1 ,⋯ , Vn , es un par constituido por una aplicación multilineal
(n-lineal), f, desde el conjunto producto cartesiano de dichos K-espacios en otro K-
espacio vectorial T, tal que para cualquier otra aplicación n-lineal f’ de dicho
conjunto producto cartesiano en cualquier otro K-espacio vectorial T’ existe un

256
 Carlos Sánchez Chinea

único homomorfismo de K-espacios vectoriales de T a T’ tal que g f = f ' . El

producto tensorial se define, pues, como el par ( f , T ) .
Si representamos al espacio producto tensorial T por
n
T = ⊗ Vi = V1 ⊗ ... ⊗ Vn
i =1

se tiene la conmutatividad del siguiente diagrama:

Dados n K-espacios vectoriales V1 ,⋯ , Vn , dentro de la teoría de categorías

podemos considerar la categoría Σ cuyos objetos son los pares ( f , T ), ( f p , T p ),⋯ ,
donde los T , T p ,⋯ son K-espacios vectoriales, y las f , f p ,⋯ . son aplicaciones n-
lineales desde el conjunto producto cartesiano de los n K-espacios vectoriales
dados, y cuyos morfismos asociados a cada par (( f , T ), ( f p
,T p ) ) son los
homomorfismos g : T → T p , de forma que se verifique g f = f p . Es obvio que el

producto tensorial constituido por el par  f , T = ⊗ Vi  es un objeto inicial de dicha

n

 i =1 

categoría, pues el par de objetos  ( f , ⊗ Vi ), ( f p , T p )  es el único par que contiene un

n

 i =1 

único morfismo (el homomorfismo g : T → T p ) cualquiera que sea el objeto ( f p , T p )

de la categoría, por definición de producto tensorial.
02.3. El funtor Producto Tensorial
Consideremos las dos categorías siguientes:

257
 Sobre el producto tensorial de espacios vectoriales

- Categoría Γ : Es la categoría cuyos objetos son las n-plas de K-espacios

vectoriales
(V1 ,⋯ ,Vn ) , (V ,⋯,V ) , (V ,⋯ ,V ) , ⋯
1
'
n
'
1
''
n
''

y cuyos morfismos asociados a cada par de objetos ( (V1 ,⋯ ,Vn ) , (V1' ,⋯ ,Vn' ) ) son las

aplicaciones producto
n n n
Π f i : Π Vi → Π Vi '
i =1 i =1 i =1

siendo las f i : Vi → Vi ' , i = 1,..., n , aplicaciones lineales entre espacios vectoriales.

- Categoría Φ : La categoría cuyos objetos son los productos tensoriales de los K-

espacios de cada n-pla de la categoría Γ :
n n n
( f , ⊗Vi ), ( f ' , ⊗Vi ' ), ( f ' ' , ⊗Vi '' ),...
i =1 i =1 i =1

siendo los morfismos asociados a cada par de objetos  ( f , ⊗Vi ), ( f ' , ⊗Vi ' )  los
n n

 i =1 i =1 
n n n
homomorfismos g : ⊗Vi → ⊗Vi ' , i = 1,..., n tales que g f = f ' iΠ=1 f i , tal como se
i =1 i =1

muestra en el diagrama:

258
 Carlos Sánchez Chinea

Definamos ahora un funtor ψ desde la categoría Γ hacia la categoría Φ :

ψ :Τ→Φ

Función-objeto: A cada objeto de la categoría Γ , es decir, a cada n-pla de K-

espacios vectoriales (V1 ,⋯ ,Vn ) le hace corresponder su producto tensorial:

 n 
∀ (V1 ,⋯ , Vn ) ∈ Γ, ψ 0 (V1 ,⋯ , Vn ) =  f , ⊗ Vi  ∈ Φ
 i =1 

Función-morfismo: podemos definir la función morfismo ψ m por la condición:

n n
 n n

∀Π fi ∈ ( (V1 ,⋯ , Vn ), (V1' ,⋯ , Vn' ) ) , ψ m (Π f i ) = g ∈  ( f , ⊗ Vi ),( f ', ⊗Vi ' ) 
i =1 Γ i =1  i =1 i =1 Φ

Vemos que, efectivamente, se trata de un funtor ya que se verifican las dos

condiciones de la definición de funtor, o sea, la condición sobre el morfismo
identidad y sobre la composición de morfismos:

n n
 n  n 
Ψm  Π f i ' Π f i  = g ' g = Ψm  Π f i '  Ψm  Π f 
 i =1 i =1   i =1   i =1 

259
 Sobre el producto tensorial de espacios vectoriales

n 
Ψm  Π Idi  = Id
 i =1 

Tal funtor se denomina funtor producto tensorial, siendo, en definitiva las

funciones constituyentes:
- Función-objeto:
 n 
∀ (V1 ,⋯ , Vn ) ∈ Γ, ψ 0 (V1 ,⋯ , Vn ) =  f , ⊗ Vi  ∈ Φ
 i =1 
- Función-morfismo:
n n
∀Π f i ∈ ( (V1 ,⋯ , Vn ), (V1' ,⋯ ,Vn' ) ) , ψ m (Π f i ) = g ∈ ( (V1 ⊗ ⋯ ⊗ Vn ), (V '1 ⊗ ⋯ ⊗ Vn ') )Φ
i =1 Γ i =1

03. Bibliografía

Abellanas, P.: Geometría Básica, Ed. Romo, 1969.

Bobillo Ares, Nilo C., Dehesa Martinez, C.�� Introducción al cálculo tensorial,
Universidad de Oviedo, 2005.

Bourbaki, N.: Elements of mathematics, Algebra, Springer-Verlag, 1989.

Cartan, E.: Leçons sur la géometrie des espaces de Riemann, Gauthier-Villars,

1946.

Lawden, D.F.: An introduction to tensor calculus, relativity and cosmology, Wiley

1986.

Lichnerowicz, A.: Elementos de cálculo tensorial, Ediciones Aguilar, 1972.

Mc Lane, S., Birkhoff, J. H.��Algèbre, Gauthiers-Villars, 1973.

Olivert Pellicer, J.: Estructuras de Algebra Multilineal, Servicio de Publicaciones

de la Universidad de Valencia, 1996

Ryand, Raymond A.; Introduction to Tensor Products of Banach Spaces, Springer,

2002.

260