Capítulo 1

Espacios vectoriales. Introducción

1.1. Espacios vectoriales

Definición 1.1.1. Sea k un cuerpo y (E, +) un grupo abeliano. Una estructura de k -espacio
vectorial o de espacio vectorial sobre k en E es una aplicación:

k×E → E
(λ, e) 7→ λ · e

que verifica:

1. λ · (e + e0 ) = λ · e + λ · e0 para cualesquiera λ ∈ k, e, e0 ∈ E.

2. (λ + µ) · e = λ · e + µ · e para cualesquiera λ, µ ∈ k, e ∈ E.

3. (λ · µ) · e = λ · (µ · e) para cualesquiera λ, µ ∈ k, e ∈ E.

4. 1 · e = e para todo e ∈ E.

Cuando se considere un grupo abeliano (E, +) dotado de una estructura de k -espacio

vectorial se dirá simplemente que E es k -espacio vectorial. Los elementos de E se denominan
vectores y los de k escalares.
Obsérvese que la definición anterior no utiliza que los elementos no nulos de k sean invertibles
con lo que puede darse una definición análoga de “espacio vectorial sobre un anillo con unidad A”
o, suprimiendo la condición (4), puede darse del mismo modo la definición de “espacio vectorial
sobre un anillo A”. Los “espacios vectoriales sobre un anillo A” se denominan A-módulos.
Según esta terminología, los espacios vectoriales serían los módulos sobre un cuerpo.

1
2 1.1 Espacios vectoriales

Si E es un k -espacio vectorial, la condición (1) de la definición anterior dice que para todo
escalar λ ∈ k la aplicación
hλ : E → E
e 7→ hλ (e) = λ · e

que se llama homotecia de razón λ es un morfismo de grupos.

Se tiene pues una aplicación h : k → Endgrupo (E), λ 7→ hλ . Las condiciones (2), (3),
(4) dicen que h es un morfismo de anillos con unidad. Así pues, cada estructura de k -espacio
vectorial definida sobre el grupo abeliano E da lugar a un morfismo de anillos con unidad h :
k → End(E). Recíprocamente, todo morfismo de anillos con unidad h : k → End(E), λ 7→ hλ ,
define una estructura de k -espacio vectorial sobre E en el sentido de la definición (1.1.1) sin
más que tomar como “producto por escalares” la aplicación k × E → E, (λ, e) 7→ hλ (e). En
conclusión:

Definición 1.1.2. Sea k un cuerpo y (e, +) un grupo abeliano. Una estructura de k -espacio
vectorial en E es un morfismo de anillos con unidad k → Endgrupo (E).

Ejemplo 1.1.3.

a) Todo grupo abeliano (G, +) es un módulo sobre el anillo Z con el siguiente producto por
escalares Z × E → E,
8
>
>
>
<e + · · · + e z veces si z > 0
(z, e) 7→ z · e = >0
>
>
:−(e + · · · + e)
si z = 0
|z| veces si z < 0

n veces
b) Sea A un anillo. El producto abeliano An = A× ··· ×A es un A-módulo con el
producto de escalares definido por a · (a1 , . . . , an ) = (a · a1 , . . . , a · an ) con a, ai ∈ A.

c) Sea φ : A → B un morfismo de anillos con unidad. Entonces puede dotarse a B de una

estructura de A-módulo vía φ tomando como producto por escalares la aplicación

A×B → B
def
(a, b) 7→ a · b = φ(a) b

Se dice que B es una A-álgebra (vía φ).

1.1 Espacios vectoriales 3

d ) El conjunto E = {f : R → R tal que f es una aplicación} es un R-espacio vectorial con

las definiciones de suma y producto por escalares siguientes: (f + g)(x) = f (x) + g(x),
(λ · f )(x) = λ f (x) para todo f, g ∈ E, x ∈ R, λ ∈ R.

Definición 1.1.4. Sea k un cuerpo y E un k -espacio vectorial. Se dice que un subgrupo aditivo
E 0 ⊂ E es un subespacio vectorial si es cerrado respecto al producto de escalares, esto es, si
para todo λ ∈ k y todo e ∈ E 0 , se tiene λ · e ∈ E 0 .

