Teora espectral de operadores compactos

1.-Relaciones de ortogonalidad entre rango y ncleo de un operador y su

adjunto.
Sean H y G dos espacios de Hilbert reales. Denotaremos por de manera indistinta,
a la norma en H y a la norma en G, y por (, ) al producto escalar en H o en G que
induce dicha norma.
Dado un operador T (H, G), se denota por N (T ) al ncleo de T , y R(T ) al rango
de T , definidos respectivamente por
N (T ) = T
1
(0) = {x H ; T x = 0}, R(T ) = T (H ) = {T x;
x H}.
Se recuerda que N (T ) es un subespacio vectorial cerrado de H , y que R(T ) es un
subespacio vectorial, no necesariamente cerrado, de G.
El ncleo y el rango de un operador lineal continuo entre dos espacios de Hilbert y su
adjunto, satisfacen las siguientes relaciones:
Proposicin 1.1.- Para todo operador T (H, G) se verifica:
i) N (T ) = R(T

,
ii) N(T
*
) = R(T )

,
iii) N(T )

iv)

Demostracin.- En primer lugar, se tiene que
x N (T ) T x = 0 (T x, y) = 0 y G
(x, T

y) = 0 y G x R(T

,y por tanto, se satisface i).

Teniendo en cuenta que

la propiedad iii) es consecuencia

