El funtor Producto Tensorial Carlos S.
CHINEA
El funtor Producto Tensorial
0. Introducción. La idea de categoría y funtor
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.
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 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 )
1
El funtor Producto Tensorial Carlos S. CHINEA
Funtor contravariante: ( f o , f m 2 )
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 0 a )
Sobre la composición de morfismos:
Covariante: (
(∀f , g ) f ∈ (b, c )ψ , g ∈ (a, b )ψ , f m1 ( f o g ) = f m1 ( f ) o f m1 ( g ) )
Contravariante: (∀f , g )( f ∈ (b, c ) , g ∈ (a, b ) , f
ψ ψ m2 ( f o g ) = fm2 ( g ) o fm2 ( 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.
1. Producto tensorial
Sea K un cuerpo conmutativo. Un K-espacio vectorial es un espacio vectorial cuyo
cuerpo de definición es K.
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 exista un único homomorfismo de K-
espacios vectoriales de T a T’ tal que g o 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:
2
El funtor Producto Tensorial Carlos S. CHINEA
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 , T ),... , donde los
p p
T, Tp,... son K-espacios vectoriales, y las f, fp,... 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 , T ) ) son los homomorfismos
p p
g : T → T p , de forma que se verifique g o f = f p , es obvio que el producto
n
tensorial T = ⊗ Vi = V1 ⊗ ... ⊗ Vn es un objeto inicial de dicha categoría, pues es el
i =1
único objeto desde el que existe un único morfismo hacia cualquier otro objeto de
la misma categoría, por definición de objeto inicial.
2. El funtor producto tensorial
Consideremos las dos categorías siguientes:
- Categoría Γ : Es la categoría cuyos objetos son las n-plas de K-espacios
vectoriales
(V1 ,...,Vn ), (V1' ,...,Vn' ), ...
y cuyos morfismos asociados a cada par ((V ,...,V ), (V ,...,V )) son las aplicaciones
1 n 1
'
n
'
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 o f = f 'o Π f i , tal como se
'
i =1 i =1 i =1
muestra en el diagrama.
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, objeto de
la categoría Φ :
n
∀(V1 ,...,Vn ) ∈ Γ, ψ 0 (V1 ,..., Vn ) = f , ⊗ Vi ∈ Φ
i =1
3
El funtor Producto Tensorial Carlos S. CHINEA
n n n
Función-morfismo: Puesto que Π f i : Π Vi → Π Vi ' , se tiene (ver diagrama) que
i =1 i =1 i =1
n n
f 'o Π f i : Π Vi → V1 '⊗... ⊗ Vn '
i =1 i =1
y por ser ( f ,V1 ⊗ ... ⊗ Vn ) producto tensorial de los k-espacios V1 ,...,Vn existe un
n
único homomorfismo g : V1 ⊗ ... ⊗ Vn → V1 '⊗... ⊗ Vn ' tal que g o f = f 'o Π f i , por
i =1
tanto, podemos definir la función morfismo ψ m por la condición:
( )
n n
∀ Π f i ∈ (V1 ,...,Vn ), (V1' ,...,Vn' ) Γ , ψ m (Π f i ) = g
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 ' o Π f i = g 'o g = Ψm Π f i ' o Ψm Π f
i =1 i =1 i =1 i =1
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
Bibliografía:
4
El funtor Producto Tensorial Carlos S. CHINEA
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.
