Base del espacio vectorial cociente

Proporcionamos un teorema que permite calcular una base del espacio vecto-
rial cociente y dos ejemplos, el primero es una aplicación práctica del mismo
y el segundo su demostración.
Teorema 1. Sea E un espacio vectorial sobre el cuerpo K de dimensión n
y sea F ⊂ E un subespacio vectorial. Supongamos que BF = {u1 , . . . , ur }
es base de F y que BE = {u1 , . . . , ur , ur+1 , . . . , un } es base de E. Entonces,
una base de E/F es BE/F = {ur+1 + F, . . . , un + F }.

Se concluye pues que dim E/F = dim E − dim F , igualdad válida también
para los casos r = 0 o r = n.

1. Se considera el subespacio de R4 de ecuaciones


x1 + x2 − x3 + 2x4 = 0
x1 − x2 + 3x3 + 6x4 = 0

(i ) Hallar una base de F .

(ii ) Hallar una base de R4 /F .
(iii ) Hallar las coordenadas del vector (1, −3, 2, 6) + F en la base hallada en
el apartado anterior.

Resolución (i ) Usando el conocido método para el cálculo de una base de un

subespacio dado por sus ecuaciones cartesianas, obtenemos fácilmente una
base de F : BF = {(−1, 2, 1, 0), (−4, 2, 0, 1)}.

(ii ) Se verifica
 
−1 2 1 0
−4 2 0 1
rg 
 0
=4
0 1 0
0 0 0 1
Usando el teorema anterior concluimos que una base de R4 /F es

BR4 /F = {(0, 0, 1, 0) + F, (0, 0, 0, 1) + F }

(iii ) Expresemos el vector dado como combinación lineal de la base hallada

en el apartado anterior. Tenemos

1
 (1, −3, 2, 6) + F = λ1 [(0, 0, 1, 0) + F ] + λ2 [(0, 0, 0, 1) + F ] ⇔

1, −3, 2, 6) + F = (0, 0, λ1 , λ2 ) + F ⇔

(1, −3, 2 − λ1 , 6 − λ2 ) ∈ F ⇔

(1, −3, 2 − λ1 , 6 − λ2 ) ∈ L[(−1, 2, 1, 0), (−4, 2, 0, 1)]

La última condición equivale a que

 
−1 2 1 0
rg −4 2 0 1 =2
1 −3 2 − λ1 6 − λ2
Triangulando, obtenemos
 
−1 2 1 0
rg  0 −6 −4 1 =2
0 0 6λ1 − 22 6λ2 − 35
Las coordenadas pedidas son por tanto
 
11 35
(λ1 , λ2 ) = ,
3 6

2. Demostrar el teorema anterior.

Resolución Veamos que efectivamente BE/F = {ur+1 + F, . . . , un + F } es
base de E/F .

(a) BE/F es sistema libre:

λr+1 (ur+1 + F ) + . . . + λn (un + F ) = 0 + F ⇒

(λr+1 ur+1 + . . . + λn un ) + F = 0 + F ⇒
λr+1 ur+1 + . . . + λn un ∈ F ⇒
∃λ1 , . . . , λr ∈ K : λr+1 ur+1 + . . . + λn un = λ1 u1 + . . . + λr ur ⇒
−λ1 u1 + . . . − λr ur + λr+1 ur+1 + . . . + λn un = 0

Al ser BE = {u1 , . . . , ur , ur+1 , . . . , un } sistema libre se concluye que todos

los λi son nulos y en particular λr+1 = . . . = λn = 0

(b) BE/F es sistema generador de E/F :

Sea x + F ∈ E/F . Como x ∈ E y BE es sistema generador, existen escalares

x1 , . . . , xn tales x = x1 u1 + . . . + xn . Tenemos:

2
 x + F = (x1 u1 + . . . + xn un ) + F =
[(x1 u1 + . . . + xr ur ) + F ] + [(xr+1 ur+1 + . . . + xn un ) + F ] =
( al ser (x1 u1 + . . . + xr ur ) ∈ F )
[0 + F ] + [(xr+1 ur+1 + . . . + xn un ) + F ] =
(xr+1 ur+1 + . . . + xn un ) + F =
xr+1 (ur+1 + F ) + . . . + xn (un + F )

Es decir, BE/F es sistema generador de E/F . Para el caso r = 0 tenemos

F = {0} y E/F = E. Para el caso r = n tenemos F = E y E/F = {0}. Es
decir, en cualquier caso dim E/F = dim E − dim F. 

Autor: Fernando Revilla