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 IR y v1, ... , vk C }, se denomina el
subespacio generado por el conjunto
. C
Se conviene

= { 0V }
Ejemplos:
i) El generado por el vector nulo 0V de cualquier e.v. V es el subespacio nulo
V
0
= {0V }. En general el subespacio generado por cualquier vector v de un
e.v. V, nulo o no, es el conjunto
v
= { rv / r IR }. En particular, el
generado
por el vector v =

,
_

2
1
es la recta que pasa por el origen y por el punto

,
_

2
1
:

,
_

2
1
=

'

,
_

,
_

IR r ,
2r
r

2
1
(ver figura)

ii) El generado por dos vectores no nulos y no paralelos en IR
2
es todo IR
2
.
En efecto, dos vectores no nulos u =

,
_

2
1
u
u
y v =

,
_

2
1
v
v
de IR
2
son no
paralelos, si y slo si el determinante de la matriz que los tiene como columnas
es no nulo:
2 2
1 1
v u
v u
0 (ver Problemas resueltos, Problemario 6, pregunta
6),
de donde, segn el Teorema creciente, para todo vector columna

,
_

b
a
IR
2
el
sistema

,
_

,
_

y
x
v u
v u
2 2
1 1
=

,
_

b
a
tiene solucin (que adems es nica). Ahora
bien, segn el problema 6 del problemario 1 en el enlace Problemas
propuestos:

,
_

,
_

y
x
v u
v u
2 2
1 1
= x

,
_

2
1
u
u
+ y

,
_

2
1
v
v
, de donde todo vector

,
_

b
a

IR
2
se expresa como

,
_

b
a
= x

,
_

2
1
u
u
+ y

,
_

2
1
v
v
, es decir; es c.l. de los vectores

,
_

2
1
u
u
y

,
_

2
1
v
v
y IR
2
=
,
u
u
2
1

,
_

,
_

2
1
v
v
.
iii) En IR
3
se tiene el resultado anlogo:
Dos vectores no nulos y no paralelos en IR
3
generan un plano que pasa por el
origen.
Sean u =

,
_

3
2
1
u
u
u
y v =

,
_

3
2
1
v
v
v
dos vectores no nulos y no paralelos de IR
3
. Si
n = u v =

,
_

c
b
a
, consideremos el plano de ecuacin: ax + by + cz = 0.
Tanto u como v satisfacen u (u v) y v (u v), de donde u (u v) = 0
y v (u v) = 0 u n = 0 y v n = 0. Ahora bien, como todo vector en el
generado por u y v:
, u v
, se escribe como u + v, para ciertos
escalares y , entonces (u + v) n = (u n) + (v n) = 0, entonces todo
vector en
, u v
satisface la ecuacin ax + by + cz = 0 y, por lo tanto,
pertenece al plano de ecuacin ax + by + cz = 0. Se tiene as
, u v
.
Por otro lado, si X =

,
_

z
y
x
es un punto del plano , entonces ax + by + cz =
0, es decir X (u v) = 0, de donde los vectores cuyas coordenadas son las
de X, u y v son coplanares (ver Problema 4 del Problemario 8 en el enlace
Problemas propuestos), lo cual implica que X pertenece al generado por u
y v. Se tiene la inclusin que faltaba:
, u v
, de donde la igualdad:
=
, u v
.
iv) En IR
3
vale tambin el recproco: Todo plano que pasa por el origen est
generado por dos vectores no nulos y no paralelos
Sea un plano que pasa por el origen, su ecuacin es ax + by + cz = k, para
ciertos a, b, c y k en IR, pues sa es la ecuacin general del plano. Ahora
bien, como pasa por el origen, las coordenadas de este punto deben
satisfacer la ecuacin de , de donde k = 0 y la ecuacin de queda
ax + by + cz = 0. Los escalares a, b y c no son todos nulos (Qu ecuacin
sera sa?), suponer que a 0, implica, segn la proposicin probada en la
parte iii), que los vectores no nulos y no paralelos u =

,
_

0
a
b
y v =

,
_

a
0
c

generan el plano , cuya ecuacin es: ax + by + cz = 0 y u v =

,
_

' c
' b
' a
,
pero u v =
a 0 c
0 a b
k j i

,
_

ac
ab
a
2
, de donde a = a
2
, b = ab, c = ac y la
ecuacin de es: a
2
x + aby + acz = 0, como a 0, se puede cancelar a en
la ecuacin del plano , la cual, entonces, queda ax + by + cz = 0, es decir; la
ecuacin del plano , de donde est generado por dos vectores no nulos y
no paralelos.
Pruebas similares se obtienen suponiendo b 0 c 0.
v) n IN IR
n
=
, e
1 ... n
e ,
y IPn =
, 1
x, x
2
,
n
x ,
Teorema
El generado por un subconjunto no vaco
C
de vectores de un e.v. es subespacio de V
Demostracin:
i) Si u y v pertenecen al generado por
C
y r es un escalar, probaremos que
u + rv
C
. Por u y v pertenecer a
C
, existen vectores
u1, ... , uk, v1, ... , vm
C
y escalares 1, ... , k, 1, ... , m tales que
u = 1 u1+ ... + k uk y v = 1,v1 + ... + mvm, de donde
u + rv = 1 u1+ ... + k uk + r1,v1 + ... + rmvm tambin es c.l. de vectores en

C
y por tanto pertenece a
C
.
ii) 0V
C
, pues tomando un vector u
C
0V = 0u
C
.
Otro ejemplo.
vi) Espacio fila y espacio columna de una matriz.
Sea A =

,
_

mn 1 m
n 1 11
a a
a a

una matriz mxn.
El espacio fila de A es el s.e. de M1xn generado por la filas de A y se denota
por EF(A) o FA.
Ms explcitamente FA =
) a a ( , ), a a (
1n 11 1n 11

.
El espacio columna de A es el s.e. de Mmx1 generado por la columnas de A
y se denota por EC(A) o CA.
Ms explcitamente CA =

,
_

,
_

mn
1n
m1
11
a
a
, ,
a
a
.
Dado que CA =

'

,
_

+ +

,
_

IR , ,
a
a

a
a
n 1
mn
1n
n
m1
11
1
y

,
_

mn 1 m
n 1 11
a a
a a

,
_

n
1

=
,
a
a

a
a
mn
1n
n
m1
11
1

,
_

+ +

,
_

se sigue que CA = IM(A)