RESOLUCIN DEL EXAMEN DE GEOMETRA Y ALGEBRA LINEAL

CORRESPONDIENTE AL 7/7/2010


I) 1) Consideramos : T V V un operador lineal.
Probar que si { } ( ) Im( ) ( ) Im( ) N T T V N T T = =
2) Sea ( )
3 3
2 2
: : , , , ,
2 2 3
x y x y x y z
T T x y z
+ + + + | |
=
|
\ .

Hallar
3
( ) , Im( ) y verificar que ( ) Im( ) N T T N T T = .
3) Hallar ( )
C C
F siendo F una simetra especular con respecto a ) 0 x y z + = y C la
base cannica de
3
.
4) Probar que T F G = siendo G una proyeccin ortogonal con respecto a un plano
que se determinar.


1) Ya que : T V V ( ) y Im( ) son SEV de ( ) Im( ) es un SEV de N T T V N T T V +
Como { } ( ) Im( ) N T T = para demostrar que ( ) Im( ) V N T T = falta probar que
( ) Im( ) V N T T = + lo que es equivalente a probar que tienen la misma dimensin.

Aplicando el teorema de las dimensiones tenemos que dim dim ( ) dimIm( ) V N T T = +
Por otra parte ( ) ( ) dim ( ) Im( ) dim ( ) dimIm( ) dim ( ) Im( ) N T T N T T N T T + = +
Como { } ( ) Im( ) dim ( ) Im( ) 0 N T T N T T = = Sustituyendo en la igualdad
anterior nos queda: ( ) dim ( ) Im( ) dim ( ) dimIm( ) N T T N T T + = + Entonces
( ) dim ( ) Im( ) dim N T T V + = Teniendo en cuenta que ( ) Im( ) es un SEV de N T T V +
Podemos afirmar que ( ) Im( ) V N T T = + .

2) Comenzamos por hallar ( ) N T .

( ) ( ) ( )
2 2
, , ( ) , , , , 0,0,0
2 2 3
0
2
2 2 4
0
3
x y x y x y z
x y z N T T x y z
x y
y x
x y z z x
+ + + + | |
e = =
|
\ .
+
=

=


+ + =

Por lo tanto ( ) { } ( ) { }
( ) , ,4 1, 1,4 N T x x x L = =

Para hallar la Im( ) T utilizamos el teorema que afirma que si B es un generador del
dominio ( ) T B es un generador de Im( ) T .

( ) ( ) ( ) { }
( ) ( ) ( ) { }
3
Ya que 1,0,0 , 0,1,0 , 0,0,1 genera a
1 1 2 1 1 2 1
( ) 1,0,0 , 0,1,0 , 0,0,1 , , , , , , 0,0, genera a Im( )
2 2 3 2 2 3 3
C
T C T T T T
=
| | | | | |
= =
`
| | |
\ . \ . \ . )

Observemos que
1 1 1 1 2 1 1 1 2
0,0, , , , ,
3 4 2 2 3 4 2 2 3
| | | | | |
=
| | |
\ . \ . \ .

Por lo tanto
1 1 2 1 1 2 1 1 1 2 1 1 2
Im( ) , , , , , , 0,0, , , , , ,
2 2 3 2 2 3 3 2 2 3 2 2 3
T L L
| | | | | | | | | |
= =
` `
| | | | |
\ . \ . \ . \ . \ . ) )

As que ( ) ( ) { } ( ) { }
3
Im( ) 1,1,2 , 1,1, 2 , , / T L x y z y x = = e =

Ahora
( )
( )
( )
, , ( ) 4
, , ( ) Im( ) 0
, , Im( )
x y z N T y x z x
x y z N T T x y z
x y z T y x
e = . =

e . = = =

e =

Entonces ( ) { }
3
1)
( ) Im( ) 0,0,0 ( ) Im( ) N T T N T T = =

3)
















( ) , , P a b c
, ,
2 2 2
a a b b c c
M
' ' ' + + + | |
|
\ .

( ) , , P a b c ' ' ' '
Por ( ) , , P a b c trazamos r como ) 0 )
x a
x y z r y b
z c

= +

+ = =

= +

Hallemos { } r M =

2 2 2
, ,
3 3 3
a b c a b c a b c
M
+ + + + + | |
|
\ .
(omitimos la parte operatoria)

Ahora M es el punto medio entre ( ) ( ) , , y , , P a b c P a b c ' ' ' ' , ,
2 2 2
a a b b c c
M
' ' ' + + + | |
|
\ .


Entonces
2 2 2
2 3 3
2 2 2

2 3 3
2 2 2
2 3 3
a a a b c a b c
a
b b a b c a b c
b
c c a b c a b c
c
' + + +
' = =


' + + + + +
' = =


' + + + + +
' = =




As que ( )
2 2 2 2 2 2
, , , ,
3 3 3
F
a b c a b c a b c
a b c
+ + + + + | |

|
\ .


Por lo tanto
( ) ( )
1 2 2
3 3 3
2 1 2
3 3 3
2 2 1
3 3 3
2 2 2 2 2 2
, , , ,
3 3 3
C C
x y z x y z x y z
F x y z F

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


Ahora
( ) ( ) ( ) ( ) ( ) ( ) ( )
1
1 1
. . .
t
C C C C C C C C C C C C
C C
T G F G T F G T F T F T F

= = = = =
( )
1 1 1 2 2 1 1
2 2 3 3 3 2 2
1 1 2 1 2 1 1
2 2 3 3 3 2 2
2 2 1 2 2 1
3 3 3 3 3 3
0 0
0 0
0 0 1
C C
G

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


Entonces ( ) , , , ,1
2 2
x y x y
G x y z
+ + | |
=
|
\ .



Hallemos ahora Im( ) G

( ) ( )
( ) ( )
( ) ( )
( ) ( ) { } ( ) { }
1 1
2 2
3
1 1 1 1
2 2 2 2
1,0,0 , ,0
0,1,0 , ,0 Im( ) , ,0 , 0,0,1 , , /
0,0,1 0,0,1
G
G G L x y z y x
G
=

= = = e =
`

