SUBESPACIOS GENERADOS Y COMBINACIONES LINEALES

En la seccin anterior vimos que dados n subespacios

, podemos construir dos subespacios a partir de estos:
y


No es muy difcil verificar que estos subespacios tienen las siguientes caractersticas que
los distinguen:
i) es el subespacio ms grande
contenido en cada .
ii) es el subespacio ms pequeo que
contiene a cada .

Podemos plantear en general, si dado un subconjunto de V existir un
subespacio ms pequeo que contenga a S . La respuesta es afirmativa y dicho
subespacio se conoce como el subespacio generado por S.
Veremos que hay dos formas distintas de definir el subespacio generado.
Considrese la familia de todos los subespacios de que contienen a . Esta
familia es no vaca, ya que .

Definicin. Sea un subconjunto. Definimos el subespacio generado
por , y denotado por , como sigue:

Es decir, el subespacio generado por , se define como la interseccin de todos los
subespacios de que contienen a .

Es obvio que es un subespacio de (por ser interseccin de subespacios)
y (por construccin). Ahora bien, si es otro subespacio de
tal que entonces y por lo tanto,
.
Todo lo anterior prueba el siguiente:

TEOREMA. El subespacio es el menor subespacio de que contiene a .

Por ejemplo, si entonces , ya que claramente, ste
es el menor subespacio de que contiene al .
Exceptuando este caso especial, veremos la segunda forma de calcular el subespacio
generado por un conjunto. Usaremos el siguiente concepto:

Definicin. Sea y sea , decimos que x es
una combinacin lineal de elementos de S si
y tales que:


Ejemplo 1.
es combinacin lineal de cualquier subconjunto
, ya que .

Ejemplo 2.
Dados
probaremos que
es una combinacin lineal de .
Debern existir
tales que , es decir,



De aqu tenemos el siguiente sistema de ecuaciones:




Fcilmente obtenemos la solucin , y
, lo que demuestra que es combinacin lineal de .

TEOREMA. Sea un subconjunto del espacio vectorial
y defnase,
combinaciones lineales de elementos de S
Entonces .

Demostracin .- Probemos primero que es un subespacio de :
i) Como entonces
ii) Sean


donde



iii) Sea ,
y sea , entonces:




es un subespacio de V
Ahora bien, es claro que , ya que si
entonces .
Finalmente, sea otro subespacio de V tal que
. Y sea ,
, ,
como y es subespacio de V entonces


Hemos probado entonces que es el mnimo subespacio de V que contiene a S, es
decir, .

Definicin. Sea . Decimos que genera a si
.

A la luz del teorema anterior vemos que un subconjunto S genera a V si y solo si cada
elemento de V se puede escribir como una combinacin lineal de elementos de S.

Ejemplo 1.
genera al espacio vectorial , como ya comentamos anteriormente.
Tambin es obvio que todo espacio vectorial se genera a s mismo.

Ejemplo 2.
Es fcil verificar que si
entonces
genera el espacio vectorial .

Ejemplo 3.
Es fcil verificar que genera el espacio
vectorial .

Ejemplo 4.
Es fcil verificar que si definimos las siguientes matrices:


entonces genera el espacio vectorial
.

Este ltimo ejemplo puede generalizarse a , si definimos las
matrices como aquella matriz de que tiene 1 en la ij-sima
entrada, y 0 en todas las dems entradas. Entonces se verifica fcilmente
que
genera a .

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 { o
1
v
1
+ ... + o
k
v
k
/ o
1
, , o
k
e IR y

v
1
, ... , v
k
e C }, se denomina el
subespacio generado por el conjunto . C
Se conviene | = { 0
V
}
Ejemplos:

i) El generado por el vector nulo 0
V
de cualquier e.v. V es el subespacio nulo

V
0 = {0
V
}. En general el subespacio generado por cualquier vector v de un
e.v. V, nulo o no, es el conjunto v = { rv / r e 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
=

e
|
|
.
|

\
|
|
|
.
|

\
|
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
e 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
e 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 H 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 ou + |v, para ciertos escalares
o y |, entonces (ou + |v) n = o(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 _ H.
Por otro lado, si X =
|
|
|
.
|

\
|
z
y
x
es un punto del plano H, 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: H _ , u v , de donde la igualdad:
H = , 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 H 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 H pasa por el origen, las coordenadas de este punto deben
satisfacer la ecuacin de H, de donde k = 0 y la ecuacin de H 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 H, 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
H es: a
2
x + aby + acz = 0, como a = 0, se puede cancelar a en la ecuacin
del plano H, la cual, entonces, queda ax + by + cz = 0, es decir; la ecuacin
del plano H, de donde H est generado por dos vectores no nulos y no
paralelos.
Pruebas similares se obtienen suponiendo b = 0 c =0.

v) n e IN IR
n
= , e
1
...
n
e , y IP
n
= , 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 e C . Por u y v pertenecer a C , existen vectores
u
1
, ... , u
k
, v
1
, ... , v
m
eC y escalares o
1
, ... , o
k
, |
1
, ... , |
m
tales que
u = o
1
u
1
+ ... + o
k
u
k
y v = |
1
,v
1
+ ... + |
m
v
m
, de donde
u + rv = o
1
u
1
+ ... + o
k
u
k
+ r|
1
,v
1
+ ... + r|
m
v
m
tambin es c.l. de vectores en
C y por tanto pertenece a C .
ii) 0
V
e C , pues tomando un vector u eC 0
V
= 0ue 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 M
1xn
generado por la filas de A y se denota
por EF(A) o F
A
.
Ms explcitamente F
A
= ) a a ( , ), a a (
1n 11 1n 11
.
El espacio columna de A es el s.e. de M
mx1
generado por la columnas de A
y se denota por EC(A) o C
A
.
Ms explcitamente C
A
=
|
|
|
.
|

\
|
|
|
|
.
|

\
|
mn
1n
m1
11
a
a
, ,
a
a
.
Dado que C
A
=

e o o
|
|
|
.
|

\
|
o + +
|
|
|
.
|

\
|
o IR , ,
a
a

a
a
n 1
mn
1n
n
m1
11
1
y
|
|
|
.
|

\
|
mn 1 m
n 1 11
a a
a a

|
|
|
.
|

\
|
o
o
n
1
= ,
a
a

a
a
mn
1n
n
m1
11
1
|
|
|
.
|

\
|
o + +
|
|
|
.
|

\
|
o se sigue que C
A
= IM(A)