inmediata de i). Ahora, ii) y iv) son consecuencias directas de i) y iii), y del hecho de que
(

= T .

2.-Compacidad y operadores compactos.
Sean X y Y dos espacios de Banach reales, cuya norma denotamos por , de
manera indistinta. Denotemos por Bx a la bola unidad cerrada de X:
Bx = {x X ; 1}.
Definicin 2.1.- Un operador T (X, Y ) se dice que es compacto si el conjunto T
(Bx ) es relativamente compacto en Y .
Observacin 2.1.- Recordemos que un conjunto C Y se dice que es relativamente
compacto en Y si su clausura es un compacto en Y , es decir, de todo recubrimiento
del conjunto por subconjuntos abiertos de Y , se puede extraer un subrecubrimiento
finito de .
De manera equivalente, C Y es relativamente compacto en Y si y sol si de toda
sucesin de elementos de C se puede extraer una subsucesin convergente en Y . En
consecuencia, es sencillo comprobar que un operador T (X, Y ) es compacto si y
slo si de toda sucesin {X
n
} X que sea acotada, se puede extraer una subsucesin
{

} tal que {T

} sea convergente en Y . Tambin, de manera equivalente, es fcil

ver que T (X, Y ) es compacto si y slo si transforma subconjuntos acotados de X en
subconjuntos relativamente compactos de Y .
Observacin 2.2.- Como Y es, en particular, un espacio mtrico completo, dado un
conjunto C Y , para determinar si es relativamente compacto en Y , basta
comprobar que, para todo > 0, C puede ser recubierto por un numero finito de bolas de
Y de radio .
Observacin 2.3.- Es bien conocido el Teorema de Riesz, que nos indica que Bx es
compacta, si y slo si X es un espacio vectorial de dimensin finita. En consecuencia, si
denotamos por I al operador identidad de X sobre X , y suponemos que X es de
dimensin infinita, I (X ), pero no es un operador compacto.
Un primer ejemplo de operadores compactos lo constituye el subespacio de (X, Y )
formado por los operadores de rango finito.


Definicin 2.2.- Un operador T (X, Y ) se dice que es de rango finito si la
dimensin de R(T ) = {T x; x X } es finita.
Observacin 2.4.- Como en todo espacio normado de dimensin finita un conjunto es
relativamente compacto si y slo si es acotado, resulta evidente que todo operador T
(X, Y ) de rango finito es compacto.
Es sencillo comprobar que el conjunto de todos los operadores T (X, Y ) compactos
es un subespacio vectorial de (X, Y ). Ms exactamente, se tiene:

Teorema 2.1.- El conjunto de todos los operadores T (X, Y ) compactos es un
subespacio vectorial cerrado de (X, Y ).
Demostracin.- Como ya hemos dicho, es sencillo comprobar que toda combinacin
lineal de operadores de (X, Y ) compactos es un operador compacto. Lo que
queda por demostrar es que si {

} (X, Y ) es una sucesin de operadores

compactos, y T (X, Y ) es tal que

, entonces T es tambin
compacto. Para ello, basta con demostrar que, fijado > 0, el conjunto T (Bx )
puede ser recubierto por un nmero finito de bolas de Y de radio . Fijemos >
0, y tomemos un

tal que

. Como

es relativamente
compacto, existe un nmero finito

de elementos {y
i
} i

tales que

. En consecuencia, T(Bx)

.
Como consecuencia del Teorema 2.1 y la Observacin 2.4, resulta inmediato:
Corolario 2.1.- Si {T
n
} (X, Y ) es una sucesin de operadores rango finito, y
T (X, Y ) es tal que

0, entonces T es compacto.

Observacin 2.5.- En el caso en que X e Y son espacios de Hilbert, el recproco del
Corolario 2.1 es tambin cierto, es decir, si H y G son dos espacios de Hilbert y

T (H, G) es compacto, entonces existe una sucesin {Tn } (H, G) de operadores
rango finito tal que

0 (H,G) 0 .
Otro ejemplo de operadores compactos lo constituye la clase de los operadores
integrales en C
0
([a, b]) o en L
p
(a, b), con p (1, 2]. En concreto,

Definicin 2.3.- Sea K C
0
([a, b] [a, b]) una funcin dada. Se denomina operador
integral en C
0
([a, b]) de ncleo integral K , al operador T : C
0
([a, b]) 7 C 0 ([a, b])
definido por
(2.1)
[ ]

[ ]

Definicin 2.4.- Sean p (1, 2] y K L
q
((a, b) (a, b)), con

dados. Se
denomina operador integral en L
p
(a, b) de ncleo integral K, al operador
T : L
p
(a, b) L
p
(a, b) definido por
(2.2)

No es difcil demostrar el siguiente resultado:
Teorema 2.2.- a) Si K C
0
([a, b] [a, b]), el operador integral T definido por (2.1)
pertenece a (C
0
([a, b])), y es compacto.
b) Si K L
q
((a, b) (a, b)), el operador integral T definido por (2.2) pertenece a
(L
p
(a, b)), y es compacto.
Demostracin.- a) Es sencillo comprobar que si K C
0
([a, b] [a, b]), T dado por
(2.1) est bien definido y pertenece a (C
0
([a, b])). Adems, en este caso si {
n
} es
una sucesin acotada en C
0
([a, b]), es fcil comprobar que {T
n
} es una sucesin
acotada y equicontinua en C
0
([a, b]), con lo que, por el Teorema de Ascoli-Arzela,
existe una subsucesin de {T
n
} que es convergente en C
0
([a, b]), y por tanto, si K
C
0
([a, b] [a, b]), el operador T definido por (2.1) es compacto en C
0
([a, b]).

b) Tambin es fcil comprobar que si K L
q
((a, b) (a, b)), el operador T dado por
(2.2) est bien definido y pertenece a (L
p
(a, b)).
Para demostrar en este caso que T es compacto, se supone en primer lugar que
K C
0
([a, b] [a, b]). En tal caso, si {

} es una sucesin acotada en L

p
(a, b), es fcil
comprobar que {T

} es una sucesin acotada y equicontinua en C

0
[a, b], con lo que,
por el Teorema de Ascoli-Arzela, existe una subsucesin de {T

} que es convergente
en C
0
([a, b]), y por tanto tambin es convergente en L
p
(a, b). As pues, si
K C
0
([a, b] [a, b]), el operador T definido por (2.2) es compacto en L
p
(a, b).
En el caso general, basta tener en cuenta el Teorema 2.1, y la densidad del espacio
C
0
([a, b][a, b]) en L
p
((a, b) (a, b))
Dos propiedades generales de inters de los operadores compactos vienen dadas por
los siguientes resultados:
Proposicin 2.1.- Sean X , Y y Z tres espacios de Banach. Si S (Y, Z ),
T (X, Y ), y al menos uno de los dos es compacto, entonces S T es compacto.
Demostracin.- Es inmediata.
Observacin 2.6.- De la proposicin precedente y la Observacin 2.3, se deduce
que si T (X, Y ) es compacto y X no es de dimensin finita, entonces T no puede
ser biyectivo.