Teorema 1.1.5. Sea k un cuerpo y E un k-espacio vectorial. La condición necesaria y

suficiente para que un subconjunto E 0 ⊂ E sea un subespacio vectorial es que sea cerrado
por combinaciones lineales, esto es, para cualesquiera que sean λ, µ ∈ k, e, e0 ∈ E 0 se cumple
λe + µe0 ∈ E 0 .

Demostración. Si E 0 ⊆ E es un subespacio, es cerrado por sumas, ya que es un subgrupo

aditivo, y por producto por escalares según (1.1.4), luego lo es por combinaciones lineales. Si,
recíprocamente, E 0 es cerrado por combinaciones lineales, lo es en particular por producto por
escalares (tomando µ = 0 en la condición del enunciado) y también es un subgrupo aditivo ya
que si e, ē ∈ E 0 e − ē = 1 · e + (−1)ē, luego, por hipótesis, e − ē ∈ E 0 . Con ello se concluye.

Ejemplo 1.1.6.

a) Sea k un cuerpo, E un k -espacio vectorial y sean (e1 , . . . , en ) vectores de E. El subconjunto

he1 , . . . , en i = {e ∈ E tales que e = λ1 e1 + · · · + λn en para ciertos escalares λi ∈ k} de las
combinaciones lineales de e1 , . . . , en , es un subespacio de E, llamado espacio generado
por (e1 , . . . , en ). Más generalmente, si (ei )i∈I es una familia, eventualmente infinita, de
vectores de E (donde I es un conjunto de índices), el subconjunto h(ei )i∈I i = {e ∈ E
tales que e = λi1 ei1 + · · · + λin ein para ciertos índices i1 , . . . , in de I y ciertos escalares
λi1 , . . . , λin de k} de las combinaciones lineales de un número finito de vectores de la
familia considerada, es también un subespacio vectorial.

b) Sean E10 , . . . , En0 subespacios de un k -espacio vectorial. La intersección E10 ∩ · · · ∩ En0

es también un subespacio de E. Asimismo, la suma de E10 , . . . , En0 , definida como el
subconjunto E10 + · · · + En0 = {e ∈ E tales que e = e01 + · · · + e0n para ciertos e01 ∈
E10 , . . . , e0n ∈ En0 } es un subespacio de E. De modo más general, si (ei )i∈I es una familia de
subespacios de E, el subconjunto suma
P Ei0 = {e ∈ E tales que e = e0i1 + · · · + eih para
i∈I
4 1.1 Espacios vectoriales

ciertos índices i1 , . . . , in de I y ciertos vectores ei1 ∈ Ei1 , . . . , eih ∈ Eih } es un subespacio

de E. Obsérvese que he1 , . . . , en i = he1 i + · · · + hen i y que h(ei )i∈I i =
P
i∈I hei i, con las
notaciones del ejemplo anterior.

Antes de demostrar el siguiente teorema se aconseja repasar la teoría de retículos del apédice
(??)

Teorema 1.1.7. Si E es un k-espacio vectorial, el conjunto de los subespacios vectoriales de E

está ordenado de modo natural por inclusión E 0 ≤ E 00 ⇔ E 0 ⊆ E 00 . Respecto de dicho orden es
un retículo modular no distributivo, atómico, complementado, con primer y último
elemento.

Demostración. Para constatar que dicho conjunto tiene estructura de retículo hemos de probar
que dados dos subespacios cualesquiera E 0 , E 00 exiten sup{E, E 0 } e ı́nf{E 0 , E 00 }. El supremo de
dichos elementos es el subespacio vectorial E 0 + E 00 ya que, obviamente E 0 , E 00 ⊆ E 0 + E 00 y si V
es un subespacio vectorial que contiene a E 0 y E 00 contiene al subespacio de sus combinaciones
lineales, o sea, los elementos del tipo λe0 + µe00 con λ, µ ∈ k, e0 ∈ E 0 , e00 ∈ E 00 , y por tanto,
E 0 + E 00 ⊆ V . Un razonamiento similar prueba que E 0 ∩ E 00 es el ínfimo de los subespacios E 0
y E 00 .
No se cumple la propiedad distributiva

E 0 ∩ (E 00 + E 000 ) = (E 0 ∩ E 00 ) + (E 0 ∩ E 000 )