=
)


Determinemos ahora la frmula de la proyeccin ortogonal sobre ) 0 x y =

Por ( ) , , P a b c trazamos
{ } siendo , ,
2 2
a b a b
s P P c
+ + | |
' ' =
|
\ .
(omitimos las operaciones)

Entonces la funcin H que a cada vector le hace corresponder su proyeccin ortogonal
sobre tiene por frmula ( ) , , , ,
2 2
x y x y
H x y z z
+ + | |
=
|
\ .
As que G H =

Por lo tanto G es la proyeccin ortogonal sobre )y x =























II) 1) Sea : T V V un operador lineal, y valores propios de T / ( ) ( ) S S V =
Demostrar que T acepta una representacin en matriz diagonal.

2) Sabiendo que 1 y 1 son valores propios de
3 3
: T y que ( 1) (1) S S

=
Demostrar que T es una isometra vectorial.

3) Si adems ( ) ( ) { }
(1) 1,2,0 , 0,0,1 S L = Hallar ( ) , , T x y z . Clasificar y hallar
elementos.

4) Llamamos al plano que pasa por ( ) 1,1,3 P y tiene direccin (1) S .
Consideramos la esfera de ecuacin
2 2 2
2 2 7 0 x y z y z + + + = .
Verificar que dicha esfera es secante al plano y hallar el centro y el radio de la
circunferencia interseccin.


1) Consideramos
{ } { }
1 1
,..., base de ( ) y ,..., base de ( )
p p n
B v v S B v v S
+
' = =
Como ( ) ( ) S S V = podemos afirmar que
{ }
1 1
,..., , ,...,
p p n
B B v v v v
+
' = es una
base de V. Hallemos la matriz asociada a T en la base B B'

( )
1 1 1
1 1 1
( ) pues ( )
.........................................
( ) pues ( )
( ) pues ( )
................................................
( ) pues ( )
p p p
B B
p p p
n n n
T v v v S
T v v v S
T
T v v v S
T v v v S




'
+ + +
= e

= e


