Operadores Compactos

lvaro Gonzalo Flores Guiez

Julio 2014
Basado en la Seccin 4.3 Operadores Compactos del libro Principles of Fun-
ctional Analysis M. Schechter.
Sean X,Y espacios vectoriales normados.
Denicin 1:
Un operador lineal K : X Y es llamado OPERADOR COMPACTO si para toda
sucesin {x
n
} en X tal que x
n
c, donde c>0, se tiene que {K(x
n
)} posee
una subsucesin convergente en Y.
Notacin K(X, Y ) = {K : X Y/ K op. lineal compacto}
Se recuerda que un operador lineal T : X Y es ACOTADO si para cada
x X se tiene que T(x
n
) Mx
n
, para algn M>0.
Notacin K(X, Y ) = {T : X Y/ T op. lineal acotado}
Proposicin 1 Si K : X Y es un operador lineal compacto entonces K
es un op.acotado.
Dem Por contradiccin si suponemos que K es un operador compacto y que no
es acotado. Dada una sucesin {x
n
} en X tal que x
n
c, y que cumple que
K(x
n
) > Mx
n
, para algn M>0, se tiene de esta forma que {K(x
n
)} es di-
vergente y por tanto no posee una subsucesin convergente, produciendose una
contradiccin(al suponer K no acotado) con el hecho de que K es un operador
compacto.
Proposicin 2 i) La suma de un op.compacto es un op.compacto.
ii) El producto de un escalar con un op.compacto es un op.compacto.
Dem Al lector.
Proposicin 3 K(X, Y ) es un subespacio de B(X, Y )
Dem Probar que K(X, Y ) es subconjunto de B(X, Y ) y concluir usando la
Prop.2.
Proposicin 4 Si K : X Y es un operador lineal de rango nito entonces
K es un op.compacto.
1
Dem Como K es de rango nito, tenemos que Im(K) es nito dimensional,
luego si {x
n
} es una sucesin acotada en X se tiene que {K(x
n
)} posee una
subsucesin convergente, puesto que Im(K) es nito dimensional en un espacio
Banach.
Proposicin 5 Si A B(X, Y ),K K(Y, Z) entonces : (K A) K(X, Z)
Dem Dada una sucesin {x
n
} en X tal que x
n
c, donde c>0.
Como A es un op.acotado, tenemos que A(x
n
) Mx
n
< M c, asi {A(x
n
)}
es un suc. acotada en Y, luego {K(A(x
n
))} = {(K A)(x
n
)} posee una subsu-
cesin convergente en Z, puesto que K es un op.compacto.
Proposicin 6 Si L K(X, Y ),B B(Y, Z) entonces : (B L) K(X, Z)
Dem Anloga a la anterior.
TEOREMA 1 Sea X un espacio vectorial normado e Y un espacio Banach.
Si L B(X, Y ) y existe una sucesin {K
n
} en K(X, Y ) tal que:
L K
n

n
0 entonces; L K(X, Y )
Dem Sea {x
k
} una sucesin acotada en X. Como K
1
es op.compacto, existe una
subsucesin {x
k1
} de {x
k
} para la cul {K
1
(x
k1
)} converge en Y. De forma
anloga para K
2
op.compacto se tiene que existe una subsucesin {x
k2
} de
{x
k1
} para la cul {K
2
(x
k2
)} converge en Y, y continuando de esta manera
tendremos una subsucesin {x
kn
} de {x
kn1
} tal que {K
n
(x
kn
)} converge. Al
tomar los trminos de la forma z
k
= x
k
k
tendremos que la sucesin {K
n
(z
k
)}
converge para un k sucientemente grande.
Ahora se tiene que,
L(z
j
) L(z
k
) L(z
j
) K
n
(z
j
) + K
n
(z
j
) K
n
(z
k
) + K(z
k
) L(z
k
)
y como L(z) K
n
(z) = (L K
n
)(z) L K
n
z L K
n
c
As; L(z
j
) L(z
k
) 2c L K
n
+ K
n
(z
j
) K
n
(z
k
)
Por otro lado por hiptesis, dado > 0, para un n sucientemente grande se
tiene que;
2c L K
n
<

2
Adems como {K
n
(x
kn
)} es convergente, para un k,j sucientemente grandes,
tenemos que:
K
n
(z
j
) K
n
(z
k
) <

2
De esta forma, L(z
j
) L(z
k
) < , o sea {L(z
k
)} es una sucesin de Cauchy
en Y (Banach) por lo que se tiene que L es un op.compacto.
2
Para ejemplicar el Teorema anterior, consideraremos el operador K sobre
el espacio l
p
dado por
K(x
1
, x
2
, ..., x
k
, ...)) = (x
1
, x
2
/2, ..., x
k
/k, ...)
Veamos que K es un operador compacto.
Sea F
n
(x
1
, x
2
, ...) = (x
1
, x
2
/2, ..., x
n
/n, 0, 0...) para n = 1, 2...
Para cada n, F
n
es op.de rango nito(ejercicio), o sea op.compacto. Tenemos
para 1 p <
(K F
n1
)x
p
p
=

n=k+1
|x
k
|
x
p

x
p
p
n
p
Esto muestra que, K F
n1

p

1
n
Para el caso, p = tenemos que;
(K F
n1
)x

= sup
kn
|x
k
|
k

x

n
Luego, K F
n

p

n
0, para 1 p , y por el Teorema 1 , concluimos
que K es un operador compacto.