“El no camina en barrios suburbanos

el es un hombre decente
él nunca toca la gente con las manos
el es tan independiente.....”
Charly García

Cuarta Reunión Espacios Vectoriales. Curso 1.

Suma e Intersección de subespacios

Vamos a empezar por ver qué pasa si realizamos con subespacios las operaciones más
elementales entre conjuntos que son la intersección y la unión.

Recordemos, por las dudas: Si A y B son dos conjuntos cualesquiera:

I A ∩ B = {x/x ∈ A y x ∈ B}
I A ∪ B = {x/x ∈ A o x ∈ B}

¿Qué pasa cuando los conjuntos son subespacios?

¿Obtenemos otro subespacio al calcular el conjunto que resulta de intersecar dos
subespacios o de unir dos subespacios?
Para ejemplificar, miremos el caso particular de buscar en R3 la intersección de dos planos
que pasan por el origen.
 En R3 , la intersección de dos planos, que contienen al origen, es una recta que pasa por el
origen.

Observaciones:
a. Si S1 , S2 ⊂ V son subespacios de V ⇒ S1 ∩ S2 es un subespacio de V.( Sólo tenemos que
demostrar que se cumplen las tres condiciones.)
Como S1 y S2 son subespacios 0V ∈ S1 y 0V ∈ S2 ⇒ 0V ∈ S1 ∩ S2 . X
Si u1 y u2 ∈ S1 ∩ S2 esto quiere decir que:
u1 , u2 ∈ S1 ⇒ u1 + u2 ∈ S1 , porque S1 es subespacio.
u1 , u2 ∈ S2 ⇒ u1 + u2 ∈ S2 , porque S2 es subespacio.
Por lo tanto u1 + u2 ∈ S1 ∩ S2 . X
Por último, si u ∈ S1 ∩ S2 y λ ∈ K ⇒ λu ∈ S1 y λu ∈ S2 (¿por qué?)
Luego λu ∈ S1 ∩ S2 X
Demostramos que:

Si S1 , S2 ⊂ V son subespacios de V ⇒ S1 ∩ S2 es un subespacio.

b. Si T ⊂ V es un subespacio de V tal que T ⊂ S1 y T ⊂ S2 , entonces T ⊂ S1 ∩ S2 .

A veces se dice que S1 ∩ S2 es el subespacio "más grande” incluido a la vez en S1 y S2 , pues
cualquier otro que contenga elementos que están en S1 y en S2 , está incluido en la
intersección.
 La demostración es inmediata, pues si T ⊆ S1 y T ⊆ S2 , si
x ∈ T ⇒ x ∈ S1 y x ∈ S2 ⇒ x ∈ S1 ∩ S2 , en tonces T ⊂ S1 ∩ S2 .
Veamos ahora que pasa con la unión de subespacios. Otra vez miremos un caso muy
sencillo: la unión de dos rectas que contienen al origen en R2 .

La única condición necesaria para probar que un conjunto es un subespacio que no se

cumple siempre, es la de ser cerrado para la suma.

Por eso se define la suma de subespacios:

Definición: Si S1 y S2 son subespacios de un espacio vectorial V, se llama suma de S1 y S2

al conjunto:
S1 + S2 = {v ∈ V /v = s1 + s2 , con s1 ∈ S1 y s2 ∈ S2 }
 Observaciones:
a. S1 + S2 es un subespacio. Tenemos que probar que se cumplen las tres condiciones que
caracterizan a un subespacio.
En inmediato que 0V = 0V + 0V , ∈ S1 + S2 .XSi u1 ∈ S1 + S2 y u2 ∈ S1 + S2 tenemos que
|{z} |{z}
∈S1 ∈S2
chequear si u1 + u2 ∈ S1 + S2 . Pero si u1 ∈ S1 + S2 ⇒ existen s1 ∈ S1 y s2 ∈ S2 , u1 = s1 + s2
y lo mismo sucede con u2 ∈ S1 + S2 , existen t1 y t2 , tal que u2 = t1 + t2 .
Luego:

u1 + u2 = (s1 + s2 ) + (t1 + t2 )
= (s1 + t1 ) + (s2 + t2 ) ∈ S1 + S2 .X
| {z } | {z }
∈S1 pues es subespacio ∈S2 pues es subespacio

Tarea para el hogar demostrar la tercera condición.

