Capítulo 1

Propiedades categoriales de los espacios

vectoriales

1.1. El espacio de los homomorfismos

Sea k un cuerpo y E, Ē dos k -espacios vectoriales. Se puede dotar al conjunto Homk (E, Ē)
de las aplicaciones lineales de E en Ē de una estructura k -espacio vectorial con las siguientes
definiciones de suma y producto por escalares: Si T, T 0 son aplicaciones lineales de E en Ē, se
define T + T 0 como la aplicación de E en Ē dada por (T + T 0 )(e) = T (e) + T 0 (e) para todo
e ∈ E.
T, T 0 son lineales
Para α, β ∈ k, e, e0 ∈ E se cumple (T +T 0 )(αe+βe0 ) = T (αe+βe0 )+T 0 (αe+βe0 ) =
αT (e) + βT (e0 ) + αT 0 (e) + βT 0 (e0 ) = α(T (e) + T 0 (e)) + β(T (e0 ) + T 0 (e0 )) = α(T + T 0 )(e)+
β(T + T 0 )(e0 ), luego T + T 0 es una aplicación lineal,o sea, es un elemento de Homk (E, Ē).

Proposición 1.1.1. (Homk (E, Ē), +) es un grupo aditivo abeliano.

Demostración. Veamos que se cumplen todas las operaciones que determinan la estructura de
[Link] T, T 0 , T̄ ∈ Homk (E, Ē) y e ∈ E
Asociativa

[(T +T 0 )+T̄ ](e) = (T +T 0 )(e)+T̄ (e) = T (e)+T 0 (e)+T̄ (e) = T (e)+(T 0 +T̄ )(e) = [T +(T 0 +T̄ )](e)

Conmutativa

la suma de vectores es conmutativa

(T + T 0 )(e) = T (e) + T 0 (e) = T 0 (e) + T (e) = (T 0 + T )(e)

1
2 1.1 El espacio de los homomorfismos

Existencia de elemento neutro

Sea 0 ∈ Homk (E, Ē) la aplicación lineal definida por 0(e) = 0 para todo e ∈ E. Es obvio
que (T + 0) = (0 + T ) = T .
Existencia de elemento opuesto
Para cada aplicación lineal T ∈ Homk (E, Ē) consideremos la aplicación −T definida por
(−T )(e) = −T (e). Es fácil comprobar que −T es una aplicación lineal y que T + (−T ) =
−T + T = 0.

Si λ ∈ k, se define (λ · T ) : E → Ē por (λ · T )(e) = λ · T (e), que es claramente una aplicación

lineal.

Teorema 1.1.2. La suma y el producto por escalares que se acaban de definir dotan a
Homk (E, Ē) de un estructura de k-espacio vectorial.

Demostración. Puesto que Homk (E, Ē) es un grupo abeliano para la suma por (1.1.1), basta
ver la propiedades 1.,. . . ,4. de la definición (??). Sea λ ∈ k, T, T 0 aplicaciones lineales de E en
ē. Para todo e ∈ E, se obtiene por las definiciones

λ · (T + T 0 )](e) = λ · (T + T 0 )(e) = λ · (T (e) + T 0 (e)) = λ · T (e) + λ · T 0 (e)

= (λ · T )(e) + (λ · T 0 )(e) = (λ · T + λ · T 0 )(e)

de donde λ · (T + T 0 ) = λ · T + λ · T 0 , lo que prueba la primera propiedad.

Las restantes se comprueban de forma similar.

Ejemplo 1.1.3.

1. Sea E un k -espacio vectorial. La aplicación lineal Homk (k, E) → E, T 7→ T (1) es un

isomorfismo de k -espacios vectoriales. Homk (k, E) ≈ E.

2. El espacio Homk (E, E) de los morfismos de un k -espacio vectorial E en sí mismo, o

endomorfismos, se suele denotar por Endk (E). Este espacio tiene una estructura más
rica que el espacio de los morfismos entre dos espacios vectoriales diferentes. En efecto,
como la composición de aplicaciones lineales es a su vez una aplicación lineal (??), puede
definirse un producto
Endk (E) × Endk (E) → Endk (E)
(T, T̄ ) 7→ T ◦ T̄
1.1 El espacio de los homomorfismos 3