Teorema 2.3 (de Schauder).-
Sean H y G dos espacios de Hilbert reales. Un operador T (H, G) es compacto si y
slo si su adjunto T

es tambin compacto.
Demostracin.- Como T = (T

, slo hay que demostrar que si T es compacto,

entoces T

tambin es compacto.
Supongamos por tanto que T (H, G) es compacto. Sea {y
n
} G una sucesin
acotada. Lo que hay que comprobar es que se puede extraer una subsucesin {y
nk
}

{y
n
} tal que {T

y
nk
} sea convergente en H . Para ver esto ltimo, denotemos por f
n
a la
aplicacin

Es inmediato comprobar que la sucesin {

} constituye una familia acotada y

equicontinua de C
0

. Teniendo en cuenta que

, con la distancia inducida

por la norma de G, es un espacio mtrico compacto, por el Teorema de Ascoli (ver [3]),
podemos afirmar que existe una subsucesin {f
nk
} {f
n
} que es convergente en
C
0

. En particular, la sucesin {f
nk
} es de Cauchy en C
0

y por consiguiente,
como

|(

podemos afirmar que {T ynk } es de Cauchy, y por tanto convergente, en H .
3.-Teorema de alternativa de Fredholm
De manera previa a la demostracin del Teorema central de este pargrafo,
recordemos el Lema de Riesz, que ha sido demostrado en la asignatura Anlisis
Funcional
Lema 3.1 (de Riesz).- Sean X un espacio normado, y X
0
X un subespacio vectorial
cerrado de X tal que X
0
X. Entonces, para cada (0, 1) existe un elemento x

X tal
=1 y d(x, X
0
) =

Observacin 3.1.- En el caso en que X un espacio de Hilbert, el Lema 3.1 es tambin
vlido para = 1
Nuestro objetivo es demostrar el siguiente resultado:
Teorema 3.1 (de alternativa de Fredholm).-
Sean H un espacio de Hilbert real, T (H ) un operador compacto, y denotemos por I
al operador identidad de H sobre H . Entonces, se satisfacen las siguientes propiedades:

a) N (I T ) y N (I T

) son de dimensin finita,

y de hecho, (3.1) dim N (I T ) = dim N (I T ),

b) R(I T ) y R(I T ) son cerrados, y por tanto,
(3.2) R(I T ) = N (I T
*
)

y R(I T

) = N (I T )

,
c) N (I T ) = {0} R(I T ) = H , y N (I T

) = {0} R(I T

) = H .

Demostracin.- Denotemos M = N (I T ), que es un subespacio de Hilbert de H . Es
inmediato que B
M
T (B
M
) T (B
H
), y en consecuencia B
M
es compacto, con lo que
M es de dimensin finita. En resumen, N (I T ) es de dimensin finita, y como T

es
tambin compacto, N (I T

) es de dimensin finita.
Para demostrar b), basta ver que R(I T ) es cerrado. Es decir, basta ver que si
y
n
= x
n
T x
n
, con y
n
y, entonces existe x H tal que y = x T x. En primer lugar, si
y = 0, basta tomar x = 0. Por otra parte, si y 0, podemos suponer que y
n
0, es
decir x
n
N (I T ), para todo n. Denotemos como antes M = N (I T ), subespacio
vectorial cerrado de H , y por P al operador de proyeccin ortogonal de H sobre M .
Evidentemente, P x
n
x
n
y, como T P x
n
= P x
n
,
(3.3) y
n
= x
n
P x
n
T (x
n
P x
n
).
La sucesin xn Pxn esta acotada. En efecto, s dicha sucesin no estuviese acotada,
habra una subsucesin

tal que

, y en tal caso, denotando

Por (3,3), obtenemos
(3,4)