b. Si S1 = gen{v1 . . . vk } y S2 = gen{w1 , . . . , wm } ⇒
⇒ S1 + S2 = gen{v1 , . . . vk , w1 , . . . , wm }
Pues v ∈ S1 + S2 ⇐⇒ v = s1 + s2 , pero como S1 = gen{v1 . . . vk } y S2 = gen{w1 , . . . , wm },
s1 = α1 v1 + · · · + αk vk y s2 = β1 w1 + · · · + βm wm ; conα1 , . . . , αk , β1 , . . . , βm ∈ K.
Entonces v = s1 + s2 = α1 v1 + · · · + αk vk + β1 w1 + · · · + βm wm
| {z }
comb. lineal de v1 ,...vk ,w1 ,...,wm
Por lo que S1 + S2 = gen{v1 , . . . vk , w1 , . . . , wm }. X

c. (S1 ∪ S2 ) ⊂ (S1 + S2 ). Es directo, queda como tarea.

d. Todo subespacio que contiene a S1 ∪ S2 incluye también a S1 + S2 .

Sea x ∈ S1 + S2 y sea T un subespacio que contiene a S1 ∪ S2 , como
x ∈ S1 + S2 → x = s1 + s2 con s1 ∈ S1 y s2 ∈ S2 , como T contiene a S1 ∪ S2 s1 ∈ T y s2 ∈ T ,
como además T es subespacio ⇒ s1 + s2 = x ∈ T .
Demostramos que ∀x ∈ S1 + S2 ⇒ x ∈ T , por lo tanto queda demostrado que
S1 + S2 ⊂ T . X
Se dice que S1 + S2 es el "menor” subespacio que incluye a S1 ∪ S2 , pues cualquier otro
subespacio que contenga a la unión forzosamente contiene a S1 + S2 .
Ejemplo simple:

Dados los subespacios de R4 , S1 = {x ∈ R4 /x1 − x2 + x4 = 0, x2 + x3 = 0} y

S2 = gen{[1 0 1 0]T , [0 0 1 1]T } encontrar S1 ∩ S2 y S1 + S2 .
Resolución:
Empecemos por buscar los puntos en común de S1 y S2 :
Si x ∈ S2 ⇒ x = α[1 0 1 0]T + β[0 0 1 1]T , con α, β ∈ R.
Si además está en S1 , tiene que cumplir sus ecuaciones. Entonces buscamos α, β ∈ R tal
que x = [α 0 α + β β]T ∈ S1 ⇔ α − 0 + β = 0 y 0 + (α + β) = 0 ⇔ β = −α.
Por lo tanto x ∈ S1 ∩ S2 ⇔ x = [α 0 0 − α]T = α[1 0 0 − 1]T .
Entonces S1 ∩ S2 = gen{[1 0 0 − 1]T } y dim(S1 ∩ S2 ) = 1.
Calculemos ahora S1 + S2 , según lo que vimos en la observación b. basta con construir un
conjunto generador formado por los generadores de S1 y S2 .
De la definición de S1 , despejando de la primera ecuación obtenemos: x1 = x2 − x4 .
Y de la segunda ecuación: x3 = −x2 x ∈ S1 si x = [x2 − x4 x2 − x2 x4 ]T con x2 , x4 ∈ R.
x ∈ S1 ⇔ x = x2 [1 1 − 1 0]T + x4 [−1 0 0 1]T
Por lo que S1 = gen{[1 1 − 1 0]T , [−1 0 0 1]T }
Este conjunto es l.i, por lo que además sabemos que dim(S1 )= 2.
Como ya encontramos S1 ∩ S2 , podemos encontrar una base de S1 que contenga una
base de S1 ∩ S2 , por ejemplo: BS1 = {[1 1 − 1 0]T , [1 0 0 − 1]T }.
Busquemos ahora una base de S2 que contenga una base S1 ∩ S2 , por ejemplo:
BS2 = {[1 0 0 − 1]T , [0 0 1 1]T }.
 Teniendo estas bases de S1 y S2 , resulta evidente que al formar el conjunto de
generadores de S1 + S2 , no vamos a repetir el generador de la intersección de los subespacios.
Entonces obtenemos :

S1 + S2 = gen{[1 1 − 1 0]T , [1 0 0 − 1]T , [0 0 1 1]T }.

Obviamente dim(S1 + S2 ) = 3.
Se cumple que :
dim(S1 + S2 ) = dim(S1 ) + dim(S2 ) − dim(S1 ∩ S2 )
Esta última igualdad se cumple para todo par de subespacios finitos.

Teorema: Dados S1 y S2 subespacios de dimensión finita, entones:

