RESOLUCIN DEL EXAMEN DE LGEBRA II CORRESPONDIENTE AL 8/7/09

I) Sea V un -e.v de dimensin finita y : T V V una transformacin lineal.

1) Mostrar que T T T = si y slo si ( ) ( ) Id T Id T Id T = .
2) Probar que si T T T = , entonces ( ) ( ) Im N T T V = .
3) Sea
3 3
: T definida por ( )
2 5 2 5
, ,
, ,
3 6 6
x y z x y z x y z
T x y z
+ + + + + | |
=
|
\ .
.
Hallar el ncleo y la imagen de T.
4) Verificar que T T T = e interpretar geomtricamente T. Justificar.

1) ( ) H) T T T = T) ( ) ( ) Id T Id T Id T =
( ) ( )

2 = + = + =

T T T
Id
Id T Id T Id Id Id T T Id T T Id T T Id T
( ) : H) ( ) ( ) Id T Id T Id T = T) T T T =
Por hiptesis ( ) ( ) = Id T Id T Id T 2 + = Id T T T Id T
= T T T
2) H) T T T = T) ( ) ( ) Im N T T V =
Ahora ( ) ( )
{ }
( ) ( )
) ( ) Im( )
Im
) Im
=

=

+ =

i N T T
N T T V
ii N T T V

i)
( ) ( )
( ) Im( )
Im( ) / ( )
e = 0

e .

e - e =

v N T T v
v N T T
v T u V T u v

Si ( ) ( ) ( ) ( ) = = T u v T T u T v Como ( ) ( ) ( ) = = T T T T T u T u
Adems ( ) = 0 T v En consecuencia ( ) = 0 T u Y como ( ) = = 0 v T u v
As que: ( ) Im( ) e = 0 v N T T v Por lo tanto { } ( ) Im( ) = 0 N T T
ii) Nos falta probar que ( ) ( ) Im + = N T T V lo que es equivalente a demostrar
( ) Im( ) / e - e . e = + v V u N T w T v u w
Por hiptesis ( ) ( ) ( ) ( ) ( ) ( ) = e = = 0 T T T v V T T v T v T T v T v
( ) ( ) ( ) ( ) = 0 e T T v v T v v N T

Llamemos

Im( ) ( )
( ) ( ) ( ) ( )
e e
= e = = +
T N T
u T v v v V v T v u T v u
Lo cual demuestra ii)

3)
3 3
: T ; ( )
2 5 2 5
, ,
, ,
3 6 6
x y z x y z x y z
T x y z
+ + + + + | |
=
|
\ .
.

Comencemos por el ncleo.

( )
2 5 2 5
, ,
( , , ) ( ) , , (0,0,0)
3 6 6
0
2
2 5 0
2 5 0
+ + + + + | |
e = =
|
\ .
+ =
=
+ + =

=

+ + =

x y z x y z x y z
x y z N T T x y z
x y z
x z
x y z
y z
x y z


Entonces { } { } ( ) (2 , , ) (2, 1,1) = = N T z z z L

Vamos ahora por Im(T) Recordemos que si B es un generador del dominio entonces
T(B) es un generador de la imagen.

{ } (1,0,0),(0,1,0),(0,0,1) genera a
3
{ } (1,0,0), (0,1,0), (0,0,1) T T T genera a Im(T)

