1

Espacios de Hilbert

1.1

Producto Interior

Definicin 1.1. Sea X un espacio vectorial sobre

aplicacin , X X K tal que

K = R, C.

Un producto interior en X es una

1. x, y es lineal en x y lineal conjugada (sesquilineal) en y, es decir,

x + y, z = x, z + y, z

x, y = x, y

x, y + z = x, y + x, z

x, y = x, y

para todo x, y, z X y K.
2. y, x = x, y para todo x, y X.
3. x, x 0 para todo x X, siendo x, x = 0 si y slo si x = 0.
Suponemos que K = C. En el caso de K = R la conjugacin es la identidad y un producto interior
es una aplicacin bilineal, simtrica y positiva definida.
Llamamos espacio pre-Hilbertiano a un espacio vectorial con un producto interior.
Lema 1.2. Sea , un producto interior en X. Entonces para todo x, y X,
x + y, x + y = x, x + 2 Rex, y + y, y.

Proposicin 1.3 (Desigualdad de Cauchy-Schwarz). Si , es un producto interior en X, entonces para todo x, y X,

x, y2 x, xy, y,
con igualdad si y slo si existe 0 tal que x = y.

Corolario 1.4. Sea , un producto interior sobre el espacio vectorial X. La funcin definida

por x = x, x para todo x X es una norma, que cumple

x, y xy
para todo x, y X. Adems, , es continuo respecto a esta norma.

Definicin 1.5. Si , es un producto interior, llamaremos norma asociada a la norma descrita

en el Corolario 1.4, es decir, x = x, x1/2 .
Proposicin 1.6 (Ley del Paralelogramo). Sea , un producto interior en X y la norma
asociada. Entonces
x y2 + x + y2 = 2(x2 + y2 )
1

Proposicin 1.7 (Identidades de Polarizacin). Sea , un producto interior en X y la

norma asociada. Entonces
Rex, y =

1
2

(x + y2 x2 y2 ) =

1
4

(x + y2 x y2 )

Imx, y =

1
2

(x + iy2 x2 y2 ) =

1
4

(x + iy2 x iy2 )

x, y =

1
4

(x + y2 + ix + iy2 x y2 ix iy2 )

1
4

1
2

(x2 + y2 x y2 )

1
2

(x2 + y2 x iy2 )

k
k 2
i x + i y ,
k mod 4

donde la suma k mod 4 indica cualquier sistema completo de residuos mdulo 4.

Teorema 1.8. Sea una norma sobre el espacio vectorial X. Existe un producto interior ,
tal que x2 = x, x para todo x X si y slo si cumple la Ley del Paralelogramo.

Definicin 1.9. Si H, H son espacios pre-Hilbertianos, un isomorfismo isomtrico U H H

se denomina isomorfismo unitario o simplemente (sobre todo si H = H ) un operador unitario.
Lema 1.10. Si H, H son espacios pre-Hilbertianos, un operador U H H es una isometra
si y slo si preserva el producto interior, es decir,
U x, U yH = x, yH

x, y H.

Corolario 1.11. U H H es unitario si y slo si preserva el producto y es epiyectivo.

Definicin 1.12. Un espacio de Hilbert es un espacio pre-Hilbertiano H cuya norma asociada

es completa. Es decir, tal que H es un espacio de Banach respecto a la norma asociada.

1.2

Ortogonalidad

Definicin 1.13. Sea H un espacio pre-Hilbertiano. Dos vectores x, y H son ortogonales si

x, y = 0. Escribimos tambin x y.
Proposicin 1.14. La relacin de ortogonalidad cumple:
1. x y y x (simetra).
2

2. 0 x para todo x.
3. x z, y z (x + y) z para todo , K.
4. x x x = 0.

Definicin 1.15. Sea H un espacio pre-Hilbertiano. Dado un subconjunto A H, el ortogonal

de A es el subconjunto
A = {x H x a a A} = {x H x, a = 0 a A}.
Tambin se emplea la notacin x A para indicar que x A . En general, si A, B H, A B
significa a b para todo a A, b B. A B equivale a A B y tambin B A .
Proposicin 1.16. Sea H un espacio pre-Hilbertiano. Para cualquier subconjunto A H, A
es un subespacio cerrado de H.

Proposicin 1.17. Sea H un espacio pre-Hilbertiano. Entonces

1. 0 = H.
2. H = 0.
3. A A para todo A H, donde A es el subespacio de H generado por A.
4. A B A B .
5. Si 0 A B entonces (A + B) = A B .

Definicin 1.18. Sea H un espacio pre-Hilbertiano. Un subconjunto O H es ortogonal si

dados e, e O con e e , se tiene e e . O es ortonormal si adems e = 1 para todo e O.
Observamos que un subconjunto de un conjunto ortogonal es ortogonal y un subconjunto
de un conjunto ortonormal es ortonormal. En particular, los conjuntos ortonormales finitos