E 0 + (E 00 ∩ E 000 ) = (E 0 + E 00 ) ∩ (E 0 + E 000 )

pero si la propiedad modular: Si E 0 ⊆ E 00 entonces E 0 + (E 00 ∩ E 000 ) = E 00 ∩ (E 0 + E 000 ), para

cualesquiera subespacios E 0 , E 00 , E 000 ⊆ E.
Veamos esta última igualdad mediante una doble inclusión. Sea un vector e ∈ E 0 +(E 00 ∩E 000 ),
existen vectores e0 ∈ E 0 , ē ∈ E 00 ∩ E 000 tales que e = e0 + ē, en consecuencia e ∈ E 00 pues
e0 ∈ E 0 ⊆ E 00 ,ē ∈ E 00 y como E 00 es un subespacio vectorial es cerrado por combinaciones
lineales, e = e0 + ē ∈ E 00 . Obviamente e = e0 + ē ∈ E 0 + E 000 , por elección de los vectores
sumandos, luego e = e0 + ē ∈ E 00 ∩ (E 0 + E 000 ).
Consideremos ahora un vector e ∈ E 00 ∩(E 0 +E 000 ). Por definición de subespacio suma existen
e0 ∈ E 0 , e000 ∈ E 000 tales que e = e0 + e000 , de donde e000 = e − e0 ∈ E 00 pues e ∈ E 00 por hipótesis,
1.1 Espacios vectoriales 5

e0 ∈ E 0 ⊆ E 00 y E 00 es cerrado por combinaciones lineales por ser subespacio. En consecuencia

e = e0 + e000 ∈ E 0 + (E 00 ∩ E 000 ).
El primer elemento es el subespacio 0 y el último elemento es el subespacio total E. El
teorema (??) de la página ?? demuestra la existencia del subespacio complementario de un
subespacio vectorial dado.
Es un retículo atómico donde cada átomo son los subespacios de dimensión 1 (??), es decir,
subespacios de la forma hei siendo e cualquier vector del k -espacio vectorial, y si E 0 ⊂ E es
un subespacio tal que E 0 = he1 , e2 , . . . , ek i para ciertos vectores e1 , e2 , . . . , ek ∈ E tenemos que
E 0 = he1 i + · · · + hek i, o sea, suma de átomos.

Definición 1.1.8. Una aplicación T : E → Ē es un morfismo de k -espacios vectoriales

o una aplicación lineal(sobre k ) si es morfismo de grupos aditivos y si es compatible con el
producto por escalares, esto es:

T (e + e0 ) = T (e) + T (e0 ); T (λ · e) = λ · T (e) con e, e0 ∈ E, λ ∈ k

Es claro que las condiciones anteriores son equivalentes a que T conserve combinaciones
lineales, esto es, a que verifique T (λe + µe0 ) = λT (e) + µT (e0 ) para todo e, e0 ∈ E, λ, µ ∈ k.

Teorema 1.1.9. Sea T : E → Ē un morfismo de k-espacios vectoriales.

a) Si E 0 ⊆ E es un subespacio vectorial de E, T (E 0 ) lo es de Ē. En particular, Im(T ) = T (E)

es un subespacio de Ē.

b) Si E 00 ⊆ Ē es un subespacio vectorial de Ē, T −1 (E 00 ) lo es de E. En particular,

ker T = T −1 (0) es un subespacio vectorial de E.

Demostración. a) Sean T (e01 ), T (e02 ) vectores de T (E 0 ), siendo e01 , e02 ∈ E 0 . Cualesquiera que sean
por ser T lineal
los escalares λ, µ ∈ k es λ T (e01 )+µ T (e02 ) = T (λ e01 +µ e02 ). Por (1.1.5) λ e01 +µ e02 ∈ E 0 ,
luego λ T (e01 )+µ T (e02 ) ∈ T (E 0 ), lo que prueba, de nuevo por (1.1.5), que T (E 0 ) es un subespacio.
b) Es análogo.

Teorema 1.1.10. La composición de aplicaciones lineales es otra aplicación lineal.

Demostración. Trivial
6 1.2 Espacio cociente y teorema de factorización canónica

Definición 1.1.11. Un isomorfismo de k -espacios vectoriales es un morfismo de k -espacios