Adems, como

, extrayendo una subsucesin, que vamos a seguir denotando

, podemos suponer que existe z H tal que T

z, con lo que, por (3.4),

z, y z M . Evidentemente, y como

, z M . En resumen,
z M M

, con lo que z = 0, y sin embargo , lo cul es un absurdo. As pues,

la sucesin x
n
P x
n
est acotada.
En consecuencia, existen una subsucesin

P y un w H , tales que

w. Entonces, por (3.3),

w + y, y por tanto (

) . As pues, w = , con lo que y = y + w T (y + w), es decir,

y R(IT).
Para demostrar c), basta comprobar que N (I T ) = {0} R(I T ) = H . Para ello,
supongamos en primer lugar que N (I T ) = {0}, y R(I T ) H . En tal caso, como
R(I T ) es cerrado, denotando H
1
= R(I T ), obtenemos un subespacio de Hilbert de
H , distinto de H . Adems, T (H
1
) H
1
, y T restringido a H
1
es compacto. En
consecuencia, H
2
= (I T )(H
1
) es un subespacio cerrado de H
1
, y como I T es
inyectivo, H
2
est estrictamente contenido en H
1
. Definiendo H
n
= (I T )
n
(H ), para
n 1, obtenemos una sucesin estrictamente decreciente de subespacios de Hilbert
de H . Por el Lema de Riesz y la observacin 3.1, existe una sucesin {x
n
} tal que x
n

H
n
,

= 1, y d(x
n
, H
n+1
) 1. Evidentemente, si n > m
T x
n
T x
m
= x
n
(x
n
T x
n
) + (x
m
T x
m
) x
m
,
y, como H
n+1
H
n
H
m+1
,
x
n
(x
n
T x
n
) + (x
m
T x
m
) H
m+1
.

En consecuencia, si n > m,

1, lo cul es absurdo por ser T compacto.

As pues, si N (I T ) = {0}, entonces R(I T ) = H .
Recprocamente, si R(I T ) = H , entonces N (I T

) = R(I T )

= {0}, con lo que, por

ser T

