Suma directa de varios subespacios

Definimos suma directa de varios subespacios y damos un teorema de ca-

racterización. Añadimos dos ejemplos de aplicación y la demostración del
teorema.
Definición 1. Sea E un espacio vectorial sobre K y sean F1 , F2 , . . . , Fm
subespacios de E.

Se dice que E es suma directa de los subespacios F1 , F2 , . . . , Fm si y sólo si

se verifica

(i ) E = F1 + F2 + . . . Fm .
T P 
(ii ) Para todo i = 1, 2, . . . , m se verifica Fi j6=i j = {0} o dicho de
F
otra forma, la intersección de cada subespacio con la suma de los demás ha
de ser el vector nulo.

Notas 1) Para m = 2 esta definición coincide con la conocida de suma directa

de dos subespacios. 2) Si se cumplen las condiciones (i ) y (ii ) anteriores se
escribe E = F1 ⊕ F2 ⊕ . . . ⊕ Fm .
Teorema 1. Sea E un espacio vectorial sobre K y sean F1 , F2 , . . . , Fm subes-
pacios de E. Entonces las tres siguientes afirmaciones son equivalentes

(a) E = F1 ⊕ F2 ⊕ . . . ⊕ Fm .
(b) E = F1 + F2 + . . . + Fm y la descomposición de todo vector x ∈ E en la
forma x = v1 + v2 + . . . + vm con vi ∈ Fi para todo i = 1, . . . , m es única.
(c) E = F1 + F2 + . . . + Fm y la igualdad v1 + v2 + . . . + vm = 0 con vi ∈ Fi
para todo i = 1, . . . , m implica vi = 0 para todo i = 1, . . . , m.

1. Se consideran los subespacios de R4

F1 = {(α, β, 0, 0) : α, β ∈ R}
F2 = {(0, 0, γ, 0) : γ ∈ R}
F3 = {(0, 0, 0, λ) : λ ∈ R}

Demostrar que R4 = F1 ⊕ F2 ⊕ F3 .

Resolución Usemos la caracterización (c) del teorema anterior. Dado un

vector genérico x = (x1 , x2 , x3 , x4 ) de R4 podemos expresarlo en la forma

1
 (x1 , x2 , x3 , x4 ) = (x1 , x2 , 0, 0) + (0, 0, x3 , 0) + (0, 0, 0, x4 )

en donde el primer, el segundo y tercer vector del segundo miembro perte-

necen a F1 , F2 y F3 respectivamente. Es decir, R4 = F1 + F2 + F3 . Por otra
parte, de la igualdad

(α, β, 0, 0) + (0, 0, γ, 0) + (0, 0, 0, λ) = (0, 0, 0, 0)

se deduce que α = β = γ = λ = 0, por tanto los tres sumandos del primer

miembro son iguales al vector cero. Concluimos que R4 = F1 ⊕ F2 ⊕ F3 .

2. Sea E el espacio vectorial real de las funciones reales definidas sobre

[0, 1]. Sean por otra parte los subespacios de E

F1 = { f ∈ E : f es nula fuera de [0, 1/3] }

F2 = { f ∈ E : f es nula fuera de (1/3, 2/3) }
F3 = { f ∈ E : f es nula fuera de [2/3, 1] }

Demostrar que E = F1 ⊕ F2 ⊕ F3 .

Resolución Usamos de nuevo la caracterización (c). Sea f ∈ E y considere-

mos las funciones fi : [0, 1] → R


f (x) si x ∈ [0, 1/3]
f1 (x) =
0 si x 6∈ [0, 1/3]

f (x) si x ∈ (1/3, 2/3)
f2 (x) =
0 si x ∈6 (1/3, 2/3)

f (x) si x ∈ [2/3, 1]
f3 (x) =
0 si x 6∈ [2/3, 1)

Claramente fi ∈ Fi para todo i = 1, 2, 3 y f = f1 + f2 + f3 es decir,

E = F1 + F2 + F3 . Por otra parte, de la igualdad f1 + f2 + f3 = 0 con fi ∈ Fi
con i = 1, 2, 3 facilmente deducimos que f1 = f2 = f3 = 0. Concluimos pues
que E = F1 ⊕ F2 ⊕ F3 .

2
3. Demostrar el teorema enunciado en esta sección:

Sea E un espacio vectorial sobre K y sean F1 , F2 , . . . , Fm subespacios de E.

Entonces las tres siguientes afirmaciones son equivalentes

(a) E = F1 ⊕ F2 ⊕ . . . ⊕ Fm .
(b) E = F1 + F2 + . . . + Fm y la descomposición de todo vector x ∈ E en la
forma x = v1 + v2 + . . . + vm con vi ∈ Fi para todo i = 1, . . . , m es única.
(c) E = F1 + F2 + . . . + Fm y la igualdad v1 + v2 + . . . + vm = 0 con vi ∈ Fi
para todo i = 1, . . . , m implica vi = 0 para todo i = 1, . . . , m.

Resolución (a) ⇒ (b). Sea v ∈ E. Como E = F1 + F2 + . . . + Fm , podemos

expresar v = v1 + . . . vm con v1 ∈ F1 , . . . , vm ∈ Fm . Supongamos que v =
v10 + . . . + vm
0 con v 0 ∈ F , ..., v 0 ∈ F . Entonces v − v 0 = (v 0 − v ) + . . . +
1 1 m m 1 1 2 2
(vm0 − v ). Ahora bien
m

v1 − v10 ∈ F1 y (v20 − v2 ) + . . . + (vm

0 − v ) ∈ F + ... + F
m 2 m

Como F1 ∩ (F2 + . . . + Fm ) = {0} se deduce v1 − v10 = 0, o sea v1 = v10 . Cam-

biando los ı́ndices. concluimos de forma análoga que v2 = v20 , . . . , vm = vm
0 .

Queda demostrado (b).

(b) ⇒ (c). Por hipótesis se verifica E = F1 +F2 +. . .+Fm . Sean ahora v1 ∈ F1 ,

... ,vm ∈ Fm tales que v1 +. . .+vm = 0. La igualdad v1 +. . .+vm = 0+. . .+0
y la hipótesis de unicidad en (b) implican que v1 = 0 , ... , vm = 0. Queda
probado (c).

(c) ⇒ (a). Sea w ∈ F1 ∩ (F2 + . . . + Fm ). Como w ∈ F2 + . . . + Fm podemos

expresar w = v2 + . . . + vm con v2 ∈ F2 , . . . , vm ∈ Fm . Entonces (−w) + v2 +
. . . + vm = 0 con −w ∈ F1 , v2 ∈ F2 , . . . vm ∈ Fm . La hipótesis hecha en (c)
implica −w = 0 lo cual demuestra que F1 ∩(F2 +. . .+F m ) = {0}. Cambiando
T P
los ı́ndices se demuestra de forma análoga que Fi j6=i Fj = {0} para
todo i. 

Autor: Fernando Revilla