ALGUNAS DEMOSTRACIONES DE TEMAS TEORICOS DEL PROGRAMA DE

ALGEBRA Y GEOMETRIA ANALITICA

En esta pgina incluimos las demostraciones de algunos temas tericos que en ciertas ocasiones,
por razones de disponibilidad de tiempo, no pueden dictarse en los cursos, pero que estn
incluidos en el programa analtico de la materia y que por lo tanto es necesario conocer y saber
demostrar.
En la tipografa empleada, indicaremos los vectores con negrita.
Unidad VII: Espacios Vectoriaes
!"# La intersecci$n de dos s%&espacios es %n s%&espacio 'ectoria
En primer lugar recordemos la definicin de interseccin de subespacios. Si S
1
y S
2
son dos
subespacios vectoriales incluidos en un espacio vectorial , S ! S
1
S
2
est formado por todos
los vectores % pertenecientes a tales que % pertenece a S
1
y simultneamente % pertenece a S
2
.
"ara probar que efectivamente S ! S
1
S
2
es un subespacio vectorial de debe cumplirse#
a.$ %ue S no sea vaco
Esto es cierto por cuanto al ser S
1
y S
2
subespacios, siempre el vector nulo &(' pertenece a ambos,
por lo que la interseccin de S
1
y S
2
siempre cuenta por lo menos con un elemento# el
mencionado vector nulo.
b.$ %ue sea cerrado para la suma
(onsideremos un vector % que pertenece a S
1
S
2
y un vector ' que pertenece a S
1
S
2
.
)ebemos probar que % * ' pertenece a S
1
S
2
.
Si % pertenece a S
1
S
2
entonces % pertenece a S1 y a la vez % pertenece a S
2
, por definicin de
interseccin de subespacios.
)el mismo modo, si ' pertenece a S
1
S
2
entonces ' pertenece a S
1
y a la vez ' pertenece a S
2
,
por similar razn.
(omo S
1
es un subespacio vectorial de , si % pertenece a S
1
y ' tambi+n pertenece a S
1
, su suma
% * ' pertenecer a S
1
, por cuanto al ser S
1
subespacio como ,emos mencionado, es cerrado para
la suma &1'
-nlogamente, como S
2
es un subespacio vectorial de , si % pertenece a S
2
y ' tambi+n
pertenece a S
2
, su suma % * ' pertenecer a S
2
, por cuanto al ser S
2
subespacio, es cerrado para la
suma &2'
(onsiderando lo e.puesto en &1' y &2', resulta que % * ' pertenece tanto a S
1
como a S
2
, por lo
que por definicin de interseccin, pertenece a S
1
S
2
. (on ello probamos que es cerrado para
la suma.
c.$ %ue sea cerrado para el producto por un escalar
(onsideremos un vector % que pertenece a S
1
S
2
y un escalar / que pertenece al cuerpo de los
n0meros reales &R'.
)ebemos probar que /% pertenece a S
1
S
2
.
Si % pertenece a S
1
S
2
, entonces % pertenece tanto a S
1
como a S
2
, por definicin de
interseccin de subespacios.
Si % pertenece a S
1
, /% tambi+n pertenece a S1, por cuanto +ste es subespacio vectorial y es
cerrado para el producto por un escalar. &1'
-nlogamente, si % pertenece a S
2
, /% tambi+n pertenece a S
2
, por cuanto +ste tambi+n es
subespacio vectorial y es cerrado para el producto por un escalar. &2'
)e lo e.puesto en &1' y &2' resulta que /% pertenece simultneamente a S
1
y a S
2
, por lo cual
pertenece a S
1
S
2
por definicin de interseccin de subespacios, con lo que queda demostrado
que esta operacin es cerrada.
En consecuencia, al no ser un con3unto vaco y cumplir con la condicin necesaria y suficiente
para que un con3unto S sea subespacio vectorial de +ste, S ! S
1
S
2
es un subespacio
vectorial.
)"# La s%*a de dos s%&espacios es %n s%&espacio 'ectoria
4ecordemos en primer lugar la definicin de suma de subespacios# si S
1
y S
2
son dos subespacios
incluidos en un espacio vectorial , el subespacio S ! S
1
* S
2
est formado por todos los
vectores ' de tales que ' ! '
!
* '
)
, con '
!
perteneciente a S
1
y '
)
perteneciente a S
2
.
"ara probar que S ! S
1
* S
2
es efectivamente un subespacio vectorial de debe cumplirse#
a.$ %ue S no sea vaco
(omo definamos la suma de subespacios de modo que si ' pertenece a S entonces ' ! '
!
* '
)
con '
!
perteneciente a S
1
y '
)
perteneciente a S
2
, al ser S
1
y S
2
subespacios el vector nulo (
pertenece a ambos, por lo que dic,o vector tambi+n pertenece a S, lo que demuestra que la suma
de subespacios cuenta por lo menos con un elemento# el vector nulo.
b.$ %ue sea cerrado para la suma
(onsideremos un vector % que pertenece a S ! S
1
* S
2
y un vector ' que pertenece a S ! S
1
* S
2
.
)ebemos probar que % * ' pertenece a S ! S
1
* S
2
.
Si % pertenece a S
1
* S
2
entonces % ! %
!
* %
)
con %
!
perteneciente a S
1
y %
)
perteneciente a S
2
, por
definicin de suma de subespacios.
)el mismo modo, si ' pertenece a S
1
* S
2
entonces ' + '
!
, '
)
con '
!
perteneciente a S
1
y '
)
perteneciente a S
2
, por similar razn.
"or lo tanto, % * ' ! &%
!
*%
)
' * &'
!
* '
)
'
-l segundo miembro de esta e.presin la podemos agrupar aplicando la propiedad asociativa de
la suma de vectores de la siguiente forma#
% * ' ! &%
!
* '
!
' * &%
)
* '
)
' &1'
En la ecuacin &1', el primer t+rmino encerrado entre par+ntesis incluye a dos vectores
pertenecientes a S
1
&%
!
y '
!
', por lo que ,emos e.puesto en los prrafos anteriores. El segundo
sumando incluye a dos vectores pertenecientes a S
2
&%
)
y '
)
', por la misma razn. En
consecuencia, % * ' &vector perteneciente a S' est calculado como suma de un vector de S
1
y un
vector de S
2
, con lo cual probamos que esta operacin entre subespacios es cerrada para la suma.
c.$ %ue sea cerrado para el producto por un escalar
(onsideremos un vector % que pertenece a S ! S
1
* S
2
y un escalar / que pertenece al cuerpo de
los n0meros reales &R'.
5bviamente % ! %
!
*%
)
, con %
!
perteneciente a S
1
y %
)
perteneciente a S
2
, por definicin de suma
de subespacios.
)ebemos probar que /% pertenece a S
1
* S
2
.
Si % pertenece a S ! S
1
* S
2
, entonces % + %
!
* %
)
, como ,emos se6alado ms arriba.
7ultiplicando miembro a miembro por el escalar /, resulta#
/ % + /&%
!
* %
)
' ! /%
!
* /%
)
&2'
(omo S
1
es por definicin subespacio vectorial de , entonces es cerrado para el producto por un
escalar, por lo que /%
!
pertenece a S
1
)e la misma manera, como S
2
es por definicin subespacio vectorial de , entonces es cerrado
para el producto por un escalar, por lo que /%
)
pertenece a S
2
Si los dos sumandos del segundo miembro de la ecuacin indicada como &2' pertenecen
respectivamente a S
1
y a S
2
, entonces por definicin de suma de subespacios, el vector /%
pertenece a S ! S
1
* S
2
, con lo que queda demostrado que esta operacin es cerrada para el
producto por un escalar y por lo tanto la suma de subespacios es tambi+n un subespacio vectorial
de .
-"# E co*pe*ento orto.ona de %n s%&espacio 'ectoria es ta*&i/n s%&espacio 'ectoria
)efinamos complemento ortogonal de un subespacio S &siendo espacio vectorial' a un
con3unto, que designbamos como S

