Teorema 1.

2 (Teorema de la representacion de Riesz) Sea V un espacio vectorial con

producto interno de dimension finita.
Si T es un funcional lineal sobre V entonces existe un unico w ∈ V tal que
T(v) = <v, w> ∀v ∈ V
El vector w se le llama representante de Riesz del funcional T.

Definicion 2.1 Sean V y W espacios vectoriales con producto interno sobre un mismo
cuerpo K y
T : V → W una transformacion lineal.
Diremos que T tiene adjunta ⇔ existe una funcion T*: W → V tal que (def)

∀v ∈ V y ∀w ∈ W

Teorema 6.7 (Teorema Espectral para operadores autoadjuntos) Sea V un espacio

vectorial, real o complejo, de dimensi´on finita.
Si T es un operador autoadj. en V entonces existe una base ortonormal de V formada
por vectores
propios de T, es decir T es diagonalizable.

Teorema 10.7 (Teorema Espectral para operadores unitarios) Sea V un espacio

vectorial con
producto interno de dimensi´on finita sobre el cuerpo C.
Si T es un operador unitario en V entonces existe una base ortonormal de V formada
por vectores
propios de T, es decir T es diagonalizable.

Teorema 6.9 (Teorema Espectral para matrices sim´etricas y herm´ıticas)

(a) Si A ∈ M(R)n×n
es una matriz sim´etrica, entonces existe P ∈ M(R)n×n
invertible con P−1 = Pt
tal que D = P−1AP es una matriz diagonal.

(b) Si A ∈ M(C)n×n es una matriz herm´ıtica,

entonces existe P ∈ M(C)n×n
invertible con P−1 = Pt
tal que D = P−1AP es una matriz diagonal.

Teorema 10.1 Sea V un espacio vectorial con producto interno sobre el cuerpo C y T
un operador
unitario en V .
(a) Si λ es un valor propio de T entonces |λ| = 1.
(b) Si dim V es finita entonces todas las ra´ıces del polinomio caracter´ıstico de
T tienen m´odulo 1.
Demostraci´on:
(a) Si λ es un valor propio de T entonces existe v 6= ~0 tal que T (v) = λv. Como T
es unitario en V ,
T conserva la norma, por lo tanto
kvk = kT (v)k = kλvk = |λ| kvk
como kvk 6= 0, se tiene que |λ| = 1.
(b) En dimensi´on finita, cuando el cuerpo es C, las ra´ıces del polinomio
caracteristico de T coinciden
con los valores propios de T, los cuales, seg´un el resultado anterior, son
complejos de m´odulo 1.