Você está na página 1de 6

1

FACULTADDEINGENIERAUBA

LGEBRAII

Segundocuatrimestre2010

PRIMEREXAMENPARCIAL
16de0ctubre2010(Primeraoportunidad)
TEMA1
RESOLUCIN

EJ ERCICIO1:Sea f : 3 4 latransformacinlinealtalque

f( x)=[x1 + x2 - x3

x1 - x3

x1 - x2 - x3

x1 - x3]T

1 0 0
(a) Existe alguna transformacin lineal g: tal que [g o f]B, B =0 1 0 para
0 0 1
3
algunabaseBde ?
1 0 0
4
3
(b) Existe alguna transformacin lineal g: tal que [g o f]B, B =0 1 0 para
0 0 0
4

algunabaseBde 3 ?
En caso afirmativo exhiba una base B y una transformacin lineal g que verifiquen las
condicionesrequeridasyencasonegativofundamentesuinexistencia.
RESOLUCIN1(a)Lacondicinrequeridasobregequivaleaque g o f : 3 3 seala
identidad. Pero esto es imposible, pues f( [1 0 1] T ) =[0 0 0 0]T y por lo tanto se
tiene
( go f)( [1 0 1] T ) = [0 0 0] T [1 0 1]T paracualquiertransformacinlineal
g: 4 3 .
Observacin: Dadas dos transformaciones lineales f :V V' y g :V'V"tenemos que
Nu(f)Nu(go f), pues f (v
)= 0V' (go f)(v)= 0V". Por lo tanto, si f no es
monomorfismo lineal, g o f no puede ser monomorfismo lineal. De manera anloga se
deducede im(go f) im(g)quesi gnoesepimorfismo, g o f nopuedeserepimorfismo.
RESOLUCIN 1 (b): Calculemos primero la dimensin del ncleo de f a partir de la
dimensindesuimagen: f( [1 0 0] T ) =[1 1 1 1]T , f( [0 1 0] T ) =[1 0 - 1 0]T y
f( [0 0 1] T ) =[- 1 - 1 - 1 - 1]T porlotanto,ladimensindelaimagendefes2.Del
teoremadeladimensinsededucequeladimensindelncleodefes1.Porlotanto,una
base del mismo est dada por el vector w=[1 0 1]T . (Desde luego que esto se puede
deducir directamente a partir de las ecuaciones del ncleo de f). Podemos completar una
base B={ u, v,w} de 3 poniendo, por ejemplo, u =[1 0 0]T y v =[0 1 0]T . Se
deduceque f(u)= f( [1 0 0] T ) = [1 1 1 1]T y f(v)= f( [0 1 0] T ) = [1 0 - 1 0]T
constituyen una base de la imagen de f (esta es una propiedad muy especial de las bases
completadasapartirdeunabasedelncleodeunatransformacinlinealyeslaesenciadel

2
teorema de la dimensin). Completando una base de 4 a partir de f(u) yf(v) con, por
ejemplo, [1 0 0 0]T y [0 1 0 0]T , podemos definir g: 4 3 de la siguiente
manera:
g
f(u)= [1 1 1 1] T

u= [1 0 0]T
g
f(v)= [1 0 - 1 0] T

v= [0 1 0]T

[1

g
0 0 0] T

[0 0 0]T (ocualquierotrovectorde 3 )

[0

g
[0 0 0]T (ocualquierotrovectorde 3 )
1 0 0] T

Entonces, g (f(u))=u , g (f(v))=v y g( f(w))=g(0)= 0 yporlotantola matrizde


g o f respectodelabase(ordenada) B={ u, v,w} = {[1 0 0] T,[0 1 0] T,[1 0 1] T} es,
1 0 0
efectivamente, [g o f]B, B =0 1 0 .
0 0 0

EJ ERCICIO 2: Consideremos en 4 una base ordenada B ={v1,v2,v3,v4} y el producto


internocannico.Sea B *={w1,w2,w3,w4} labaseortogonalordenadaobtenidaapartirde

B mediante el algoritmo de GramSchmidt y sea T: 4 4la proyeccin sobre


S = gen{v1,v2,v3} .Sabiendoque
w4 =[1 0 2 1]T ,calcularlamatrizdeT respecto
delabasecannica.
RESOLUCIN:Puestoque S = gen{v1,v2,v3} = gen{w1,w2,w3} (propiedadfundamentaldel
algoritmo de GramSchmidt), entonces S ^ = gen{w4}. Por lo tanto, la proyeccin de un
elemento x4 sobre S^ es
1 16 x1 + 13 x3 + 16 x4 16 0 13 16 x1