Teorema 1.1.4. El grupo abeliano (Endk (E), +) dotado del producto anterior es un anillo
no conmutativo con unidad. Además Endk (E) es una k-álgebra vía el morfismo de anillos
k → Endk (E) que aplica λ ∈ k en la homotecia hλ : E → E definida por hλ (e) = λ · e, y la
estructura de k-espacio vectorial que así adquiere es la misma que la que ya hemos definido.

Demostración. Es claro que el producto es asociativo y que su unidad es el endomorfismo

identidad id : E → E tal que id(e) = e, para todo e ∈ E. Para ver que el producto es distributivo
con la suma, sean T, T 0 , T 00 endomorfismos. Para todo e ∈ E se tiene (T ◦ (T 0 + T 00 )) (e) =
T [(T + T 00 )(e)] = T [T 0 (e) + T 00 (e)] = T (T 0 (e)) + T (T 00 (e)) = (T ◦ T 0 )(e) + (T ◦ T 00 )(e) =
(T ◦ T 0 + T ◦ T 00 )(e), luego T ◦ (T 0 + T 00 ) = T ◦ T 0 + T ◦ T 00 , lo que prueba lo dicho.
Obsérvese finalmente que el producto por escalares definido en Endk (E) a partir del
morfismo k → Endk (E) del enunciado según lo dicho en (??,??) es el mismo que el que se
había definido previamente. En efecto, según (??,??) el producto por escalares en Endk (E)
inducido a partir de k → Endk (E) sería hλ ◦ T . Pero para todo e ∈ E se tiene (hλ ◦ T )(e) =
hλ (T (e)) = λ · T (e) = (λ · T )(e), con lo que se acaba.

El grupo multiplicativo del anillo Endk (E), o sea, las aplicaciones lineales que tienen inversa
según el producto definido anteriormente, es el grupo Autk (E) de los automorfismos de E,
esto es, de los isomorfismos de k -espacio vectorial de E en E.

Sea ahora ϕ : E → F un morfismo de k -espacios vectoriales. Para cada aplicación lineal

T : F → Ē de F en otro k -espacio vectorial Ē se obtiene, por composición, otra T ◦ ϕ : E → Ē.
De este modo se define una aplicación:

Homk (F, Ē) → Homk (E, Ē)

T 7→ ϕ∗ (T ) = T ◦ ϕ

Análogamente, para cada aplicación lineal T : Ē → E de un k -espacio vectorial Ē en E, se

obtiene otra ϕ ◦ T : Ē → F , definiendo así una aplicación:

Homk (Ē, E) → Homk (Ē, F )

T 7→ ϕ∗ (T ) = ϕ ◦ T

Teorema 1.1.5. Sea ϕ : E → F un morfismo de k-espacios vectoriales.

4 1.2 Suma directa y producto directo de k-espacios vectoriales

a) Para todo k-espacio vectorial Ē, las aplicaciones ϕ∗ : Homk (F, Ē) → Homk (E, Ē),
ϕ∗ : Homk (Ē, E) → Homk (Ē, F ) son lineales

b) (Compatibilidad con la composición ): Si ψ : F → E 0 es otro morfismo de k-espacios

vectoriales , para todo k-espacio vectorial Ē se tiene:

(ψ ◦ ϕ)∗ = ϕ∗ ◦ ψ ∗ : Homk (E 0 , Ē) → Homk (E, Ē)

(ψ ◦ ϕ)∗ = ψ∗ ◦ ϕ∗ : Homk (Ē, E) → Homk (Ē, E 0 )

Demostración. a) Sean T, T̄ morfismo de F en Ē y λ, µ escalares. Para todo e ∈ E se tiene

(ϕ∗ (λT + µT̄ ))(e) = ((λT + µT̄ ) ◦ ϕ)(e) = (λT + µT̄ )(ϕ(e)) = λ · T (ϕ(e)) + µ · T̄ (ϕ(e)) =
(λ(T ◦ ϕ) + µ(T̄ ◦ ϕ))(e) = [λ ϕ∗ (T ) + µϕ∗ (T̄ )](e), es decir, ϕ∗ (λT + µT̄ ) = λ ϕ∗ (T ) + µϕ∗ (T̄ )
lo que prueba que ϕ∗ es lineal. Del mismo modo se demuestra la linealidad de ϕ∗ .
b) Es trivial.

