Operadores Compactos

lvaro Gonzalo Flores Guiez

Julio 2014
Basado en la Seccin 4.3 Operadores Compactos del libro Principles of
Functional Analysis M. Schechter.
Teorema 4.12 (Alternativa de Fredholm)
Sea X un espacio Banach, K un operador compacto denido en X y A = I K.
Se tiene que Im(A) es cerrado en X y dim(Ker(A)) = dim(Ker(A

)) es nito.
En particula, se tiene Im(A) = X y Ker(A) = {0} o Im(A) = X y
Ker(A) = {0}.
Lema 4.12
Sean X, Y espacios vectoriales normados, y sea A : X Y un operador lineal.
Se tiene que para cada x Dom(A) y > 0 existe un elemento x
0
Dom(A)
tal que:
i)A(x
0
) = A(X)
ii) d(x
0
, Ker(A)) = d(x, Ker(A))
iii)d(x, Ker(A)) x
0
d(x, Ker(A)) +
Dem Tomando x
0
= x x
1
, donde x
1
Ker(A), tenemos que:
i) A(x
0
) = A(x x
1
) = A(x) A(x
1
) = A(x), pues x
1
Ker(A)
ii) d(x
0
, Ker(A)) = d(x x
1
, Ker(A)) d(x, Ker(A)) + d(x
1
, Ker(A)) =
d(x, Ker(A)), pues d(x
1
, Ker(A)) = 0
Adems, d(x, Ker(A)) = d(x
0
+x
1
, Ker(A)) d(x
0
, Ker(A))+d(x
1
, Ker(A)) =
d(x
0
, Ker(A)), pues d(x
1
, Ker(A)) = 0
As; d(x, Ker(A)) = d(x
0
, Ker(A)).
iii) Como d(x, Ker(A)) = nf
x

Ker(A)
d(x, x

) se concluye por propiedad de

inmo que ; d(x, Ker(A)) x
0
d(x, Ker(A)) + .
1