∼
vectoriales inyectivo y epiyectivo, T : E → Ē. En este caso la aplicación inversa T −1 : Ē → E
es también un isomorfismo de k -espacios vectoriales.

1.2. Espacio cociente y teorema de factorización canónica

Sea k un cuerpo, E un k -espacio vectorial y E 0 ⊆ E vectorial. En particular, E 0 es un

subgrupo aditivo de E, luego el conjunto cociente E/E 0 de respecto de la relación de equivalencia
definida por e ∼ ē ⇔ e − ē ∈ E 0 tiene una estructura de grupo abeliano de manera que la
aplicación de paso al cociente π : E → E/E 0 es un morfismo de grupos, esto es, se define
pi(e + ē) = π(e) + π(ē).
Podemos preguntarnos, del mismo modo que se hace al considerar los grupos cocientes en
grupos y anillos, si es posible dotar al grupo abeliano E/E 0 de una estructura de k -espacio
vectorial de manera que π : E → E/E 0 sea una aplicación lineal.
Si π ha de ser una aplicación lineal, la única definición posible para λ · π(e) es π(λ · e).

Teorema 1.2.1. La aplicación k × E/E 0 → E/E 0 , (λ, π(e)) 7→ π(λ e) está bien definida y dota
a E/E 0 de una estructura de k-espacio vectorial de manera que π : E → E/E 0 es una aplicación
lineal de núcleo E 0 , ker π = E 0 , Se dice entonces que E/E 0 es el k-espacio vectorial cociente de
E por el subespacio E 0 .

Demostración. Si π(e) = π(ē) resulta e − ē ∈ E 0 , luego λe − λē = λ(e − ē) ∈ E 0 por ser E 0 .
En consecuencia, π(λe) = π(λē), lo que prueba que la definición λ π(e) = π(λ e) no depende
del representante e elegido en la clase π(e). Falta ahora comprobar que con tal producto por
escalares el grupo abeliano E/E 0 es un k -espacio vectorial, pues entonces π : E → E/E 0 es
lineal por la propia definición del producto por escalares en E/E 0 .
Veamos que se cumplen las propiedades que definen la condición de k -espacio vectorial. Sean
λ, µ ∈ k; π(e), π(ē) ∈ E/E 0 .

λ(π(e) + π(ē)) = λπ(e + ē) = π(λ(e + ē)) = π(λ e + λ ē) = π(λ e) + π(λ ē) = λπ(e) + λπ(ē)

donde la primera y cuarta igualdad son por definición de suma en E/E 0 , la segunda y quinta
por definición de producto por escalares en E/E 0 y la tercera por ser E un k -espacio vectorial.
1.2 Espacio cociente y teorema de factorización canónica 7

De forma similar obtenemos:

(λ + µ)π(e) = π((λ + µ)e) = π(λ e + µ e) = π(λ e) + π(µ e) = λπ(e) + µπ(e)

(λ µ)π(e) = π ((λ µ)e) = π (λ(µ e)) = λπ(µ e) = λ (µ (π(e)))

1π(e) = π(1 e) = π(e)

Sea ahora T : E → Ē un morfismo de k -espacios [Link] ker T es un subespacio

de E (1.1.9) luego tiene sentido hablar del k -espacio vectorial cociente E/ ker T .

Teorema 1.2.2 (factorización canónica). Existe un isomorfismo de k-espacios vectoriales

∼
ϕ : E/ ker T −→ Im T de modo que el diagrama
T
E w Ēu
π i
u ϕ y
∼
E/ ker T w Im T

es conmutativo, esto es, T = i ◦ ϕ ◦ π, donde π es el morfismo epiyectivo de paso al cociente e

i la inclusión natural.

Demostración. T es en particular un morfismo de grupos aditivos, luego por el teorema de

factorización canónica para un morfismo de grupos, existe un isomorfismo de grupos aditivos
∼
ϕ : E/ ker T −→ Im T definido por ϕ(π(e)) = T (e) tal que T = i ◦ ϕ ◦ π. Basta comprobar que
ϕ es lineal. En efecto, si λ ∈ k y e ∈ E se tiene