1 1 1 1 5 1 1 1 5
Im( ) , , , , , , , ,
3 3 3 3 6 6 3 6 6
| | | | | |
=
`
| | |
\ . \ . \ . )
T L
Como
3
dim dim ( ) dimIm( ) dimIm( ) 2 = + = N T T T
En consecuencia el conjunto
1 1 1 1 5 1 1 1 5
, , , , , , , ,
3 3 3 3 6 6 3 6 6
| | | | | |

`
| | |
\ . \ . \ . )
es LD y por lo tanto
{ }
1 1 1 1 5 1
Im( ) , , , , , (1,1, 1),(2,5,1)
3 3 3 3 6 6
| | | |
= =
`
| |
\ . \ . )
T L L

4) La verificacin de que = T T T queda a cargo del lector. La cual puede hacer
directamente o travs de la matriz asociada. Si llamamos A a la matriz asociada a T en
una base cualquiera, probar que = T T T es equivalente a probar que
2
= A A.

En cuanto a la interpretacin geomtrica, comencemos por observar que la Im(T) es un
plano. En otras palabras la imagen de cualquier vector del espacio est en ese plano.
Adems ( ) Im( ) N T T (verifquelo). Todo esto nos hace sospechar de que T a cada
vector de
3
le hace corresponder su proyeccin ortogonal sobre Im( ) T

Observemos
( )
Im( )
Im ( ) ( )
2 5 2 5 2 2 2
, ,
, , , ,
3 6 6 3 6 6
2 5 2 5
, ,
( , , ) es la proyeccin ortogonal de ( , , ) s
3 6 6

e
e =
+ + + + + + + + | | | |
= +
| |
\ . \ .
+ + + + + | |
=
|
\ .

T
T N T
x y z x y z x y z x y z x y z x y z
x y z
x y z x y z x y z
T x y z x y z obre Im( ) T

Probemos que efectivamente
2 2 2
, , ( )
3 6 6
+ + + | |
e
|
\ .
x y z x y z x y z
N T
( )
( ) { }
2 2 2 2
, , 2, 1,1
3 6 6 6
2 2 2
, , 2,1, 1 ( )
3 6 6
+ + + + | |
=
|
\ .
+ + + | |
e =
|
\ .
x y z x y z x y z x y z
x y z x y z x y z
L N T




















II) Sea ( ) ( ) ( ) { }
1,1,1 , 1,1,0 , 0,1,0 B = y consideramos
3 3
: T tal que
( )
1 3 1
1
4 0 1
3
4 3 4
B
B
T
| |
|
=
|
|

\ .
.
1) Hallar ( ) , , T x y z .
2) Probar que T es una isometra vectorial. Clasificarla y hallar elementos.
3) Denominemos r a la recta fija segn T. Hallar la ecuacin de la recta s perpendicular
a r por ( ) 1,2, 1 P .
4) Hallar la ecuacin de la rectat que pasa por P y es paralela a la recta h)
1
3
x
y z
=

+ =

.
Verificar que t es ortogonal a r.
5) Sea
3 3
: F el operador lineal que a cada vector de
3
le hace corresponder
su proyeccin ortogonal sobre el plano ) o 0 x y z = .
Hallar ncleo e imagen de F T .


1) Comencemos por hallar las coordenadas de ( , , ) x y z en la base B
( , , ) (1,1,1) (1,1,0) (0,1,0)
o +| = o =

= o +| + o +|+ = | =


o = =

x z
x y z y x z
z y x

As que

1 3 1
1
( , , ) ( , , ) 4 0 1
3
4 3 4
| | | || |
| | |
= =
| | |
| | |

\ . \ .\ .
B B
z z
Coord x y z x z Coord T x y z x z
y x y x


2 2
3
4
( , , )
3
4
3
2 2 4 4
( , , ) (1,1,1) (1,1,0) (0,1,0)
3 3 3
+ | |
|
|
+ +
|
=
|
|

|
|
\ .
+ + +
= + +
B
x y z
x y z
Coord T x y z
x y z
x y z x y z x y z
T x y z



2 2 2 2 2 2
( , , ) , ,
3 3 3
+ + + + | |
=
|
\ .
x y z x y z x y z
T x y z

2) Hallemos primeramente la matriz asociada a T en las bases cannicas.


| |
( )
| |
1 2 2
(1,0,0) , ,
3 3 3
1 2 2
2 2 1 1
(0,1,0) , , 2 2 1
3 3 3 3
2 1 2
2 1 2
(0,0,1) , ,
3 3 3
| |
=
|
\ .

| |
| | |
= = =
`
|
|
\ .
|

\ .

| |
=

|
\ . )
e e
T
T A T
T


Observemos que A es una matriz ortogonal. Teniendo en cuenta que la base cannica es
una base ortonormal; podemos concluir que T es una isometra vectorial.


1
( ) 1
=

