lgebra Lineal II, curso 2016/17

Ejercicios propuestos para traba jar en el Foro 6: Isometras vectoriales.

F6.1. Determine la veracidad o falsedad de las siguientes armaciones

(a) No existe ninguna isometra en R2 que transforme el vector (1, 0) en el (1, 1).
(b) Si f es un endomorsmo de un espacio vectorial eucldeo (V ; <, >) que transforma la base B = {u, v}
ortogonal en la base B0 = {u + v, u v} ortogonal, entonces f es una isometra de V .
(c) Ninguna isometra vectorial de R2 tiene una nica recta invariante.
F6.2. Demuestre que si A Mn (R) es una matriz ortogonal y n impar, entonces det(AIn ) = 0 o det(A+In ) = 0.
F6.3. Sea (V, <, >) un espacio vectorial eucldeo de dimensin 2, B = {e1 , e2 } una base ortonormal de V y
B 0 = {v1 , v2 } la base dada por v1 = e1 , v2 = e2 e1 . Determine si la aplicacin lineal f denida por
f (v1 ) = v1 + v2 y f (v2 ) = 2v1 v2 es una isometra.
F6.4. (PEC) Determine la matriz en la base cannica de R3 de la simetra ortogonal de base el plano 2x+y+z = 0.
F6.5. (PP) Sea f : R3 R3 la aplicacin que respecto a la base cannica viene dada por
1
f (x, y, z) = (x + 2y + 2z, 2x y + 2z, 2x + 2y z)
3
Probar que se trata de una isometra y describirla geomtricamente.
F6.6. (PP) Sea B = {v1 , v2 , v3 } una base ortonormal de R3 y f un endomorsmo tal que
3f (v1 ) = 2v1 2v2 + v3 , 3f (v2 ) = av1 + v2 2v3 , 3f (v3 ) = bv1 + cv2 + 2v3

(a) Encuentre los valores de los parmetros a, b, c R para los cuales f es una isometra vectorial.
(b) Para los valores obtenidos, indique si se trata de una simetra, un giro o la composicin de giro y
simetra.
F6.7. En el espacio vectorial eucldeo R4 determine la simetra ortogonal hiperplano que transforma el vector
u = (1, 1, 0, 0) en el vector v = (1, 0, 0, 1). La isometra viene descrita, en general, en la demostracin de
la Proposicin 9.18.
F6.8. Determine las isometras vectoriales de R3 que transforman el plano y = 0 en el plano z = 0; y viceversa,
el plano z = 0 en el y = 0.
F6.9. Describa geomtricamente las isometras de R3 que tienen innitos planos invariantes.
F6.1 (a) Verdadero. Porque no se conservara la norma.
(b) Falso. Conserva la ortogonalidad pero no la norma.
(c) Verdadero. Las posibles matrices de Jordan o de Jordan real son:
       
1 0 1 0 1 0 cos sin
0 1 0 1 0 1 sin cos

En los dos primeros casos se tienen innitas rectas invariantes, en el tercero 2 rectas invariantes y en
el cuarto ninguna.
F6.2 Como el polinomio caracterstico de A ser de grado n,impar, necesariamente tendr algn autovalor
real, que ser 1 o 1 (Teorema 9.7). Si el autovalor es 1, entonces det(A I) = 0; y si es 1, entonces
det(A + I) = 0. Proposicin 5.2 (3), pg. 183.
F6.3 La matriz de f la base ortonormal es
 
0 1
A= con AAt = I3
1 0

y como es una matriz ortogonal, entonces f es isometra.

F6.4 Sea B = {v1 , v2 , v3 } la base cannica.
Mtodo 1: Tomamos una base ortonormal de plano {v1 , v2 } y la completamos hasta formar una base
0 0

ortonormal de R : B = {v1 , v2 , v3 }, entonces la matriz de la simetra respecto a dicha base es:

3 0 0 0 0

1 0 0
MB0 (f ) = 0 1 0
0 0 1

ya que f (v10 ) = v10 = (1, 0, 0)B0 , f (v20 ) = v20 = (0, 1, 0)B0 , f (v30 ) = v30 = (0, 0, 1)B0 .
Calculamos la base tomando {(0, 1, 1), (1, 1, 1)} una base ortogonal del plano y aadimos un tercer
vector ortogonal a los anteriores, por ejemplo: (2, 1, 1). Los normalizamos y ya tenemos la base:

B 0 = {(0, 1/ 2, 1/ 2), (1/ 3, 1/ 3, 1/ 3), (2/ 6, 1/ 6, 1/ 6)}

Para obtener la matriz en la base cannica hacemos el cambio de base.

31 23 32

2 2

MB (f ) 3
= MB0 B MB0 (f )MB B0 = 3 31
.
23 13 2
3

Utilcese MB B0 = MB1 0 B = MB 0 B . Compruebe que ha obtenido una simetra: MB 0 = I3 .

t 2

Observacin: podramos haber resuelto el problema igualmente tomando una base B00 = {u1 , u2 , u3 },
tal que {v1 , v2 } son una base cualquiera del plano y v3 un vector de la recta ortogonal al plano. La
matriz de la simetra respecto a dicha base es:

1 0 0
MB (f ) = 0 1 0
0 0 1

ya que se sigue cumpliendo f (u1 ) = u1 = (1, 0, 0)B00 , f (u2 ) = u2 = (0, 1, 0)B00 , f (u3 ) = u3 =
(0, 0, 1)B00 . La diferencia es que para obtener la matriz en la base cannica hay que hacer el cambio
de base por semejanza, es decir, teniendo en cuenta la matriz de cambio de base P = MB00 B y su
inversa P 1 , es decir
MB (f ) = P MB00 (f )P 1 .
 La diferencia entre ambos procedimientos es que si tomamos la base ortonormal, no hay que calcular
la inversa de P ya que P 1 = P t . A cambio hay que dedicar algo ms de esfuerzo en el clculo de la
base.
Mtodo 2 : Utilizando la relacin que existe entre una simetra f con base el plano B y la proyeccin
ortogonal sobre B . Si v R3 se obtiene la imagen por la simetra f del siguiente modo:
Si v = pB (v) + pB (v), entonces f (v) = pB (v) pB (v) = (v pB (v)) pB (v) = v 2 pB (v)
As, podemos obtener fcilmente la imagen por f de un vector cualquiera considerando la proyeccin
de dicho vector sobre la recta B = L(2, 1, 1). Lo hacemos con el primer vector de la base cannica.
< (2, 1, 1), (1, 0, 0) > 1 2 2
f (1, 0, 0) = (1, 0, 0) 2 pB (1, 0, 0) = (1, 0, 0) 2 (2, 1, 1) = ( , , )
< (2, 1, 1), (2, 1, 1) > 3 3 3
Obteniendo as la primera columna de la matriz pedida. Del mismo modo se calcularan las imgenes
de f (0, 1, 0) y f (0, 0, 1), completando la matriz.
F6.5 Examen Septiembre 2011. Para demostrar que es una isometra podemos obtener la matriz A de f en
la base cannica, que es ortonormal, y comprobar que A At = I3 . Otra forma de demostrar que la
aplicacin lineal f es una isometra es comprobando que conserva la norma:
||v|| = ||f (v)|| para todo v R3 .

Sea v = (x, y, z) un vector genrico de R3 , su norma es x2 + y 2 + z 2 . Por otro lado, calculamos la

p

norma de f (v)
r
1 1 1
||f (v)|| = ( (x + 2y + 2z))2 + ( (2x y + 2z))2 + ( (2x + 2y z))2 .
3 3 3
Desarrollando el radicando de la expresin anterior obtenemos:
r
1 p
||f (v)|| = (9x2 + 9y 2 + 9z 2 ) = x2 + y 2 + z 2 = ||v||,
9
de donde deducimos que f es una isometra.
Para clasicar f de otro modo calculamos sus autovalores, a saber:
1 = 1 (simple), 2 = 1 (doble)
As la forma cannica de Jordan de f ser
1 0 0
0 1 0
0 0 1
y vemos que se corresponde con la matriz de un giro de ngulo = . Para dar respuesta completa al
ejercicio hay que obtener el eje de giro, que es el subespacio vectorial formado por el conjunto de vectores jos
V1 = Ker(A I), donde A es la matriz de f en la base cannica. Las ecuaciones de este subespacio son:
V1 {x y = 0, y z = 0}

F6.6 (a) La matriz de la aplicacin lineal f en la base B es

2 a b
1
A = MB (f ) = 2 1 c
3
1 2 2
Como la base es ortonormal f es isometra si y slo si AAt = I
2
a + b2 + 4