Escolio 1.1.6. Una operación por la izquierda de un grupo G en un conjunto X es una

aplicación G × X → X, (g, x) 7→ g · x que verifica (g 0 g) · x = g 0 · (g · x) cualesquiera que sean
g, g 0 ∈ G, x ∈ X. Esto es, una operación de G en X es un morfismo de grupos G → Aut(X),
g 7→ g· de G en el grupo Aut(X) de aplicaciones biyectivas de X en X, cuyo producto es la
composición.
Cuando se trata de espacios vectoriales, se define una operación lineal o representación
lineal de un grupo G en un k-espacio vectorial E como una operación G × E → E en el sentido
anterior pero tal que (g·) : E → E, e 7→ g · e sea una aplicación lineal, es decir, es un morfismo
de grupos G → Autk (E), g 7→ g·.

1.2. Suma directa y producto directo de k -espacios

vectoriales
Sea k un cuerpo, I un conjunto y para cada i ∈ I, sea Ei un k -espacio vectorial. Tenemos
así una familia (Ei )i∈I de k -espacios vectoriales (posiblemente infinita)
Consideremos el producto cartesiano E =
Q i∈I Ei , de los k -espacios vectoriales de la familia
(Ei )i∈I , es decir, el conjunto cuyos elementos son las familias de vectores e = (ei )i∈I con ei ∈ Ei
para cada i ∈ I. Si I = {1, . . . , n}, esto es, si se trata de una familia finita de k -espacios
1.2 Suma directa y producto directo de k-espacios vectoriales 5

vectoriales finita, se suele escribir E1 × · · · × En y sus elementos se denotan por (e1 , . . . , en ) con
ei ∈ Ei .
En el conjunto E =
Q i∈I Ei se define una suma y un producto por escalares por

(ei )i∈I + (e0i )i∈I = (ei + e0i )i∈I (ei ∈ Ei , e0i ∈ Ei0 )

λ (ei )i∈I = (λ ei )i∈I (ei ∈ Ei , λ ∈ k)

En otras palabras, la suma y el producto por escalares se definen en E =

Q Ei “componente
a componente”. Una comprobación sencilla permite probar que de hecho, E =
i∈I
Q i∈I Ei es un
k -espacio vectorial con las operaciones anteriores.

Definición 1.2.1. Se llama producto directo de los k -espacios vectoriales de la familia (Ei )i∈I
al k -espacio vectorial E =
Q i∈I Ei que se acaba de construir.

Ejemplo 1.2.2. Sea I = N el conjunto de los números naturales y para cada n ∈ N sea En = k.
El producto directo E =
Q n∈N En , esto es, el producto directo de tantas copias de k como
números naturales, es el k -espacio vectorial de las sucesiones (an )n∈N de los elementos de k.
Este espacio vectorial puede ser dotado de una estructura de anillo cuyo producto es el
definido por (an )n∈N · (bn )n∈N = (an · bn )n∈N . Ahora las sucesiones de elementos de k constituyen
una k -álgebra (??,??) vía el morfismo de anillos k → E =
Q n∈N En (En = k) que aplica λ ∈ k
en la sucesión (λ)n∈N que tiene todos sus coeficientes igual a λ. Se observa que la estructura de
k -espacio vectorial que se define en el álgebra de sucesiones según (??,??) coincide con la que
tenía previamente.
Veamos ahora cómo dotar al espacio E de sucesiones de una nueva estructura de anillo,
que se define de forma similar al producto de polinomios. Este producto, que denotaremos
provisionalmente por ∗, se define como sigue: (an )n∈N ∗ (bn )n∈N = (cn )n∈N donde cn =
P i+j=n ai bj . Con este nuevo producto E está dotado de otra estructura de k -álgebra, ahora
vía el morfismo k → E que aplica λ ∈ k en la sucesión λ que tiene todos sus coeficientes nulos
excepto el 0-ésimo que vale λ. También ahora la estructura de espacio vectorial que se define
en E según (??,??) coincide con la previa (comprobar). Si se denota por x la sucesión definida
por x = (an )n∈N , an = 0 si n 6= 1, a1 = 1, resulta que xp = x ∗ · · · ∗ x (p veces) es la sucesión
que tiene todos sus términos nulos excepto el p-ésimo que vale 1, y toda sucesión (bn )n∈N puede
ser representada como “una serie formal”
P n≥0 bn · x
n
donde · denota el producto escalar bn por
6 1.2 Suma directa y producto directo de k-espacios vectoriales