compacto, R(I T ) = H , y por tanto N (I T ) = R(I T

= {0}.


Para terminar con la demostracin del teorema, slo nos queda comprobar la igualdad
(3.1). De hecho, como (T

= T , basta comprobar que dim N (I T

) dim N (I T ).
Procedamos por reduccin al absurdo. Supongamos que dim N (I T

) > dim N (I T ).
En tal caso, como las dimensiones de ambos espacios vectoriales son finitas, existe
una aplicacin
: N (I T ) 7 N (I T

),
lineal continua para la norma de H , tal que es inyectiva pero no es suprayectiva. Sea P
el operador de proyeccin ortogonal de H sobre N (I T ), y definamos
S = T + ( P ).
Evidentemente, S (H ), y es compacto ya que T lo es por hiptesis, y ( P ) lo es
por ser de rango finito. Demostremos que N (I S) = {0}. Para ello, observemos que si
0 = x Sx = (x T x) ( P )x,
entonces como x T x R(I T ) = N (I T

, y ( P )x N (I T

), resulta que
x T x = 0 y ( P )x = 0, es decir, x N (I T ), y x = 0, con lo que, por el carcter
inyectivo de , x = 0.
Como S es compacto y N (I S) = {0}, por c), R(I S) = H. Pero esto ltimo es absurdo,
ya que existe y N (I T ) tal que y R(); y para este y, si x Sx = y, entonces
x T x ( P )x = y, con lo que, como x T x R(I T ) = N (I T

, resulta que
x T x = 0, y (x) = y, en contradiccin con que y R(). Por consiguiente,
hemos probado que dim N (I T

) dim N (I T ).

Observacin 3.2.- El Teorema 3.1 es tambin vlido para un operador T (X ), con X
espacio de Banach, estando en este caso definida la ortogonalidad mediante el produto
de dualidad .


Observacin 3.3.- El teorema precedente es denominado de alternativa por la razn
siguiente. Si T (H ) es compacto, para la ecuacin x T x = y podemos afirmar: o
bien la ecuacin homognea asociada x T x = 0 slo posee la solucin nula, y en ese
caso para cada y H existe una y slo una solucin x H de x T x = y, o bien el
espacio vectorial de las soluciones de la ecuacin homognea asociada x T x =
0 es de dimensin finita n 1, y para y H dado la ecuacin x T x = y posee
solucin si y slo si y satisface n condiciones de ortogonalidad
(y N (I T

), y en ese caso la ecuacin admite infinitas soluciones.

Observacin 3.4.- La propiedad c) de los operadores compactos puesta de manifiesto
en el Teorema 3.1 se satisface siempre en dimensin finita. Si la dimensin de H es
finita, un operador lineal de H en H es inyectivo si y slo si es suprayectivo. Por
contra, si la dimensin de H es infinita, un operador T L(H ) puede ser inyectivo sin
ser suprayectivo, y recpro L camente. Por ejemplo, la aplicacin
x = (x
1
, x
2
, x
3
, ....) l
2
7 (0, x
1
, x
2
, ....) l
2
,
es lineal continua e inyectiva, pero no es suprayectiva. Por el contrario, la aplicacin
x = (x
1
, x
2
, x
3
, ....) l
2
(x
2
, x
3
, x
4
, ....) l
2
,
es lineal continua y suprayectiva, pero no es inyectiva.
4.-Espectro de un operador compacto.
En todo el pargrafo denotamos por X un espacio de Banach real de norma , por
T a un operador de (X ), y por I a la aplicacin identidad de X sobre X .
Definicin 4.1.- Se denomina conjunto resolvente de T , y se denota (T ), al conjunto
(T ) = { R; T I es biyectivo de X sobre X }.
Al conjunto (T ) = IR \ (T ), complementario del conjunto resolvente de T , se le
denomina el espectro de T .


Observacin 4.1.- Si (T ), entonces, por el Teorema del inverso de Banach,
(T I
)1
(X ).
Evidentemente, si (T ) entonces, o bien T I no es inyectivo, es decir
N (T I ) = {0}, o bien T I no es suprayectivo (o ambas cosas a la vez).

Definicin 4.2.- Se dice que R es un valor propio o autovalor de T , si T I no es
inyectivo, es decir si N (T I ) {0}. En tal caso, al conjunto N (T I ) se le denomina
el subespacio propio o autoespacio asociado a , y a cualquier elemento x N (T I
) tal que x 0 se le denomina un vector propio o autovector asociado a .
Observacin 4.2.- Es claro que V P (T ) (T ), y en general la inclusin es
estricta. Basta considerar la aplicacin
T : x = (x
1
, x
2
, x
3
, ....) l
2
7 (0, x
1
, x
2
, ....) l
2
,
para la que, evidentemente, se tiene que 0 (T ) pero 0 V P (T ).
Proposicin 4.1.- Para todo operador T (X ) el espectro es un conjunto compacto
de IR tal que
(4.1) (T ) [ ],
y en consecuencia el conjunto resolvente es un subconjunto abierto no acotado de R.
Demostracin.- En primer lugar, demostramos (4.1). Para ello, supongamos que
R es tal que || > , y demostremos que T I es biyectivo. En efecto, dado
y X , la ecuacin T x x = y es equivalente a la ecuacin x =

(T x y), pero esta

ltima posee una y slo una solucin por el teorema del punto fijo de Banach, ya que la
aplicacin

es contractiva por ser || > .

Para terminar con la demostracin, basta probar que (T ) es un subconjunto abierto
de R. Sea
0
(T ), y demostremos que todo R suficientemente prximo a
0

tambin pertenece a (T ). Para ello hay que demostrar que para todo R
suficientemente prximo a
0
, la ecuacin T x x = y posee una y slo una solucin

para cada y X dado. Ahora bien, dicha ecuacin es equivalente a
T x
0
x = y + (
0
)x, la cul a su vez, por ser
0
(T ), es equivalente a

(4.2) x = (T
0
I)
1
(y + (
0
)x).

Basta ahora observar que, por el teorema del punto fijo de Banach, la ecuacin (4.2)
posee una y slo una solucin para todo R tal que | 0 |

1.

Teorema 4.1.- Si el espacio de Banach X no es de dimensin finita y T (X ) es
compacto, entonces se tiene:
a) 0 (T ),
b) (T ) \ {0} = V P (T ) \ {0},
c) Todos los puntos de (T ) \ {0} son aislados,
d) El conjunto (T ) \ {0} o es vaco, o es finito, o es infinito numerable y, en este
ltimo caso, puede ser ordenado formando una sucesin cuyos valores absolutos
decrecen estrictamente a 0.
a) Si 0 (T ), entonces T es biyectivo, T
1
(X ), y por la Proposicin 2.1
tenemos que I = T T
1
es compacto, con lo que la dimensin de X es finita.
b) Sea (T ) tal que 0. Hemos de demostrar que entonces V P (T ). Para ello,
procedamos por reduccin al absurdo, y supongamos que N (T I ) = {0}. Entonces,
como N (T I ) = {}. Entonces, como N(T - I)=

