Suma Directa PDF
Suma Directa PDF
Suma Directa PDF
ANDRÉS ABELLA
Este último corolario nos da un método fácil para probar que un espacio es suma directa de dos subespacios
dados.
Ejemplo 12. Consideremos el espacio R3 y los subespacios
W1 = {(x, y, z) : 2x + y + z = 0} y W2 = {(x, y, z) : y = z = 0}.
Si (x, y, z) ∈ W1 ∩ W2 , entonces vale
2x + y + z = 0
⇒ x=y=z=0 ⇒ (x, y, z) = (0, 0, 0).
y=z=0
Luego W1 ∩ W2 = {(0, 0, 0)}. Por otro lado W1 es un plano y W2 una recta, ası́ que es dim W1 = 2 y
dim W2 = 1 y por lo tanto dim W1 + dim W2 = 2 + 1 = 3 = dim R3 ; luego R3 = W1 ⊕ W2 .
Observación 13. Dados dos subespacios W1 , W2 de V , no alcanza con que valga dim V = dim W1 + dim W2
para que la suma sea directa, hay que probar que también vale W1 ∩ W2 = {0}. Por ejemplo, si el espacio
es R3 y consideramos los subespacios
W1 = {(x, y, z) : z = 0} y W2 = {(x, y, z) : y = z = 0},
entonces W1 es un plano y W2 una recta, y por lo tanto dim W1 + dim W2 = 2 + 1 = 3 = dim R3 . Pero W2
está contenido en W1 , luego W1 + W2 = W1 ( R3 y por lo tanto nunca puede ser W1 ⊕ W2 = R3 .
SUMA DIRECTA DE SUBESPACIOS 3
Generalización. A continuación veremos que todos los resultados anteriores para la suma e intersección de
dos subespacios se pueden generalizar a una cantidad finita arbitraria de subespacios.
La definición general de suma directa es un poco más delicada que para el caso de dos subespacios. Para
definirla introducimos previamente el siguiente concepto.
Proposición 15. Sea {W1 , . . . , Wm } una familia de subespacios de V . Entonces las siguientes condiciones
son equivalentes:
1. La familia {W1 , . . . , Wm } es independiente.
P
2. Para cada i = 1, . . . , m, vale Wi ∩ j6=i Wj = {0}.
Pm
3. Si WP= i=1 Wi , entonces para todo w ∈ W , existen únicos wi ∈ Wi , i = 1, . . . , m, tales que
m
w = i=1 wi .
P
Dem. (1 ⇒ 2). Supongamos que la familia es independiente. Sea i ∈ {1, . . . , m}. Si w ∈ Wi ∩ j6=i Wj ,
entonces w ∈ Wi y existen wj ∈ Wj , para todo j 6= i tales que
w = w1 + · · · + wi−1 + wi+1 + · · · + wm ⇒ w1 + · · · + wi−1 + (−w) + wi+1 + · · · + wm = 0.
Como la familia es independiente, entonces todos los sumandos de la suma anterior son nulos, luego w = 0.
(2 ⇒ 1). Supongamos ahora que vale la segunda condición. Sean wi ∈ Wi , i = 1, . . . , m, tales que
Pm
i=1 wi = 0. Para cada i ∈ {1, . . . , m}, es
−wi = w1 + · · · + wi−1 + wi+1 + · · · + wm .
P P
Como −wi ∈ Wi y w1 +· · ·+wi−1 +wi+1 +· · ·+wm ∈ j6=i Wj , deducimos que es −wi ∈ Wi ∩ j6=i Wj = {0}.
Luego wi = 0, para todo i = 1, . . . , m.
Observación 16. Una familia con solo dos subespacios W1 y W2 es independiente si y solo si W1 ∩ W2 = {0},
que es la condición que pedimos para que la suma W1 + W2 sea directa. Una familia de tres subespacios
{W1 , W2 , W3 } es independiente si y solo si W1 , W2 , W3 verifican
W1 ∩ (W2 + W3 ) = {0}, W2 ∩ (W1 + W3 ) = {0}, W3 ∩ (W1 + W2 ) = {0}.
Notar que las condiciones W1 ∩ W2 = W1 ∩ W3 = W2 ∩ W3 = {0} no implican las condiciones anteriores.
Por ejemplo, si consideramos V = K3 y
W1 = {(x, 0, 0) : x ∈ K}, W2 = {(0, y, 0) : y ∈ K}, W3 = {(x, x, 0) : x ∈ K},
entonces es fácil de probar que las intersecciones dos a dos son triviales, pero W1 +W2 = {(x, y, 0); x, y ∈ K},
luego W3 ⊂ W1 + W2 y por lo tanto W3 ∩ (W1 + W2 ) = W3 6= {0}.
Definición 17. Decimos que unLsubespacio W de PmV es suma directa de una familia de subespacios
{W1 , . . . , Wm } y escribimos W = m
i=1 W i , si W = i=1 Wi y la familia {W1 , . . . , Wm } es independiente.
Observación 18. Lo que distingue la suma directa de la suma, y la hace más interesante, es la unicidad de
la tercer afirmación de la proposición 15. Es similar a la diferencia entre una base y un conjunto generador.
. Entonces V = m
L
Corolario 19. Sea {W1 , . . . , Wm } una familia de subespacios de un espacio VP i=1 Wi si
m
y solo si para todo v ∈ V , existen únicos wi ∈ Wi , i = 1, . . . , m, tales que v = i=1 wi .
Ejemplo 20. Es fácil probar usando el corolario 19 que vale Mn = W1 ⊕W2 ⊕W3 , siendo W1 es el espacio de
las matrices estrictamente triangulares inferiores, W2 el de las matrices estrictamente triangulares superiores
y W3 el de las matrices diagonales, es decir
W1 = {(aij ) : aij = 0 si i ≤ j}, W2 = {(aij ) : aij = 0 si i ≥ j}, W1 = {(aij ) : aij = 0 si i 6= j}.
Diagramáticamente, la descomposición Mn = W1 ⊕W2 ⊕W3 consiste en escribir ( ∗∗ ∗∗ ) = ( 0∗ 00 )+( 00 ∗0 )+( ∗0 0∗ ).
Como ai1 w1i + · · · + aili wlii ∈ Wi (para todo i) y la familia {W1 , . . . , Wm } es independiente, deducimos que es
ai1 w1i + · · · + aili wlii = 0, ∀i = 1, . . . , m.
Luego como cada Bi es LI, deducimos que es aij
= 0, para todo i, j y por lo tanto B es LI. La segunda
afirmación se deduce inmediatamente de la primera.
Corolario 23. Sean W1 , . . . , Wm subespacios
Pm Lm finita V . Si {W1 , . . . , Wm } es una
de un espacio de dimensión
familia independiente y vale dim V = i=1 dim Wi , entonces V = i=1 Wi .