la sucesión xn respecto de la última estructura de k -álgebra considerada. Así pues, el espacio

” —
E dotado de esta estructura de álgebra es la k -álgebra de las series formales en una variable
k [x] .

Para cada espacio vectorial Ej (j ∈ I), existe un morfismo epiyectivo

πj : E =
QE i → Ej
i∈I

(ei )i∈I 7→ πj ((ei )i∈I ) = ej

llamada proyección sobre el j -ésimo factor, y que asocia a cada familia (ei )i∈I el vector
componente ej ∈ Ej del k -espacio vectorial j -ésimo Ej .
Por tanto, para cada k -espacio vectorial Ē, se tienen morfismos (1.1.5)

πi,∗ : Homk (Ē,

Q E ) → Hom (Ē, E )
i k i
i∈I

T 7→ πi,∗ (T ) = πi ◦ T

que definen, a su vez, un morfismo:

ψ : Homk (Ē,
Q E ) → Q Hom (Ē, E )
i k i
i∈I i∈I

T 7→ πi,∗ (T ) = (πi ◦ T )i∈I = (πi ◦ T )i∈I

Teorema 1.2.3. El morfismo anterior es un isomorfismo:

Homk (Ē,
Y E ) −→ Y Hom (Ē, E )
∼
i k i

Q
i∈I i∈I

Demostración. Sea (Ti )i∈I ∈ Homk (Ē, Ei ), de modo que para cada i ∈ I, Ti : Ē → Ei
i∈I

es una aplicación lineal. Se define entonces una aplicación lineal (

Q Ti ) : Ē →
Q Ei por
(
Q i∈I Ti )(ē) = (Ti (ē))i∈I para todo ē ∈ Ē.
i∈I i∈I

La aplicación lineal

ϕ:
Q Homk (Ē, Ei ) → Homk (Ē,
Q Ei )
i∈I

(Ti )i∈I
Q
7→ T i
i∈I

i∈I

es inversa de la del enunciado, con lo que se acaba.

En efecto: Para cualquier T ∈ Homk (Ē,
Q E ) se cumple que (ϕ ◦ ψ)(T ) = ϕ (ψ(T )) =
i
i∈I
ϕ(πi ◦ T )i∈I = T̄ tal que si ē ∈ Ē, T̄ (ē) = (πi ◦ T )i∈I (ē) = T (ē) pues si T (ē) = (ē1 , . . . , ēn )
entonces para cualquier i ∈ I, (πi ◦ T )(ē) = ēi , luego T̄ (ē) = (πi ◦ T )i∈I (ē) = (ē1 , . . . , ēn ) = T (ē).
En consecuencia ϕ ◦ ψ = Id.
1.2 Suma directa y producto directo de k-espacios vectoriales 7

Para cualquier (Ti )i∈I ∈

Q Hom (Ē, E ) tenemos (ψ ◦ ϕ) ((T )
k i i i∈I ) = ψ(
Q T ) = (π ◦ Q T ) =
i i i
i∈I i∈I i∈I
(Ti )i∈I , luego ψ ◦ φ = Id.

Este teorema recoge la definición de producto directo en el sentido de la teoría de categorías.

En el sentido de dicha teoría, lo que aquí se ha hecho ha sido demostrar que la categoría
de k -espacios vectoriales tiene productos directos. Aquí hemos partido de una definición mas
sencilla, probando no obstante (1.2.3) que dicha definición equivale a la categorial.
Del mismo modo vamos a proceder en el tratamiento de la suma directa.

Definición 1.2.4. Sea (Ei )i∈I una familia de k -espacios vectoriales. Se define la suma directa
de los espacios Ei como el subespacio vectorial
L i∈I Ei ⊆
Q i∈I Ei constituido por las familias
(ei )i∈I con ei ∈ Ei cuyas componentes son todas casi nulas, esto es, tales que ei = 0 excepto
para, a lo más, un conjunto finito de índices.

Obsérvese que si hay un número finito de espacios vectoriales E1 , . . . , En , la definición no