dim(S1 + S2 ) = dim(S1 ) + dim(S2 ) − dim(S1 ∩ S2 )

Demostración:

Si dim(S1 ) = n, dim(S2 ) = m y dim(S1 ∩ S2 ) = k, k ≥ 0, vamos a demostrar que

dim(S1 + S2 ) = n + m − k.
La forma de demostrarlo será una generalización de la resolución del ejemplo.
Supongamos primero k ≥ 1, entonces existe una base BS1 ∩S2 = {v1 , . . . , vk }, podemos
extender esa base a una base de S1 , BS1 = {v1 , . . . , vk , vk+1 , . . . , vn } y también a una base de
S2 , BS2 = {v1 , . . . , vk , wk+1 , . . . , wm }
Por lo visto sabemos que S + T = gen{v1 , . . . , vk , vk+1 , . . . , vn , wk+1 , . . . , wm }
| {z } | {z }
n elementos m−k elementos
Sólo tenemos que ver que este sistema de generadores es l.i.
Igualamos una combinación lineal a 0V :

λ1 v1 + · · · + λk vk + λk+1 vk+1 + · · · + λn vn + β1 wk+1 + · · · + βm−k wm = 0V (1)

λ1 v1 + · · · + λk vk + λk+1 vk+1 + · · · + λn vn = −β1 wk+1 − · · · − βm−k wm

| {z } | {z }
∈S1 ∈S2

Entonces: −β1 wk+1 − · · · − βm−k wm ∈ S1 ∩ S2 ⇒

⇒ −β1 wk+1 − · · · − βm−k wm = γ1 v1 + · · · + γk vk
0V = γ1 v1 + · · · + γk vk + β1 wk+1 + · · · + βm−k wm
Como {v1 , . . . , vk , wk+1 , . . . , wm } es un conjunto l.i. pues es una base de S2 concluimos
que todos los escalares son nulos, en particular: β1 = β2 = · · · = βm−k = 0.
Reemplazamos en (1).
Y obtenemos:

λ1 v1 + · · · + λk vk + λk+1 vk+1 + · · · + λn vn = 0V

Y de aquí, como {v1 , . . . , vn } es un conj. l.i. obtenemos que λ1 = · · · = λn = 0

Como los escalares β1 , . . . , βm−k , λ1 , . . . , λn vienen de la combinación lineal (1),
concluimos que {v1 , . . . , vk , vk+1 , . . . , vn , wk+1 , . . . , wm − k} es l.i.
Entonces podemos afirmar que :
dim(S1 + S2 ) = n + m − k = dim(S1 ) + dim(S2 ) − dim(S1 ∩ S2 )
Queda como tarea para el hogar, verificar la fórmula cuando la intersección es el
subespacio nulo, en ese caso no existe base de la intersección y directamente trabahjamos con
las bases de cada subespacio.

Suma directa de subespacios.

Por definición, cada elemento del subespacio S1 + S2 , puede expresarse en la forma

v = s1 + s2 , con s1 ∈ S1 y s2 ∈ S2 , pero esa descomposición no siempre es única.

En el ejemplo que vimos, si tomamos:

v = [2 1 0 0]T = [1 1 − 1 0]T + [1 0 0 − 1]T + [0 0 1 1]
| {z } | {z }
∈S1 ∈S2
 v = [2 1 0 0]T = [1 1 − 1 0]T + [1 0 1 0]T
| {z } | {z }
∈S1 ∈S2
Cuando cada v ∈ S1 + S2 puede descomponerse en forma única como suma de un
elemento de S1 y un elemento de S2 , se dice que la suma es directa.

Definición: Se dice que la suma de S1 y S2 es directa, o que S1 y S2 están en suma directa

si, para cada v ∈ S1 + S2 existen únicos s1 ∈ S1 y s2 ∈ S2 tal que v = s1 + s2 .
Cuando la suma es directa, se nota: S1 ⊕ S2

Observación:

S1 y S2 están en suma directa si y sólo si S1 ∩ S2 = {0V }

⇒) Supongamos que S1 y S2 están en suma directa y sea v ∈ S1 ∩ S2 .
v + 0v , v ∈ S2 ⇒ v = 0v + |{z}
v ∈ S1 ⇒ v = |{z} v .
|{z} |{z}
∈S1 ∈S2 ∈S1 ∈S2

Pero si S1 y S2 están en suma directa la descomposición es única, por lo tanto