y el operador

es
compacto, por la propiedad c) del teorema de alternativa de Fedholm, teniendo en cuenta
la Observacin 3.2, podemos afirmar que R(I

T ) = X , con lo que,
R(T I ) = R(I

T ) = X.

As pues, si (T ), con 0 es tal que V P (T ), entonces T I es biyectivo, y
por tanto (T ), lo cual es un absurdo.
c) Hemos de probar que todos los puntos de (T ) \ {0} son aislados. Es decir, hemos
de demostrar que si {
n
}
n1
(T ) \ {0} es una sucesin de nmeros reales todos
distintos tal que
n
, entonces = 0. Consideremos dada, por tanto, una
sucesin {
n
}
n1
en las condiciones precedentes. De acuerdo con b), sabemos que
para todo n 1
n
V P (T ). Fijemos, para cada n 1 un elemento

N (T n I )
tal que e
n
0.
En primer lugar, podemos afirmar que el conjunto {e
n
}
n1
est formado por elementos
linealmente independientes. En efecto, razonando por induccin, si para un n 1
es cierto que los e
1
, ...., e
n
son linealmente independientes, y

entonces, como

y por consiguiente

(
i

n+1
) = 0 para todo i = 1, ..., n, con lo que

= 0 para todo
i = 1, ..., n, lo que es absurdo.
Denotemos para cada n 1 por X
n
al subespacio vectorial de X generado por e
1
, ..., e
n
.
Como el conjunto {e
m
}
m1
est formado por elementos linealmente independientes,
obtenemos una sucesin estrictamente creciente de subespacios vectoriales de
dimensin finita, y por tanto cerrados, de X .
Aplicando el lema de Riesz, podemos construir una sucesin {x
n
}
n2
en X tal que
para todo
n 2, x
n
X
n
,

= 1, y d(x
n
, X
n1
) 2 . Si 2 m < n, se tiene
X
m1
X
m
X
n1
,
y como, evidentemente, (T
n
I)X
n
X
n1
, tenemos que
(4,3)

d) Para todo 2 m < n. Si
n
0, la desigualdad (4.3) es contradictoria con el
hecho de que de {Tx
n
} se puede extraer una subsucesin convergente.
Para todo entero el conjunto { ||

} es vaco o finito, ya que si