ϕ(λ π(e)) = ϕ(π(λ e)) = T (λ e) = λT (e) = λϕ(π(e))

por definición de ϕ y por ser π y T lineales, con lo que se concluye.

De modo similar se prueba el siguiente

Teorema 1.2.3. Sean E, Ē k-espacios vectoriales, E 0 ⊆ E, Ē 0 ⊆ Ē subespacios y

π : E → E/E 0 , π̄ : Ē → Ē/Ē 0 los morfismos de paso al cociente y sea T : E → Ē un morfismo
de k-espacios vectoriales. La condición necesaria y suficiente para que exista un morfismo de
k-espacios vectoriales T̄ : E/E 0 → Ē/Ē 0 tal que π̄ ◦ T = T̄ ◦ π es que T (E 0 ) ⊆ Ē 0 .

Demostración. Si existe T̄ : E/E 0 → Ē/Ē 0 tal que π̄ ◦ T = T̄ ◦ π, para todo e0 ∈ E 0 se tiene

π̄ (T (e0 )) = T̄ (π(e0 )) = T̄ (0) = 0, luego T (e0 ) ∈ ker π̄ = Ē 0 . Si, recíprocamente, T (E 0 ) ⊆ Ē 0 ,
8 1.2 Espacio cociente y teorema de factorización canónica

sea T̄ : E/E 0 → Ē/Ē 0 la aplicación definida por T̄ (π(e)) = π̄(T (e)). T̄ está bien definida, pues
si π(e) = π(ẽ), es e − ẽ ∈ E 0 , con lo que, por la hipótesis, se tiene T (e) − T (ẽ) = T (e − ẽ) ∈ Ē 0
y por tanto π̄(T (e)) = π̄(T (ẽ)).
Un sencillo cálculo permite comprobar que T̄ es lineal. En efecto, para cualesquiera λ, µ ∈ k;
e, ē ∈ E se tiene

π̄, T son lineales

T̄ (λ π(e) + µ π(ē)) = T̄ (π(λ e + µ ē)) = π̄(T (λ e + µ ē)) =

= λ π̄(T (e)) + µ π̄(T (ē)) = λ T̄ (π(e)) + µ T̄ (π(ē))

Corolario 1.2.4. Sea T : E → Ē una aplicación lineal de k-espacios vectoriales y E 0 ⊆ E un

subespacio. La condición necesaria y suficiente para que T factorice por E/E 0 , esto es, para que
exista una aplicación lineal T̄ : E/E 0 → Ē tal que el diagrama
π
E w E/E 0



T
T̄
u
Ē

se conmutativo, es que T se anule sobre E 0 , E 0 ⊆ ker T .

Demostración. Se aplica el teorema anterior tomando Ē 0 = 0 .

Teorema 1.2.5. Sea E un k-espacio vectorial, E 0 ⊆ E un subespacio y π : E → E/E 0 el

morfismo de paso al cociente. La aplicación

{Subespacios de E/E 0 } → {Subespacios de E que contienen a E 0 }

Ē 7→ π −1 (Ē)

, es un isomorfismo de retículos.

Demostración. Comprobemos que la aplicación

{Subespacios de E que contienen a E 0 } → {Subespacios de E/E 0 }

E 00 ⊆ E 7→ π(E 00 ) ⊆ E/E 0

es la inversa de la del enunciado, y que ambas conservan el orden.