0
0 0 0 0 x2
(w4,x)
x1 + 2x3 + x4 0

.Entonces,
PS (x)=
=
=
2 w4 =
2 13 x1 + 23 x3 + 13 x4 13 0 23 13 x3
6
w4
1
1

1
1
1
1
1 6 x1 + 3 x3 + 6 x4 6 0 3 6 x4
^

1
0
lamatrizbuscadaes
0

0
1
0
0

0
0
1
0

0
0
0

16
0

13
1
6

0 13 16 56

0 0 0 0
=
0 23 13 -31

0 13 16 -61

0 -31 -61
1 0 0
.
0 13 -31

0 -31 56

Observacin: La matriz de PS se puede obtener directamente a partir de la formulita


^

1
w4 w4T .
6

2 0
T
EJ ERCICIO3:Dada M =
,comprobarque la frmula (X,Y)=tr(X MY) define
0
1

unproductointernoenelespaciovectorialreal 2 2 ycalcularlamatrizantisimtricams
1 1
prximaa
.
0 1
RESOLUCIN: La funcin tr : R22 tal que tr (X)= x11 + x22 es claramente lineal y
adems verifica tr(XT )=tr(X)paracualquier matrizX. Adems latrasposicines lineal,
(esdecir: (lX +mY)T = lXT + mYT ),porlotanto:
(1)(.,.)esbilineal:respectodelaprimeravariabletenemos:
(lX +mY,Z)= tr((lX + mY)T MZ)= tr((lXT + mYT )MZ)= tr(lXTMZ + mYTMZ)=
= l tr(XTMY)+ m tr(YTMZ)= l (X,Y)+ m (Y,Z)

Respectodelasegundavariablepodemosutilizarlasimetra(queprobamosen(2))obien
directamente:
(X,l Y +mZ) = tr(XT M(lY + mZ))= tr(l XTMY + mXTMZ) =
= l tr(XTMY)+ m tr(XTMZ) = l (X,Y)+ m (X,Z)

(2)(.,.)essimtrica:
MT =M

(Y
,X)= tr(YTMX)= tr((YTMX)T )= tr(XTMTY) = tr(XTMY)= (X,Y)
2
2
2
(3) (.,.)esdefinidapositiva: (X,X)=tr(XTMX)= 2x112 + 2x12
+ x21
+ x22
0 yes=0sii

x11 = x12 = x21 = x22 = 0,esdecir:sii X=0.


0 - 1
Ahora,elsubespaciodelasmatricesantisimtricasestgeneradopor W =
.Porlo
1 0
1 1
(W,A)
tanto, la proyeccin de
sobre este subespacio es P ( A)=
W .
A=

2
W
0 1
Calculemos:
0 1 2 0 1 1
0 1 1 1
0 1
= tr
= tr

(W,A) =trWT MA = tr

- 2 0 0 1
- 2 - 2 = -2
1
0
0
1
0
1

0 1 2 0 0 - 1
0 1 0 - 1
1 0
= tr
= tr

(W,W)=tr(WT MW)= tr

0 2 = 3

- 1 0 0 1 1 0
- 2 0 1 0

1 1
Porlotanto,lamatrizantisimtricamsprximaa A=
es
0 1

P (A)=

20 - 1 0 23
W = -
=

31 0 - 23 0

(W,A)

EJ ERCICIO4:Dados v1 =[1 1 0]T , v2 =[1 0 1]T , v3 =[0 1 1]T y v4 =[1 - 1 1]T ,


existe un vector x3 tal que (v1,x)=1, (v2 ,x)=-1, (v3 ,x)=0 y (v4 ,x)=2? (Se
consideraelproductointernocannico).Encasonegativo,encuentreunvector x3 que
2
2
2
hagamnimalasuma [(v1,x)-1] + [(v2,x)+ 1] + (v3,x)2 + [(v4,x)- 2] .Esnico?.
RESOLUCIN:Las condicionesplanteadasparaelvector x=[x1
setraducenenelsistema

x2 x3]T 3 se

x1 +x2 = 1

x1 + x3 = -1

x2 + x3 = 0
x1 - x2 + x3 = 2