2 a b 2 2 1 a + bc 4 2b 2a + 2
t 1 1
AA = 2 1 c a 1 2 = a + bc 4 c2 + 5 2c 4
9 9
1 2 2 b c 2 2b 2a + 2 2c 4 9

1 0 0
= 0 1 0
0 0 1
 Igualando coecientes en la matriz se tiene:
2c 4 = 0c=2

a + bc 4 = 0
a = 2, b = 1
2b 2a + 2 = 0
Por lo tanto f es isometra si y slo si a = c = 2, b = 1.
(b) Para saber de qu tipo de isometra se trata determinamos la dimensin del subespacio de vectores jos
V1 = Ker(f I) = 3 rg(A I)
1 2 1

2 2 1 1 0 0 3 3 3
1
A I = 2 1 2 0 1 0 = 23 23 2

3
3

1 2 2 0 0 1 1
23 13
3

Se tiene que rg(A I) = 2 luego dim V1 = 1, es decir f es un giro.

F6.7 Segn la Proposicin 9.18, se trata de la simetra ortogonal de base el hiperplano
H = L((u v) ) {x2 + x4 = 0}

La matriz de dicha simetra respecto de una base ortonormal B0 = {u1 , u2 , u3 , u4 } donde u1 , u2 , u3 H y

u4 H es
1 0 0 0
0 1 0 0
MB0 (f ) =
0

0 1 0
0 0 0 1
Una base tal es B0 = {u1 = (1, 0, 0, 0), u2 = (0, 0, 1, 0), u3 = (0, 12 , 0, 12 ), u4 = (0, 12 , 0, 12 )}
La matriz de la simetra en la base cannica B es

1 0 0 0
0 0 0 1
MB (f ) = MB0 B MB0 (f )MB B0 =
0

0 1 0
0 1 0 0

F6.8 Llamamos Px,z {y = 0} = L(v1 , v3 ) y Px,y {z = 0} = L(v1 , v2 ) y observamos que son ortogonales. Si
f (Px,z ) = Px,y y f (Px,y ) = Px,y , entonces la recta interseccin de ambos planos R = L(v1 ), el eje x, debe
permanecer invariante: f (R) = R, de donde:
f (v1 ) = v1

Por otro lado el vector v2 Px,y se transformar en un vector del plano Px,z ortogonal a v1 , de donde
f (v2 ) = v3

Con el mismo razonamiento llegamos a f (v3 ) = v2 .

Se tienen 8 isometras cuyas matrices son las siguientes:

1 0 0 1 0 0 1 0 0 1 0 0
0 0 1 0 0 1 0 0 1 0 0 1
0 1 0 0 1 0 0 1 0 0 1 0
Simetra base y z = 0 Giro g1 eje R ng.
2
Giro g2 eje R ng. 3
2
Simetra base y + z = 0

1 0 0 1 0 0 1 0 0 1 0 0
0 0 1 0 0 1 0 0 1 0 0 1
0 1 0 0 1 0 0 1 0 0 1 0
Ntese que las isometras de la segunda la resultan de componer las de la primera con la simetra ortogonal
de base el plano L(v2 , v3 ) de ecuacin x = 0, cuya matriz es:

1 0 0
0 1 0
0 0 1
F6.9 Tendr innitos planos invariantes si y slo si tiene innitas rectas invariantes (Vase Corolario 6.5(2)), y para
ello es necesario que tenga algn autovalor real mltiple = 1 o = 1 con dim V 2 (Vase, Corolario
6.5(1)). As, descartando a la identidad, respecto de alguna base ortonormal B = {v1 , v2 , v3 } las posibles formas
de Jordan son:
1 0 0 1 0 0 1 0 0
J1 = 0 1 0 , J2 = 0 1 0 , J3 = 0 1 0
0 0 1 0 0 1 0 0 1
Primer caso: J1 . Se trata de una simetra de base el plano P = L(v1 , v2 ). Son invariantes todos los planos
perpendiculares a P y el propio P .
Segundo caso: J2 . Se trata de un giro de eje la recta R = L(v1 ) y ngulo . Son invariantes todos los planos
que contienen al eje y el plano perpendicular al eje.
Tercer caso: J3 . Se trata de una simetra compuesta con un giro de ngulo . En particular es una homotecia
de razn 1:
f (v) = v, para todo v R3
Todos los subespacios de R3 son invariantes.