v = 0V ⇒ S1 ∩ S2 = {0V }.X
⇐) Ahora supongamos que S1 ∩ S2 = {0V } y sea v ∈ S1 + S2 tal que v = s1 + s2 y
v = t1 + t2 con s1 , t1 ∈ S1 y s2 , t2 ∈ S2 .
Entonces: v = s1 + s2 = t1 + t2 ⇒ s1 − t1 = t2 − s2
| {z } | {z }
∈S1 ∈S2
S1 ∩ S2 = {0V } ⇒ s1 − t1 = 0V = t2 − s2 , s1 = t1 y s2 = t2 . Demostramos que si
S1 ∩ S2 = {0V } ⇒ S1 y S2 están en suma directa.X
I También se puede probar que si B1 es base de S1 y B2 es base de S2 , la suma S1 + S2 es
directa si y sólo si B = B1 ∪ B2 es l.i.
I Si V es un espacio vectorial de dimensión finita y S es un subespacio de V, existe un
subespacio W tal que : S ⊕ W = V
Si S = V o S = {0V } ⇒ W = {0V } y W = V respectivamente.
Si 1 ≤ dimS = k ≤ n − 1, existe una base BS = {v1 , . . . , vk }
Sabemos que esta base puede extenderse a una base de V, o sea, existen vk+1 , . . . , vn tales
que B = {v1 , . . . , vk , vk+1 , . . . , vn } es una base de V.
Entonces si consideramos W = gen{vk+1 , . . . , vn }, se cumple que S ⊕ W = V.
De esta demostración es evidente que el subespacio W cumple S ⊕ W = V no es único, para
cualquier subespacio no trivial de V.

Definición: Dado un subespacio S ⊂ V,K espacio vectorial, se dice que W es un suplemento

de S si S ⊕ W = V

Ejemplos:
1. En R2 , S = {x ∈ R2 /2x1 − x2 = 0}, encuentre W1 y W2 , subespacios suplementos de S.
Resolución:
Es inmediato que los subespacios que buscamos, son subespacios de dimensión 1. Pues, si
están en suma directa con S, como la dimensión de S es 1, debe cumplirse que cada uno de
ellos tenga dimensión 1, pues
dim(S + Wi ) = dim(S) + dim(Wi ) = 1 + dim(Wi ) = 2 ⇒ dim(Wi ) = 1, i = 1, 2.
Entonces, para definir cada uno de estos subespacios sólo necesitamos elegir para cada uno
de ellos un vector en R2 l.i. con los vectors de S. Basta entonces con encontrar vectores de
 R
2
1
que no estén en el subespacio S, o sea que no cumplan su ecuación. Por ejemplo: v1 = y
1
 
1
v2 = son dos de los infinitos vectores que cumplen ser l.i. con cualquier vector de S.
0
   
1 1
Entonces elijo definir W1 = gen y W2 = gen
1 0
        

 1 2   1 1 
     
1 1 1
2
  
2. En R4 , dados los subespacios S1 = gen 0 , 1 y S2 = gen 1 ,
     , ¿existe un
2

   
1 1 1 1
   
subespacio T ⊂ R4 , tal que S1 ⊕ T = R4 = S2 ⊕ T ?

Resolución:

Si existe T , empecemos por ver cuál tendría que ser la dimensión de este subespacio.

Como dim(S1 ) = dim(S2 ) = 2 ⇒ dim(T ) = 2

Necesito entonces encontrar dos generadores l.i. para definir el subespacio T . Como quiero
que sea un suplemento de S1 y S2 , en definitiva necesito encontrar dos vectores de R4 que
sean a la vez l.i con los generadores de S1 y con los generadores de S2
Empecemos por ver si estos dos subespacios dados, S1 y S2 están en suma directa o, por el
contrario, dim(S1 ∩ S2 ) > 0.
       

 1 2 1 1 
       
1 ,   ,   , 2
1 1

S1 + S2 = gen 0 1 1 2

 
1 1 1 1
 

Estos generadores son l.i. podés ”chequearlo” triangulando los cuatro vectores puestos como
filas de una matriz o calculando el determinante de la matriz de 4 × 4 y viendo que es no nulo.

       
1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1
2 1 1 1 F2 −2F1 /F3 −F1 0 −1 1 −1 F4 +F2 0 −1 1 −1 F400 −3F3 0 −1 1 −1
 −−−−−−−−−→   −−−−→   −−−−−→  
1 1 1 1 F4 −F1 0 0 1 0 0 0 1 0 0 0 1 0
1 2 2 1 0 1 2 0 0 0 3 −1 0 0 0 −1

