Sea V un espacio vectorial de dimensin finita sobre el campo de los nmeros

complejos y T :V V un operador lineal.

a) Probar que V tiene una base ortonormal de vectores propios de T con sus
valores propios de mdulo 1, si y solo si T es un operador unitario.
DEMOSTRACIN:
={v 1 , , v n }

=>) Sea
[T ]

base ortonormal de vectores propios de T, entonces

es diagonal, con sus entradas siendo los valores propios, siendo estos

{c 1 , , cn }

, y la matriz:

c1 0 0
0
[T ]= 0

0 0 cn

Como la base es ortonormal,

c1 0 0
0
[T ] = 0

0 0 cn

[T ] =[T ] , y se tiene que:

Puesto que ambas son matrices de dimensin n, podemos efectuar su producto.

Aun ms: como estn representadas por la misma base, podemos escribir el
producto como sigue:

c1 c1 0 0
0
[TT ] = 0

0
0 c n cn

Pero, por hiptesis

c i ci =1 i {1, , n}

tiene las siguientes equivalencias:

pues el mdulo de un nmero complejo

1=|ci|= c i c i

, entonces se sigue que

1 0 0
0 =I
[TT ] = 0

0 0 1
Por ser transformaciones lineales:
T T =I
De modo similar, podemos ver que:

c1 c 1 0
0
0 =I
[T T ] = 0

0
0 cn c n
Con lo cual, se concluye que:
T T =T T =I
Es decir, T es un operador unitario.
<=) T es un operador unitario, es decir

T T =T T =I

En particular,

T T =T T
Con lo cual T es normal. Supongamos
que

[T ]

={u 1 , , un }

base ortonormal de V tal

sea matriz triangular superior. Por un teorema, se tiene que T es

normal si y solo si

[T ]

es diagonal. A partir de las hiptesis, y con la implicacin

de ese teorema, se deduce que las entradas de la diagonal son los valores
propios, mientras que los elementos de la base gamma son los valores propios.
Por las propiedades del adjunto, sabemos que los valores propios del operador

adjunto sern los valores propios de T, conjugados. Por estar bajo la misma base,
es vlido realizar el producto siguiente

c1 c 1 0
0
0 =I
[T T ] = 0

0
0 cn c n
La igualdad con la matriz identidad se establece por la hiptesis de ser unitaria.
Entonces se cumple que:
c i ci =1 i {1, , n}

Es decir, los valores propios tienen mdulo 1. Finalmente, se concluye que

es

una base de vectores propios de T, con valores propios de mdulo 1.

b) T es operador unitario, si y solo si T es normal y |c|=1 para cada valor propio de

T.
DEMOSTRACIN:
=>) T es operador unitario por hiptesis, es decir

T T =T T =I

En particular, T T =T T , que implica que T es normal. Sea

={v 1 , , v n }

base ortonormal de vectores propios de T, entonces se cumple que:

c1 c 1 0 0
0 =I ( por hiptesis)
[T T ] =[T T ] = 0

0
0 cn c n

De aqu, podemos ver que

c i ci =1 i {1, , n}

lo cual |c|=1 para cada valor propio de T.

, es decir

1=|ci|= c i c i

, con

<=) T es normal, entonces

T T =T T . Sea

={v 1 , , v n }

base ortonormal de

vectores propios, entonces:

c1 c 1 0 0
0
[T T ] =[T T ] = 0

0
0 cn c n

{
}

Por hiptesis, i 1, , n ,|c i|=1= ci c i , entonces se satisface la igualdad:

c1 c 1 0 0
0 =I
[T T ] =[T T ] = 0

0 0 cn c n

Con lo cual

T T =T T =I , y T es unitario