SUMAS DE SUBESPACIOS

En este apunte trabajaremos el concepto de sumas de subespacios.

La suma de subespacios es el subespacio generado por la unin de todos
los sumandos.

Denicin 1. Sea V un K espacio vecorial y sean S y T subespacios.

Denimos la suma de S y T como el subespacio S + T = hS, T i. En

el caso en que S T = {0} decimos que la suma es directa y notamos
S + T = S T.

Observacin 2. Resulta claro que S + T = {s + t V / s S, t T } ya

que el miembro de la derecha es un subespacio y cualquier subespacio
que contenga a S y a T contiene a todos los vectores de la forma
s + t (s S, t T ). Esto demuestra el hecho de que la unin de un
conjunto de generadores de S con un conjunto de generadores de T es
un conjunto de generadores de la suma.

Denicin 3. Sean B = {v1 , v2 , . . . vn } y B 0 = {w1 , w2 , . . . wm } con-

juntos ordenados. Llamamos unin ordenada de B y B 0 a la sucesin

{v1 , v2 , . . . vn , w1 , w2 , . . . wm }. Esta denicin puede extenderse a varios subespacios inductivamente.
Observacin 4. Notar que en una unin ordenada puede aparecer el
mismo elemento ms de una vez.

Proposicin 5. Sea V un K espacio vectorial de dimensin nita y

sean S
1.
2.
3.

y T subespacios. Las siguientes armaciones son equivalentes

S + T = S T.
dim(S + T ) = dim(S) + dim(T ).
La unin ordenada de una base de S y una base de T es base
de S + T .
4. Para todo v S + T existen nicos s S y t T tales que
v = s + t.

Demostracin. (1)(2): Por el teorema de la dimensin tenemos que

dim(S +T ) = dim(S)+dim(T )dim(S T ). Luego, como S T = {0}
se tiene (2).
(2)(3): Sean BS y BT bases de S y T respectivamente. Por la
observacin anterior sabemos que B = BS BT es un conjunto de
generadores de S + T y por lo tanto dim(S + T ) #(B). Por otro lado
#(B) #(BS ) + #(BT ) = dim(S) + dim(T ) = dim(S + T ). Luego
dim(S + T ) = #(B) y, como B genera S + T , resulta base.
(3)(4): Supongamos que s + t = s0 + t0 tenemos entonces que
ss0 = t0 t. Si ss0 = t0 t 6= 0 entonces es linealmente independiente,
1

por lo que puede extenderse tanto una base de S como a una de T .

Conseguimos as una base de S y otra de T cuya unin ordenada no
es base de S + T (est el mismo elemento dos veces), que resulta una
contradiccin. Luego s = s0 y t = t0 .
(4)(1): Sea v S T , tenemos que 0S + vT = vS + 0T , como
la escritura es nica, sigue que v = 0.


Observacin 6. En caso de que V sea de dimensin innita (1), (3) y

(4) siguen siendo equivalentes e implican (2).
Deniremos ahora suma y suma directa de varios subespacios.

Denicin 7. Sean V un K espacio vectorial y {Si / i I} una familia

de subespacios de V. Denimos el subespacio suma como
X

n
X
Si = hSi / i Ii = {
vij / vij Sij , n N}
j=1

iI

Proposicin 8. Sea V un K espacio vectorial de dimensin nita y

sean S , S2 , . . . Sn subespacios. Las siguientes armaciones son equivalentes

P
1. Si Pj6=i Sj = {0}
para todo i (1 i n).
Pn
n
2. dim( i=1 Si ) = i=1 dim(Si ).
3. Si para cada i, (1 i n), Bi es base
P de Si , la unin ordenada
de los Bi , (1 Pi n), es base de ni=1 Si .
4. Para todoPv ni=1 Si existen nicos vi Si , (1 i n), tales
que v = ni=1 vi .
Demostracin. (1)(2): (Por induccin en el nmero de sumandos).
En la proposicin anterior probamos que (1)(2) para n = 2.
Supongamos ahora que vale para n 1 sumandos.
Consideremos S1 ,
P
S2 , . . . , Sn1 , de (1) se deduce que Si j6=i Sj = {0} para todos
i, j , con P
1 i, j nP 1 entonces, por hipotesis inductiva resulta
n1
que dim( n1
i=1 dim(Si ). Por el teorema de la dimensin
i=1 Si ) =
sabemos que
n
n1
n1
n1
X
X
X
X
dim(
Si ) = dim(
Si +Sn ) = dim(
Si )+dim(Sn )dim(Sn
Si )
i=1

i=1

i=1

i=1

Luego, como Sn i=1 Si = {0} se tiene (2).

n
(2)(3): Sean BSi bases
i=i BSi es un conPnde Si . Es claro que B = P
n
junto de generadores deP i=1 Si y por lo
tanto
dim(
#(B).
i=1 Si ) P
Pn
n
n
Por otro lado
#(B)

#(B
)
=
dim(S
)
=
dim(
Si
i=1
i=1
i=1 Si ).
Pn
Pni
Luego dim( i=1 Si ) = #(B) y, como B genera i=1 Si , resulta base.
Pn1

3
n
(3)(4): Sea v P
i=1 Si , es claro que existen v1 , v2 , . . . vn , con
(vi P
Si ), tales que v = ni=1 vi , (vi Si ). Sea j , 1 j
Pn, llamemos
Tj = i6=j Si . Es claro que Sj .Tj . Ahora bien v = vj + j6=i vj , como
P
i6=j vi Tj y Sj .Tj , de la proposicin anterior se deduce que vj es
nico.
P
(4)(1): Sea j , 1 j n, consideremos
nuevamente
Tj = i6=j Si ,
P
de (4) sabemos que para todo v ni=1 Si , existen nios vj Sj y
wj Tj tales que v = vj + tj , luego (por la proposicin anterior)
Sj Tj = {0} para todo j , 1 j n.

Denicin 9. Sean V un K espacio vectorialP

y {Si / i I} una familia
de subespacios dePV. Decimos que la suma
todo j I , Sj i6=j SiP= {0}.
En tal caso notamos iI Si = iI Si .

iI

Si es directa si para

Observacin 10. La proposicin anterior nos da una caracterizacin

de la sumas directas de nitos subespacios de dimensin nita. Sin
embargo vale la equivalencia entre (1), (3) y (4) para una cantidad
arbitraria de subespacios en un espacio vectorial de dimensin innita.