impone restricción alguna a las familias (e1 , . . . , en ) ∈ E1 × · · · × En con lo que la suma
directa, que en este caso se denota también por E1 ⊕ · · · ⊕ En , coincide con el producto directo
E1 ⊕ · · · ⊕ En = E1 × · · · × En .

Ejemplo 1.2.5. Sea I = N y para cada n ∈ N sea En = k, como en (1.2.2). Allí vimos que el
k -espacio vectorial
Q n∈N En puede ser interpretado como el espacio vectorial k [[x]] de las series
formales con coeficientes en k. La suma directa ⊕n∈N En se identifica ahora con el k -espacio
vectorial k[x] ⊂ k [[x]] de los polinomios en una variable con coeficientes en k.

Sea (Ei )i∈I una familia de k -espacios vectoriales. Para cada índice i ∈ I se tiene un morfismo
inyectivo de k -espacios vectoriales ji : Ei ,→ ⊕i∈I Ei tomando como ji (ei ) (ei ∈ Ei ) el elemento de
la suma directa que tiene todos sus componentes iguales a 0 excepto el i -ésimo que vale ei . Así, si
se tiene únicamente una familia finita de espacios, la aplicación jm : Em ,→ E1 ⊕· · ·⊕En (m ≤ n)
es jm (em ) = (0, . . . , em , . . . , 0).
↑
m
Por tanto, para cada k -espacio vectorial Ē se tienen morfismos (1.1.5)

ji∗ : Homk (⊕i∈I Ei ), Ē) → Homk (Ei , Ē)

8 1.2 Suma directa y producto directo de k-espacios vectoriales

que definen, a su vez, un morfismo.

Homk (
L E ), Ē) → Q Hom (E , Ē)
i k i
i∈I i∈I

T 7→ (ji∗ (T ))i∈I = (T ◦ ji )i∈I

(nótese que no puede valorarse en

L Hom (E , Ē), excepto naturalmente cuando I es finito,
k i
i∈I
pues, fijado T, puede haber una infinidad de morfismos T ◦ ji no nulos).

Como en el caso del producto directo, se verifica:

Teorema 1.2.6. El morfismo anterior es un isomorfismo

Homk (
L E ), Ē) → Q Hom (E , Ē)
i
∼
k i
i∈I i∈I

Demostración. Sea (Ti )i∈I ∈

Q Hom (E , Ē) de modo que para cada i ∈ I, Ti es una
LT ) LT )
k i
i∈I
aplicación lineal de Ei en Ē. Se define una aplicación lineal ( : ( → Ē por
L P T (e ), lo que tiene sentido puesto que T (e ) ∈ Ē para todo i ∈ I y
i i
i∈I i∈I
( T )) ((e ) ) =
P T (e ) sólo tiene en realidad un número finito de sumandos no nulos ya que todos
i i i∈I i i i i
i∈I i∈I
la suma
L E . Comprobemos
i i
i∈I
los vectores e son nulos salvo a lo más un número finito pues (e ) ∈
i i i∈I i
i∈I
finalmente que la aplicación lineal
Q Hom (E , Ē) → Hom (L E ), Ē)
k i k i
i∈I

(T ) 7→ T
L i i∈I i
i∈I

i∈I

es inversa de la del enunciado, lo que permite concluir.

L E ), Ē) se cumple que L(T ◦ j ) = T pues para cualquier (e ) ∈

Para cada T ∈ Homk (
L E tenemos que L(T ◦ j )(e ) = ‚P T ◦ j Œ (e ) = T ◦ ‚P j Œ (e ) = T (e ) pues
i i i i∈I
i∈I i∈I

‚P Œ
i∈I
i
‚P Œ P i∈I
i i i∈I
i∈I
i i i∈I
i∈I
i i i∈I i i∈I

j (e ) = i j (e ) = (0, . . . , e , . . . ) = (e ) .
i i∈I i i i∈I i i i∈I

‚L Œ
i∈I i∈I i∈I

L
Recíprocamente, dadas (Ti )i∈I ∈ Homk ( Ei ), Ē) dado que es obvio ( Ti ) ◦ ji =
i∈I i∈I i∈I
(Ti )i∈I finalizamos.
1.3 Subespacios suplementarios 9