Es fácil comprobar que tanto π(E 00 ) como π −1 (Ē) son subespacios vectoriales y que este
último contiene a E 0 ya que como 0̄ ∈ Ē entonces E 0 = Ker π = π −1 (0) ⊆ π −1 (Ē).
1.3 Sucesiones exactas de aplicaciones lineales 9
€ Š
Obviamente π π −1 (Ē) = Ē. Por otra parte, π −1 (π(E 00 )) = E 00 + E 0 ya que π −1 (π(E 00 ))
contiene a E” (trivial) y a Ker π = E 0 , luego contiene a E 00 + E 0 ; por otra parte, dado
e ∈ π −1 (π(E 00 )) resulta que π(e) ∈ π(E 00 ), luego existe e00 ∈ E 00 tal que π(e) = π(e00 ) de
donde e − e00 ∈ Ker π por lo que e = e00 + v con v ∈ Ker π = E 0 . Si suponemos que el subespacio
vectorial E 00 contiene a E 0 resulta que E 00 +E 0 = E 00 y concluimos que las aplicaciones anteriores
son inversas.
Sean E1 , E2 dos subespacios de E que contienen a E 0 tales que E1 ⊆ E2 . Aplicando el
morfismo de paso al cociente inferimos que π(E1 ) ⊆ π(E2 ) ya que si ē ∈ π(E1 ) implica que
π −1 (ē) ∈ E1 ⊆ E2 luego ē = π(π −1 (ē) ∈ E2 .
Sean ahora Ē1 , Ē2 dos subespacios de E/E 0 tales que Ē1 ⊆ Ē2 . Si e ∈ π −1 (Ē1 ) resulta que
π(e) ∈ ππ −1 (Ē1 ) = Ē1 ⊆ E2 luego π −1 (π(e)) = e ∈ π −1 (Ē2 ), de donde π −1 (Ē1 ) ⊆ π −1 (Ē2 ). Del
párrafo anterior y este concluimos que ambas aplicaciones conservan el orden y terminamos la
demostración.

1.3. Sucesiones exactas de aplicaciones lineales

Sea k un cuerpo. Una sucesión de morfismos de k-espacios vectoriales:
Ti−1 Ti
... w Ei−1 w Ei w Ei+1 w ...

es exacta en la componente Ei si lo es como sucesión de morfismos de grupo, esto es, si

Im Ti−1 = Ker Ti , y es exacta si lo es en cada componente.

Ejemplo 1.3.1. La exactitud de una sucesión exacta corta

i p
0 w E0 w E w E 00 w 0

tal que 0 −→ E 0 es el morfismo que aplica el espacio nulo o vector nulo en el cero del k -espacio
vectorial E 0 y E 00 −→ 0 es el morfismo que aplica todos los elementos en el vector nulo, significa
que:

1. i es inyectiva pues Im(0 −→ E 0 ) = 0 = Ker i, luego i establece un isomorfismo

∼
i : E 0 → i(E 0 ) de E 0 con el subespacio i(E 0 ) de E.

2. Im i = Ker p, con lo que E 0 ≈ i(E 0 ) = Ker p.

10 1.3 Sucesiones exactas de aplicaciones lineales

3. p es epiyectiva pues Im p = ker(E 00 −→ 0) = E 00 . Se sigue del teorema de factorización

∼
canónica (1.2.2) que p induce un isomorfismo p̄ : E/E 0 → E 00 .

Teorema 1.3.2. a) Dado un diagrama conmutativo de aplicaciones

i p
0 w E0 w E w E 00 w 0

T0 T
u j
u
π
0 w F 0 w F w F 00 w 0

,es decir, T ◦ i = j ◦ T 0 cuyas filas son sucesiones exactas, existe una aplicación lineal
T 00 : E 00 → F 00 que completa el diagrama, esto es, tal que T 00 ◦ p = π ◦ T .

i p
b) Sea 0 −→ E 0 −→ E −→ E 00 −→ 0 una sucesión exacta de aplicaciones lineales y
T : E −→ F una aplicación lineal. La condición necesaria y suficiente para que T factorize
por E 00 , esto es, para que exista un diagrama conmutativo:
i p
0 w E0 w E w E 00 w 0



T
T̄
u
F

es que T se anule sobre la imagen de i, T ◦ i = 0.

Demostración. a) Se sigue del ejemplo anterior que E 00 ≈ E/E 0 , F 00 ≈ F/F 0 por ser
las sucesiones en fila exactas. En virtud de (1.2.3) para que exista una aplicación lineal
T 00 : E 00 −→ F 00 tal que T 00 ◦ p = π ◦ T es que T (i(E 0 )) ⊆ j(F 0 ), lo cual se cumple ya que
para todo e0 ∈ E 0 , T (i(e0 )) = j(T 0 (e0 )) ∈ j(F 0 ).
b)Análogamente, dado que del ejemplo anterior E 00 ≈ E/E 0 , en virtud de (1.2.3) para que exista
una aplicación lineal T̄ : E 00 −→ F 00 que haga conmutativo el diagrama es necesario y suficiente
que T se anule sobre i(E 0 ).