Este sistema es claramente incompatible: las tres primeras tienen como nica solucin
x1 =0,x2 = 1,x3 = -1 , ypor lotantoson incompatiblescon lacuarta.Esdecir: noexiste
ningn vector x3 que verifique las cuatro condiciones del enunciado. La matriz del
sistemaes
1 1
1 0
A=
0 1

1 - 1

0
1
1

cuyo rango es 3 (basta observar que las tres primeras filas, por ejemplo, son linealmente
independientes).Obsrveseque las filasdeAsonprecisamente losvectores v1,v2,v3,v4 y
resulta

[(v 1,x)-1]2 + [(v2,x)+ 1]2 + (v3,x)2 + [(v4,x)- 2]2 =

Ax- b

donde b=[1 - 1 0 2]T .TenemosentoncesqueresolverelsistemaAx=bpormnimos


cuadrados.Ahoraelsistema AT Ax= ATbes

5
3x1 +2x3 = 2

3x2 = -1
2x + 3x = 1
3
1

cuyanicasolucines x= 45

-1
3

].(Launicidaddeestasolucinsedebeaqueelrango

-1
5

deAes3yporlotantosuespacionuloestrivial)

EJ ERCICIO5:Respondersicadaunade lasdossiguientesproposicionesesverdaderao
falsa, dando una demostracin de la misma en el primer caso y un contraejemplo en el
segundo.
(a) Para cualquier matriz A m n y cualquier vector b m el sistema de ecuaciones
lineales AT Ax= ATb escompatible.
(b)Paracualquier matriz A m n,paracualquier matriz inversible B mm ycualquier
vector b m , si x0 n es solucin de Ax = b por cuadrados mnimos, entonces x0es
solucindeBAx=Bb porcuadradosmnimos.
RESOLUCIN: (a): Verdadera : Utilizando la descomposicin m = Col(A) Col(A)^ ,
podemosescribir b =b'+
Col(A)y b"
Col(A)^ .Entonces, b'= Ax0 paraalgn
b",donde b'

x0 n

(tener presente que los elementos de Col(A) son de la forma

x1col1(A)+...+ xncoln(A)= Ax )y ATb"=0,pues Col (A)^ = Nul(AT ).Entonces,


=
}
T
A Ax0 = A b'= A b'+ A b"= AT (b'+b")= ATb.

Esdecir: x0 essolucindelsistema AT Ax= ATb.


1 0
1

RESOLUCIN (b): Falsa : Veamos un contraejemplo: Si A= 0 1 , b= 1 y


0 0
1
1 0 1
1

B = 0 1 0 ,entonces laproyeccindebsobreelespaciocolumnadeAes b'=1 (no


0 0 1
0
hacefaltaningunacuenta,bastamirarelespaciocolumnadeA).Resultainmediatamente
que la nica solucin de Ax = b por cuadrados mnmos (es decir: la nica solucin de
1 0
1
Ax =b')es x0 = .Porotraparte, BA =0 1 = A yentonces,Col(BA)=Col(A).Pero
1
0 0

6
2
2 1
ahora, Bb=1 ysuproyeccinsobreCol(BA)es b"=1 1 = BAx0 .Dehecho,lanica
1
0 0
2
solucindeBAx=Bb porcuadradosmnimoses .
1

1
Observacin1:Hay contraejemplos ms cortitos,obviamente.Unopodra ser: A= ,
0
1
1 1
1
b= y B=
.Laproyeccinde bsobre Col(A)es b'= ypor lotantolanica
1

0 1

2
solucin por cuadrados mnimos de Ax = b es x0 =1. Ahora, BA = A y Bb= . La
1
2
proyeccin de Bb sobre Col(BA) es y la nica solucin de BAx = Bb por cuadrados
0
mnimosesentonces x0 ' =2.

Observacin2:Lassoluciones xb porcuadradosmnimosdeAx=bson lasqueverifican


2

que Axb -b Ax- b paracualquier x n ,ylassoluciones x'b deBAx=Bbsonlas


2

que verifican BAx'b -Bb BAx- Bb para cualquier x n . Esta observacin da una
idea de por qu la afirmacin (b) es falsa en general. Una propiedad adicional sobre la
matriz B (adems de la inversibilidad) que permite afirmar que las soluciones de ambos
problemasde cuadrados mnimoscoincidenesque verifique BT B= I,puesentoncespara
2

cualquier y m es By =(By,By)= (y,BT By)= (y,y)= y .Porlotanto:


2

BAxb -Bb = B(Axb - b) = Axb - b Ax - b = B(Ax- b) = BAx- Bb

Você também pode gostar