matriz

aparece
nal.
elrango
go de
lucin
Los espacios R~2 Y ~3 forman parte de nuestra cultura porque han si-
- utilizados para modelizar las realidad en que vivimos. Desde la antige-
-'" se utilizaron valores de ~ para situar un punto en una recta, luego,
cartes en el siglo XVII utiliz pares de ~2 para representar puntos en
_ plano y temas de ~3 para representar puntos en el espacio.
_ aturalmente, para describir laposicin de un punto mediante un valor
':::t?hay que fijar un sistema de referencia (sistema de coordenadas con un
gen).
En estas condiciones, los vectores se pueden representar geomtrica-
ente uniendo mediante una flecha el origen de coordenadas: O con el
::.mto Ul en R, (0,0) con (Ul,U2) en ~2, y, (0,0,0) con (Ul,U2,U3) en ~3,
- vectores as obtenidos reciben el nombre de vectores fijos.
Desde el siglo XIX se vienen estudiando conjuntos de vectores! de la
: rma Ti =(Ul, U2, ... , un) de ~n , formados por n-nuplas de nmeros reales
_ e, apesar de no admitir representacin geomtrica, sirven como soporte
.:ara representar procesos fsicos, industriales, informticos, ...
Todo el material presentado en este captulo es el soporte sobre el que
se asentarn los posteriores. Por consiguiente se deben dominar bien sus
::ontenidos, tanto los conceptos como los mecanismos que se adquieren al
realizar numerosos ejercicios.
El esquema siguiente indica el orden en que vamos a desarrollar los
contenidos de este captulo para alcanzar los objetivos propuestos en cada
una de las secciones.
Aunque denotaremos de forma genrica los vectores de J l{2 y J l{3 como (Xl,X2) y
Xl. X2, X3) eshabitual queaparezcan tambin bajolasnotaciones (x, y) y (x, y, z), respec-
rivamente.
54 CAPTULO 2 I Espacios vectoriales
Espacios vectoriales V
Subespacios vectoriales
Sistemas de Generadores de subespacios vectoriales
Bases
Teoremas de labase
O peraciones entre subespacios
2.1Espacios Vectoriales. Sub espacios 55
1. Espacios Vectoriales. Subespacios
1. Elementos didcticos
duccin
En esta seccin sevan a enunciar y estudiar las condiciones que deben
- icar las operaciones definidas en un conjunto para que dicho conjunto
- Qaestructura de espacio vectorial.
Despus buscaremos conjuntos de elementos tales que al definir en ellos
- :::erminadas operaciones tengan lamisma estructura algebraica .
entaciones
Conocidas las operaciones estndar (suma y producto) en el conjunto
..:: efiniremos otras operaciones en distintos conjuntos y estudiaremos las
__ _iedades que tienen.
=>efiniremos el concepto abstracto de espacio vectorial y estudiaremos
::...... en esta estructura algunos conjuntos con diversas operaciones.
_ -etivos
Identificar vector con elemento de un espacio vectorial.
Reconocer si un conjunto junto auna operacin externa y otra interna
tiene estructura de espacio vectorial.
aber aplicar las caracterizaciones de subespacio vectarial.
Espacios vectoriales
Para que un conjunto no vaco, V, sea espacio vectorial es necesario que
+erifiquen condiciones:
Poder hacer una operacin interna (que llamaremos suma aunque no
sea lasuma estndar) entre los objetos matemticos que forman V.
Poder hacer una operacin externa (o multiplicacin par escalares
que no tiene parqu ser lamultiplicacin estndar) entre dichos obje-
ros de Vy los nmeros reales o escalares.
Maxima: un vector se de-
fine como una lista con
las coordenadas separadas
por comas y encerradas en-
tre corchetes (p.e. el vector
(2,3) se define como "[2,3]").
Maxima: una matriz se de-
fine escribiendo sus filas co-
mo listas con la instruccin
"matrix([fila 1],... ,[fila nJ )".
56 CAPTULO 2 / Espacios vectoriales
Maxima: un vector tambin
se define como una matriz fi-
la (p.e. "matrix([2,3])") o una
matriz columna (p.e. "ma-
trix([2] ,[3])").
Maxima: se suman matrices
o listas mediante el smbolo
"+" (p.e. "[1,2]+[3,1]").
Aunque hay muchos procesos para los que es necesario utilizar esp-
ciosvectoriales sobreel conjunto delosnmeros complejos e, enestetex
consideraremos solamente espacios vectoriales sobreIR.
Lasdefiniciones dadas no variaran pero habra quesustiruir ]R por _
Antes de llegar al concepto de espacio vectorial, vamos a presenta:"
ejemplos deconjuntos conuna operacin interna (suma) y una operaci::
externa (multiplicacin por escalares).
EJ EMPLO 2.1. Losvectores del plano ]R2 sepueden:
Sumar Multiplicar por escalares
Definiendo lasuma delosvectores
u =(Ul, U2) y v =(VI, V2) de ]R2
como:
U+V= (Ul+Vl,U2+V2).
4
3 (1 2) __ ?}(4,3)
2 '-- /
1 ---L '(3,1)
o -1""''-+--+--+-+-+
o 1 2 3 4 VI
Vector suma (1,2) +(3, 1) =(4,3)
(regla del paralelogramo).
Definiendo el producto de un e -
calar A E ]Rpor el vector u
(Ul, U2) de]R2 como:
A U =(A Ul, A U2).
I I J
3 4 VI
Vector producto 2(1, 2) =(2,4).
Figura2.1:O peraciones en]R2.
EJ EMPLO 2.2. Consideremos el conjunto :F delas funciones f : [ a , bJ --t c::
que asignan a cada punto x del segmento cerrado [ a , bJ un nmero rea'
f (x). Dichasfunciones sepueden sumar entres (operacin interna) ymul-
tiplicar por nmeros reales oescalares comosigue:
Sumar Multiplicar por escalares
Definiendo la suma de dos fun-
ciones f, 9 E :F como:
(j +g )(x ) =f (x ) +g (x ).
Definiendo el producto del escalar
A E ]Rpor lafuncin f E : F como:
(A f )(X) =A f (x ).
.b ] ~ lR,
ero real
) ymul-
s
escalar
como:
a,b,e, ...
2.1Espacios Vectoriales. Subespacios 57
=.;.:x;r:, ejemplos secumple lacondicin necesaria:
-: ..ryadef inidas una operacin interna y otra ex terna.
_~ono essuficientepara queel conjunto seaespacio vectorial. En
_'--- ...szuiente seexpresan lascondiciones necesarias ysuficientes que
"!tW~........c espacio vectorial
, 2.1 Un conjunto V formado por los elementos a,b , e, . .. es
ectorial si:
, definida laoperacin interna" *" entre sus elementos
a,b , e, ...
, definida laoperacin externa"." entreescalares
A, J - L , .
operaciones anteriores verificanlaspropiedades del cuadro si-
-ente, siendo a,b , e, elementos cualesquiera deVy A,J - L escalares
nmeros reales) cualesquiera:
- selementos deun espacio vectorial sellaman vectores y sedenotan
_larayaencima, por ejemplo, a .
escalares sedenotan conletras griegas, A, J - L , ....
-=-;: muy frecuente utilizar el smbolo "+" para la primera operacin
... enosealasuma estndar.
-=-ambinesfrecuenteomitir el smbolo"." delasegunda operacin, co-
= hacepara laoperacin estndar demultiplicar nmeros realesdonde
~':;cienteescribir uno acontinuacin deotro.
Maxima: multiplica un es-
calar por una matriz o una
lista mediante el smbolo "*",
(p.e. "2*[1,2]"). El smbolo" ."
est reservado para multi-
plicar matrices (p.e. "A.B").
58 CAPTULO 2 I Espacios vectoriales
El elementoneutro etambin
sedenotapor O .
El elemento simtrico tam-
bin se llama opuesto o in-
verso.
Propiedades que debe tener la ope-
racin interna U*" definida en el con-
junto V:
Propiedades delaoperacin "e" exter-
nadefinida entreloselementos deV
losescalares:
(V, *) esGrupo Conrnutativo
51 Asociativa: El Distributiva de es-
calares respecto a la ope-
racin entre vectores:
A e (O;*b ) =(A e0;) * (A eb ).
52 Existeelemento neutro" e", ve- E2
rificando:a *e =e *a =a .
Distributiva devectores respec-
to a la suma de escalares:
(,\+.) e0,= (,\ e0;) * (. ea ).
Asociativa respecto al
producto de escalares:
('\.)ea =Ae(.ea ).
'-----'-----:--
Existe un escalar
unidad "1", que verifica:
lea =a .
53 Para cada a hay un elemento a l, E3
el simtrico dea , tal que:a *a l =
a l *a =e.
54 Conmutativa: a *b =b *a . E4
ev, *, elR) esESPACIO VECTO RIAL
Laterna (V, *, e~) sellama espacio vectorial y, para facilitar lanotaci
en lo que sigue se denotar por (V, *, ~).
Si en V se verifican las propiedades SI, S2, S3 el par (v,*) se llama
grupo. Si, adems, severifica S4 el par (V, *) es un grupo conmutativo.
Un ejemplo conocido de grupo conmutativo es ~con la suma estndar
y (~, +,~) es un espacio vectorial con la suma y producto habituales
Adems, en este caso, coinciden los elementos escalares con los vectores.
EJ EMPLO 2.3. (~2, +,lR)es un espacio vectorial.
Decir que (lR
2
, +,lR) es un espacio vectorial, o que lR
2
tiene estructura
de espacio vectorial sobre ~, es decir que con las operaciones de suma:
vectores y multiplicar vectores por nmeros reales, que hemos definido en
el Ejemplo 2.1, es cierto que:
La operacin de sumar vectores verifica las propiedades 51, 52, 53
54, lo que es lo mismo, (lR
2
, +) es un grupo conmutativo.
La multiplicacin de escalares por vectores verifica las propiedades
El, E2, E3Y E4.
2.1Espacios Vectoriales. Subespacios 59
Sepuede generalizar el resultado anterior al conjunto IR
n
cuyos elemen-
_son n-nuplas, es decir, elementos de laforma (Xl, ... , x n) siendo Xi E IR.
~~-'-onces(IR
n
, +,IR) es un espacio vectorial al definir lasuma componente a
ponente (suma habitual o estndar) y el producto por un escalar como
- _roducto del escalar por cada una de las componentes.
~ L-1PLO 2.4. El conjunto F de las funciones j : [ a , b] --7 IR con las opera-
es definidas en el Ejemplo 2.2, tiene estructura de espacio vectorial.
Para comprobado hay que demostrar que las operaciones suma de fun-
- _esy multiplicacin de funciones por escalares verifican las propiedades
-gidas en la definicin.
abiendo que dos funciones son iguales si sus imgenes son iguales
_ tL'U cada elemento del dominio de definicin, trasladamos las comproba-
- _es al campo de las imgenes, cuyas propiedades conocemos por ser
eros reales .
(F , +) es un grupo conmutativo: La operacin" +" en el conjunto F
verifica todas las propiedades requeridas:
-=:=.: Asociativa: (J +g ) +h =j +(g +h), Vj, g , h F
Primer miembro Segundo miembro Una tcnica para comprobar
-......,.-: : r(j-+-----: g ): -+----: c
h
-;-)-;-( X....,.)-=-------+-: : (-=j-+.........,..(g -+----: c
h
'7 )- ;- ) (""'x ..,..) -=---------l que una igualdad es cierta
c\. esdesarrollar independiente-
= (J +g )(x ) +h(x ) =j(x ) +(g +h)(x ) mente los dos miembros y
= j(x ) +g (x ) +h(x ). =j(x ) +g (x ) +h(x ). compararlosdespus.
------~~--~~--~~------~----~~--~~--~~------~
2:Existe una funcin neutra: O E F, que verifica j +O =i,V j E F La
-_ cin O es lafuncin nula, es decir, O(x ) =O ,Vx E IR.
Primer miembro
j(x ).
Segundo miembro
Recordemos queel smboloV
significa"para cada".
.~ - O)(x ) =j(x ) +O(x ) =
= j(x ) +0= j(x ).
3:Para cada elemento j del conjunto F existe un elemento simtrico:
- - E F, (- j) E F, definido como (- f )(x ) =- j(x ), tal que j +(- f) =O .
Primer miembro Segundo miembro
~-(-f ))(x ) =
= j(x ) +(-f )(x ) =o.
O .
:Propiedad conmutativa: V t,9 E F severifica j +9 =9 +j.
60 CAPTULO2 I Espacios vectoriales
Primer miembro Segundo miembro
(f +g )(x ) =f (x ) +g (x ). (g +f )(x ) =g (x ) +f (x ) .
(F, +, IR)tiene las propiedades:
El:Distributiva deescalares respecto asuma deelementos deF :
).,(f +g ) =).,f +).,g .
Primer miembro Segundo miembro
).,(f +g )(x ) =).,(f (x ) +g (x )) =
= ).,f (x ) +).,g (x ).
().,f +).,g )(x ) =().,f )(x ) +().,g ) (x ) =
= ).,f (x ) +).,g (x ).
E2:Distributiva deelementos deF respecto alasuma deescalares:
()., +;,)f =).,f +u] ,
Primer miembro Segundo miembro
().,f +;,f )(x ) =().,f )(x ) +(;,f )(x ) =
= ).,f (x ) +;,f (x ).
(()., +;,)f )(x ) =()., +;,)f (x ) =
= ).,f (x ) +tf (x ).
E3:Asociativa deescalares y vectores frenteal producto:
().,t)f =).,(;,f).
Primer miembro Segundo miembro
().,(;,f ))(x ) =).,(;,f )(x ) =).,;,f (x ). (().,;,)f )(x ) =().,;,)f (x ) =).,;,f (x )
E4:Existeun escalar unidad, 1,queverifica 1f =i
Primer miembro Segundo miembro
f (x ). (lf )(x ) =1f (x ) =f (x ).
Lasfunciones f deF sonvectares par ser elementos deun espaciovec-
tarial. Loselementos deIRsonlosescalares.
Yahemos dicho que 1R2 con las operaciones estndar tiene estructura
deespacio vectarial, pero esposible definir en1R2una nueva operacin de
multiplicar por escalares que no cumpla las propiedades requeridas para
conferir a1R2estructura deespacio vectarial.
EJ EMPLO2.5. El conjunto 1R2noesun espaciovectorial conlasoperacione
(Xl, X2) +(Yl, Y2) =(Xl +Yl, X2 +Y2) y).,. (Xl, X2) =().,
2X
l,).,X2).
I
I
Ix) =
~:
x).
lOvec-
-
r..xru
ra
pjnde
s vara
,
ones
2.1 Espacios Vectoriales. Sub espacios 61
_ o es necesario analizar las propiedades de la operacin definida en-
tre los pares de lR
2
porque es la suma estndar de vectores, ysabemos
que (lR
2
, +) es grupo conmutativo.
Propiedades de la multiplicacin no estndar definida entre escalares
y vectores:
_-o cumple la distributiva de los vectores respecto ala suma de escalares
=- I es decir, (A +f- l) u no es igual que A u +f- l u:
Primer miembro
A. (Xl, X2) +f-l. (Xl, X2) =
= (A2XI, AX2) +(j.t
2X
I, f- lX2) =
= (A2XI +f- l
2X
I, AX2 +f- lX2).
Segundo miembro
(A +f- l). (XI,X2) =
=((A +f- l)2XI, (A +f- l)X2) =
= A2xI +2Af- lXI +f- l2XI, AX2 +j.tX2).
apodemos afirmar que no es un espacio vectorial, puesto que no cum-
- una de las condiciones necesarias. Aunque no es espacio vectorial va-
- a comprobar si tiene el resto de las propiedades:
:1:S cumple la distributiva de los escalares respecto a la suma de vec-
: A (u +v) =A u +A v:
Primer miembro
A. (XI,X2) +A. (YI,Y2) =
= (A2xI, AX2) +(A2YI, AY2) =
= (A2XI +A
2
YI, AX2 +AY2).
Segundo miembro
A. ((Xl, X2) +(YI, Y2)) =
=A. (Xl +YI, X2 +Y2) =
= (A2(XI +YI),A(X2 +Y2)).
8:S cumple la asociativa respecto al producto de escalares: (Af- l) u =
J 1 u).
Primer miembro
A. (f- l(XI,X2)) =A. (f- l2XI,f- lX2) =
= (A2f- l
2x
I, Af- lX2)'
Segundo miembro
J l).(XI,X2) =((Af- l)
2x
I,Af- lX2) =
= (A2f- l
2X
I, Af- lX2)
E4:S existe un escalar unidad, 1, tal que: 1u =u.
Primer miembro Segundo miembro
-
62 CAPTULO2 / Espacios vectoriales
Maxima:: no hay ninguna
instruccin que indique si un
conjunto y unas operaciones
definen un espacio vectorial.
Hemos comprobado conesteejemploquelaestructura algebraica
deun conjunto depende del conjunto elegido ydelaoperacin u
operaciones quesedefinan enl.
Existenotros espacios vectoriales distintos del R" cuyosvectores cono-
cemosy sern considerados enlasseccionessuguientes.
EJ EMPLO2.6. O tros ejemplos deespaciosvectoriales son:
El conjunto fJ n depolinomios degrado menor oigual an enlavaria-
blex .
Como sabemos, p(x) E fJ n si
siendo a i E lR 'ti i.
Con las operaciones conocidas de suma de polinomios y multipli-
cacindeun escalar por un polinomio secomprueba fcilmenteque
(fJ n, +,lR) verificalascondiciones para ser espaciovectorial.
El conjunto dematrices deorden n x mdenotado por Mnx m'
En el captulo siguiente secomprueba que Mnx m cumple todas las
propiedades deespaciovectorial considerando lasoperaciones cono-
cidas de suma de matrices y multiplicacin de un escalar por una
matriz esun espaciovectorial. _
2.1.3. Subespacios vectoriales
Hay subconjuntos deun conjunto que, conlasmismas operaciones, ha-
cen que el conjunto dado tenga una estructura concreta, tienen lamisma
estructura algebraica queel conjunto enqueestn contenidos. Suspropie-
dades sonms fcilesdeestudiar por ser parte deuna estructura conocida.
Cuando unsubconjunto deunespaciovectorial esasuvez espaciovec-
torial conlas operaciones definidas enste, diremos queesun subespacio
vectorial del espacio vectorial dado. De forma ms precisa podemos es-
cribirloconlenguajematemtico.
Definicin 2.2 U es un subespacio vectorial del espacio vectoral
(V, *,lR) si U essubconjunto deV y (U, *,lR) esespaciovectoral.
sria-
-,.
tese que el subconjunto U no puede ser el conjunto vaco ya que
5.! (U, *,~) es espacio vectorial, en particular (U, *) es grupo. Por lo tanto,
:=O E U.
2.1Espacios Vectoriales. Subespacios 63
Los conceptos contenidos en la definicin anterior son:
1 . U es un subespacio vectorial del espacio (V, - . ~ ).
El conjunto Ves un espacio vectorial con la operacin U*U y lamulti-
plicacin por nmeros reales.
.J . U es espacio vectorial con las mismas operaciones que lo es V.
4. Decir que secumple 1es equivalente adecir que secumplen 2y 3.
Una consecuencia de la definicin de subespacio vectorial es que cual-
_ ier espacio vectorial V tiene, al menos, dos subconjuntos que con las
~;5ll1as operaciones son tambin espacios vectoriales, sellaman subespa-
05 impropios y son el conjunto formado por el elemento neutro {e} y
- _ ropio conjunto V. Si algn otro subconjunto de Ves espacio vectorial,
.::.:::emosque es un subespacio propio de V.
Para ver si un subconjunto U de Ves subespacio vectorial de (V, *,~)
_- ~ueden seguir dos caminos:
Comprobar que el subconjunto U con las operaciones de V verifica
todas y cada una de las condiciones que definen un espacio vectorial.
Utilizar las ventajas de que U es subconjunto del espacio vectorial V.
Con esta opcin se reducen los clculos, como veremos en ejemplos
posteriores.
dicin necesaria y suficiente de subespacio vectorial,
que U es subespacio vectorial de (V, *,~) equivale adecir que:
u *v E U Y A. u E U, Vu,v E U Y VA E ~, (2.1)
do U un subconjunto no vaco de V.
:::"' conceptos contenidos en el recuadro anterior son:
=-. U es un subespacio vectorial del espacio (V, *, ~).
64 CAPTULO 2 / Espacios vectoriales
Las rectas que pasan por el (O ,O )
son subespacios de1R
2
.
2. Vu, V E U =? U *V E U (el resultado de hacer la operacin J/*J/ con d ~
vectores cualesquiera de U pertenece aU).
3. Vu E U, VA E ]R.=? A. U E U (el resultado de hacer la operacin ".
de un nmero real con un vector cualquiera de U pertenece a U).
Xl
4. U no es vaco (tiene algn elemento).
5. La condicin necesaria y suficiente para que U sea subespacio ved
rial de (V, *,]R.)es vn; V E U =? u *v E U Y va E U, VA E ]R.=? AU E e
Esmuy fcil demostrar que, si secumple lacondicin dada en laDefin-
cin 2.2 entonces se cumple la dada en las condiciones necesarias y suf-
cientes de subespacio vectorial, y viceversa, pero escapa al objetivo de e -
curso hacer demostraciones de los contenidos".
EJ EMPLO 2.7. El conjunto de soluciones de la ecuacin 2Xl - X2 +X3 =
es un subespacio vectorial de (]R.3, +,]R.).
El conjunto de soluciones de la ecuacin dada est formado por las
ternasde nmeros reales (SI, S2, S3), que satisfacen lacondicin 2Xl -
X2 +X3 =O , es decir, el subconjunto de ]R.3:
Ntese que E es no vaco, al menos (O , O , O ) E E. En los items siguien-
tes secomprueba que secumplen las condiciones que son necesarias
y suficientes para que E sea subespacio vectorial de (]R.3, +,]R.).
Verifica que la suma de dos soluciones de la ecuacin es solucin de
la ecuacin (es la condicin Vu, v E U ==? u * v E U expresada para
este caso concreto, donde V es ]R.3, la operacin J/ *" es J/ +"Y U es E):
(SI, S2, S3) E E {: } 2S1 -S2+S3 =O Y (tI, t2, t3) E E {: } 2tl -t2+t3 =O .
Setrata de ver que (SI, S2, S3) +(h, ta, t3) est en E. En efecto:
Como (SI,S2,S3)+(tl,t2,t3) =(SI +tl,S2+t2,S3+t3),slof altacom-
probar que sus coordenadas cumplen la ecuacin teniendo en cuenta
que cada vector lacumple por ser elemento de E:
2(SI +tI) - (S2 +t2) +(S3 +t3) =(2s1 - S2 +S3) +(2tl - t2 +t3) =O .
Por lo tanto, (SI, S2, S3) +(h, t2, t3) E E.
2Aparecern algunas amodo deejemplo opara ilustrar una tcnicaconcreta.
dos
"."
ecto-
E U.
=O .
-
2.1 Espacios Vectoriales. Sub espacios 65
Verifica que el producto de un nmero real por una terna, solucin
de la ecuacin, tambin es solucin de la ecuacin (es la condicin
Vu E U, V>" E IR =}>..V,E U expresada para este caso concreto, donde
V es IR3 y U es E): > ..(Sl, S2, S3) E E porque (> "Sl, > "S2, > "S3) verifica
2> "Sl - > "S2 +> "S3 => "(2s1 - S2 +S3) =O .
Geomtricamente, 2X1 - x 2 +x 3 =O en IR
3
representa un plano que
pasa por el origen. La ecuacin 2X1 - x 2 +x 3 =O es la ecuacin
cartesiana del subespacio S.
Unas ecuaciones paramtricas de S son
a
{3
-2a +{3
a, {3 E IR.
=~IPLO 2.8. El conjunto U ={(U1' U2, U3) E IR3 : u1 =1}no es subespa-
e(IR3,+,IR).
\'amos a comprobar que no se cumple alguna de las condiciones que
~ erizan a U para que sea subespacio vectorial de (IR3, +, IR):
Es un subconjunto de IR3 no vaco en el que hay elementos de U co-
mo (1,2,3) Y (1, O ,O ),cuya suma (2,2,3) no pertenece aU, porque su
primera componente es distinta de 1. Luego U no es subespacio de
""3
-" .
En este ejemplo resulta, adems, evidente que U no puede ser espacio
vectorial, ya que O =(O ,O ,O )no pertenece a U, y el elemento neutro
de (IR
3
, +, IR) debe pertenecer a U (porque U debe ser un grupo).
Geomtricamente Xl =1en IR
3
representa un plano que no pasa por
el origen.
E frecuente ver las dos condiciones caractersticas de los subespacios
padas en una sola.
Una condicin necesaria y
suficiente se llama tambin
caracterizacin.
-
66 CAPTULO 2 / Espacios vectoriales
Caracterizacin de los subespacios vectoriales.
Decir que U (subconjunto no vaco de V) es subespacio vectorial de
(V, *,IR) equivale adecir que:
(2.2)
Sedemuestra fcilmente la equivalencia entre las condiciones dadas er;
(2.1) Y las dadas en (2.2).
Con frecuencia seutiliza laforma reducida
en vez de a * iv E U, que seha obtenido multiplicando laexpresin (2.
por ~con), i=O Y haciendo a =~.
EJ EMPLO 2.9. El subconjunto U
I
={(Xl, X2, X3) E IR
3
: x l +x 2 +x 3 =1~
no es subespacio vectorial de (IR
3
, +,IR).
Comprobemos si verifica va, v E U
I
, Va E IR =? u +av E U
I
:
Lasuma de las componentes es:
(Xl +aYI) +(X2 +aY2) +(X3 +aY3) =(Xl +X2 +X3) +a(YI +Y2 +Y3)
=1+la.
Como 1+a no tiene porqu ser 1podemos afirmar que U
I
no es sub-
espacio vectorial de (IR
3
, +,IR).
Geomtricamente, Xl +X2 +X3 =1en IR
3
representa un plano que no
pasa por el origen. _
EJ EMPLO 2.10. El subconjunto U2 ={(Xl, X2, X3) E IR
3
:Xl +X2 +x 3 =O }
es subespacio vectorial de (IR
3
, +,IR).
(2.2)
de
=1}
=O }
2.1Espacios Vectoriales. Subespacios 67
La suma de las tres componentes de este vector es:
que es lacondicin requerida para que un vector pertenezca a U2.
Como x +cif] E U2 Va E lR, x, fj E U2 tenemos que U2 es subespacio
vectorial,
Geomtricamente, xl +X2+X3 =O enlR
3
representa un plano que pasa
~or el origen y la ecuacin Xl +X2 +X3 =O es la ecuacin cartesiana
de U2.
Clculo de unas ecuaciones paramtricas de U2:
(3
-a- (3
a, (3E R
En los conjuntos U1 y U4
de estos ejercicios es sufi-
ciente observar que (O ,O ,O )
no pertenece aellos para afir-
mar que no son espacios vec-
toriales.
-
lPLO 2.11. El subconjunto U3 ={(Xl, X2, X3) E lR
3
:Xl +X2 :s; 1}no es
:-'o""""",Tlacio vectorial de (lR
3
, +,lR).
Lasuma de las dos primeras componentes de este vector es
que no tiene porqu verificar la condicin que caracteriza al subcon-
junto U3, como sepuede observar que ocurre en el caso siguiente:
-1, 0,1) E U3 porque -1 +O <1Y (0,1,2) E U3 porque O +1<1,
mientras que (-1, 0,1) +5(0,1,2) = (-1,5,11) no pertenece a U3
porque -1+5 =4 >1Y por lo tanto U3 no es un subespacio vec-
torial.
Geomtricamente, Xl +X2 :s; 1no representa un plano ni una recta de
3
-
68 CAPTULO2 / Espacios vectoriales
Aunque el vector (O ,O ,O )
s pertenece a U3 y U5
ninguno de ellos es espacio
vectorial.
EJ EMPLO2.12. El subconjunto U4
subespacio vectorial (ffi.
3
, +, ffi.).
El producto de sus dos primeras componentes es:(Xl +aYI)(x 2 -
aY2) =XIX2 + aXIY2 + aX2YI + a
2
YIY2 =1+ aXIY2 + aX2YI + a
2
.
Como 1+ aXIY2 + aX2YI + a
2
no tieneporqu ser 1,entonces U4 no es
subespacio vectorial.
Geomtricamente, XIX2 =1no representa un plano ni una rectade
ffi.3.
EJ EMPLO2.13. El subconjunto U5 ={(Xl, X2, O ) E ffi.3:xi + x : : : ; 1}no es
subespacio vectorial (ffi.
3
, +, ffi.).
Si x =(Xl, X2, O ), y =(Yl, Y2, O ) sonvectores deU5,
Lasuma deloscuadrados desus dosprimeras componentes es:
Como laexpresin anterior no tieneporqu ser menor oigual que 1
para temas cualesquiera de U5 y cualquier valor real dea, podemos
afirmar queU
5
no essubespaciovectorial.
Geomtricamente no representa un plano ni una rectadeffi.3.
Los planos y las rectas que pasan por el origen son los nicos
subespacios propios de(ffi.
3
, +,ffi.).
-
no es
~no es
a de
-
no es
-
- ~- --- -- -------------------------
2.2Sistemas de generadores 69
Sistemas de generadores
Elementos didcticos
,,"",",",_uuuccin
-::- zeneral, se pueden obtener vectores a partir de otros vectores uti-
'o las operaciones del espacio vectorial en que estn.
'::lily conjuntos de vectores capaces de generar los dems vectores del
__ -= '0vectorial ode un subespacio suyo, son los sistemas de generadores.
'eremos la forma de generar los espacios vectoriales finitos, para lo
_ ulta imprescindible introducir el concepto de dependencia lineal,
srrando que laforma de generar un espacio vectorial no es nica.
taciones
- esta seccin es ineludible el uso de herramientas como las matri-
determinantes o los sistemas de ecuaciones, todas ellas se pueden
en el"Curso 0".
matrices seutilizarn para escribir el desarrollo de un vector como
inacin de los vectores de un sistema de generadores, para relacionar
0-0 con la condicin de sistemas de vectores libres o ligados y, en
__ .eral, para facilitar y desarrollar todos los contenidos.
~-tilizando matrices, que esmuy sencillo en Maxima, sehace inmediato
=_~ilejo de conceptos que sin ellas puede resultar tedioso.
_ietivos
Analizar los sistemas de vectores para saber si son libres o ligados
utilizando ladefinicin y las matrices.
Establecer las relaciones de dependencia lineal, si existen.
Construir los vectores de un espacio vectorial apartir de un sistema
de generadores teniendo en cuenta el rango del sistema y de la apli-
cacin de los teoremas de supresin y sustitucin.
Deducir las ecuaciones paramtricas deun subespacio vectorial apar-
tir delas ecuaciones cartesianas yviceversa, analizando su sistema.de
generadores.
70 CAPTULO2 / Espacios vectoriales
Maxima: un vector en for-
ma de columna se define
con la instruccin "matrix([fila
1], ... , [fila n])" (p.e. "ma-
trix([2], [3])").
2.2.2. Combinacin lineal
Consideremos un espacio vectorial (V, +,IR) Y el sistema (conjunto) de
vectores S ={U1, U2,' .. ,up} deV.
Definicin 2.3 Sedicequev E Vesuna combinacin lineal odepende
linealmente deS, si:
siendo A l, A 2,'" ,A p nmeros reales.
EJ EMPLO2.14. Si U1 =(1,0,1) YU2 =(2,0,1), cualquier vector delaforma
v =A l U1 +A 2u2 para ciertos A l, A 2 E IR es combinacin lineal o depende
linealmente delosvectores U1 y U2.
Sepuede expresar tambin atravs de sus coordenadas en formato
horizontal:
oenformato vertical comomatriz columna:
Laexpresin anterior sepuede escribir enformaparamtrica como:
A, J .L E R
Esdecir, para cada A, J .L E IR obtenemos un vector (V1, V2, V3) apartir
de la expresin anterior. Por ejemplo, si A = 1Y J .L =2, el vector
(5,0,3) escombinacin lineal odepende linealmente de{U1, U2}.
Ntese que laexpresin anterior enforma paramtrica indica que el
valor deV2 siempre espero losvalores deV1 y V3 soncualesquiera,
porque siempre existenvalores delosparmetros A, J .L apartir delo
cuales seobtiene cualquier valor deV1 y V3.
o) de
de
-
2.2Sistemas degeneradores 71
E importante sealar que, en estecaso, las ecuaciones paramtricas
ociadas aVl y V3 sondistintas Vl =A +2f- L Y V3 =A +f- L respectiva-
ente.
Para construir todos losvectores deun espacio vectorial, V, o, enpar-
:=,..., de cualquier subespacio vectorial suyo U es suficienteconocer un
- _iunto de vectores que genere todos los dems mediante combina-
- lineales, esdecir,unsistemagenerador deVodeUrespectivamente.
En general, las ecuaciones
pararntricas y cartesianas de
un subespacio seexpresan en
XII X2, ...
n 2.4 Decir que 8 esun sistema degeneradores deun subes-
deV oqueU estgenerado por 8equivale adecir que:
Cualquier vector deU escombinacin lineal devectores de8.
='~ expresar queel subespacio U esel conjunto detodas lascombina-
- Iinealesdelosvectores de8seescribeU =(8).
-=-~- cuentellamar a(8) envoltura lineal deS.
LO 2.15. Consideremos el sistema devectores del Ejemplo2.14.En-
- ={(1,0,1), (2,O ,1)}e1R.
3
genera todos los vectores delaforma
:. 0.1) +f- L (2, 0,1) siendo A, f- L E R
-=-' subespacio de1R.
3
generado por S es:
(S) ={(A +2f- L , O , A +f- L ): A, f- L E 1R.} .
- -- ecuacionesparamtricas de (S) son:
A, f- L E R
~"""'...ladones cartesianas de (8):
X2 =o.
_-. esequeXl y X3 pueden tomar valores cualesquiera.
72 CAPTULO 2 / Espacios vectoriales
Geomtricamente, cualquier vector del plano X2 =es una comes-
nacin lineal devectores de S. Es decir, es ladiagonal deun paralelo-
gramo que tiene por lados ampliaciones oreducciones delos vector -
que lo generan: (1,0,1) Y (2,0,1). Dicho plano es el subespacio --
pequeo que contiene S.
El subespacio (S) es el subespacio ms pequeo que contiene S.
Es importante sealar que:
Un espacio vectorial V, y en particular un subespacio vectorial
U eV, tiene infinitos sistemas generadores.
EJ EMPLO 2.16. El sistema de vectores S' = {(1, 0,1), (3,0, 2)} genera :::,
mismo subespacio de ]R3 que el generado por S ={(1, 0,1), (2,0, 1)} -
Ejemplo 2.15. Es decir,
(S) =(S').
La nica condicin que deben cumplir todos los vectores de (
que su segunda coordenada sea O :
{
Vl=A +2f1
En efecto, en la expresin V2 = (obtenida en el Ejemp
V3 =A +f1
2.1 4), A Y f1 pueden tener cualquier valor real, por tanto, Vl y V3 I"
tienen que cumplir ninguna condicin, pero V2 debe ser nula.
La nica condicin que deben cumplir todos los vectores de (S', ~
que su segunda coordenada sea O :
{
Vl=A +3f1
Los vectores de (S') son de la forma V2 = , donde, de -
V3 =A +2f1
misma manera que para los vectores de (S), A Y f1 pueden tener CUG...-
quier valor real, por tanto, Vl y V3 no tienen que cumplir nlngutz
condicin, pero V2 debe ser nula =? (S) =(S').
Ambos subespacios (S) y (S') tienen las mismas ecuaciones car::;:-
sianas y paramtricas.
I)}del
ie (S) es
Ejemplo
y V3 no
e (S') es
-
2.2 Sistemas de generadores 73
o sistemas de vectores generan el mismo subespacio se lla-
':iS;;;;a:;~de generadores equivalentes.
uno de los vectores de S es combinacin lineal o depende
linealmente de los otros vectores de S.
5 El sistema de vectores S
diente o ligado si:
oel sistema S es linealmente dependiente, alguno de los vectores
~ to S, por ejemplo, Ui depende linealmente de otros vectores de S
_ --se puede escribir como combinacin lineal del resto de vectores
_,=-...... ,0, (sumando - Ui en la expresin anterior) existe
_.o> el coeficiente A i del vector dependiente Ui es distinto de Q.
~'~rocamente, si existe una expresin
(2.3)
.o> alzn A i es distinto de O ,entonces Ui se puede despejar en funcin
_ e- combinacin lineal del resto de vectores de S. Para ello basta con
---:":car en laexpresin (2.3) por ]i y despejar m;
resultados permiten caracterizar los vectores linealmente depen-
cin de vectores linealmente dependientes.
S ={u!, U2, ... , up} es un sistema linealmente dependiente
decir:
1,... ,Ap,conalgfiAi '#O ,tales que 0=A IUl +A 2U2+-' +A pUp.
lO 2.17. El conjunto A ={(I, 2, O ), (O , O , O ), (4,5, 6)} es linealmente
__ -.ente o ligado.
74 CAPTULO2 I Espacios vectoriales
Para cualquier)., E ~ se
cumple),,0=O.
Para cualquier v E V se
cumpleOv =O .
Laigualdad siguienteesciertapara cualquier valor de/L, enparticular
para /L 1=O :
(
1) (O ) (4) (O ) {A +4, =O
A ~ +/L ~ +, ~= ~ '* ~~:~' =O '* A =O ;, =O .
Esdecir, A esun sistemalinealmente dependiente oligado.
Si Opertenece aun sistema S, steesligado.
Si v =Allh +A 2U2 +... +A pUp, conAl,' .. ,A p E IR, el coeficienteA i de
Ui =O puede ser distinto deO , independientemente del valor delos otr s
coeficientes.
2.2.3. Independencia lineal
Definicin 2.6 El sistemaS ={Ul, U2,.'.' up} eVes lineal mente inde-
pendiente olibre si no eslinealmente dependiente, esdecir,
Ninguno delosUi E S depende linealmente delosotros vectores deS.
Si ninguno delosvectores deunconjunto depende deotrosvectores de
eseconjunto, no sepuede escribir comocombinacin lineal deellos, como
consecuencia, enlaexpresin
no puede haber ningn coeficientedistinto de O porque si los hubiera, el
sistemaseralinealmente dependiente.
Caracterizacin devectores linealmente independientes.
Decir queS ={Ul, U2, ... , up} esun sistema linealmente independiente
olibre equivale adecir:
O =Al Ul +A 2U2 +... +A pUp ====? Al =... =A p =O .
-- -- -------------------
2.2 Sistemas de generadores 75
n libres los conjuntos de vectores
0.1,0, O ), (O ,0,1, O ), (0,0, O ,1)} yC ={(1, 4,7), (5, -3, 4)} .
"O .O ), (O ,1, O ,O ), (O ,0,1, O ), (O ,O ,O ,1)} es libre:
A=O
f- l=0
' ) ' =0
6=0
I-r-'"7'"-"" Bes un sistema libre.
__ -=" -). (5, -3,4)} es libre:
(
5) (O ) { A +5f- l =O
-3 = O ::::} 4A - 3 f- l =O
4 O 7 A +4f- l =O
A =O ; f- l =O .
__ ~~- es ,.. es un sistema libre.
-
Enun almacn sedispone de tres tipos diferentes de abonos
-:-":0 enpastillas de 300gramos. Cada pastilla contiene fsforo
nitrgeno (N), calcio (Ca) y hierro (Fe). Las cantidades en
-=.: componente por pastilla, segn laclase, son: 100,90,60 de
- ~=- de potasio; 100, 105, 120 de nitrgeno; 50, 45, 30 de calcio
__erro.
--:.... or necesita para un cultivo una mezcla que contenga 500
~100 de potasio, 500 de nitrgeno, 2500 de calcio y 150 de
uede conseguir con los productos que hay en el almacn
~--"'::>r las pastillas?, y rompindolas?
_- oexige una mezcla suministrada en bloques, tales que, ca-
enga 290 g de fsforo, 150 g de potasio, 10 g de hierro
rta la cantidad de nitrgeno y calcio. Es posible hacer el
::"'-=~:25~:opedido con los productos A, B, C?
~:2.::::::lese la cantidad de cada componente por bloque de com-
eso de cada bloque y la cantidad de pastillas de A, B, C
ienen en l.
500 =1 0 0 a +90(3+60"
100 =5 0 a +50(3+50"
500 =1 0 0 a +105(3+120"
2500 =5 0 a +45(3+30"
150 =O o+10(3+10"
76 CAPTULO 2 I Espacios vectoriales
P K N ea Fe
Abono A 100 50 100 50

Abono B 90 50 105 45 10
Abono e 60 50 120 30 10
a) Las cantidades de cada elemento en los distintos compuestos b -
sepueden representar mediante los vectores a =(100,50,100, --
b =(90,50,105,45,10); e=(60,50,120,30,10).
Lamezcla pedida debe formarse tomando una cantidad de cada
puesto A, B, e, es decir, sepuede formar mediante una combo --
lineal de los vectores dados, dicha mezcla existir si existen e
cientes reales a, (3,,, que verifiquen laigualdad:
(500,100,500,2500,150) =a ( 1 0 0 , 5 0 , 1 0 0 , 5 0 , 0 ) +(3(90,50,105,~- _
+,,(60, 50,120,30,10).
Para que dos vectores sean iguales, lo deben ser todas sus ea _
nentes, por tanto, debe tener solucin el sistema siguiente:
Pero el sistema no tiene solucin porque:
100a+90(3+60" =2 ( 5 0 a + 4 5 ( 3 + 3 0 , , ) , mientras que 500 i- 2(250
Y 4
a
ecuaciones). No se puede formar el abono pedido, ni parti
ni sin partir las pastillas.
b) Igual que en el apartado a), ser posible hacer la mezcla si e "-
coeficientes reales que verifiquen la igualdad:
(290, 1 5 0 , U 3 , U 4 , 1 0 ) =a ( 1 0 0 , 5 0 , 1 0 0 , 5 0 , 0 ) + ( 3 ( 9 0 , 5 0 , 1 0 5 , 4 5 , 1 0
V) +
---- -~- - -~-
2.2 Sistemas de generadores
(60,50,120,30,10). Es decir, si tiene solucin el sistema
290 =1000:+903+60,
150 =500:+503+50,
V,3 =1000:+1053+120,
V,4 =500:+453+30,
10 =00:+103+10,
..,...,istema formado por las ecuaciones la r 2
a
I y s a tiene como solucin:
o:=2, 3=1, , =O .
Para que tenga solucin el sistema formado por las cinco ecuaciones,
valores o:=2, 3=1, ,= O deben ser solucin tambin de las
ecuaciones 3
a
y 4
a
, y por tanto, V,3 =305, V,4 =145. Como consecuen-
zia, se puede formar la mezcla porque el vector (290,150, V,3, V,4, 10)
combinacin lineal de:
~O O , 50,100,50, O ), (90,50,105,45,10) Y (60,50,120,30,10).
- =-0 valores V,3 =305, V,4 =145, indican las cantidades de nitrgeno
_ calcio que lleva cada bloque, el vector que indica la cantidad de
cada componente por bloque de compuesto que se va a suministrar
a, agricultor es (290,150,305,145, lO ), siendo el peso de cada bloque
~ +150+305+145+10 =900g.
-::"'0-5 coeficientes o:=2, 3=1, ,= O indican el nmero de pasti-
de tipo A, B, C, respectivamente, que hay que tomar para formar
cada bloque del compuesto pedido.
~ambin se poda haber calculado el peso del bloque sabiendo que
cada uno se forma con dos pastillas del tipo A y una pastilla del tipo
3
1
de 300g de peso cada una, es decir, 300 . 3=900g.
-
LO 2.20. Siendo V =:F ={Las aplicaciones f : [0,2] ----+ IR},se pide
.:32::::arnar si es libre, o ligado el sistema
W ={f (x ) =
x
, g (x ) =x
3
, h(x ) =x } .
~ izualdad >.
x
+3x
3
+,x =O es cierta para todos los valores de x , al
::ir cada uno de ellos obtendremos una ecuacin donde las variables
3y .
~.
.~p' ~
'~":~;~~~'~"~ ,
77
~<
78 CAPTULO 2 I Espacios vectoriales
Si x =O =}).e
3

O
+(30
3
+,,0 =O .
Teniendo encuenta quee
O
=1=}). =O .
Si x =1=}).e
3
+(31+,,1 =O .
Teniendo encuenta que). =O =}(3+" =O .
Si x =2 =}).e
6
+(38 +,,2 =O .
Teniendo encuenta que). =O =}8(3+2" =O .
Del sistema deecuaciones { 8~:;": ~sededuce que(3=" =
esdecir, W esun sistema libreolinealmente independiente.
Para estudiar la dependencia lineal es muy til el concepto deranzo
deun sistema devectares deun espacio vectorial.
Definicin 2.7 El rango del sistema devectores {u1,U2, ... , Up} eV
el mayor nmero devectores linealmente independientes del sistema.
El rango, representado par rang{Ul, U2,' .. ,up}, y laindependencia 15-
neal estn ligados por lasiguiente caracterizacin:
Unsistema S dep vectores esindependiente si, yslosi, surango
esigual ap, nmero devectores deS.
En los ejemplos 2.18y 2.20los sistemas de vectores B, ey W tiener
rangos 4, 2Y3, respectivamente.
Hemos visto queun espacio vectarial Vsepuede generar mediante ICE
combinaciones lineales de los vectores de un sistema de generador de T -
Algunos delos sistemas generadores presentan ventajas frente aotros, es-
pecialmente loslibres.
Vamosadescribir loscambios quesepueden realizar enun sistema de.
generadores sinquevareel espaciovectoral generado, para elloanalizare-
mos algunas propiedades relacionadas con la dependencia y laindepen-
dencia lineal delosvectores Ui queforman el sistema degeneradores G=
{Ul, U2, .. , up} deun espacio vectorial V.
3Enel siguiente apartado serelaciona el concepto de rango de un sistema de vectores .
rango de una matriz.
't= o,
-
Ves
os, es-
2.2 Sistemas degeneradores 79
a2.1 Supresin devectores deun sistema generador.
= {Ul, U2,"" Ui-l, Ui, Ui+l, ... up} esun sistema generador de V y
combinacin lineal delosotros vectores deG, entonces:
aciogenerado por Gl ={Ul, 7.h, .. , Ui-l, Ui+1,"" up} estambin
decir, (G) =(Gl) =V
~odemos decir que todo vector de V sepuede generar prescindiendo
ectoresdee quedependan 1inea1mentedeotros vectores dee.
- !PLO 2.21. El sistema e ={(O , 1), (3,O ), (O , 2)}siguegenerando el mis-
espaciovectorial cuando sesuprime ene el vector (0,2).
0,2) escombinacin lineal de (0,1) Y (3,O ):
El espacio que genera e esel mismo quegenera el =e - {(O , 2)}=
0.1), (3,O )}. Ambos generan ]R2.
O bsrvese quecualquier vector de]R2 sepuede expresar conlosvec-
roresdee, aunque laforma dehacerlo no esnica. _
2.2 Sustitucin devectores deun sistema generador.
V es combinacin lineal de algunos vectores {Uil" .. ,Ui
g
} del
G={Ul; U2, ... , up} generador deV, entonces:
ituir enGalgn Uij (concoeficientei- O enlacombinacin lineal
resav) por v, el sistema devectores obtenido, Gl, sigue siendo
orde V.
-=-- un sistema degeneradores e sepuede sustituir un vector por cual-
- - mbinacin lineal delosvectores dee donde intervenga dicho vec-
coeficientenonulo.
o 2.22. Loscolores delapantalla deun monitor sepueden definir
-,..,,--.,.combinacin lineal derojo, azul yverde, pero no sepueden definir
~ zuna combinacin lineal derojo, azul y morado, porque el morado
-=:..,=-. .... elinealmente derojoy azul. _
80 CAPTULO 2 I Espacios vectoriales
O bsrvese que (G) y (Gl)
tienen diferentes ecuaciones
paramtricas pero definen el
mismo subespacio de]R3.
EJ EMPLO2.23. G ={(1, 0, O ), (O ,1, O )}essistema generador del subestra ..
(G) de lR.
3
formado por los vectores que verifican:
Unas ecuaciones paramtricas de (G) son:
A, f -L E IR..
Esevidente que lanica condicin que deben cumplir los vecto -
(G) es X3 =O .
X3 =es laecuacin cartesiana de (G). Todos sus vectores c
esa condicin.
v =2(1,0, O ) +0(0,1, O ) =(2,0, O ) puede sustituir a (1,0, O ) en -
{(1, 0, O ), (O , 1, O )} obteniendo G1 ={(2, 0, O ), (O , 1, O )}. Los ve
de (G1) verifican
Secumple (G) =(G1).
Sin embargo, (2,0, O ) no puede sustituir a (0,1, O ) porque su e
ciente en lacombinacin lineal que da lugar av es O .
El sistema G2 ={(1, 0, O ), (2,0, O )}genera
Ntese que (G
2
) =((1,0, O ), (2,0, O )) =((1,0, O )).
Las ecuaciones cartesianas de (G2) son:X2 =O ; X3 =O .
Geomtricamente (G
2
) representa una recta delR.
3
.
espacio
ores de
cumplen
enG =
vectores
3=o.
u coefi-
-
- -- - - - - -----
2.3 Bases. Dimensin. Coordenadas 81
~ sizuiente resultado es uno de los teoremas fundamentales de la in-
enca lineal.
entre los sistemas libres y los sistemas generadores.
- 2," .. , Vh} es un sistema libre de generadores de V y
""' up} es un sistema generador de V, entonces h :::;p.
-:-- ~enguaje natural lo expresaramos diciendo que, el nmero de vec-
-.3 un sistema generador libre de un espacio vectorial es menor o igual
- .::I.alquier otro sistema generador del mismo espacio.
s vectores de cualquier espacio vectorial V se obtienen como combi-
~ __.~Iineal de los vectores de cualquier sistema generador S de V. Como
~encia, con un sistema finito de vectores se pueden obtener infinitos
eun espacio vectorial.
Bases. Dimensin. Coordenadas
Elementos didcticos
_=~'-r.: > visto que cualquier vector de un espacio vectorial se puede ge-
- ~artir de diferentes sistemas de generadores, algunos de los cuales
::!!:S3~::lventajas frente a los dems, son las bases.
eccin vamos a analizar las razones de estas ventajas.
- in veremos la relacin que existe, en cuanto al tamao, entre las
...,...,,::..-::,..-,:x:~ ases y cmo es nica la forma de determinar un vector (dada
en el espacio vectorial), situacin que no se da con los sistemas de
~::c!:a::-mesque no son base.
=_ ; misma manera que en secciones anteriores vamos a utilizar he-
-:-=::::::::'==35~ estudiadas previamente como son matrices, determinantes, sis-
- .::2ecuaciones, etc.
utilizar con soltura las expresiones matriciales de las igual-
=-::oriales para pasar sin dificultad de una expresin vectorial auna
::o:-::::::::~:l en coordenadas.
82 CAPTULO2 / Espacios vectoriales
O bjetivos
Aprender adistinguir cundo un sistema generador esbase.
Determinar lascoordenadas deun vector enuna basedada.
Calcular ladimensin deun espacio. Enparticular, utilizando
herramienta lasmatrices.
Aplicar correctamente los teoremas de labase y el teorema de -
mensin.
2.3.2. Bases
Recordemos queseguimos trabajando enun espaciovectorial (V. - -
que puede tener tantos vectores como combinaciones lineales sepuec
formar conloselementos deuno desus sistemas degeneradores.
Definicin 2.8Unespacio vectorial esfinito si:
Estgenerado por un nmero finito devectores.
Deentrelossistemas degeneradores tienenespecial inters losque
tienen el menor nmero posibledevectores. Renen estacondicinlos
sonlibres.
Definicin 2.9 Unsistema B ={el,e2, ... ,en} devectores deVes
del espacio vectorial Vsi:
B esun sistema librey genera V.
Caracterizacin delas bases.
B esunabasedeVequivalente adecir que
Cualquier vector deVsepuede expresar como una combinacin r
nica (salvoel orden) delosvectores deuna base B deV.
========~
Por ello, sepueden utilizar indistintamente ambos criterios para
probar si un conjunto dado es base de un espacio vectorial, o no. e
ejemplo siguiente haremos lademostracin deestaequivalencia.
EJ EMPLO2.24. Demostracin dequeambas condiciones sonequival
'ela di-
2.3Bases. Dimensin. Coordenadas 83
Para demostrar que dos condiciones son equivalentes hay que com-
probar que suponiendo que escierta laprimera, secumple lasegunda
=}), ysuponiendo que escierta lasegunda secumple laprimera (~):
=?) Suponemos que v E V, Y Bes sistema generador de V. Entonces
=_ .aexpresin dev no fuera nica, habra otra:
srando miembro amiembro las dos expresiones de v, seobtiene:
Bun sistema libre todos los coeficientes delaexpresin ante-
- n nulos:
_ce Al =J 1 ,1 ; A2 =J 1 ,2; ; An =J 1 ,n, es decir, la expresin del
nica.
r-ualquier v E V se puede expresar como combinacin lineal
- salvo el orden) de los elementos de B. Por tanto, B genera V.
-_.::::......!<:~D, O E V se puede expresar como combinacin lineal de los
~!:::.::SDO S de Bcomo
- - ~e O =O el +Oe2 +... +Oen y los vectores sepueden expresar
era nica, sededuce que O =Al =A2 =... =An, es decir, B
~ tema libre.
-
El sistema B ={(1, O ,... ,O ),(O ,1, ... ,O ), ... , (O ,O ,... ,1)}
-;.~eB seabase de R" sedebe cumplir que es un sistema libre que
--:;n
B genera R".
84 CAPTULO 2 / Espacios vectoriales
Es sistema generador (cualquier vedar x =(Xl, X2,'" ,x
n
) de -:::
combinacin lineal de los vectores de B):
Es sistema libre:
Xl =X2 =... =X
n
=O =? Bes libre.
Bes generador y es libre, es decir, es base de ll~n.
B ={(1, O , ... , O ), (O , 1, ... ,O ), ... , (O , O , ... , 1)}es la base ms sen
de todas las de R
n
, recibe el nombre de base cannica de R
n
.
EJ EMPLO 2.26. Si SJ 2 es el espacio vectorial real de los polinomios de gT G-
menor o igual que 2en lavariable X, es decir,
SJ 2 ={ax 2 +bx +e: a, b, eE R},
entonces B ={x 2, x
2
+x , X +1} es base de SJ 2.
Cualquier base B del espacio vectorial SJ 2 debe ser un sistema li__ -
de vectores de SJ 2 tal, que todo polinomio de grado menor oigual S-
dos sepueda escribir como combinacin lineal de los vectores de B
Vamos a comprobar si {x 2, x
2
+X, X +1}cumple estas dos con' -
ciones:
B ={x 2, x
2
+x , X +1}es un sistema libre:
Si ax
2
+f 3(x
2
+x ) +O"(x +1) =O , o de forma equivalente:
(a +f 3)x
2
+(13+O")x +O"=Ox
2
+Ox +O =O ,
las nicas soluciones son: a =0,13 =O , O" =O .
Por lo tanto, {x 2, x
2
+X, X +1} es un sistema libre en SJ 2
-- --------------------
2.3Bases. Dimensin. Coordenadas 85
B ={X
2
, X
2
+X, X +1}es un sistema generador de ~2:
Cualquier elemento de ~2 es de laforma ax
2
+bx +c.
Para que {x
2
, x
2
+x , X +1}sea generador, la ecuacin
ax
2
+bx +c =ax
2
+(3(x 2 +x ) +o(x +1)
ebe tener soluciones reales para a, (3, o.
-=.n efecto:
2+(3(x 2+x )+0(x +1) =(a+(3)x
2
+((3+0)x +0 =ax
2
+bx +c=}
=}{;:::: =}{~: ~- c
o=c a=a-b+c
:- r tanto existen a, (3, O nmeros reales para cualquier polinomio ax
2
+
.- cde ~2.
-=- decir, {X2, x
2
+x , X +1}es generador de ~2.
- istema B ={X2, x
2
+x , X +1}es libre y genera ~2, es decir, es
_- ede ~2.
J e forma anloga seprueba que {x
2
, x , 1}es otra base de ~2 (llamada
_ase cannica).
-
::;::ernosque cualquier vector v de V se puede ex presar de manera nica como
___~_-: inlineal de los elementos de una base B del espacio vectorial V, los
-=:E:::5:::Z:,tl es de la combinacin lineal que define v se llaman coordenadas+
r v respecto alabase elegida B.
"n 2.10 Las coordenadas de v E Vrespecto alabase
e2 " ,en} de Vson (Xl, X2,." ,xn) si severifica laigualdad
, 'ese que las coordenadas de un vector (Xl, ... ,x n) E ]Rn respecto Lascoordenadas seexpresan
cannica de mn son (x x ) respecto alabase cannica si
'-'<U.L m,. 1,, n'
no sedicelocontrario.
_ en pginas anteriores hemos utilizado el concepto decoordenadas deun vec-
estaocasin segeneraliza el concepto de coordenadas de un vector v deun
rial V cualquiera.
Si se tomara El ={(2, O ),(O ,1)}como base de IR.
2
, el mismo ~~
(2,3) seexpresara como
( ~) =1( ~) +3 ( ~) y diramos que sus coordenadas r':X;-"",-~-
aEl son (1,3), deforma abreviada, (1,3)B'.
a=5-3+1=~~=3-1=~=1
=}5x
2
+3x +1=3x
2
+2(x
2
+x ) +l(x +1).
86 CAPTULO 2 / Espacios vectoriales
EJEMPLO 2.27. Decir que las coordenadas de un vector de IR.
2
resp
base cannica E ={(1, O ),(O ,1)}son (2,3) o de forma equivalente
indica que:
Severifica (2, 3)B =(1,3)B'.
EJEMPLO 2.28. Clculo de las coordenadas de 5x
2
+3x +1respe
base E ={x 2, x
2
+x , X +1}de tJ 2 del Ejemplo 2.26.
Utilizando la relacin obtenida en el Ejemplo 2.26 entre lo -
cientes en ambas bases, sededuce que
Por tanto, las coordenadas del vector 5x
2
+3x +1respecto ak _
E ={x 2, x
2
+x , X +1}son (3,2,1), es decir 5x
2
+3x +1=(3.:.._
Tambin sepodra resolver de forma directa:
{
5 =a+~ {a =3
=} 3 =~+ =} ~ =2.
1 = = 1
Las coordenadas de 5x
2
+3x +1respecto alabase cannica {.
son:a=5, ~=3,5=1(coinciden con los coeficientes).
coefi-
labase
.2,1)B.
2.3Bases. Dimensin. Coordenadas 87
Teoremas de labase
-=~os suponiendo que en cualquier espacio vectorial que tenga ele-
:=E!:::::)5 diferentes al neutro hay bases. Sepuede demostrar que la suposi-
- correcta y se incluye junto a otros teoremas que expresan las rela-
que existen entre las distintas bases de un espacio vectorial bajo el
-:-r-e genrico de teoremas de la base.
2.3 (Existencia de la base).
ier espacio vectorial finito V =f - {e} tiene base.
las bases de un espacio vectorial tienen el mismo nmero de ele-
-::::.::!:::::s como establece el siguiente teorema.
2.4 (De la dimensin).
las bases de un espacio vectoral V =f - {e} tienen el mismo nmero
entos.
-=..... ' echo de que el nmero de elementos deuna base sea independiente
=_ eelegida permite definir el concepto de dimensin de un espacio
tial.
"cin 2.11 La dimensin del espacio vectorial V =f - {e} finito
es el nmero de vectores de cualquiera de sus bases.
- pacio V = {e} es una singularidad, porque su nico elemento,
=;::::ar , no puede formar parte de ninguna base. Por convenio, el sub-
-';0 impropio {e}, formado por el elemento neutro del espacio vectorial
edimensin O ,DimI] =O .
LO 2.29. Calculemos ladimensin de IR3,
:=..a base cannica de IR
3
es {(1, O , O ), (O , 1, O ), (O , O , 1)}, tiene tres elemen-
vectores (1, O , O ), (O , 1, O ), (O , O , 1); por tanto, cualquier base de IR
3
elementos y tres esladimensin del espacio vectorial IR3, es decir,
-3=3.
La dimensin del espacio vectorial IR
n
es ti, ya que su base
nica tiene n elementos.
-
88 CAPTULO 2 I Espacios vectoriales
Maxima: el rango de una
matriz A se calcula con
"rank(A)".
Maxima: el determinante de
una matriz A se calcula con
"determinant(A)".
Sabiendo que Dim V =n, para comprobar que un sistema de -
de ti elementos esbase de V, basta ver que el sistema dado eslibre _
que no esnecesario probar que es generador de V.
Teorema 2.5 El rango de S ={ih,U2, ... , up} es la dimensin
espacio vectorial que genera S, es decir,
rang(S) =Dim(S).
Las coordenadas de los vectores permiten relacionar los rang :::-
sistema devectores y deuna matriz.
Relacin entre el rango de un sistema S y el rango de una ma -
El rango de un sistema de vectores S ={Ul, U2, ... , up} eV
con el rango de la matriz tal, que cada fila (o columna) est eo
por las coordenadas de cada vedar del sistema S.
Utilizando el rango deuna matriz esmuy fcil hallar el nmero -
tores linealmente independientes de un sistema S o ladimensi -
espacio generado por los vectores de dicho sistema (Dim(S)).
Sabiendo que DimV =ti, si un sistema de ti vectores es gene:=:
V, entonces es base de V. En este caso tampoco hace falta comp -
el sistema dado es libre.
Teorema 2.6 SeaV i- {e} un espacio vectorial.
Decir que DimV =n, equivale adecir que:
Todo conjunto libre de ti vectores de Vforma una base de
oque
todo conjunto generador de Vcon ti vectores forma una base d
Delos resultados anteriores seconcluye lasiguiente propiedad:
Un sistema de n vectores de un espacio Vde dimensin n ser
de Vsi y slo si su rango es igual ati.
2.4O peraciones entre subespacios. Suma directa de subespacios 89
delabase incompleta).
de un espacio V i= {e} es n, entonces se verifica que:
de vectores 8 =filI, V2, ... ,vp} de V con p <n, lineal-
lentes se puede completar con n - p vectores de V para
base.
En el espacio vectorial real, P3, de los polinomios de grado
e3el conjunto de vectores linealmente independientes
8={x 2, x
2
+x , X +1}
tiene 3elementos y hacen falta 4, que es el nmero de
e tiene la base cannica {x
3
, x
2
, x , 1} de P3. Por lo tanto
- - completar 8 con 4 - 3 =1vector que no pertenezca a (8)
una base.
- . : c +1} es un sistema libre, pero no es generador de P3
:ll!:!r::-::;;Ei:::::::~~a de sus combinaciones lineales permite obtener poli-
ado S.
- :?x
2
+x , X +1} sea base de P3, falta aadir, por ejem-
[" x
3
; el conjunto {x
3
, x
2
, x
2
+x , X +1} genera P3 y los
~:::;:::'~- __ 2 ~oforman son un conjunto de vectores linealmente inde-
aadido x
3
hay otras muchas posibilidades, como por
=-...<;;.u.u." : x
3
- x
2
o bien x
3
- x
2
+x , ...
-
O :~adones entre subespacios. Suma directa de
iiIIl:::e5;U acios
':::":~~J 5~ didcticos
_- ~ - vectoriales son a su vez espacios vectoriales, y como
sin. En esta seccin vamos a estudiar cmo estn rela-
90 CAPTULO2 / Espacios vectoriales
cionadas las dimensiones dedistintos subespacios deun espacio~"'~
Vdedimensin n.
Introduciremos unanueva operacinentreespaciosvectoriale :=-=.
directa, cuyas propiedades estudiaremos.
O rientaciones
Paraabordar conxitoel final del captulo esnecesario haber esz
todos loscontenidos anteriores y tener presente lateoradeconjun
Es una buena ocasin para observar cules son los puntos u.'- ~
reforzarlos, unavapara conseguirlo esutilizar el"Curso 0".
O bjetivos
Relacionar las nuevas operaciones entre estructuras con las
cionesconjuntistas.
Aplicar el rango de un sistema devectores como herramienta
clculodeladimensin desubespacios.
O perar consubespacios vectoriales yanalizar losresultados.
Aplicar lacondicin necesaria y suficientepara que lasuma --
subespacios seadirecta.
2.4.2. O peraciones entre subespacios
Sea(V, +,]R.) un espacio vectorial. Si elegimos un subconjunto
hay muchos subespacios de V quelocontienen, pero el menor de
(5) porque cualquier subespacio que contenga 5tiene todas las co
cioneslineales desus elementos, esdecir, contiene (5).
EJ EMPLO2.31. El subconjunto 5 ={(O ,O ,In de]R.3genera el subesr aa
(5), queestcontenido encualquier subespacio quecontenga S.
(8) est formado por losvectorcs (::) =AG).
{
Xl =O
Eslarectadeecuaciones cartesianas
X2 =O
- -- --- -- ----
2.4O peraciones entre subespacios. Suma directa desubespacios 91
=- est en muchos subespacios de ]R3,por ejemplo en el plano
=_En todos ellos est contenida la recta Xl =O , X2 =O , que
- ser el subespacio ms pequeo quecontiene S ={(O , 0, I)}.
-
-=-_--=-_ .... 0del ejemplo anterior sepuede expresar deforma general:
es el menor de tados los subespacios de V que con-
- _aciosvectoriales sonconjuntos devectores queverifican de-
,,1Ei~~- - ~diciones, y como conjuntos, sepuede realizar entre ellosla
,,_::L:=~--o..",-rceccin".
elossubespacios delainterseccin desubespacios verifica
.-=:.::::=:;:: - esaria y suficientepara ser subespacio, por tanto, lainter-
':::::~~Z11averifica.
subespacios.
desubespacios vectoriales deVesun subespacio deV.
_:: nsubespacios deV, entonces UI nU2 esel subespacio inter-
-_ =-- L -2.
oon de subespacios Ui de un espacio vectorial V
no vacaporque contiene, al menos, el elemento neu-
Lainterseccin de los subespacios de ]R3:U
I
de ecuacin
=O (conjunto devectores de ]R3,tales que su primera coor-
=- T -2 de ecuacin cartesiana X2 =(conjunto devectores de
,:=- SJ . egunda coordenada es O ) es el subespacio denotado por
-- ecuaciones cartesianas son:
Xl = X2 =0,
conjunto devectores de]R3tales que suprimera y segunda
O .
Lossubespacios de]R4definidos por:
_ I3 X4) : Xl =X2 =X3 =X4} y
_ I3' X4) : Xl =X3, X2 =X4} verifican:
-
Los vectores de o, n U2
pertenecen a U1 y a U2,
por tanto, deben verificar las
ecuacionesdeambos.
92 CAPTULO 2 / Espacios vectoriales
{
Xl =X2
Cualquier vector que cumpla las condiciones X2 =X3
X3 =X4
{
Xl =X3
cumple
X2 =X4
de U
I
son un caso particular de las condiciones impuestas a 10=
tores de U
2
, o lo que es lo mismo, U
I
e U2, y por tanto, U
I
nU
2
=
, es decir, las condiciones impuestas alos v<>r-..,-.,,-
{
Xl =X2
Son ecuaciones cartesianas de U
I
: X2 =X3
X3 =X4
Unas ecuaciones paramtricas son:
Una base de U
I
n U2 est formada por el vector (1,1,1,1). Ad
Dim(U
I
nU
2
) =Dim U
I
=1.
O tra operacin muy frecuente entre subespacios es launin conjur.
Unin de subespacios.
La unin de subespacios de V, definida como unin de los conjuntos
los forman, ~n general, no es un subespaco de V.
EJ EMPLO 2.34. El conjunto U
I
U U
2
no es subespacio de ]R2, siendo =-
subespacio definido por el eje de las X2 y U
2
el subespacio definido F
eje de las Xl.
U
I
U U
2
est formado por todos los vectores que pertenecen a =-
a U2, como (0,1) E U
I
Y (1, O ) E U2, (0,1) Y (1, O ) son vedo -
o. U U2.
Si U
l
U U2 fuera un espacio vectorial, >-(0,1) +..(1,O ) =(>-, ..)~
necera a o, U U
2
porque (0,1) Y (1, O ) pertenecen a U
I
U U
2
,
son nmeros reales.
- -::-
tista.
que
UI el
por el
a UI o
res de
perte-
.- AYJ - L
2.4 O peraciones entre sub espacios. Suma directa de sub espacios 93
A, J - L ) no est en ningn eje si A i= O Y J - L i= O , es decir, (A, J - L ) no
ece a UI U U2 =? UI U U2 no es subespacio de IR2.
-
:ue el conjunto unin U1 U U2 es el conjunto ms pequeo que con-
--:y U2, es interesante utilizar, no el conjunto mnimo, sino el sub-
ectorial mnimo de V, que contiene al conjunto unin UI U U2. Ese
~""""",...._ ='0sellama subespacio suma y est formado por todos los vectores
suma de vectores de UI y de vectores de U2.
'n 2.12 U1 +U2 es el subespacio suma de los subespacios U1 y
1:
de sus vectores se obtiene como suma de un vector de Ui y
U1 +U2 ={UI +U2 :Ul E UI,U2 E U2}.
235. Los planos X3
_ -:::3
o son subespacios de IR
3
cuya
= O Y Xl
< os.
o son las ecuaciones cartesianas de los sub espacios
~-:- os subespacios se pueden definir tambin mediante ecuaciones
aramtricas:
--_={(XI,X2,O): Xl, x 2 E IR}
~ (::)=aG)HG) => DimU,=2
Xl =a
X2 =/3
x 3 =O
=-_ ={(0,X2,X3): x 2, x 3 E IR}
I_ =O
=? DimU2 =2.
-:::.o vectores de UI +U2 son de la forma (a, /3+A , J - L ), con a, /3, A , J - L E IR,
decir, son todos los vectores de IR
3
, por tanto, Dim(Ul +U2) =3.
_O :UU2est formado por los vectores que estn en UI o en U2, es decir,
los planos X3 =O o Xl =O , pero, en general, la suma de dos de
3 os no pertenece a la unin, como ocurre con los vectores (4, -2, O )
94 CAPTULO 2 / Espacios vectoriales
del plano X3 =y (0,3,1) del plano Xl =0, cuya suma (-"% ..:=.
est en UI U U2 , porque no est en UI (su tercera coordenada r;
ni en U2 (su primera coordenada no es O ).
Los vectores de la interseccin deben cumplir las ecuaciones -
de U2 , es decir, UI n U2 ={(O , X2, O )}para que la primera y la
coordenada sean O .
Unas ecuaciones paramtricas de V, n[ J , son GD ~A G)
El vector (O , 1, O ) es una base de UI nU2, por tanto, Dim(UI nc
EJ EMPLO 2.36. Determinacin del subespacio suma UI +U2, siendo
U2 los subespacios definidos en el Ejemplo 2.33.
{(1, 1, 1, 1)}es una base de UI (encontrada en el Ejemplo 2.33).
El sistema {(1,0,1,0),(0,1,0,1)} genera U2 y es libre, por tan
una base de U2.
Cualquier v de UI +U2 es suma de un vector VI de UI y un ve
V2 de U2.
VI est generado por los vectores de una base de UI , y V2 por
vectores de una base de U2 , es decir, V es de la forma:
.1) no
es O )
-
to, es
rector de
2.4 Operaciones entre subespacios. Suma directa de sub espacios 95
dos de los tres vectores generadores de U1 +U2 son linealmente
endientes.
~- efecto, como el rango de la matriz (~ ~ ~ ~) es 2, hay dos
010 1
ectores linealmente independientes.
-- ems como U) (n+ (~)- el vector (1,!,1,1) se
_ ede eliminar del sistema de generadores sin que vare el subespa-
~ Generado U1+ U2, que es U2, como ya sabamos porque U1 e U2.
lo tanto Dim(Ul +U2) =Dim U2 =2.
- - :'rmula de Grassmann relaciona las dimensiones de dos subespacios
=-_ e un espacio vectoral V con las dimensiones de los sub espacios
. erseccin de ambos.
de Grassmann o de la dimensin.
_ _37. En el Ejemplo 2.33 se comprob Dim(U1 nU2) =Dim UI =1
plo 2.36 obtuvimos que Dim(UI +U2) =Dim U2 =2, que ve-
_____~~_- " rmula de Grassman: 2+1=2+1. _
- frmula anterior se deduce que si conocemos tres de las dimen-
__~;;'':_:!eaparecen en dicha frmula, se puede hallar dimensin que falta
.-s:::;=r:=-.,;:'; ola de la ecuacin.
- =- sizuiente ejemplo, comprobaremos que se verifica la frmula de
w :c = ::::::.::-:::n para los subespacios considerados en ejemplos anteriores.
~. En Ejemplo 2.35 hemos visto que si UI ={(Xl, X2, O )}Y
_. I3)}, entonces: UI +U2 =]R3Y UI nU2 ={(O ,X2, O )}, cuyas di-
{
DimUI =2
DimU2 =2
~o..="--,,-..c.::>son' , que verifican la frmula de Grass-
. Dim(U
I
+U2) =3
Dim(UI nU2) =1
-1 =2+2.
-
2.4.3. Sumadirecta desubespacios
96 CAPTULO2 / Espacios vectoriales
Nteseque, por definicinde
subespacio suma, un vector
de U +U2 siempre se des-
compone como suma de un
vector del subespacio U1 yun
vector del subespacio U2.
Sonespecialmente interesantes lassumas desubespacios Ul +L - ':.
quecualquier vectar de'iJ E U1 +U2 sedescomponga deformanica
suma deun vector U1 deU1 y U2 de U2. Cuando sto sucede, el subesrz
suma sellama suma directa, y sesimboliza con"EB" enlugar de"+".
Definicin 2.13Decir que lasuma de los subespacios U
1
y U
2
de
suma directa (U1 EB U2) equivale adecir que:
Ladescomposicin decadavector deUi EB U2 enuno deU1 Yotro
esnica.
EJ EMPLO2.39. La suma de subespacios UI +U2 del Ejercicio2.3
suma directa.
Ladescomposicin decualquier vector delR
3
ensuma deun verTr'~,.,~
plano X3 = y otro del plano Xl = no esnica. Por ejemplo,
(2,5,3) =(2, O, O) +(0,5,3 ) =(2,2, O) +(0,3 ,3 ) =(2,1, O) +(0,4,3 ) =
Par consiguiente UI +U2 no essuma directa.
EJ EMPLO2.40. Lasuma delossubespacios delR
3
:
UI ={(Xl, X2, O): Xl, X2 E lR}Y U2 ={(O, O, X3): x 3 E lR}esdirecta.
Ecuaciones paramtricas delossubespacios:
{
Xl =a
UI ={(XI,X2,a)} =? X2 ={3
X3 =
U2 ={(a,a,X3)} =? {:::
X3 =
UI ={(XI,X2,a): Xl, x 2 E lR}Y U2 ={(a,a,X3): x 3 E lR}slo
encomn el vectar neutro (O, O, O) {=}U1 nU2 ={al
Losvectores deU1 +U2 sondelaforma (a , {3,A) {=}Ul +U2 =::::.
Ladescomposicin deun vectar delR
3
ensuma deuno de UI y
deU2 esnica.
-2 tales
como
pacio
lO es
=A
2.4O peraciones entre subespacios. Suma directa de subespacios 97
=:..a nica descomposicin posible de (Xl, X2, X3) en un vector de UI,
_ ecumpla X3 =O ,Y otro vector de U2, que cumpla Xl =X2 =O ,es
- _ anta UI +U2 es suma directa.
-
O rma de ver que una suma de dos subespacios es directa es com-
.-:r:= ~la interseccin de ambos es {O }.
aLa suma de los subespacios UI ={(Xl, X2, O ): Xl, X2 E R} Y
3 :x 3 E lR.} es directa porque U
I
n U2 ={O}. _
~ En el Ejemplo 2.36 encontramos Dim(UI nU2) =1, como
"R::::::::~~:a- :'-1nU2 no es {O }, ypor tanto UI +U2 no es suma directa. _
directa UI f f iU2 de dos subespacios UI, U2 de Vcoincide con el
c.; grande, es decir con V, entonces se dice que los subespacios
plementarios.
14 Si UI, U2 son dos subespacios de V, decir que ti, es el
plementare dieU2 equiva:]e l' de]l1 j!1I.l!e:
- . El suplementario de UI ={(Xl, X2, O ): Xl, X2 E lR.} es U2 =
:::_ }porque su suma es directa y es el espacio lR.
3
. _
98 CAPTULO 2 / Espacios vectoriales
Como consecuencia inmediata de las definiciones de base y s
recta podemos afirmar que un espacio vectorial es suma directa de 105_
espacios generados por los vectores de cualquiera de sus bases.
Teorema 2.9 Si B ={el,e2, ... , en} es base del espacio VF entone
Ejercicios de Autoevaluacin
Determnese si las siguientes afirmaciones son verdaderas:
1. Si en el conjunto V ={(a , b) E ]R2: b >O }se define la opera .
terna (a, b ) * (e, d) =(ae, b +d) I entonces (V, *) posee elemento II
2. Si en un conjunto A se definen dos operaciones distintas: "+" =-
las estructuras algebraicas obtenidas en (A, +)y (A, *) coincidenz
sariamente.
3. El conjunto formado por el elemento neutro {e} de un espacio
rial V es siempre subespacio suyo.
4. Aunque un subconjunto U de un espacio vectorial V sea a __
espacio vectorial con unas operaciones diferentes alas definidas
espacio V, no podemos decir que U es un subespacio vectorial --
5. El subconjunto U ={(Xl, X2) E ]R2: Xl =X2} no es grupo conrr:~1Ii
va.
6. El nmero debases de un espacio vectorial depende de su dim
7. Si un espacio vectorial es de dimensin 3, no puede tener subes:
de dimensin mayor que 3.
8. La suma de dos subespacios siempre es suma directa.
9. La dimensin de la suma de dos subespacios siempre es la
sus dimensiones.
10. La suma de dos subespacios siempre est contenida en la UII
ellos.