Escuela Superior Politcnica del Litoral

Algebra Lineal
Prof. Ing. Maria Nela Pastuizaca
Capitulo #5
OPERACIONES ENTRE SUBESPACIOS
VECTORIALES
Sean
2 1
,W W , subespacios ectoriales de un espacio ectorial !, se definen las
siguientes operaciones entre subespacios"
Intersecci#n { }
2 1 2 1
$ W x W x V x W W
%ni#n { }
2 1 2 1
$ W x W x V x W W
Su&a { }
2 1 2 1
, $ W y W x y x z V z W W +
TEOREMA
Sea ! un espacio ectorial '
2 1
,W W , 2 subespacios ectoriales de !. Entonces
2 1
W W '
2 1
W W + ta&bin son subespacios ectoriales de !.
DEMOSTRACION
{ }
( )
2 2
1 1
2 1
2 2
1 1
2 1
2 1
2 1 2 1
( ) * , ( 2
( ) ,
( ) ,
* , ( 1
$
W x W x
H x
W x W x
W x W x H x
H x R H x
W y x W y x
H y x
W y x W y x
W y W y H y
W x W x H x
H y x H y x
W x W x V x W W H

2 1
W W es un subespacio ectorial de !
{ }
( )
2 2 1 2 2 2 1
2 1
1 2 1 1 2 1 1
2 1 2 1 2 1
2 2 1 2 2 2 2 2
2 1 1 1 1 1 1 1
2 1 2 1
2 1 2 1
( ) ( )
,
,
* , ( 1
, $
W y y W y W y
H z z
W x x W x W x
y y x x z z
W y W x y x z H z
W y W x y x z H z
H z z H z z
W y W x y x z V z W W H







+
H z
y x y x W y W x
y x z
W y W x y x z H z
H z R H z

( )
( )
(, )
* , ( 2
2 1
2 1
1
2 1
W W H + es un subespacio ectorial de !
No sie&pre se cu&ple +ue la uni#n entre subespacios de ! es un subespacio ectorial de
!.
EJEMPLO:
,eter&ine si la uni#n entre los siguientes subespacios ectoriales de ! es otro subespacio
de !
{ }
{ }
( )
2 1
2 1
2 1
2
2
2
1
( 1 , 1 )
( 2 , - ) ( 1 , 1 ) ( 1 , 1 )
1 , 1
$ ( , )
$ ( , )
W W
W W
W W
x y R y x W
x y R y x W

+



2 1
W W no es un subespacio ectorial de !.
TEOREMA
Sean
2 1
,W W dos subespacios ectoriales de un espacio ectorial !.
2 1
W W es un
subespacio ectorial de ! si ' solo si
2 1
W W #
1 2
W W
DEMOSTRACIN
Supone&os +ue
2 1
W W . ,e&ostrar +ue
1 2
W W sie&pre +ue
2 1
W W sean
subespacio ectorial de !
Si
1 2
W W , entonces e.iste por lo &enos un ele&ento
2 1
$ W x W x x . Pero
( )
2 1 1 2 1 1
W W x W x W W W
( ) ( )
2 1 2 1 2 2
W W W W W W y es subespacio ectorial ( )
2 1
W W y
( )
2 1 2 1
W y x W y x W W y x
Supone&os a&bas proposiciones anteriores
( )
( )
1 2 1 1 1
2 2 2
-
W W W y W x y x W y x
W x W y y x W y x


TEOREMA
Sea ! un espacio ectorial, sea
2 1
,W W subespacios ectoriales de ! donde
( )
1 1
S W ' ( )
2 2
S W , entonces ( )
2 1 2 1
S S W W +
DEMOSTRACION
Sea
{ }
n
u u u u S ,..., , ,
/ 2 1 1

un con0unto generador de
1
W
Sea
{ }
m
v v v v S ,..., , ,
/ 2 1 2

un con0unto generador de
2
W
Sea 1 un ector cual+uiera de
2 1
W W +
2 1
W v W u v u w +
( ) ( ,..., , , , ,..., , , )
... ...
( ... ) ( ... )
1 1 / 2 1 / 2 1 2 1
2 1
/ / 2 2 1 1 / / 2 2 1 1
/ / 2 2 1 1 / / 2 2 1 1
S S v v v v u u u u W W
W W w
v v v v u u u u w
v v v v u u u u w
n m
m m n n
m m n n
+
+
+ + + + + + + + +
+ + + + + + + + +



TEOREMA
Sea ! un espacio ectorial de di&ensi#n finita '
2 1
,W W subespacios ectoriales de !.
Entonces"
( di&) ( di&) ( di&) ( di&)
2 1 2 1 2 1
W W W W W W + +
SUMA DIRECTA
Defii!i": Sea
2 1
,W W subespacios ectoriales del espacio ectorial !. La su&a
2 1
W W + es lla&ada su&a directa de
2 1
,W W denotada por
2 1
W W si cada ector en
el espacio
2 1
W W + tiene una 2nica representaci#n co&o la su&a de un ector en
1
W '
un ector en
2
W
TEOREMA
Sean
2 1
,W W subespacios ectoriales del espacio ectorial !, entonces
2 1 2 1
W W W W + si ' solo si

'

-
2 1
W W
DEMOSTRACIN
a( Si
2 1 2 1
W W W W + , entonces

'

-
2 1
W W
2 1 2 1
2 1 2 1
- - - W W W W
W x W x W W x



3al +ue
2 1
- W W x x x +

Pero
2 1
W W + es una su&a directa por lo +ue . tiene una 2nica representaci#n co&o
la su&a de un ector en
1
W ' un ector en
2
W por lo tanto"

- x
Si x W W x
2 1
debe ser

'

-
2 1
W W
b( Si

'

-
2 1
W W
, entonces
2 1 2 1
W W W W +
Sea
2 1
W W x + tal +ue
2 1 1 1 1 1
2 1 1 1 1 1
4 4 4 4 W y W x y x z
W y W x y x z
+
+
1 1 1
1 1 1 1
4 4
4 4
y y x x
y x y x

+ +
Si
2 1 1 2 1 2 1
1 1 1 1 1 1 1
4 4
4 4
W y y W y W y
W x x W x W x


'
1 1 1 2 1 1 1 1 1
4 4 4 4 W y y W x x y y x x
( ) ( ) ( ) ( )
2 1 1 1 2 1 1 1 1 1 1 2 1 1
4 4 4 4 W W y y W W x x W y y W x x
Pero
4 4
- 4 - 4 -
1 1 1 1
1 1 1 1 2 1
y y x x
y y x x W W

'

Por lo tanto . puede representarse de &anera 2nica co&o la su&a entre un ector
2nico de
1
W ' otro ector 2nico
2
W , entonces
2 1 2 1
W W W W +
EJEMPLO:
Sean 5 ' 6 subespacios de ! tales +ue { } 1 ,
2 /
x x gen H ' { } / ,
2 /
x x gen W
a( Encuentre una base para el subespacio W H ' deter&ine su di&ensi#n
b( Pertenece el ector
/ 2
2 1 x x x + a W H + 7
c( Se puede afir&ar +ue W H W H + 7 8ustifi+ue su respuesta
Pri&ero 9alla&os W H +

,
_

,
_

,
_

,
_

d
c
b
a
d
c
b
a
x
x
x
: / - 1 -
: - - - -
: - 1 1 -
: - 1 - 1
1 / - 1 -
- - - -
- 1 1 -
- 1 - 1
2
/
c;-
{ } - $
2 /
+ + + + c d cx bx ax W H
El ector W H x x x + +
/ 2
2 1 'a +ue el ele&ento +ue aco&pa<a a
x
no es -
A9ora 9alle&os W H
{ }
2
2
2
/
1
+ x x H =on0unto de ariables
{ }
2
2
1
/
1
/ + x x W =on0unto de constantes
Se igualan las constantes ' las ariables
2
2
1
/
1 2
2
2
/
1
/ + + x x x x
>rdena&os de for&a &atricial
1 2
1 2
1 1
1 2
1
1
2
1
1
2
1
1
?
/
2
1
/
/ : - - - -
- : - - - -
: - - 1 -
: - - - 1
/ : - - 1 -
- : - - - -
: - - 1 -
: - - - 1
/
-
- - 1 -
- - - -
- - 1 -
- - - 1

,
_

,
_

,
_

,
_

,
_

Se ree&plaza las ariables en las constantes

{ } ( ) { }
( )
1 ( )
1
1
2 /
2 /
1 1
2
1
/
1

+
+ +
W H Dim
x x W H
x x W H x x W H

W H + no es su&a directa 'a +ue
1 ( ) W H Dim
EJERCICIOS
#$% Sea !;
2 2
M . =onsidere los subcon0untos"

'

,
_

,
_

'

,
_

- 1
1 -
,
- 2
1 1
, , , , * - 2 $ gen W R d c b a c b a
d c
b a
H
a( 5alle la intersecci#n ente los dos subespacios
b( %na base ' la di&ensi#n del subespacio 9allado
&$% Sea
/
P V
{ }
{ }
{ }
/
/ 2
/ 2
2 2 ,
- 2 $
1
x x x gen S
c d a dx cx bx a H
x x x gen W
+
+ + + +
+ + +
,eter&ine"
a( %na base para S H
b( Si W H es un subespacio de /
P
c( La di&ensi#n de W H +
d( El subespacio S W +
'$% Sea
2 2
M V ' sean
{ }

'

,
_

,
_

,
_

- -
1 1
,
2 -
- 1
,
- 1
1 -
$
2 2
W
A A M A H
T
a( ,e&uestre +ue 5 es un subespacio de !
b( ,eter&ine una base para W H
c( ,eter&ine si la &atriz identidad pertenece a W H +
($% Sea
{ }
? / 2 1
, , , v v v v B
una base del espacio ectorial !. Sean 5 ' 6 dos subespacios
de !, tal +ue"
{ }
{ }
? / 1 1 ?
/ 2 / 2 1
,
2 ,
v v v v v gen W
v v v v v gen H
+ +
+
a( Encuentre una base ' deter&ine la di&ensi#n del subespacio W H
b( ,eter&ine si
(. ) 2 2 2
2 1 ? /
W H v v v v v +
5$% Sea /
P V
, considere los siguientes subcon0untos de !
{ }
{ } R b a bx ax x p U
x x x x L H
p p p x p W
+ +


, $ 2 ( )
( @ ? , , 2 )
( 1 ) ( - ) 2 ( 1 ) $ ( )
2
/ /
a( Puede escribirse a ! co&o la su&a de dos de los subcon0untos anteriores7
b( ,eter&ine, de ser posible, la di&ensi#n de W H ' de W U
)$% =onsidere ! el espacio
2 2
M con las operaciones usuales de su&a de &atrices '
&ultiplicaci#n por escalar. Sea
1
W el con0unto de la for&a"
R z y x
z y
x x

,
_

, , $
'
2
W el con0unto de &atrices de la for&a
R c b a
c a
b a

,
_

, , $
5allar una base ' la di&ensi#n de ( ) ( ) , ,
2 1 2 1 2 1
W W y W W W W +
*$% =alifi+ue cada una de las siguientes proposiciones co&o erdaderas o falsas.
,e&ustrelas en caso de ser erdaderas ' de un contrae0e&plo en caso de ser falsas.
a( Sea
1
S '
2
S dos con0untos de ectores de un espacio ectorial !, tales +ue
( )
1 2 1
( ) S L S S L , entonces
1 2
S S
b( Sean 6, 5 subespacios de !, entonces
H W H W +
c( Si H W es un subespacio de ! entonces 6 es ta&bin un subespacio de !
d( Sean A ' A dos con0untos lineal&ente independientes de ectores de !. Si
B A
entonces B A es ta&bin un con0unto lineal&ente independiente
e( Sean ? / 2 1
, , , v v v v
ectores lineal&ente independientes del espacio ectorial !.
Sean
{ }
? 1 / 2 2 1
, , v v v v v v gen H + + +
'
{ }
? / 2 1 1
, , v v v v v gen W
entonces
/ ( di&) W H
f( Sea el espacio ectorial
2
P V . Sean
{ } - / 2 - $
2
+ + + + c b a c b a c bx ax H '
{ } - 11 B ? $
2
+ + + c b a c bx ax W dos subespacios de !. Entonces W H es un
subespacio de !.
g( Sean { }
T
A A M A S

$
2 2 2 2
' { }
T
A A M A A

$
2 2 2 2
dos subespacios
del espacio ectorial
2 2
M . Entonces"
2 2 2 2 2 2
A S M