son familiares del lgebra y Geometra de los espacio eucldeos Kn con K = R, C. Muchas de
sus propiedades conocidas siguen siendo ciertas en espacios pre-Hilbertianos. Cuando H es un
espacio de Hilbert, veremos que se pueden extender topologicamente mediante el uso de series
infinitas.
Lema 1.19. Sea H un espacio pre-Hilbertiano y O H ortonormal finito. Si x = eO (e)e,
entonces (e) = x, e para todo e O.

Corolario 1.20. Todo conjunto ortonormal O en un espacio pre-Hilbertiano es linealmente

independiente.

Teorema 1.21 (Teorema de Pitgoras). Sea H un espacio pre-Hilbertiano y O H un subconjunto ortogonal finito. Entonces xO x2 = xO x2 .
Nota 1.22. El Teorema de Pitgoras proporciona otra demostracin de la independencia lineal de
un conjunto ortonormal O. Sea F O finito y F C con x = eF (e)e = 0. Por el Teorema
de Pitgoras, x2 = eF (e)2 = 0, y como es una suma de nmeros reales no negativos, debe
ser (e)2 = 0 para todo e, por tanto (e) = 0 para todo e F .
1.2.1

Vectores Minimizantes

Definicin 1.23. Sea X un espacio vectorial y a, b X. El segmento entre a y b es el conjunto

S(a, b) = {a + b , [0, 1], + = 1} = {(1 t)a + tb t [0, 1]}.

C X es convexo si dados cualquier a, b C se tiene
subespacio de X es convexo.

S(a, b)

C. Por ejemplo, cualquier

Lema 1.24. Sean X, Y espacios vectoriales, T X Y lineal, y v Y . Entonces

1. v + T (S(a, b)) = v + S(T a, T b) = S(v + T a, v + T b).
2. Si C X es convexo, T X Y es lineal, y v Y , entonces v + T C Y es convexo.

Teorema 1.25 (Teorema del Vector Minimizante). Sea H un espacio de Hilbert y C H convexo
y cerrado. Dado a H, existe un nico vector c0 C tal que a c0 x c para todo c C.
Es decir, tal que a c0 = d(a, C), la distancia (mnima) de a C.

Teorema 1.26 (Vector Minimizante para un Subespacio). Sea H un espacio de Hilbert y M un

subespacio cerrado. Dado x H, un vector m0 M es minimizante, es decir, x m0 = d(a, M ),
si y slo si x m0 M .
Nota 1.27. La idea de la demostracin en el teorema anterior es moverse desde x m0 a lo largo
del subespacio en direccin de cualquier m, formando x m0 + tm, y viendo que la ortogonalidad
es consecuencia de que la distancia slo puede aumentar.
Corolario 1.28 (Descomposicin ortogonal respecto a un subespacio). Sea H un espacio de
Hilbert y M un subespacio cerrado. Entonces
X = M M .

1.2.2

Proyeccin Ortogonal

Definicin 1.29. Sea H un espacio de Hilbert y M un subespacio cerrado. Para x X, sea

PM (x) el vector minimizante de la distancia d(x, M ), que, equivalentemente, es el nico m M
tal que x m M . Decimos que PM X M es la proyeccin ortogonal sobre M .
Proposicin 1.30 (Propiedades de la proyeccin ortogonal). Sea H un espacio de Hilbert y M
un subespacio cerrado.
1. PM es lineal.
2. PM = I en M , PM = 0 en M .
2
3. PM
= PM , PM x = x x M .

4. ker PM = M = img(I PM ), img PM = M = ker(I PM ).

5. PM es continua, con PM = 1 salvo cuando M = 0, en cuyo caso PM = 0.
6. PM + PM = I, PM PM = PM PM = 0.

Corolario 1.31. Sea H un espacio de Hilbert y M un subespacio cerrado. Entonces M = M .

Si A H es cualquier subconjunto, A = A , donde A es el subespacio de H generado por A.
En particular, M = M para cualquier subespacio.
Nota 1.32. En particular, las dos sucesiones
X

PM

/ M

PM

/0

PM

/M

PM

/0

son exactas.

1.3

Dualidad en Espacios de Hilbert

Sea H un espacio pre-Hilbertiano. En particular, H con su norma asociada es un espacio normado, y podemos considerar su dual topolgico H .
Proposicin 1.33. Sea H un espacio pre-Hilbertiano. Dado a H, la applicacin a H K
definida por
a (x) = x, a, x H,
es un funcional continuo cuya norma de operador a es igual a. La aplicacin H H H
definida por
H (a) = a
es una isometra conjugada-lineal, denominada aplicacin de Riesz.

Teorema 1.34 (Teorema de Representacin de Riesz). Si H es un espacio de Hilbert, la aplicacin de Riesz, H (a) = a , es un isomorfismo isomtrico de H en H .
Dado que H H H es un isomorfismo, sirve para traspasar el producto interior de H
H . Como H es conjugada-lineal, hay que invertir el orden de los factores para cumplir con
la convencin establecida de que un producto interior sea lineal en la variable de la izquierda y
conjugado-lineal en la de la derecha.
Definicin 1.35. Sea H un espacio de Hilbert y H su dual topolgico. Dados elementos a , b
H , definimos
a , b = b, a.
def