contuviese un conjunto infinito de puntos distintos, teniendo en cuenta que (T ) es
compacto, dicho conjunto infinito contendra un punto de acumulacin que no sera el
cero, y entraramos en contradiccin con c).
As pues, como (T ) \ {0} =
n1
((T ) { R; ||

, cuando (T ) \ {0} contiene

infinitos elementos distintos, stos pueden ser ordenados en una sucesin cuyos valores
absolutos decrecen a 0.




5.-Teorema de Hilbert-Schmidt.-
Nos centramos ahora en el caso de los operadores lineales compactos y autoadjuntos
en un espacio de Hilbert. Suponemos fijado un espacio de Hilbert real H .
Denotamos por (, ) al producto escalar en H , y por a la norma en H inducida por
dicho producto escalar.
Proposicin 5.1.- Sea T (H ). Denotemos

Entonces (T ) [m, M ].
Si adems T es un operador autoadjunto, entonces m (T ) y M (T ).
Demostracin.- Por definicin, (T x, x) m
2
para todo x H, y por tanto, para todo
R se satisface
(5.1) (T x x, x) (m )
2
x H.
Por (5.1), si < m la forma bilineal continua sobre H , definida por
(5.2) a

(x, y) = (T x x, y) x, y H,
es tambin coerciva, con lo que, aplicando el teorema de Lax-Milgram, se concluye que
(T ). Si > M, entonces <

(T x, x), con lo que (T ), es decir,

(T ). Queda as probado que (T ) [m, M ].
Si T es autoadjunto, entonces la forma bilineal a
m
(x, y), definida por (5.2) para
= m, es simtrica y satisface a
m
(x, x) 0 para todo x H . As pues, aplicando la
desigualdad de Cauchy-Schwarz a la forma bilineal a
m
(x, y), se obtiene
|(T x mx, y)| (T x mx, x)
1/2
(T y my, y)
1/2
x, y H,
de donde en particular se obtiene que existe una constante C > 0 tal que
(5.3) C (T x mx, x)
1/2
x H.

Sea {x
n
} H una sucesin tal que

para todo n 1, y (T x
n
, x
n
) m,
tal sucesin existe por la definicin de nfimo. Por (5.3) se obtiene que T x
n
mx
n
0,
con lo que si suponemos que m (T ), entonces x
n
= (T mI )
1
(T x
n
mx
n
) 0,
en contradiccin con que

para todo n 1. As pues, m (T ). Finalmente, que

M (T ) se obtiene reemplazando T por T .
Como consecuencia de la proposicin precedente, se obtiene
Corolario 5.1.- Si T (H ) es un operador autoadjunto tal que (T ) = {0}, entonces
T = 0.
Demostracin.- Si T (H ) es un operador autoadjunto tal que (T ) = {0}, por la
proposicin precedente, sabemos que (Tx,x) = 0 x H.
Entonces, como T es autoadjunto, resulta
2(T x, y) = (T (x + y), x + y) (T x, x) (T y, y) = 0 x, y H,
es decir, T = 0.
El objetivo ahora, es mostrar que si H es separable, todo operador T (H )
compacto y autoadjunto es diagonalizable en una base ortonormal de H
convenientemente elegida. Para ello, introducimos algunas consideraciones previas.

Definicin 5.1.- Sea {H
n
}
n
0 una sucesin de subespacios vectoriales cerrados de H .
Se dice que H es suma de Hilbert de la sucesin {H
n
}
n
0 si:
i) Los H
n
son ortogonales dos a dos, es decir, si m n,
(x
m
, x
n
) = 0 x
m
H
m
, x
n
H
n
,
ii) El espacio vectorial generado por

es denso en H .
El concepto precedente generaliza el concepto de base de Hilbert de H , ya que si
{e
n
}
n1
es una base de Hilbert de H , y denotamos H
0
= {0}, y H
n
al espacio vectorial
generado por en , es obvio que H es suma de Hilbert de la sucesin {H
n
}
n0
as
construida. De hecho, se tiene:

k


Teorema 5.1.- Sea {H
n
}
n0
una sucesin de subespacios vectoriales cerrados de H tal
que H es suma de Hilbert de dicha sucesin. Denotemos, para cada n 0 por P
n
al
operador de proyeccin ortogonal de H sobre H
n
. Dado x H , denotemos x
n
= P
n
x.
Entonces, se satisface:

igualdad de Bessel-Parseval

Recprocamente, si {x
n
}
n0
es una sucesin de elementos de H tal que x
n
H
n

para todo n 0

< , entonces la serie

es convergente a un
elemento x H que verifica

Demostracin.- Para cada entero k 0, denotemos

. Evidentemente,

(H ), y, por ser los H

n
ortogonales dos a dos, para todo x H se tiene
(5.4)