`
= e

= e
)
0 0 0
0
0 0 0
B B

'
| |
|
|
|
=
|
|
|
|
|
\ .








Que es una matriz diagonal.

2) Como
3
( 1) (1) ( 1) (1) S S S S

= =
Tenemos dos posibilidades:

dim (1) 2 y dim ( 1) 1 S S = = En este caso tomamos { }
1 2
, B u u = base ortonormal de
(1) S y { }
3
B u ' = base ortonormal de ( 1) S . Como ( 1) (1) S S

= { }
1 2 3
, , B B u u u ' = es
una base ortonormal de ( )
3
1 0 0
y 0 1 0
0 0 1
B B B B
T
' '
| |
|
=
|
|

\ .

dim (1) 1 y dim ( 1) 2 S S = = En este caso tomamos { }
1
B u = base ortonormal de (1) S y
{ }
2 3
, B u u ' = base ortonormal de ( 1) S . Como ( 1) (1) S S

= { }
1 2 3
, , B B u u u ' = es una
base ortonormal de ( )
3
1 0 0
y 0 1 0
0 0 1
B B B B
T
' '
| |
|
=
|
|

\ .

En ambos casos la matriz asociada a en una base ortonormal T B B' es una matriz
ortogonal. Por lo tanto en ambas situaciones T es una isometra vectorial.

3) Comencemos por hallar ( ) ( ) { } ( )
( 1) (1) 1,2,0 , 0,0,1 S S L

= =
( )
( ) ( )
( ) ( )
, , , 1,2,0 2 0 2
, , (1)
, , , 0,0,1 0
x y z x y x y
x y z S
x y z z

= + = =

e .

= =

As que ( ) { } ( ) { }
( 1) 2 , ,0 2,1,0 S y y L = =
Ahora:
( ) ( ) { }
( ) ( ) ( )
( ) ( ) ( )
1,2,0 1. 1,2,0 1,2,0
(1) 1,2,0 , 0,0,1
0,0,1 1. 0,0,1 0,0,1
T
S L
T
= =

=

= =

( ) { } ( ) ( ) ( ) ( 1) 2,1,0 2,1,0 1. 2,1,0 2, 1,0 S L T = = =

Al conocer las imgenes de ( ) ( ) ( ) { }
1,2,0 , 0,0,1 , 2,1,0 que es una base de
3
sabemos que
T est determinada. Para hallar ( ) , , T x y z comencemos por determinar las coordenadas de
( ) , , x y z en la base ( ) ( ) ( ) { }
1,2,0 , 0,0,1 , 2,1,0 .

( ) ( ) ( ) ( )
2
2
5
, , 1,2,0 0,0,1 2,1,0 2
2
5
x y
x
x y z y z
z x y

+
=

= + + + = =


= +

As que ( ) ( ) ( ) ( )
2 2
, , 1,2,0 0,0,1 2,1,0
5 5
x y x y
x y z z
+ +
= + +
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
2 2
, , 1,2,0 0,0,1 2,1,0
5 5
2 2 3 4 4 3
, , 1,2,0 0,0,1 2, 1,0 , ,
5 5 5 5
x y x y
T x y z T zT T
x y x y x y x y
T x y z z z
+ +
= + +
+ + + + | |
= + + =
|
\ .


Por lo tanto ( )
3 4 4 3
, , , ,
5 5
x y x y
T x y z z
+ + | |
=
|
\ .


( ) ( )
( ) ( )
( ) ( )
( )
3 4
3 4
5 5
5 5
3 3 4 4
5 5 5 5
1,0,0 , ,0
0
0,1,0 , ,0 0
0 0 1
0,0,1 0,0,1
C C
T
T A T
T

=
| |

|
= = =
`
|
|
= \ .

)


Como 1 y 1 es una simetra especular A trA T = =
Adems sabemos que ( ) ( ) { }
(1) 1,2,0 , 0,0,1 S L = siendo este en consecuencia el plano de la
mencionada simetra.

4) es el plano que pasa por ( ) 1,1,3 P y tiene direccin ( ) ( ) { }
(1) 1,2,0 , 0,0,1 S L =
Por lo tanto
1
) 1 2 )2 3 0
3
x
y x y
z

= +

= + + =

= +

Ahora si llamamos C al centro de la esfera de ecuacin
2 2 2
2 2 7 0 x y z y z + + + = y r a
su radio tenemos que ( ) 0, 1,1 C y 3 r =

Como ( )
( )
2
2 2
2.0 ( 1) 3 4
, 3
5
2 1 0
d C r
+
= = < =
+ +
es secante a la esfera

1
C centro de la cfa interseccin es el pe de la perpendicular de C a Llamemos r a dicha
perpendicular.
( )
2
)2 3 0 0, 1,1 ) 1
1
x
x y C r y
z

+ = . =

{ }
1 1
8 1
, ,1
5 5
r C C
| |
=
|
\ .











Denominamos
1
r al radio de la cfa interseccin.

Por Pitgoras
2
2 2
1 1
4 16 29
9 9
5 5 5
r r h r
| |
= = = =
|
\ .


C
h
1
r
1
C
r