Los vectores que generan S1 + S2 son l.i. y, por lo tanto, sabemos que
dim(S1 + S2 ) = 4 ⇒ S1 ∩ S2 = {0R4 }

Entonces tenemos que encontrar un subespacio generado por dos vectores de R4 que
resulten l.i. con los generadores de S1 por un lado y l.i. con los generadores de S2 .
Buscamos v1 , v2 de manera tal que se cumpla:
    

 1 2 
    
1 1
  , v1 , v2 l.i: 1 1 0 1 → 1 1 0 1
  
2.1 0 , − (a)


1 
 2 1 1 1 0 −1 1 −1
1 1
 
    

 1 1 

    
1 2
  , v1 , v2 l.i: 1 1 1 1 → 1 1 1 1
 
2.2  , − (b)


1 2 
 1 2 2 1 0 1 1 0
1 1
 

"Mirando fijo"(a) y (b), vemos que si a las dos matrices les agregamos los vectores e3 y
e4 obtenemos
  matrices
  de rango 4, entonces, por ejemplo, elegimos el subespacio
 0
 0 
 0 0
T = gen   ,  
   

 1 0 
0 1
 

3. En R 4 el mismo problema, hallar T ⊂ R4 , tal que S1 ⊕ T = R4 = S2 ⊕ T pero ahora S1 y

S2 son subespacios que NO están en suma directa:
        

 1 2 
 
 1 1 

1 2
  y S2 = gen 2 ,
 0
   
S1 = gen 
0 , 1 1
 
−2

  
 
1 1 1 2
   

Veamos si están en suma directa o no:

       

 1 2 1 1 
1 2 2  0
 
S1 + S2 = gen  0 ,
 ,
1
 ,
1
 
−2

 
1 1 1 2
 

       
1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1
2 2 1 1 F2 −2F1 /F3 −F1 0 0 1 −1  F4 +F3 0 0 1 −1 F400 +F2 0 0 1 −1
  −−−−−−−−−→   −−−−→   −−−−→  
1 2 1 1 F4 −F1 0 1 1 0 0 1 1 0 0 1 1 0
1 0 −2 2 0 −1 −2 1 0 0 −1 1 0 0 0 0

Entonces:
             

 1 2 1 1 
 
 1 0 0 
1 2 2
  = gen 1 ,
 0  0 1 
   
S1 + S2 = gen  ,  ,  ,
−2
 ,  


0 1 1
 

0  1 1 

1 1 1 2 1 −1 0
   

Averiguamos que dim(S1 + S2 ) = 3 ⇒ dim(S1 ∩ S2 ) = 1.

Busquemos la intersección de estos subespacios:
Debo encontrar un vector que cumpla:

   
1 2
1 2
X = α
0 + β 1 (3)
  

1 1
   
1 1
2  0
X =γ1 + λ −2 (4)
  

1 2
Igualando:
       
1 2 1 1
1 2 2  0
X = α
0 + β 1 = γ 1 + λ −2
      

1 1 1 2
         
1 2 1 1 0
1 2 2  0 0
0 + β 1 − γ 1 − λ −2 = 0
α         

1 1 1 2 0

Resolviendo el sistema obtenemos:

γ = λ, β = −λ, α = 4λ

Reemplazando en (3) o en (4), obtenemos:


2
 2
X = λ
−1


3
 Entonces ahora podemos construir una base para cada subespacio que contenga a
este generador
  de  la intersección:
    

 1 2   2 1 
    
   
1 2 2
 ,   y S2 = gen   ,  0
 
S1 = gen  0 −1 −1 −2

  
 
1 3 3 2
   

Y ahora podemos actuar como en el item anterior:

Buscamos v1 , v2 de manera tal que se cumpla:

    

 1 2 
    
1 2 1 1 0 1 1 1 0 1
    
1.   ,   , v1 , v2 l.i:
    →
− (a)

 0 −1 
 2 2 −1 3 0 0 −1 1
1 3
 

    

 1 2 

    
0   , v1 , v2 l.i: 1 0 −2
   2 2 1 1 1 1
2. 
−2 , −1 →
− (b)

 
 0 2 3 −1 0 1 1 0
2 3
 

Entonces, por ejemplo, los vectores e2 y e4 pueden ser agregados en las dos matrices y
obtener matrices
   derango
 4 y elegimos:

 0 0 

 1 0
T = gen  ,   X
0 0

 
0 1
 