Por otra parte, como (x P
n
x, y) = 0 para todo y H
n
, en particular
(x, x
n
) =

n 0,
Y sumando, se obtiene

,
De donde
(5,5)

Sea x H fijado. Denotemos por F al espacio vectorial generado por

, que por
hiptesis es denso en H . Para > 0 fijado, existe y

F tal que

. Como y

es combinacin lineal de un nmero finito de elementos de

, existe un k

0 tal
que S
k
y

= y

para todo k k

.




Por consiguiente, teniendo en cuenta la desigualdad (5.5), obtenemos que

para todo k k

As pues, De (5.4) es inmediato ahora deducir b).

Recprocamente, si {x
n
}
n0
es una sucesin de elementos de H tal que x
n
H
n
para todo
n 0 y

, entonces es inmediato que para

y en consecuencia la serie

es convergente a un elemento x H . Que dicho

elemento verifica P
n
x = x
n
n 0, es evidente.
Podemos ahora demostrar el resultado fundamental:
Teorema 5.2 (Hilbert-Schmidt).- Supongamos que H es un espacio de Hilbert real
separable que no es de dimensin finita, y sea T (H ) un operador compacto y
autoadjunto. Sea {
n
}
n1
la coleccin (vaca, finita o infinita numerable) de todos los
autovalores distintos de T , exceptuado eventualmente 0. Denotemos
0
= 0, y
H
n
= N (T
n
I ) para n 0, con el convenio de que si la coleccin {
n
}
n1
es vaca o
finita con m 0 elementos, entonces H
n
= {0} para todo n m + 1.
Entonces, se tiene:
i) El espacio H es suma de Hilbert de la sucesion {H
n
}
n0
.
ii) El espacio H posee una base de Hilbert formada por autovectores de T .
Demostracin.- Observemos que 0 dimH
0
, y que, como

) para todo n 1 se tiene que dimH

n
< .
En primer lugar, demostremos que los Hn son ortogonales dos a dos. En efecto, si
x
n
H
n
y x
m
H
m
, con m, n 0 y m n, entonces T x
n
=
n
x
n
y T x
m
=
m
x
m
, con lo
que

n
(x
n
, x
m
) = (T x
n
, x
m
) = (x
n
, T x
m
) =
m
(x
n
, x
m
),
y en consecuencia (x
n
, x
m
) = 0.

Denotemos por F al espacio vectorial generado por

. Hemos de probar que F
es denso en H , para lo cul vamos a probar que F

= {0}
Para ver esto ltimo, observemos que como, como, T (H
n
) Hn para todo n 0, es
inmediato que T (F ) F , pero esto implica que T (F

) F

, ya que si x F

e
y F , entonces (T x, y) = (x, T y) = 0. As pues, el operador T
0
= T
F est bien
definido como operador de (F ), y es autoadjunto y compacto. Adems, no se olvide
que F

es cerrado en H , y por tanto es un subespacio de Hilbert de H . Finalmente,
(T
0
) = {0}, ya que si (T
0
) \ {0} = V P (T0 ) \ {0}, entonces existe x F

, con
x 0, tal que T
0
x = x, y por consiguiente, es un autovalor de T y x F. En resumen,
si (T
0
) \ {0}, entonces existe x F

F con x 0, lo cul es un absurdo.

As pues, por el Corolario 5.1, T0 = 0, es decir, F

N (T ) F, con lo que tenemos

garantizado que F

= {0}.
Tenemos, pues, demostrado i). Ahora, ii) es consecuencia inmediata de i), ya que
basta tomar en cada H
n
una base de Hilbert. Es inmediato comprobar que la unin de
todas estas bases es una base de Hilbert de H.

Observacin 5.1.- Bajo las condiciones del Teorema 5.2, si el operador T es adems
inyectivo entonces, teniendo en cuenta las afirmaciones i) de dicho teorema y d) del
Teorema 4.1, obtenemos que la coleccin {
n
}
n1
de todos los autovalores distintos de T
ordenados por orden de sus valores absolutos estrictamente decreciente, constituye
una sucesin convergente a cero.