Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Alfredo Flores
Operadores compactos
Definición:
Sea E, F espacios normados y sea A : E → F lineal. Se dice que A es compacto si, para toda
sucesión acotada (xn )∞ ∞
1 en E, la sucesión (Axn )1 tiene una subsucesión convergente en F .
Teorema 1:
Sea E, F espacios de Banach. El conjunto de operadores compactos en L (E, F ) es cerrado en
L (E, F ) respecto al operador norma.
Prueba:
Debemos mostrar que si (Kj ) es una sucesión de operadores compactos que converge a un lı́mite
K en L (E, F ) respecto al operador norma, entonces K es compacto. Consideremos cualquier
sucesión acotada (xn ) en E, digamos ||xn || ≤ M , donde M > 0, para todo n ∈ N. Debemos
usar de alguna manera la compacidad de los Kj para construir una subsucesión convergente
de (Kxn ). Se puede hacer por una combinación de dos tipos comunes de razonamiento: un
”argumento diagonal” y un ”argumento /3”.
Dado que K1 es compacto, existe una subsucesión (x1n ) de (xn ) tal que (K1 x1n ) converge.
Entonces, como K2 es compacto, existe una subsucesión (x2n ) de (x1n ) tal que (K2 x2n ) con-
verge en F . Continuando de esta manera, se obtiene sucesivamente subsucesiones (xjn )∞ n=1 ,
∞
j = 1, 2, 3, . . . de (xn ) con las propiedades de que (Kj xjn )n=1 es una sucesión convergente en
F para cada j ∈ N y que (xjn )∞ ∞
n=1 es una subsucesión de (xin )n=1 para i = 1, 2, 3, . . . , j − 1.
∞
Mostraremos que la ”subsucesión diagonal” (xnn )n=1 es tal que (Kxnn ) converge.
Sea > 0. Dado que Kj → K en el operador norma, podemos escoger p ∈ N tal que
||K − Kp || <
3M
Ahora observamos que (Kp xnn )∞ n=p es una sucesión de Cauchy ya que es una subsucesión de la
∞
sucesión convergente (Kp xpn )n=1 . Entonces existe n0 > p tal que m, n ≥ n0 implica
||Kp xnn − Kp xmm || <
3
Intentaremos mostrar que Kxnn − Kxmm es pequeño sabiendo que K está cerca de Kp y
Kp xnn − Kp xmm es pequeño. De manera formal, para m, n ≥ n0 , tenemos
2
3
Operadores de Hilbert-Schmidt
Definición:
Sean E,F espacios de Hilbert. Se dice que un operador lineal acotado A : E → F es de
Hilbert-Schmidt si existe una sucesión ortonormal completa (en )∞
1 en E [1] tal que
∞
X
||Aen ||2 < ∞
1
Teorema 2:
Los operadores de Hilbert-Schmidt son compactos.
Prueba:
Sean A y (en ) como en la definición anterior. Mostraremos que A es compacto expresándolo
como un lı́mite de norma de operadores de rango finito. Se define Ak : E → F (donde k ∈ N)
como
X∞ ∞
X
Ak ( xn en ) = xn Aen
1 1
donde
∞
X
x= xn en
1
Por tanto
∞
X
||(A − Ak )x|| ≤ |xn | ||Aen ||
k+1
(∞ )1/2 ( ∞ )1/2
X X
≤ |xn |2 ||Aen ||2
k+1 k+1
(∞ )1/2
X
≤ ||x|| ||Aen ||2
k+1
4
La sumatoria dentro de las llaves está formada por los términos mayores a k de una serie con-
vergente y, por tanto, tiende a cero cuando k → ∞. Entonces Ak → A, y asi A es compacto.
El teorema espectral para operadores
hermitianos compactos
Teoremas previos
Teorema 3:
Sea K un operador hermitiano compacto en un espacio de Hilbert H. ||K|| o −||K|| es un
autovalor de K.
Prueba:
Podemos suponer que K 6= 0. Por tanto
|(Kxn , xn )| → ||K||
Ya que cada (Kxn , xn ) es real, podemos asumir (reemplazando (xn ) por una subsucesión si es
necesario) que
(Kxn , xn ) → λ
El lado izquierdo es no negativo y el lado derecho tiende a cero cuando n → ∞. Por tanto
Kxn − λxn → 0
Dado que K es compacto, existe una subsucesión (xn0 ) de (xn ) tal que (Kxn0 ) es una sucesión
convergente. Denotemos su lı́mite por y. Tenemos que
Restando, obtenemos
λxn0 → y
λKxn0 → Ky
5
6
λKxn0 → λy
Entonces Ky = λy. Para concluir que λ es un autovalor, solo necesitamos demostrar que y 6= 0.
Tenemos
Teorema 4:
Sea A un operador hermitiano sobre un espacio de Hilbert H. Todos los autovalores de A son
reales, y los autovectores de A correspondientes a distintos autovalores son ortogonales [2].
Prueba:
Supongamos que λ es un autovalor de A y ϕ su correspondiente autovector, entonces Aϕ = λϕ
y ϕ 6= 0. Como A es autoadjunta se tiene
Dado que ϕ 6= 0, λ = λ̄, y asi λ es real. Ahora sean λ, µ autovalores distintos de A y sean ϕ,
ψ sus correspondientes autovectores, asi que Aϕ = λϕ, Aψ = µψ. Entonces
λ − µ̄ = λ − µ 6= 0
Teorema 5:
Sea K un operador hermitiano compacto en un espacio de Hilbert H. El conjunto de auto-
valores de K es un conjunto de números reales el cual es finito o consiste de una sucesión
enumerable que tiende a cero.
Prueba:
Supongamos que K tiene infinitos autovalores pero no pertenecen a una sucesión que tienda a
cero. Entonces existe > 0 tal que los infinitos autovalores de K tienen módulo mayor que .
Escoja una sucesión (λn )∞
1 de distintos autovalores de K tal que |λn | > , n ∈ N. Sea ϕn un
autovector unitario correspondiente a λn . Por el teorema 4, (ϕn ) es una sucesión ortonormal,
y el teorema de Pitagoras nos da, para n 6= m
Se sigue que (Kϕn ) no tiene una subsucesión de Cauchy, y entonces, no tiene subsucesión con-
vergente. Como (ϕn ) es una sucesión acotada, esto contradice la compacidad de K. Por tanto,
si los autovalores de K son infinitos en número, deben comprender una sucesión que converge
a cero.
Lema 1:
Sea M un subespacio lineal cerrado de un espacio de Hilbert H y sea M invariante bajo un
operador lineal acotado T en H (esto es T M ⊂ M ). Entonces M ⊥ es invariante bajo T ∗ .
Prueba:
Considere cualquier x ∈ M ⊥ y m ∈ M . Entonces T m ∈ M y por tanto (T m, x) = 0. Luego
(T ∗ x, m) = 0 para todo m ∈ M , asi que T ∗ x ∈ M ⊥ para todo x ∈ M ⊥ .
El teorema espectral
Sea K un operador hermitiano compacto en un espacio de Hilbert. Existe una sucesión finita
o infinita ortonormal (ϕn ) de autovectores de K, con correspondientes autovalores reales (λn )
tales que, para todo x ∈ H
X
Kx = λn (x, ϕn )ϕn
n
0 = Km y = Ky
m−1
X
= Kx − (x, ϕj )Kϕj
j=1
Vemos que
n−1
X
2 2
||x|| = ||yn || + |(x, ϕj )|2
j=1
Asi que
||yn || ≤ ||x||
Ahora
Esto es
n−1
X
Kx − λ (x, ϕ )ϕj ≤ |λn | ||x||
j j
j=1
Para todo x ∈ H.
Bibliografia
[1] William Arveson, A Short Course on Spectral Theory, Springer-Verlag New York Inc, 2002.
[2] Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler, Banach Space
Theory The Basis for Linear and Nonlinear Analysis, Springer Science+Business Media,
2010.
[3] Nicholas Young, An introduction to Hilbert space, Cambridge University Press, 1988.