1.3. Subespacios suplementarios

Sea E un k -espacio vectorial y E1 , . . . , En subespacios de E. Se tiene entonces una aplicación

lineal:
E1 ⊕ · · · ⊕ En → E
(e1 , . . . , en ) 7→ e1 + · · · + en

cuya imagen es el subespacio suma E1 + · · · + En (??).

Cuando el epimorfismo E1 ⊕ · · · ⊕ En → E1 + · · · + En , (e1 , . . . , en ) 7→ e1 + · · · + en es
un isomorfismo, se dice que los subespacios E1 , . . . , En están en suma directa. Esto sucede
cuando cada vector e ∈ E1 + · · · + En se escribe e = e1 + · · · + en , ei ∈ Ei de modo único.
Del mismo modo, si (Ei )i∈I es una familia de subespacios de E, existe un morfismo
ME −→ E
i
i∈I

deducido de (1.2.6) y de las inmersiones Ei ,→ E y que para un número finito de subespacios

coincide con el anterior.
El criterio para saber cuando dos subespacios E1 , E2 de un k -espacio vectorial E están es
suma directa, viene dado por el siguiente:

Teorema 1.3.1. La sucesión:

f p
0 w E1 ∩ E2 w E1 ⊕ E2 w E1 + E2 w 0

donde p ((e1 , e2 )) = e1 + e2 , f (e) = (e, −e), es exacta. En consecuencia p es un isomorfismo

∼
p : E1 ⊕ E2 −→ E1 + E2 si y solo si E1 ∩ E2 = 0.

€ Š
Demostración. Es claro que p es epiyectiva y f inyectiva, luego hay que probar que Ker p = Im f
(??). Pero (p ◦ f )(e) = p (e, −e) = e + (−e) = 0, luego Im f ⊆ Ker p, y si (e1 , e2 ) ∈ Ker p con
e1 ∈ E1 , e2 ∈ E2 es e1 + e2 = 0 con lo que e2 = −e1 lo que prueba que e1 , e2 ∈ E1 ∩ E2 y que
(e1 , e2 ) = (e1 , −e1 ) = f (e1 ) ∈ Im f .

Definición 1.3.2. Se dice que dos subespacios E1 , E2 de un k -espacio vectorial E son

∼
suplementarios si E = E1 + E2 y si están en suma directa p : E1 ⊕ E2 −→ E1 + E2 = E. En
este caso se escribe E1 ⊕ E2 = E por abuso de notación.
10 1.3 Subespacios suplementarios

Cuando se considera una familia arbitraria (Ei )i∈I de subespacios, si el morfismo

LE −→ E
L
i
i∈I
descrito anteriormente es isomorfismo se escribe E ' E y se dice que E descompone en suma i
i∈I
directa de los subespacios Ei .

Definición 1.3.3. Sea A un anillo con unidad y k → A un morfismo de anillos de modo que
A es una k -álgebra (??,??). Se dice que A es una k -álgebra graduada si A descompone en
suma directa de subespacios A =
LA n (n ∈ N) y si cualquiera que sean an ∈ An , am ∈ Am ,
n≥0
se tiene que an · am ∈ An+m .

Ejemplo 1.3.4. El anillo de los polinomios en una variable, k[x], es una k -álgebra graduada.

En virtud de (1.3.1), E1 y E2 son suplementarios si E = E1 + E2 y E1 ∩ E2 = 0. Como ya se

ha observado, que E1 y E2 sean suplementarios, E = E1 ⊕ E2 , equivale a decir que todo vector
e ∈ E se escribe de modo único bajo la forma e = e1 + e2 con e1 ∈ E1 , e2 ∈ E2 .

€ Š
Dicho de otro modo, si un subespacio E1 ⊆ E tiene un suplementario E2 , existe una
proyección π1 : E ' E1 ⊕ E2 → E1 , π1 (e1 , e2 ) = e1 , que es la identidad sobre el subespacio
E1 .
Se tiene, de hecho, una sucesión exacta

j2 π1
0 w E2 w E1 ⊕ E2 w E1 w 0

donde j2 (e2 ) = (0, e2 ), π1 (e1 , e2 ) = e1 .

Más generalmente, resulta