, formado por todos aquellos vectores % pertenecientes a

que eran perpendiculares a todos los vectores ' pertenecientes a S.
Es decir, que S

! 8% 9 : % " ' ! ; con v 9 S<

"ara probar que S

es un subespacio vectorial, debemos probar que se cumplan las tres

condiciones siguientes#
a.$ %ue S

no sea vaco
(omo S es subespacio vectorial de , el vector nulo ( pertenece a S. (omo % " ( ! ;, con u
perteneciente a S

, entonces % ! ( verifica la ecuacin anterior, por lo que el complemento

ortogonal no es vaco.
b.$ %ue sea cerrado para la suma
Se debe probar que si %
!
y %
)
pertenecen a S

, entonces %
!
* %
)
tambi+n pertenecen a S

.
(onsideremos un vector ' perteneciente a S.
"or definicin de complemento ortogonal,
%
!
" ' ! ; &1'
y
%
)
" ' ! ; &2'
Sumando miembro a miembro &1' y &2'#
%
!
" ' * %
)
" ' ! ;

&%
!
* %
)
' " ' ! ;

&%
!
* %
)
' es perpendicular a '

%
!
* %
)
pertenece a
S

es cerrado para la suma.

c.$ %ue sea cerrado para el producto por un escalar
Se debe demostrar que si % pertenece a S

