Académique Documents
Professionnel Documents
Culture Documents
0
5
3
b)
1
3
c)
4
4
6
9.2. Isometras
En unidades anteriores estudiamos espacios vectoriales con producto
interno y norma. Vamos ahora a estudiar las transformaciones lineales entre
estos espacios vectoriales.
Primero probaremos una propiedad de las matrices referente al producto
interno.
Teorema 9.3. Sea A una matriz de orden m n. Sean x Rn, y Rm vectores
cualesquiera, entonces A ( x) y x (At y)
342
lgebralineal
1) Una matriz A es ortogonal si es invertible y A1 = At.
2) Una matriz A es ortogonal si y slo si las columnas de A son una base
ortonormal de Rn.
Si tenemos una transformacin lineal T: Rn Rn cuya representacin
matricial A es ortogonal, entonces:
(Tx Ty ) Ax Ay x ( A t Ay ) x ( A 1Ay ) x (Iy ) x y
En particular si x = y, Tx Tx = x x de donde Tx x .
Definamos estas transformaciones especiales:
Definicin 9.8. Sea T: Rn Rn una transformacin lineal, entonces T se
llama isometra si para cada x en Rn se tiene que T x x .
Ejemplo 9
1. Sea T: R2 R2 una transformacin lineal definida por
1
x
T 21
y 2
x
12 y
1
2
2 1
2
2
T(x) T(x) 2
1 x1 1 y1 1 x1 1 y1
2
2
2
2
x1 1 y1 1 x1 1 y1
=
2
2
2
2
= x 12 + y 12 = x x
343
Unidad 9
De donde podemos asegurar que T es isometra.
Combinando el hecho de que las isometras son transformaciones lineales,
se tiene el siguiente resultado:
Teorema 9.4. Sea T: Rn Rn una isometra, entonces
i) T (x) - T (y ) = x - y
ii) T(x) T(y) = x y
Ejemplo 10
Sea T: R2 R2 una transformacin lineal definida por
1 1
x
2
2 x
T
; por el ejemplo 9 sabemos que es una
y 1 1 y
2
2
isometra.
Vamos a probar que su representacin matricial
344
lgebralineal
A=
1
2
1
2
1
2
es ortogonal.
1
La matriz inversa de A es A1
ortogonal.
1
2
1
2
1
2
= At. Por lo tanto A es
1
345
Unidad 9
Como son ortogonales, de donde
cos cos ( coscossensen
sen sen () = sencoscossen
Sin embargo cossen entonces
cos cos (sen
sen sen () = cos
por tanto T(e1) = (cos sen y T(e2) = (cos , sen ) = ( sen , cos ).
Con estos vectores formamos la representacin matricial de T:
cos sen
A =
sen cos
Notemos que esta matriz es la representacin de una rotacin.
Sin embargo, si tomamos como base los vectores u1 = (1, 0) y u2 = (0, 1) que
tambin son ortogonales, tendremos como representacin matricial la matriz
de una reflexin seguida de una rotacin:
El siguiente resultado nos confirma estos hallazgos:
Teorema 9.6. Si T: R2 R2 es una isometra, entonces T es:
i) una transformacin de rotacin, o
ii) una reflexin respecto al eje x seguida de una rotacin.
Ejemplo 11
Consideremos la transformacin lineal T definida por
1
1
x 2
2 x
T
. Por el ejemplo 9 sabemos que es una isometra.
y 1 1 y
2
2
Vamos ahora a probar que es una rotacin o una reflexin seguida de una rotacin.
346
lgebralineal
Si recordamos un poco de trigonometra, en un tringulo rectngulo
1
equiltero, el sen 45o = cos 45o =
, por tanto
2
1 1
0 cos 45 sen 45
2
2 cos 45 sen 45 1
cos 45
1 1 sen 45 cos 45 0 1 sen 45
2
2
Ejemplo 12
Sea T: R2 R2 la transformacin lineal definida por T(x) = 2x.
Consideremos el vector v = (1, 0), entonces v v v 12 02 1 ,
sin embargo T v T ( v ) i T ( v ) (2, 0) i (2, 0) 22 02 2
de donde podemos asegurar que T no conserva longitudes, y por tanto no
es una isometra.
Tambin podramos haber hecho el siguiente anlisis:
2 0
La representacin matricial de T respecto a la base cannica es
,
0 2
2 0 1 0 2 0
pero
347
Unidad 9
x con c = 2 seguido de una expansin a lo largo del eje y con c = 2, y por lo
tanto no corresponde a ninguna de las caracterizaciones de las isometras y es
isomorfo porque R2 a R2 son de la misma dimensin.
Ejercicio 2
1. Di si la transformacin lineal T: R3 R3 definida por
cos 0
sen
1 0
cos
b)
sen
sen
cos
1 0
c)
0 1
Ejercicios resueltos
1. Escribe la representacin matricial de la reflexin con respecto al eje y y
bosqueja la regin obtenida al aplicar la transformacin al rectngulo:
348