i p
Teorema 1.3.5. Sea 0 w E0 w E w Ē w 0 una sucesión exacta de
morfismos de k-espacios vectoriales (??).

a) La condición necesaria y suficiente para que p : E −→ Ē tenga una sección, esto es,
un morfismo σ : Ē −→ E tal que p ◦ σ = Id, es que i : E 0 −→ E tenga un retracto,
esto es, un morfismo ρ : E −→ E 0 tal que ρ ◦ i = Id. Si esto sucede se dice que la
sucesión exacta escinde, y se verifica que i(E 0 ) y σ(Ē) son subespacios suplementarios,
por abuso de notación
E = i(E 0 ) ⊕ σ(Ē) = E 0 ⊕ Ē.

b) Si, recíprocamente, i(E 0 ) admite un subespacio suplementario E 00 ⊆ E, la sucesión exacta

escinde y existe una sección σ : Ē −→ E de p tal que E 00 = σ(Ē).
1.3 Subespacios suplementarios 11

Demostración. a) Sea σ : Ē → E una sección de p, p(σ(ē)) = ē para todo ē ∈ Ē. Para cada
e ∈ E se tiene que e − σ(p(e)) ∈ Ker p = Im i, luego existe un único vector (por ser i inyectiva)
e0 ∈ E 0 tal que e − σ(p(e)) = i(e0 ). Definimos ρ(e) = e0 , es decir, para cualquier e ∈ E, ρ(e) ∈ E 0
es el único vector que cumple la igualdad i(ρ(e)) = e − σ(p(e)).

ρ es lineal pues para cualesquiera vectores e1 , e2 ∈ E tales que ρ(e1 ) = e01 , ρ(e2 ) = e02
i es lineal
,se cumple i(e01 ) = e1 − σ(p(e1 )), i(e02 ) = e2 − σ(p(e2 )) y por tanto i(λe01 + µe02 )
€ Š € Š
=
0 0 σ,p son lineales
λi(e ) + µi(e ) = λ e
1 2 1 − σ(p(e )) + µ e
1 2 − σ(p(e ))
2 = (λe1 + µe2 ) − σ(p(λe1 + µe2 )).
En consecuencia ρ(λe1 + µe2 ) = λe01 + µe02 = λρ(e1 ) + µρ(e2 ).

ρ(i(e0 )) = e0 pues i(e0 ) − σ(p(i(e0 )) = i(e0 ) ya que p ◦ i = 0 por ser la sucesión exacta.

Supóngase ahora que existe un retracto ρ : E → E 0 de i : E 0 → E, ρ(i(e0 )) = e0 . Dado ē ∈ Ē

existe e ∈ E tal que p(e) = ē por ser p epiyectiva. Definimos σ : Ē → E por σ(ē) = e − (i ◦ ρ(e))
siendo e una de las antiimagenes anteriores.

Está bien definida pues si ẽ ∈ E es otra antiimagen de e, p(ẽ) = e, resulta que

e = p(e) = p(ẽ), luego e − ẽ ∈ Ker p = Im i por lo que existe e0 ∈ E 0 tal que e − ẽ = i(e0 ), o
sea, e = ẽ + i(e0 ) y así σ(e) = ẽ + i(e0 ) − i ◦ ρ(ẽ + i(e0 )) = ẽ + i(e0 ) − i ◦ ρ(ẽ) − i ◦ ρ(i(e0 )) =
ẽ + i(e0 ) − i ◦ ρ(ẽ) − i(e0 ) = ẽ − i ◦ ρ(ẽ).

Para todo ē ∈ Ē se cumple p ◦ σ(ē) = p(e − i ◦ ρ(e)) = p(e) − p ◦ i ◦ ρ(e) = p(e) = ē pues e
es una antiimagen de ē.

Por último, si la sucesión escinde, esto es, si existe una sección σ : Ē → E de p : E → Ē,
dado e ∈ E el vector ẽ = e − σ(p(e)) pertenece a Im i, como ya hemos visto con lo que
e = ẽ + σ(p(e)) ∈ i(E 0 ) + σ(Ē), esto es, E = i(E 0 ) + σ(Ē), y por otra parte i(E 0 ) ∩ σ(Ē) = 0
ya que si un vector σ(ē) ∈ i(E 0 ) = Ker p con ē ∈ Ē ha de ser 0 = p(σ(ē)) = ē, luego σ(ē) = 0.

b) Si se tiene E = i(E 0 ) ⊕ E 00 , la proyección natural π : E → E 00 sobre el segundo factor

