Subespacios generados.

Sean V un e.v. y C un subconjunto no vaco de vectores de V.

El conjunto de todas las c.l.s de vectores en
, C
denotado por
C
y definido por { 1v1 + ... + kvk / 1, , k !" y v1, ... , vk C #, se
deno$ina el subespacio %enerado por el conjunto
. C
Se conviene

& { 'V #
Ejemplos:
i( El %enerado por el vector nulo 'V de cual)uier e.v. V es el subespacio
nulo
V
'
& {'V #. En %eneral el subespacio %enerado por cual)uier vector v
de un
e.v. V, nulo o no, es el conjunto
v
& { rv / r !" #. En particular, el
%enerado
por el vector v &

,
_

*
1
es la recta )ue pasa por el ori%en y por el punto

,
_

*
1
+

,
_

*
1
&

'

,
_

,
_

!" r ,
*r
r

*
1
,ver fi%ura(

ii( El %enerado por dos vectores no nulos y no paralelos en !"
*
es todo
!"
*
.
En efecto, dos vectores no nulos u &

,
_

*
1
u
u
y v &

,
_

*
1
v
v
de !"
*
son no
paralelos, si y s-lo si el deter$inante de la $atri. )ue los tiene co$o
colu$nas es no nulo+
* *
1 1
v u
v u
' ,ver /roble$as resueltos,
/roble$ario 0, pre%unta 0(,
de donde, se%1n el 2eore$a creciente, para todo vector colu$na

,
_

b
a

!"
*
el siste$a

,
_

,
_

y
3
v u
v u
* *
1 1
&

,
_

b
a
tiene soluci-n ,)ue ade$4s es
1nica(. 56ora bien, se%1n el proble$a 0 del proble$ario 1 en el enlace
7/roble$as propuestos8+

,
_

,
_

y
3
v u
v u
* *
1 1
& 3

,
_

*
1
u
u
+ y

,
_

*
1
v
v
, de donde todo
vector

,
_

b
a
!"
*
se e3presa co$o

,
_

b
a
& 3

,
_

*
1
u
u
+ y

,
_

*
1
v
v
, es decir9 es
c.l. de los vectores

,
_

*
1
u
u
y

,
_

*
1
v
v
y !"
*
&
,
u
u
*
1

,
_

,
_

*
1
v
v
.
iii( En !"
:
se tiene el resultado an4lo%o+
;os vectores no nulos y no paralelos en !"
:
%eneran un plano )ue
pasa por el ori%en.
Sean u &

,
_

:
*
1
u
u
u
y v &

,
_

:
*
1
v
v
v
dos vectores no nulos y no paralelos de
!"
:
. Si
n & u v &

,
_

c
b
a
, considere$os el plano de ecuaci-n+ a3 + by + c. &
'.
2anto u co$o v satisfacen u ,u v( y v ,u v(, de donde u ,u
v( & ' y v ,u v( & ' - u n & ' y v n & '. 56ora bien, co$o todo
vector en el %enerado por u y v+
, u v
, se escribe co$o u + v,
para ciertos escalares y , entonces ,u + v( n & ,u n( + ,v n(
& ', entonces todo vector en
, u v
satisface la ecuaci-n a3 + by + c.
& ' y, por lo tanto, pertenece al plano de ecuaci-n a3 + by + c. & '. Se
tiene as
, u v
.
/or otro lado, si < &

,
_

.
y
3
es un punto del plano , entonces a3 + by +
c. & ', es decir < ,u v( & ', de donde los vectores cuyas
coordenadas son las de <, u y v son coplanares ,ver /roble$a = del
/roble$ario > en el enlace 7/roble$as propuestos8(, lo cual i$plica )ue
< pertenece al %enerado por u y v. Se tiene la inclusi-n )ue faltaba+

, u v
, de donde la i%ualdad+
&
, u v
.
iv( En !"
:
vale ta$bi?n el recproco+ 72odo plano )ue pasa por el ori%en
est4
%enerado por dos vectores no nulos y no paralelos8
Sea un plano )ue pasa por el ori%en, su ecuaci-n es a3 + by + c. &
k, para ciertos a, b, c y k en !", pues ?sa es la ecuaci-n %eneral del
plano. 56ora bien, co$o pasa por el ori%en, las coordenadas de este
punto deben satisfacer la ecuaci-n de , de donde k & ' y la ecuaci-n
de )ueda
a3 + by + c. & '. @os escalares a, b y c no son todos nulos ,ABu?
ecuaci-n sera ?saC(, suponer )ue a ', i$plica, se%1n la proposici-n
probada en la parte iii(, )ue los vectores no nulos y no paralelos u &

,
_

'
a
b
y v &

,
_

a
'
c
%eneran el plano , cuya ecuaci-n es+ a3 + by +
c. & ' y u v &

,
_

D c
D b
D a
, pero u v &
a ' c
' a b
k j i

&

,
_

ac
ab
a
*
, de donde a
& a
*
, b & ab, c & ac y la ecuaci-n de es+ a
*
3 + aby + ac. & ', co$o
a ', se puede cancelar a en la ecuaci-n del plano , la cual,
entonces, )ueda a3 + by + c. & ', es decir9 la ecuaci-n del plano , de
donde est4 %enerado por dos vectores no nulos y no paralelos.
/ruebas si$ilares se obtienen suponiendo b ' - c '.
v) n !E !"
n
&
, e
1 ... n
e ,
y !/n &
, 1
3, 3
*
,
n
3 ,
2eore$a
El %enerado por un subconjunto no vaco
C
de vectores de un e.v. es subespacio
de V
;e$ostraci-n+
i( Si u y v pertenecen al %enerado por
C
y r es un escalar,
probare$os )ue
u + rv
C
. /or u y v pertenecer a
C
, e3isten vectores
u1, ... , uk, v1, ... , v$
C
y escalares 1, ... , k, 1, ... , $ tales )ue
u & 1 u1+ ... + k uk y v & 1,v1 + ... + $v$, de donde
u + rv & 1 u1+ ... + k uk + r1,v1 + ... + r$v$ ta$bi?n es c.l. de
vectores en

C
y por tanto pertenece a
C
.
ii) 'V
C
, pues to$ando un vector u
C
'V & 'u
C
.
Ftro eje$plo.
vi( Espacio fila y espacio colu$na de una $atri..
Sea 5 &

,
_

$n 1 $
n 1 11
a a
a a

una $atri. $3n.
El espacio fila de 5 es el s.e. de G13n %enerado por la filas de 5 y se
denota por EH,5( o H5.
G4s e3plcita$ente H5 &
( a a , , (, a a ,
1n 11 1n 11

.
El espacio colu$na de 5 es el s.e. de G$31 %enerado por la colu$nas
de 5 y se denota por EI,5( o I5.
G4s e3plcita$ente I5 &

,
_

,
_

$n
1n
$1
11
a
a
, ,
a
a

.
;ado )ue I5 &

'

,
_

+ +

,
_

!" , ,
a
a

a
a
n 1
$n
1n
n
$1
11
1

y

,
_

$n 1 $
n 1 11
a a
a a

,
_

n
1
& ,
a
a

a
a
$n
1n
n
$1
11
1

,
_

+ +

,
_

se si%ue )ue I5 & !G,5(

Eje$plos