Diremos que es el producto interior inducido por , , o el producto dual.

Proposicin 1.36. Sea H un espacio de Hilbert. Entonces , es un producto interior en H ,
cuya norma asociada es la norma de operador relativa a la norma en H. H es un espacio de
Hilbert respecto a este producto interior.
Como H , , es un espacio de Hilbert, a su vez tiene una aplicacin de Riesz H H H .
Proposicin 1.37. Sea H un espacio de Hilbert, H su dual, con el producto interior inducido
por el de H. Sea iH H H la inmersin cannica. Entonces
H

iH = H H H

/ H

/ H
6

iH

Usando la notacin iH a =
a y a = (a ) , esto equivale a
a =
a.

Corolario 1.38. Sea H un espacio de Hilbert. Entonces H es reflexivo.

1.3.1

Relacin entre la dualidad y los ortogonales en espacios de Hilbert y Banach

Denotemos por x, y la dualidad en H como espacio de Banach, es decir,

, H H K,

x, f = f (x).

La relacin entre los dos productos y esta dualidad es

a , x = x, a = a (x) = x, a

HO HO
H

H H
6

, es lineal, pero los productos interiores son sesquilineales.

Por otra parte, denotemos por la ortogonalidad en un espacio de Banach, respecto a la
dualidad , , y por =H la ortogonalidad en un espacio de Hilbert H.
Proposicin 1.39. Sea H un espacio de Hilbert. Si M H y N H son subespacios, entonces
M = H (M H ) = H (M )H ,

N = 1
H (N

H
) = 1
.
H (N )

Es decir, en un espacio de Hilbert, el ortogonal derecho y el izquierdo son realmente la misma

operacin, salvo el isomorfismo de Riesz. Equivalentemente, si Gr(H) denota a la coleccin de
todos los subespacios de H, los siguientes diagramas son conmutativos:
1
H

/ Gr(H )
Gr(H)
JJ
JJ
JJ
H
H
JJ
J% 

Gr(H) H / Gr(H )

Gr(H) o
Gr(H )
O eJJ
O
JJ
JJ
H
H
JJ
J
Gr(H) o 1 Gr(H )

(las flechas H y 1
H denotan las aplicaciones imagen directa e imagen inversa inducidas por H
sobre los subespacios de H y H ).
Corolario 1.40. Sea H un espacio de Hilbert. Si M H y N H son subespacios, entonces

1.4

( N ) = N H H = N .

(M ) = M H H = M ,

Subconjuntos Ortonormales

Proposicin 1.41. Sea H un espacio de Hilbert, O un subconjunto ortonormal finito, y E =

O = eO Ke el subespacio generado por O. Entonces E es cerrado y
PE x = x, ee.
eO

Proposicin 1.42 (Proceso de Ortogonalizacin de Gram-Schmidt). Sea H un espacio preHilbertiano y un ordinal numerable, que puede ser finito ( N) o infinito ( = ). Supongamos
que existe un conjunto linealmente independiente I = {xn n N, n } de cardinal . Para cada
n N con n , sea Hn el subespacio de H generado por {xk }kn . Sea S = {x H x = 1} y
H {0} S la aplicacin de normalizacin (x) = x/x. El proceso definido recursivamente
por
n
x1
e1 = (x1 ) =
,
En = Kek , en+1 = (PEn (xn+1 )) (n 1)
x1
k=1
produce un conjunto ortonormal O = {en }n del mismo cardinal tal que En = Hn para cada
n N con n .
7

Proposicin 1.43. Sea H un espacio de Hilbert de dimensin finita n. Entonces H tiene un

subconjunto ortonormal O = {e1 , e2 , . . . , en } de orden n que es una base de H. Cada vector x H
se puede expresar de manera nica como x = nk=1 x, ek ek . La aplicacin U H Kn definida
por U x = (x, ek )nk=1 es un isomorfismo unitario de H con Kn respecto al producto interior
eucldeo
n

z, w = zk wk ,

z = (z1 , z2 , . . . , zn ),

w = (z1 , z2 , . . . , zn ).

k=1