, entonces /% pertenece a S

.
Si u pertenece a S

, entonces % " ' ! ; con v 9 S.

7ultiplicando miembro a miembro la ecuacin anterior por el escalar /, resulta#
/&% " '' ! /; ! ;
-plicando la propiedad asociativa mi.ta del producto escalar de vectores con un n0mero real,
resulta#
/% " ' ! ;
con lo cual resulta que /% es perpendicular a ', y por lo tanto pertenece al complemento
ortogonal de S, es decir a S

. (on ello queda probado que es cerrado para el producto con un

escalar y por lo tanto S

es un subespacio vectorial de .
0"# E con1%nto S de todas as co*&inaciones ineaes de A + 2'
!
3 '
)
343 '
n
5 es %n s%&espacio
'ectoria de V
Este concepto es el de subespacio generado. Se dice que S es el subespacio generado por los
elementos de -, y se suele designar como S ! gen 8v
1
, v
2
, = v
n
<
)ebe demostrarse que el con3unto S as conformado es un subespacio vectorial de . "ara ello
deben cumplirse las condiciones siguientes#
a.$ %ue S no sea vaco
)entro de todas las combinaciones lineales posibles que pueden ,acerse con los elementos de -,
una de ellas es aquella en la que los escalares son todos nulos.
Es decir, un vector v 9 S se obtiene como>
' ! ?
1
'
!
* ?
2
'
)
*=* ?
n
'
n
Si los escalares ?
1
, ?
2
,=, ?
n
son todos iguales a ;, entonces ' ! ( y por lo tanto S no es vaco ya
que contiene al menos un elemento.
b.$ %ue sea cerrado para la suma
Si v es un vector de S, entonces#
' ! ?
1
'
!
* ?
2
'
)
*=* ?
n
'
n
&1'
y si u es un vector de S, tambi+n puede escribirse#
% ! t
1
'
!
* t
2
'
)
*=* t
n
'
n
&2'
donde los ?
i
y los t
i
son n0meros reales.
Sumando &1' y &2' miembro a miembro, y asociando, resulta#
' * % ! &?
1
*

t
1
'

'
!
* &?
2
* t
2
''
)
*=* &?
n
* t
n
''
n
@aciendo
&?
1
*

t
1
' ! /
1
&?
2
*

t
2
' ! /
2
....................
&?
n
*

t
n
' ! /
n
donde los /
i
son escalares pertenecientes al cuerpo de los n0meros reales.
' * % ! /
1
'
!
* /
2
'
)
*=* /
n
'
n
con lo que se demuestra que ' * % se puede obtener como combinacin lineal de los vectores que
integran el con3unto -, por lo que ' * % 9 S y S es por lo tanto cerrado para la suma.
c.$ %ue sea cerrado para el producto por un escalar
Si v es un vector de S, entonces#
' ! ?
1
'
!
* ?
2
'
)
*=* ?
n
'
n
&1'
Si A es un escalar, multiplicando &1' miembro a miembro por +ste resulta#
A ' ! A&?
1
'
!
* ?
2
'
)
*=* ?
n
'
n
'

+

6?
1
'
!
* A?
2
'
)
*=* A?
n
'
n
@aciendo#
6?
1
! t
1
6?
2
! t
2
===
6?
n
! t
n
resulta#
A' ! t
1
'
!
* t
2
'
)
*=* t
n
'
n
lo que demuestra que A' se puede obtener como combinacin lineal de los vectores '
i
del
con3unto -, por lo que A' pertenece a S, siendo entonces S cerrado para el producto por un
escalar y en consecuencia, subespacio vectorial de .