`
=
)
A
T
tr A
es una rotacin axial de ngulo u con respecto a r

Comencemos por hallar u 1 2cos 1 cos 1 + u = u = u = t


1 2 2
1
( , , ) ( , , ) ( , , ) 2 2 1
3
2 1 2
2 2 3 2 2 2 0
2
2 2 3 2 5 0
2 2 3 2 5 0
| | | | | |
| | |
e = =
| | |
| | |

\ . \ . \ .
+ + = + + =
=
+ = + =

=

+ = + =

x x
x y z r T x y z x y z y y
z z
x y z x x y z
x z
x y z y x y z
y z
x y z z x y z


Por lo tanto ( ) { } { } 2 , , (2,1,1) = = r z z z L









3)





Por P trazamos | r
{ } (2,1,1) ) 2 0 | = | + + + = r L x y z d
(1,2, 1) 2 2 1 0 3 e| + + = = P d d
As que ) 2 3 0 | + + = x y z Cortamos | con r, obteniendo el punto Q
2
)
=

x
r y
z
sustituyendo en la ecuacin de | nos queda
1 1 1
1, ,
2 2 2
| |
=
|
\ .
Q
La recta buscada es la recta PQ
1
) 2
1
=

= +

x
PQ y
z

4) h)
1
3
x
y z
=

+ =

1
(0,1, 1) ) 2
1
=

= = +

h
x
v t y
z

(1,2, 1) e P t tomando 1 = nos queda que (1,3, 2) e H t
Verifique que tanto P como H pertenecen al plano | = _| PH t
y como | r t es ortogonal a r
5) ( , , ) 0 eo = = + x y z x y z x y z
As que { } { } ( , , ) (1,1,0),(1,0,1) o = + = y z y z L
Por otra parte { } (1, 1, 1)

o = L
r
Q
p
|
Escribamos ahora un vector ( , , ) x y z como suma de un vector de o mas uno de

o
( ) ( )
2
3
2
( , , ) , , , , 3
3

eo
eo
+
| =

|+ + o =
+

=

= |+ | + o o o | o =



o =

o =

x y z
x
x y z
x y z y
x y z
z

Por lo tanto la proyeccin de ( , , ) x y z sobre o es
2 2 2
, ,
3 3 3
+ + + + | |
|
\ .
x y z x y z x y z

Entonces
| | | |
2 1 1
1
( ) 1 2 1
3
1 1 2
| |
|
= =
|
|

\ .
e e
B F Ahora
| | | |
( ) = =
e e
F T BA
2 1 1
1
1 1 2
3
1 2 1
| |
|

|
|

\ .

Dejamos el ncleo y la imagen de F T a cargo del lector.

III) Denominamos D

al conjunto de las funciones de en derivables en todo .

1) Sea ( ) ( ) { }
2
: , , ,
x
S f D f x ax bx c e a b c = e = + + e

. Demostrar que S es un
subespacio de D

. Hallar una base de S y calcular su dimensin.

2) Sean ( ) ( )
2
1
x
g x x x e = , ( ) ( )
2
2
2 1
x
g x x x e = , ( ) ( )
2
3
1
x
g x x x e = + + y
( ) ( )
4
2
x
g x x e = + . Consideremos los subespacios { } ( )
1 1 2
, S L g g = y
{ } ( )
2 3 4
, S L g g = . Hallar
1 2
S S y probar que
1 2
S S S = + .
3) Sea F

el conjunto de todas las funciones de en y consideramos

: T D F

definida por ( ) ' T f f = siendo ' f la derivada de f.
Probar que
S
T es un operador lineal biyectivo de S en S.
4) Hallar B y C bases de S para que ( )
C
B
T I = .



1) La demostracin de que S es un SEV la dejamos a cargo del lector.
( ) ( ) { } { } { }
2 2 2
: , , , , , = e = + + e = + + =

x x x x x x x
S f D f x ax bx c e a b c ax e bxe ce L x e xe e
Como
{ }
2
, ,
x x x
x e xe e es un conjunto LI (demustrelo) tenemos que es una base de S y por
lo tanto dim S =3
2) ( ) ( )
{ }
{ }
1 1 2
2
1 2
2 3 4
,
:
,
e =

= + + e .

e =

x
f S L g g
f f x ax bx c e f S S
f S L g g


{ }
1 1 2 1 2
1 2
2 2 2
, , /
, / ( ) ( ) ( )
, / ( ) ( ) (2 1)
2
, /
e = - e = +
- e = + e
- e + + = + e
+ =

- e = + =

x x x
f S L g g f g g
f x g x g x x
ax bx c e x x e x x e x
a
b a b c
c

{ }
2 3 4 3 4
3 4
2 2
, , /
, / ( ) ( ) ( )
, / ( ) ( 1) ( 2)
, / 2
2
e = - e = +
- e = + e
- e + + = + + + + e
=

- e + = =

+ =

x x x
f S L g g f g g
f x g x g x x
ax bx c e x x e x e x
a
b b a c
c

Por lo tanto ( ) ( )
2
1 2
:
2 0
+ = =
= + + e

= =

x
a b c a c
f f x ax bx c e f S S
b a c b

En consecuencia
{ } { } { }
2 2 2
1 2
( ) ( ) ( ) = = =
x x x
S S ax a e a x x e L x x e
Como
1 2 1 2 1 2 1 2
2 2 1
dim( ) dim dim dim( ) dim( ) 3 + = + + =

S S S S S S S S
Adems
1 2
+ S S es SEV de S que tambin tiene dimensin 3
1 2
+ = S S S

3)
{ }
2
, , =
x x x
B x e xe e es una base de S

2 2 2
( ) 2 ( 2 )
( ) ( 1)
( )
= + = + e
= + = + e
= e
x x x x
x x x x
x x
T x e xe x e x x e S
T xe e xe x e S
T e e S

As que las imgenes de la base de S estn en S. Teniendo en cuenta adems la
linealidad de la derivada podemos afirmar que T/S es un operador lineal
Faltara demostrar que dicho operador es biyectivo
( )
2 2 2
( ) 2 ( 2 )
1 0 0
( ) ( 1) 2 1 0
0 1 1
( )
= + = + e
| |

|
= + = + e = =
`
|
|
= e
\ .
)
x x x x
x x x x
B B
x x
T x e xe x e x x e S
T xe e xe x e S A T
T e e S

Teniendo en cuenta que 1 0 = = A A es invertible y por lo tanto T/S es biyectiva
4)
{ }
2
( 2 ) ,( 1) , = + +
x x x
C x x e x e e