se anula sobre i(E 0 ) = Im i, luego por (??.??) define una aplicación σ : Ē → E 00 ⊆ E tal que
π = σ ◦ p, es decir, σ(Ē) = σ(p(E)) = π(E) = E 00 , y que es la sección de p buscada pues para
cualquier ē = p(e) ∈ Ē, siendo e = (e0 , e00 ) una antiimagen de ē.

π=σ◦p por definición de π

(p ◦ σ)(ē) = (p ◦ σ)(p(e)) = p(π(e)) = p(0, e00 ) = p(e0 , e00 ) = ē
€
La penúltima igualdad se debe a que p(e0 , e00 ) = p (e0 , 0) + (0, e00 )
Š p es lineal
= p(e0 , 0) + p(0, e00 ) =
p(0, e00 ) ya que como la sucesión es exacta Im i = Ker p con lo que p(e0 , 0) = p(i(e0 )) = 0.
12 1.3 Subespacios suplementarios

Vamos a demostrar finalmente el teorema de existencia de subespacios suplementarios

haciendo uso del lema de Zorn. En el capítulo de dimensión se dará otra demostración del
mencionado teorema, válida únicamente para los espacios vectoriales de dimensión finita, pero
independiente del lema de Zorn.

Teorema 1.3.6. Todo subespacio de un k-espacio vectorial posee un subespacio suplementario.

Demostración. Sea E un k-espacio vectorial y E 0 ⊆ E un subespacio. Consideremos el conjunto

X = {E 00 ⊆ E subespacios vectoriales tales que E 0 ∩ E 00 = 0}

Dicho conjunto está parcialmente ordenado por inclusión y toda cadena E1 ⊆ E2 ⊆ E3 ⊆ . . .

de elementos de X, esto es Ei ∩ E 0 = 0, tiene una cota superior o último elemento, que es la
unión Ẽ =
SE i de todos los subespacios que la forman puesto que Ẽ posee una estructura de
i≥1
subespacio vectorial de E.
En efecto, dados λ, µ ∈ k, e1 , e2 ∈ Ẽ existen Ei , Ej que pertenecen a la unión que define
Ẽ tales que e∈ Ei , e2 ∈ Ej . Si suponemos, por ejemplo, que i < j resulta, por estructura de
la cadena que e1 , e2 ∈ Ej y dado que Ej es un subespacio vectorial de E concluimos que
λe1 + µe2 ∈ Ej ⊆ H.
Además E 0 ∩ H = 0 ya que si E 0 ∩ H 6= 0 para algún índice i se cumple que E 0 ∩ Ei 6= 0 en
contra de la hipótesis de los elementos de X. Resulta pues del lema de Zorn aplicado a X que
este conjunto tiene elementos maximales, lo que quiere decir que existen subespacios E 00 ⊂ E
tales que E 0 ∩ E 00 = 0 y que no están contenidos estrictamente en ningún otro que verifique
la misma propiedad. Sea, pues, E 00 uno de tales subespacios. Veamos que E = E 0 + E 00 con
lo que E 00 será un suplementario de E 0 ya que E 0 ∩ E 00 = 0. Si existiera un vector e ∈ E que
no pertenezca a E 0 + E 00 , el subespacio hei + E 00 verificaría que E 0 ∩ hei + E 00 = 0 ya que si
existiese e0 ∈ E 0 tal que e0 = hei + E 00 existen λ 6= 0 ∈ k, e00 ∈ E 00 tales que e0 = λe + e00 ,
de donde e = λ1 (e0 − e00 ) ∈ E 0 + E 00 en contraposición de la elección del vector e; y contendría
estrictamente a E 00 , contra la maximalidad de éste. Por tanto un tal vector no puede existir con
lo que se concluye.

Corolario 1.3.7. Toda sucesión exacta de morfismos de k-espacios vectoriales escinde.

Demostración. Se deduce de (1.3.6) y 1.3.5.(2).

1.3 Subespacios suplementarios 13

Este párrafo es válido para los módulos sobre anillos con la excepción de teorema (1.3.6) y
su corolario.