Nota 1.44. De hecho, Kn con el producto eucldeo es el espacio de sucesiones `2 (Nn ), donde
Nn = {1, 2, . . . , n} y una sucesin finita Nn K se identifica con el vector ((1), . . . , (n)). El
producto interior es el indicado en la Proposicin, y la norma asociada es 2 = (nk=1 (k)2 )1/2 .
Ahora procedemos a ver que el resultado de la Proposicin anterior es vlido para cualquier
espacio de Hilbert, generalizando adecuadamente las ideas de base ortonormal y de espacio `2 .
Proposicin 1.45 (Sumabilidad `2 ). Sea O un conjunto ortonormal en el espacio de Hilbert H.
Dada una funcin O C, la serie eO (e)e es sumable en H si y slo si eO (e)2 < .
Si eO (e)e es sumable a x H entonces se tiene adems
2

x2 = (e)e = (e)2 ,
eO

(e) = x, e

e O.

eO

Proposicin 1.46 (Desigualdad de Bessel). Sea O un conjunto ortonormal en el espacio de

pre-Hilbert H. Entonces
2
2
x, e x
eO

para todo x H.
Nota 1.47. Como I = PM + PM para cualquier subespacio cerrado, por el Teorema de Pitgoras
x2 = PEF x2 + PEF x2 = x, e2 + PEF x2 .
eF

Corolario 1.48. Sea O un conjunto ortonormal en el espacio de Hilbert H. Para todo x H,

tal que
la serie eO x, ee es sumable a un vector x
x x.
Corolario 1.49. Sea O un conjunto ortonormal en el espacio de pre-Hilbert H. Para todo
x, y H, se tiene
x, ee, y xy.
eO

Si H es de Hilbert, entonces eO x, ee, y es absolutamente sumable y se tiene la desigualdad

eO x, ee, y eO x, ee, y xy.
8

Definicin 1.50. Un subconjunto ortonormal O en un espacio de pre-Hilbert H es completo

(respecto a H) si es maximal respecto a la inclusin, es decir, si O H es ortonormal y O O ,
entonces O = O . Tambin se dice que O es una base ortonormal.
Teorema 1.51 (Caracterizacin de los conjuntos ortonormales completos). Sea O un conjunto
ortonormal en el espacio de Hilbert H y E el subespacio generado por O. Entonces son equivalentes las siguientes afirmaciones:
1. O es completo.
2. E es denso.
3. x, e = 0 para todo e O si y slo si x = 0. Es decir, E = 0.
4. x = eO x, ee para todo x H.
5. x, y = eO x, ey, e = eO x, ee, y para todo x, y H.
6. eO x, e2 = x2 para todo x H (Identidad de Parseval).

Proposicin 1.52. Cualquier espacio de Hilbert H tiene un subconjunto ortonormal completo.

De hecho, si O0 es cualquier subconjunto ortonormal, existe un subconjunto ortonormal completo
O tal que O0 O.

Lema 1.53. Sea H un espacio pre-Hilbertiano y O H ortonormal. Si e, e O y e e ,

entonces e e = 2. Por tanto las bolas B(e, 12 2) con e O son disjuntas.

Corolario 1.54. Si H es un espacio pre-Hilbertiano con un subconjunto ortonormal O infinito,

la esfera unidad S no es compacta, por tanto la bola unidad cerrada

B tampoco.

Proposicin 1.55. Cualquier par de conjuntos ortonormales completos del mismo espacio de
Hilbert H tienen el mismo cardinal.
Demostracin alternativa. Supongamos que O, O son infinitos. Por la Desigualdad de Bessel,
para cada x H,
Ox = {e O x, e 0}
def

es numerable, ya que eO x, e2 < . Se tiene

O = Oe
e O

pues por definicin Ox O para cualquier x, y si e O, como e 0 y O es completo, existe

e O tal que e, e 0. Entonces e Oe . Como cada Oe es numerable, hay epiyecciones
O N = {e } N {e } Oe Oe = O.
e O

Deducimos que

e O

e O

O O N = O

al ser infinitos. El razonamiento simtrico muestra que O O y por tanto O = O .

Definicin 1.56. La dimensin de Hilbert de un espacio de Hilbert H es el cardinal de cualquier
conjunto ortonormal completo.

10

1.4.1

El espacio `2 (A)

Sea A un conjunto no vaco. Definimos

`2 (A) = { A C ()2 < } .
A

Proposicin 1.57. Dados , `2 (A), la serie A ()() es absolutamente sumable.

Denotando a la suma por , , , es un producto interior en `2 (A), con norma asociada
1/2

2 = (A ()2 )

Proposicin 1.58. Para A, si A C es la funcin definida por

0
() =

entonces = { A} es un conjunto ortonormal completo, con () = , `2 (A).

Corolario 1.59. Sea F A finito y F el subespacio de `2 (A) generado por { F }. La

proyeccin ortogonal sobre F es la truncacin

()
F () =

F
F

En general, denotaremos a la truncacin de `2 (A) a un subconjunto B A por TB ().

Nota 1.60. La truncacin F = TF con F A finito es una funcin con soporte
sop(F ) = { F () 0} = F
finito. En general, las funciones `2 (A) con soporte finito es un subespacio `20 (A) de `2 (A).
De hecho, las funciones con soporte contenido en un subconjunto fijo B A son un subespacio
`2B (A), imagen de la truncacin TB .
Proposicin 1.61. Para todo `2 (A), TF segn la red de subconjuntos finitos de
A ordenados por inclusin. En particular, `20 (A) es denso en `2 (A) y = A , =
A () .

11

Proposicin 1.62. Sea `2 (A) . Definimos A C por () = ( ). Entonces

1. `2 (A).
2. = , es decir, () = , para todo `2 (A).
3. = (la primera es la norma de operador).
4. es un isomorfismo isomtrico conjugado-lineal, inverso de la aplicacin de Riesz.
5. `2 (A) es un espacio de Hilbert con base ortonormal = {a a A}.

Teorema 1.63. Sea H un espacio de Hilbert con base ortonormal O. Para cada x H, la
funcin x O C dada por
x (e) = x, e,
def

e O,

pertenece a `2 (O). La aplicacin U H `2 (O) dada por

U x = x
es un isomorfismo unitario, es decir, es isomorfismo y cumple x, y = x , y para todo x, y.
En particular, U es un isomorfismo isomtrico de H con `2 (A).

Teorema 1.64. `2 (A) y `2 (B) son isomorfos unitariamente si y slo si A = B.

1.5
1.5.1

Operadores Lineales en Espacios de Hilbert

Adjunto de Hilbert de un operador

Sean X, Y espacios de Hilbert y T L(X, Y ). Dado y Y , consideremos y T X ,

(y T )(x) = y (T x) = T x, y.
Por el Teorema de Representacin de Riesz (Teorema 1.34), existe un nico X tal que
y T = . slo depende de T y de y, luego podemos definir un operador T Y X mediante
esta relacin,
y T = (T y) ,
o, lo que es lo mismo,

T y = 1
X (y T ).

Como (T y) (x) = x, T y, esto equivale a T x, y = x, T y para todo x X.

Definicin 1.65. Si T L(X, Y ), el operador adjunto de T es el operador T Y X definido
por la relacin (T y) = y T , o equivalentemente, por
T x, y = x, T y
12

x X.

Proposicin 1.66. Sean X, Y espacios de Hilbert. Si T L(X, Y ), el operador adjunto T es

lineal y continuo, con
T = T ,
T T = T 2 .
Proposicin 1.67. Sean X, Y espacios de Hilbert. Si S, T L(X, Y ), entonces
1. (S + T ) = S + T .
2. (T ) = T .
3. T = T .
Proposicin 1.68. Sean X, Y, Z espacios de Hilbert. Si T L(X, Y ) y S L(Y, Z), entonces
(ST ) = T S .
Proposicin 1.69. Sean X, Y espacios de Hilbert. Si S, T L(X, Y ), entonces
1. ker T = (img T ) .
2. ker T = (img T ) .
3. (ker T ) = img T .
4. (ker T ) = img T .

1.5.2

Relacin entre los adjuntos de Banach y de Hilbert

Sean X, Y espacios de Hilbert y T L(X, Y ). El adjunto de Banach de T , que denotaremos T B ,

es el operador T B L(Y , X ) definido por

T B (f ) = f T,

f Y .

Proposicin 1.70. Sean X, Y espacios de Hilbert y T L(X, Y ). Si T B L(Y , X ) es el

adjunto de Banach de T y T H L(Y, X) es el adjunto de Hilbert definido en 1.65, entonces

T B (y ) = (T H y) ,
donde

es el isomorfismo de Riesz. Equivalentemente, el siguiente diagrama es conmutativo:

YO

T B

/ X
O
X

13

/X

Proposicin 1.71. Si X, Y son espacios de Hilbert de dimensin finita, T

L(X, Y ),

es la matriz de T respecto a unas bases ortonormales en X, Y , entonces la matriz de T

t

mientras que la matriz de T

la conjugada traspuesta M =
t
correspondientes es la traspuesta M .
M t,

y M
H

es

respecto a las bases duales

Nota 1.72. La aplicacin T T B de adjunto de Banach es lineal, pero el de Hilbert, T T H ,

es conjugada-lineal. Mediante el diagrama anterior, se podra definir T H a partir de T B , es
decir, mediante la frmula T B (y ) = (T H y) , y deducir las propiedades de T H a partir de las
de T B . Por ejemplo,
T x, y = y (T x) = (y T )(x) = T B (y )(x) = (T H (y)) (x) = x, T H y
y de manera similar se pueden demostrar las propiedades en las Proposiciones 1.66, 1.67 y 1.69,
utilizando el hecho que H es reflexivo (Corolario 1.38).
1.5.3

El lgebra de endomorfismos de un espacio de Hilbert

Proposicin 1.73. Si H es un espacio de Hilbert, denotaremos por

de endomorfismos lineales y continuos T H H.
1.

L(H)

al espacio

L(H, H)

L(H) es una K-lgebra respecto a la suma y composicin de operadores.

2. El operador nulo 0 es el elemento neutro para la suma y el operador identidad I es el elemento

neutro para la composicin.
3. El grupo de unidades L(H) es el grupo de automorfismos lineales y continuos de H, es decir,
los operadores invertibles.
4.

L(H) es un espacio de Banach respecto a la norma de operador, que es submultiplicativa, es

decir, ST ST para todo S, T L(H).

Proposicin 1.74. Sea H un espacio de Hilbert y L(H) L(H) la aplicacin (T ) = T .

1. es una isometra.
2. (S + T ) = (S) + (T ) y (T ) = (T ).
3. (ST ) = (T )(S) (anti-homomorfismo).
4. es invertible, con 1 = .
5. Si T L(H), x, T y = T x, y y x, T y = T x, y para todo x, y X.
Es decir, es un anti-automorfismo conjugado-lineal isomtrico de orden 2 de L(H).

14

Nota 1.75. La estructura de L(H) se generaliza de la siguiente manera.

En general, un lgebra de Banach es precisamente una K-lgebra A con una norma submultiplicativa respecto a la cual A es un espacio de Banach. Por tanto L(H) es un ejemplo de lgebra
de Banach. Salvo si dim H = 1, L(H) no es conmutativa.
Si un lgebra de Banach compleja posee una involucin, es decir, una aplicacin conjugadalineal a a tal que (ab) = b a , a = a y a a = a2 , se dice que es una C -lgebra. Por
tanto L(H) es un ejemplo de C -lgebra.
1.5.4

Operadores Unitarios

Proposicin 1.76. Sea H un espacio de Hilbert y T L(H).

1. T es una isometra si y slo si T T = I.
2. T es unitario si y slo si T T = T T = I.
Nota 1.77. Sea T un operador sobre
Proposicin 1.71,

Cn

con matriz M respecto a una base ortonormal. Por la

T es unitario si y slo si M es invertible, con M 1 = M t (matriz unitaria).

Si T es un operador sobre

Rn

con matriz M respecto a una base ortonormal, entonces

T es unitario si y slo si M es invertible, con M 1 = M t (matriz ortogonal).

1.5.5

Operadores Auto-adjuntos

Definicin 1.78. Sea H un espacio de Hilbert. Un operador T L(H) es auto-adjunto (tambin

se dice hermtico) si T = T .
Nota 1.79. Sea T un operador sobre
Proposicin 1.71,

Cn

con matriz M respecto a una base ortonormal. Por la

T es auto-adjunto si y slo si M = M t (matriz hermtica).

Si T es un operador sobre

Rn

con matriz M respecto a una base ortonormal, entonces

T es auto-adjunto si y slo si M = M t (matriz simtrica).

Por este motivo tambin se llama auto-adjuntas a las matrices correspondientes.
Proposicin 1.80 (Caracterizacin de las Proyecciones Ortogonales). Sea H un espacio de
Hilbert y T L(H). Entonces son equivalentes:
1. T es la proyeccin ortogonal PM para algn subespacio cerrado M H.
2. T es auto-adjunto e idempotente, es decir, T = T y T 2 = T .

15

 Sea H un espacio de Hilbert y T L(H). Entonces

T = sup{T x, y x = y = 1}
pues
sup{T x, y x = y = 1} = sup{y, T x x = y = 1}
= sup sup (T x) (y)
x=1 y=1

= sup (T x)
x=1

= sup T x = T .
x=1

Para los operadores auto-adjuntos la norma de hecho se puede calcular tomando el supremo
sobre la diagonal, es decir, poniendo x = y en esta frmula general.
Proposicin 1.81. Sea H un espacio de Hilbert y T L(H). Pongamos Q(x) = T x, x. Si T
es auto-adjunto, entonces Q(x) es real para todo x H. El recproco es cierto si el cuerpo base
K es C pero no en general si es R.
Proposicin 1.82. Sea H un espacio de Hilbert y T L(H) auto-adjunto. Entonces
T = sup T x, x.
x=1

1.6
1.6.1

Operadores Compactos
Compacidad.

Nota 1.83. Recordemos algunos resultados de la teora de espacios mtricos relacionados con la
compacidad que usaremos en el estudio posterior de los llamados operadores compactos.
Recordar que para un espacio topolgico X, la compacidad de un subconjunto K X significa
que todo recubrimiento de K por abiertos de X tiene un subrecubrimiento finito. En un espacio
mtrico, hay varias maneras equivalentes de caracterizar la compacidad.
Sea (X, d) un espacio mtrico.
1. Si K es compacto, es cerrado y acotado.
2. El recproco es cierto en los espacios normados de dimensin finita.
En general, la acotacin no basta, y se reemplaza por un concepto ms fuerte.
Se dice que G es totalmente acotado si
> 0

F G, #F <

G B(a, ).
aF

Son equivalentes:
16

1. G es totalmente acotado.
2. Toda sucesin en G tiene una subsucesin de Cauchy.
Se dice que G X es pre-compacto si su cierre G es compacto. Son equivalentes:
1. G es pre-compacto.
2. Toda sucesin {xn } G tiene una subsucesin convergente en X.
Sea (X, d) un espacio mtrico y K X. Son equivalentes:
1. K es compacto.
2. Toda sucesin {xn } K tiene una subsucesin convergente en K.
3. K es totalmente acotado y completo.
Sea (X, d) un espacio mtrico completo y G X. Son equivalentes:
1. G es totalmente acotado.
2. G es pre-compacto.
Sea (X, d) un espacio mtrico completo y K X. Son equivalentes:
1. K es compacto.
2. K es totalmente acotado y cerrado.
Usaremos la notacin {yn } {xn } para indicar que {yn } es una subsucesin de {xn }, es decir,
que existe una sucesin creciente infinita de enteros n1 < n2 < < nk < tales que que yk = xnk
para todo k.
La relacin es un orden parcial en las sucesiones sobre un espacio dado.
Lema 1.84. Sea (X, d) un espacio mtrico. Cualquier subconjunto totalmente acotado es separable. En particular, los subconjuntos pre-compactos y compactos son separables.

Proposicin 1.85. Para un espacio normado X, son equivalentes:

1. dim X < .
2. La bola unidad cerrada B es compacta.
3. La esfera unidad S es compacta.

17

1.6.2

Propiedades de los Operadores Compactos

Definicin 1.86. Sean X, Y espacios normados. Un operador lineal T X Y es compacto si

para cualquier subconjunto acotado A X, su imagen T (A) Y es pre-compacto, es decir, si el
cierre T (A) Y es compacto. Denotaremos por Lc (X, Y ) a los operadores compactos T X Y .
Proposicin 1.87. Sea T X Y lineal. Son equivalentes:
1. T es compacto.
2. Si {xn } X es una sucesin acotada, la sucesin {T xn } Y tiene una subsucesin convergente a algn punto de Y .
Para contrastarla con la compacidad, la continuidad de un operador se puede formular desde
el punto de vista de la preservacin de la acotacin de conjuntos.
Proposicin 1.88. Para un operador lineal T X Y , son equivalentes:
1. T es continuo.
2. T (A) es un subconjunto acotado de Y para cualquier subconjunto acotado A de X.

Proposicin 1.89.

Lc (X, Y ) L(X, Y ).

O sea, si T X Y es compacto, entonces es continuo.

Nota 1.90. Los siguientes resultados vienen a expresar de diversas maneras concretas la idea de
que un operador compacto tiene imagen no demasiado grande.
Proposicin 1.91. Sean X, Y espacios de Banach con dim Y = . Entonces ningn operador
compacto T X Y puede ser epiyectivo, en particular, invertible. Por ejemplo, la identidad
I Y Y no es compacto.

Proposicin 1.92. Si T L(X, Y ) es compacto, img T e img T son separables.

Definicin 1.93. Un operador T X Y es de rango finito si rg T = dim img T < . Denotaremos por Lf (X, Y ) al espacio de operadores de rango finito T X Y .
def

Proposicin 1.94. Sea T X Y de rango finito. Entonces T es compacto.

Proposicin 1.95. Sean X, Y espacios normados.

1. Si T1 , T2 son compactos y 1 , 2 K, entonces 1 T1 + 2 T2 es compacto.
2. Si T1 , T2 son de rango finito y 1 , 2 K, entonces 1 T1 + 2 T2 es de rango finito.
3. Si T es compacto, S L(X), R L(Y ), entonces RT S es compacto.
18

4. Si T es de rango finito, S L(X), R L(Y ), entonces RT S es de rango finito.

Es decir, Lc (X, Y ) y Lf (X, Y ) son subespacios vectoriales
Lc (X) y Lf (X) son ideales bilaterales en el lgebra L(X).

Proposicin 1.96. Si Y es un espacio de Banach,

de

L(X, Y )

en general, y adems,

Lc (X, Y ) es cerrado en L(X, Y ).

Demostracin Alternativa: Sea B la bola unidad abierta. Basta con demostrar que T (B) es precompacto, pues si A es cualquier conjunto acotado, A nB para algn n N y T (A) nT (B),
luego T (A) es pre-compacto si T (B) lo es.
Como Y es completo, equivale a demostrar que T (B) es totalmente acotado. Sea > 0.
Elegimos k tal que Tk T < 3 . Como Tk (B) es totalmente acotado, existe F B finito tal que
Tk (B) B(T a, 3 )
aF

Si x B entonces existe a F tal que Tk x Tk a < 3 . Entonces

T x T a T x Tk x + Tk x Tk a + Tk a T a 2T Tk + Tk x Tk a < ,
luego T (B) aF B(T a, ).
Teorema 1.97. Sea X un espacio normado y H un espacio de Hilbert. Si T L(X, H) es
compacto, existe una sucesin {Tn } Lf (X, H) de operadores de rango finito tal que Tn T .
Es decir, Lf (X, H) es denso en Lc (X, H).

Corolario 1.98. Si H es un espacio de Hilbert,

Lf (H) es denso en Lc (H).

Nota 1.99. Si X es un espacio de Banach, la cuestin de si todo operador compacto T Lc (X)

es lmite de operadores de rango finito se conoce como el problema de aproximacin y fue
formulado en 1931. En 1973 P. Enflo encontr un contraejemplo, un espacio de Banach donde
no todo operador compacto es lmite de operadores de rango finito.
Lema 1.100. Si H es un espacio de Hilbert y T L(H). Entonces o bien T y T tienen ambos
rango infinito o ambos tienen el mismo rango finito, es decir, rg T = rg T .
Teorema 1.101. Sea H un espacio de Hilbert y T L(H). Entonces T es compacto si y slo si
T es compacto.
Nota 1.102. De hecho en cualquier espacio normado X, si T L(X) es compacto, su adjunto
de Banach T L(X ) tambin es compacto. En general no es una equivalencia pues T no
siempre se identifica con T .
19

1.7

Teora Espectral de Operadores Compactos

Si n

N,

un resultado bsico del lgebra Lineal es que toda matriz M

(M = M , donde M
(U 1 = U ), o sea,

def

M t)

Cnn

auto-adjunta

diagonaliza mediante conjugacin con una matriz unitaria U

U M U 1 =

donde es una matriz diagonal, que consiste en los autovalores de M , es decir, las races de
su polinomio caracterstico det(M I). En el caso de matrices reales, toda matriz simtrica
diagonaliza.
En trminos de operadores, esto significa que en el espacio de Hilbert H = Cn , dado un
operador auto-adjunto T , existe una base ortonormal de H de autovectores de T .
1.7.1

Autovalores, Autovectores y Autoespacios

Definicin 1.103. Sea X un espacio vectorial y T X X lineal. Un autovalor o valor propio

de T es un nmero C tal que ker(T I) 0, es decir, tal que existe un vector x X, x 0,
llamado autovector o vector propio, con T x = x. Si X es un espacio normado, sin prdida de
generalidad se puede suponer x = 1. Si es un valor propio de T al ncleo ker(T I) se le
llama espacio propio o autoespacio asociado a . La multiplicidad (geomtrica) del autovalor
es dim ker(T I).
Proposicin 1.104. Sea X un espacio vectorial y T X X lineal. Si x1 , x2 , . . . , xn son
autovectores de T con autovalores correspondientes 1 , 2 , . . . , n distintos,entonces x1 , x2 , . . . , xn
son linealmente independientes.

Proposicin 1.105. Sea H un espacio de Hilbert y T L(H) auto-adjunto. Entonces

1. Cualquier autovalor de T es real, y es un valor de Q(x) = T x, x sobre la esfera unidad.
2. Los autovectores correspondientes a autovalores distintos son ortogonales.

Proposicin 1.106. Sea X un espacio normado y T L(X) compacto. Si es un autovalor de

T con 0, entonces el espacio propio E = ker(T I) tiene dimensin finita.
Teorema 1.107. Sea H un espacio de Hilbert y T L(H) compacto y auto-adjunto. Entonces
al menos uno de T es un autovalor de T .
Proposicin 1.108. Sea H un espacio de Hilbert, T L(H) compacto y auto-adjunto, y A el
conjunto de autovalores de T . Entonces
1. A [T , T ] R, siendo entonces T = maxA .
2. Dado cualquier > 0, el conjunto A = { A } es finito.
20

3. A es numerable.
4. Si A es infinito y {n }
n=1 es cualquier enumeracin, entonces n 0.

1.7.2

Diagonalizacin de Operadores Auto-adjuntos Compactos

En el caso de un operador auto-adjunto T sobre H = Kn , existe una base ortonormal {ej }nj=1
de H de autovectores de T . Si Ej = Kej y j es el autovalor correspondiente a ej , entonces
T Ej = Kj ej Ej , con igualdad si j 0. Los subespacios Ej son ortogonales y H = nj=1 Ej .
Claramente entonces Ej = kj Ek y por tanto tambin se tiene T Ej Ej .
Definicin 1.109. Sea X un espacio vectorial y T X X lineal. Un subespacio M H es
invariante bajo T si T (M ) M . Si X es un espacio de Hilbert y tanto M y M son invariantes
bajo T , se dice que M reduce a T o que es un subespacio reductor.
Lema 1.110. Sea H un espacio de Hilbert, T L(H) y M un subespacio cerrado. Entonces
1. T M M T M M .
2. Si T es auto-adjunto, entonces T M M T M M .
3. Si T es compacto y M es un subespacio invariante cerrado, entonces T M es compacto.
4. Si T es auto-adjunto y M es un subespacio invariante cerrado, entonces T M
T M L(M ) y son auto-adjuntos.

L(M )

Teorema 1.111 (Teorema Espectral para un operador compacto auto-adjunto). Sea H un

espacio de Hilbert y T L(H) con T 0 compacto y auto-adjunto. Entonces
1. Existe una coleccin ortonormal numerable {en }n=1 H (siendo N = ) formada por
autovectores de T correspondientes a autovalores n no nulos, tal que

T x = n x, en en

x H,

con n 0 si = .

n=1

Los autovalores n que aparecen en esta expresin son todos los autovalores no nulos de T ,
y cada uno aparece con su multiplicidad: dim ker(T I) = #{n n = }.
2. {en } es finito si y slo si T es de rango finito.
3. {en } es una base ortonormal de img T . Si {f } es una base ortonormal de ker T (no tiene
por qu ser numerable) entonces {en } {f } es una base ortonormal de H formada por
autovectores de T .

21