Transformaciones lineales isometricas

en espacios con producto interno

Objetivos. Estudiar el concepto de isomorfismos isometricos de espacios con producto

interno, establecar un criterio (en terminos de productos internos, normas, distancias y
listas ortonormales). Mostrar que cualquier espacio euclidiano complejo de dimension n
es isometricamente isomorfo a Cn , y cualquier espacio euclidiano real de dimension n es
isometricamente isomorfo a Rn .

Requisitos. Norma y distancia inducidas por un producto interno, identidades de pola-

rizacion.

1. Proposicion (identidad de polarizacion para el producto interno en el caso

complejo, repaso). Sea V un espacio complejo con producto interno h, i, y sea k k la
norma generada por este producto interno. Entonces el producto interno h, i se puede
expresar a traves de la norma mediante la siguiente formula:
3
1X k k 1
i k i a + bk2 = ka + bk2 + i k i a + bk2 k a + bk2 i k i a + bk2 .


ha, bi =
4 k=0 4

2. Definicion (isometra de espacios metricos). Sean (X, dX ) y (Y, dY ) espacios

metricos. Una funcion f : X Y se denomina isometra si

a, b X dY (f (a), f (b)) = dX (a, b).

3. Teorema (criterio de isometra lineal en espacios con producto interno). Sean

(V, h, iV ) y (W, h, iW ) espacios vectoriales (ambos complejos o ambos reales) con pro-
ductos internos, y sea T L(V, W ). Entonces las siguientes condiciones son equivalentes:

(a) T preserva producto interno:

hT a, T biW = ha, biV a, b V.

(b) T preserva norma:

kT akW = kakV a V.

(c) T es una isometra, esto es, preserva distancia:

dW (T (a), T (b)) = dV (a, b) a, b V.

(d) T transforma listas ortonormales en listas ortonormales: si m Z, m 1 y

a1 , . . . , am son algunos vectores ortonormales en V , entonces T (a1 ), . . . , T (am ) son
vectores ortonormales en W .

Transformaciones linales isometricas, pagina 1 de 2

Demostracion. (a)(b). Recordamos que en espacios con producto interno la norma se
define en terminos del producto interno. Supongamos que se cumple (a). Entonces para
cualquier a V p p
kT akW = hT a, T aiW = ha, aiV = kakV .
Como la distancia se define en terminos de la norma, (b) implica (c). La definicion de
listas ortonormales esta escrita en terminos del producto interno, por eso (a) implica (d).
Supongamos (d) y demostremos (b). Sea a V . Si a = 0V , entonces T a = 0W y
kT akW = 0 = kakV . Si a 6= 0V , entonces denotemos por u al vector normalizado:
a
u := ,
kakV
y apliquemos la condicion (d) con m = 1 al vector u. Obtenemos que kukV = 1 y
 
1 = kT (a)kW .
1
1 = kT ukW = T a = T a
kakV
W
kakV
W kakV
Supongamos (c) y demostremos (b). Recordemos que la norma se puede escribir a
traves de la distancia inducida.
kT akW = dW (T a, 0W ) = dW (T a, T 0V ) = dV (a, 0V ) = kakV .
Usando la identidad de polarizacion se demuestra que (b) implica (a).

4. Ejercicio. Escriba bien la demostracion del teorema.

Isomorfismos isometricos de espacios euclidianos o unitarios

5. Definicion (isomorfismo isometrico). Sean (V, h, iV ) y (W, h, iW ) espacios vecto-

riales (ambos complejos o ambos reales) con productos internos. Una funcion T : V W
se llama isomorfismo isometrico si es un isomorfismo lineal y una isometra.

6. Teorema (criterio de isomorfa isometrica de espacios euclidianos y unita-

rios). Sean V, W espacios vectoriales con productos internos sobre un campo F, donde
F = R o F = C. Supongamos que V y W son espacios de dimensiones finitas. Entonces
las siguientes condiciones son equivalentes:
(a) V y W son isometricamente isomorfos;
(b) dim(V ) = dim(W ).

7. Ejercicio. Demuestre el teorema usando algunas bases ortonormales de V y W .

8. Corolario. Cualquier espacio euclidiano de dimension n es isometricamente isomorfo

a Rn , y cualquier espacio unitario de dimension n es isometricamente isomorfo a Cn .

Transformaciones linales isometricas, pagina 2 de 2