Operadores semi-Fredholm y Fredholm

en espacios de Banach
Lucila Calderon
29 de octubre de 2012
1

INDICE

Indice
1. Introducci on 3
2. Preliminares 4
2.1. Deniciones Generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Operadores compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3. Espectro de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3. Operadores semi-Fredholm 9
4. Operadores de Fredholm 16
4.1.

Algebras de Calkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5. El Espectro Esencial 20
5.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Trabajo nal de An alisis Funcional 2
1. Introducci on
En el presente trabajo se pretende dar una peque na introducci on a la Teora de Operadores
de Fredholm y semi-Fredholm en los Espacios de Banach. Esta teora surge directamente de un
problema clasico de analsis matematico que consiste en la solucion de la ecuaci on integral de
Fredholm.
En el primer captulo se introducen los operadores Semi-Fredholm, de los cuales estudiaremos
las propiedades algebraicas; y centramos su estudio en las caracterizaciones perturbativas en
las que apareceran operadores compactos, aunque en la demostraci on se vera que alcanza para
operadores nucleares. Ademas se presentara el concepto de ndice de un operador lineal.
En el siguiente captulo se desarrollaran las caractersticas mas importantes de los operadores
de Fredholm y se denira el Algebra de Calkin. Al nal del captulo se prueba que un operador
lineal acotado T es de Fredholm si y solo si T es invertible en este algebra.
Estas clases de operadores generan espectros que han sido estudiados en la ultima decada:El
espectro Esencial,que se analiza en el utimo captulo. La teora espectral de los operadores es
una parte importante del analisis funcional la cual tiene muchas aplicaciones en el bastas areas
del analisis matematico moderno.
Departamento de Matematica - UNLP 3
2 PRELIMINARES
2. Preliminares
Aqui vamos a recordar algunos conceptos y resultados del analisis funcional necesarios para
abordar el estudio de operadores de Fredholm y semi-Fredholm, ademas de algunas notaciones.
Solo se demostraran algunos resultados.
2.1. Deniciones Generales
Sea X un K -Espacio vectorial , se dice que X es un Espacio Normado si esta dotado de una
norma, i.e una funci on |.| : X R
+
que cumple:
1. |x| = 0 x = 0
2. |x| = [[ |x|, para todo par x,y X y K
3. |x + y| |x| |y|
La metrica resultante se dene como d(x, y) = |x y| x, y X
Denici on. Un espacio normado se dice que es un Espacio de Banach si es completo
respecto a la metrica denida por la norma.
Debido a la estructura algebraica que tienen estos espacios se pueden estudiar las aplicaciones
lineales entre ellos. T : X Y . Este trabajo se concentra en el estudio de este tipo de aplicaciones
que llamaremos Operadores:T : X Y . Dichos operadores se supondran acotados (i.e k >
0 : |Tx| k |x| ,x X).
Denici on. Sea T : X Y un operador lineal acotado, se llama Norma de T a,
|T|= sup
x =0
Tx
x
Denici on. Llamamos L(X,Y)= T : X Y / T es lineal y acotado que es vectorial con
las operaciones usuales y es normado si denimos la norma anterior y adem as es Banach.
Si X=Y escribimos L(X):= L(X,X) y X

:= L(X, C) denota el DUAL de X (i.e las aplicaciones

lineales continuas de X a C)
Si T L(X, Y ) denotamos el dual del operador T por T

L(Y

, X

) (tambien se denomina
conjugado), denido por
(T

f)(x) := f(T(x)), x X y f Y

Sea T un operador acotado denimos n ucleo de T a ker T=x X : Tx = 0 y la Rango

de T a R(T)=Tx : x X.
Si T(X) es cerrado T

(X

) es cerrado.
Trabajo nal de An alisis Funcional 4
2.1 Deniciones Generales
Denici on. Sea M X,
el anulador de M es un subespacio cerrado de X

denido por
M

:= f X

: f(x) = 0, x M.
el preanulador de M:

M := x X : f(x) = 0, f M

.
Las relaciones de dualidad entre el n ucleo y el rango son las siguientes:
R(T) = ker(T

),

ker(T

) = ker(T),

R(T) =

ker(T

)
y si R(T) es cerrado R(T

) = ker(T)

.
Denici on. Un operador T de dice acotado inferiormente si k > 0 tal que |Tx| k |x|,
x X.
Teorema 2.1. Un operador es suryectivo (i.e acotado inferiormente) T

es acotado inferior-
mente.
Teorema 2.2. Sea T L(X) , X EB y supongamos que existe Y X tal que T(X) Y es
cerrado y T(X) Y = 0 luego el subespacio T(X) es tambien cerrado.
Es ovbio que la suma M+N de dos subespacios de X es un subespacio lineal. Si MN = 0
luego la suma se llama suma directa de M y N denotado por M N.
Si M N = X, luego N es el complemento algebraico de M.
La codimensi on de un espacio M de X es la dimensi on de todo complemento algebraico N
de M, o equivalentemente la dimensi on del cociente X/M. Notemos que: codim M= dim M

,
pues codim M= dim X/M=dim (X/M

)= dim M

.
Una clase importante de endomorsmo son las proyecciones. Si M N = X y x = y + z
con x X, y M y z N, denimos P: X M por Px=y. Este mapeo lineal proyecta a X a
lo largo de M y N.
Si X es EB y MN = X y sea P una proyecci on continua, luego M se dice el complementado
de N.
Teorema 2.3. Sea T L(X, Y ), X e Y EB.
1. T es inyectivo y T(X) es complementado si y solo si existe S L(X, Y ) tal que
ST = I
X
.
2. T es suryectivo y ker(T) es complementado si y solo si existe S L(X, Y ) tal que
TS = I
Y
.
Departamento de Matematica - UNLP 5
2 PRELIMINARES
Denici on. Si M y N son dos subespacios cerrados de un EB X, denimos
(M, N) := sup dist(x, N) : x M, |x| = 1, con (M, N) = 0 si M = 0.
La diferencia entre M y N es denido como (M, N) := max (M, N), (N, M).
Teorema 2.4. Si (M, N) < 1, luego M y N son ambos innitos dimensionales o dim(M) =
dim(N) < .
Denici on. Sea X EB y T : X X un operador lineal:
El ascent de T, denotado p(T), se dene como
p(T) =

mn n : kerT
n
= kerT
n+1
, si n : kerT
n
= kerT
n+1
, =
, si n : kerT
n
= kerT
n+1
=
En forma similar, El descent denotado q(T), es
p(T) =

mn n : T
n
(X) = T
n+1
(X) , si n : T
n
(X) = T
n+1
(X) , =
, si n : T
n
(X) = T
n+1
(X) =
Observaciones 2.5. Obviamente, p(T) = 0 T es inyectivo.
mientras q(T) = 0 T es sobreyectivo.
Denici on. Sea X un EB, y T un operador, Las deciencias de T se denen de la siguiente
forma:
(T)= dim(ker T) y (T)= codim T(X).
Teorema 2.6. Si p(T) y q(T) son nitos entonces p(T)=q(T).
Denici on. Si T L(X, Y ), X e Y EBs, denimos el mnimo m odulo de T
(T) := nf
x/ kerT
Tx
dist(x,kerT)
Teorema 2.7. Sea T L(X, Y ), X e Y EBs, luego vale que:
(T) > 0 si y solo si T(X) es cerrado.
(T) = (T

)
Denici on. Denotaremos por
Gl(X) = T L(X) : T
1
L(X)
Es bien sabido que si T : X X es lineal, el hecho de ser invertible equivale a ser
inyectivo y equivale a ser sobreyectivo.
Lema 2.8. Supongamos que T L(X, Y )X e Y EBs, con |T| < 1. Luego I-T es invertible.
Trabajo nal de An alisis Funcional 6
2.2 Operadores compactos
Demostraci

on. Tenemos

j=m
T
j

j=m
|T
j
|
n

j=m
|T|
j
, entonces
n

j=m
T
n
es una serie de Cauchy en el algebra de Banach L(X), y por lo tanto hay un
S L(X) tal que S =
n

j=m
T
n
.
Luego ST = TS =
n

j=m
T
n+1
= S I, de donde se obtiene (I T)S = S TS = I y
S(I T) = S ST = I. Por lo tanto, I-T es invertible con inverso S =
n

j=m
T
n
.
2.2. Operadores compactos
Denici on. Sea T un operador acotado en un espacio normado X e Y. T se dice Compacto
si para toda sucesi on (x
n
) X, T(x
n
) tiene una subsucesi on convergente. Esto es equivalente
a decir que la clausura de T(B
x
), B
x
la bola unitaria cerrada en X, es un conjunto compacto
de Y.
Denotamos K(X,Y) al conjunto de los operadores compactos.
Denici on. Sea X un espacio de Banach, L
F
(X) = T L(x) : R(T) < L(X), de-
nota el subespacio de operadores de rando nito.
Generalmente, al conjunto de los operadores compactos se los dene como la clausura en
norma de los L
F
(X)
Teorema 2.9. Si T L(X, Y ), X e Y EBs, luego
T es compacto T

es compacto.
LEMA DE RIETZ: Sea Y un subespacio propio cerrado de un espacio normado X. Luego
para 0 < < 1, existe un vector x

X tal que |x

| y |y x

| , y Y .
Teorema 2.10. Sea T K(X), X EB, luego (I T) < y (I T)(x) es cerrado
,= 0.
.
Teorema 2.11. Si T K(X), luego p(I T) = q(I T) < , ,= 0.
Teorema 2.12. Si X e Y son EB, T L(X, Y ) es un operador compacto con rando cerrado,
luego T es nito-dimensional.
Teorema 2.13. T L(X, Y ) son equivalentes:
1. T K(X, Y ),
2. > 0, M subespacio cerrado de dimensi on nita tal que |T/M| <
Departamento de Matematica - UNLP 7
2 PRELIMINARES
2.3. Espectro de Operadores
Denici on. Sea T L(X), denimos el espectro de T como:
(T) = C : I T, es invertible
Observaci on 2.14. Se puede ver que (T) es compacto,no vaco y;
(T) z C : [z[ < |T|
Clasicaremos el espectro en tres grupos:
Un punto C es autovalor de T o pertenece al espectro puntual de A,
p
(T), si
no existe (AI)
1
. Cada vector x X tal que (AI)x = 0, con
p
(T) se llama
autovector de A correspondiente a y el subespacio de X que contiene al cero y a los
autovectores correspondientes a un mismo se llama autoespacio correspondiente a .
Un C pertenece al espectro continuo de A,
c
(T), si R(AI) es denso en X
y existe (A I)
1
pero no est a acotado.
Un punto C pertenece al espectro residual de A,
r
(T) si existe (A I)
1
pero esta denido por un subconjunto no denso de X.
Proposicion 2.15. Sea X un EB.Si T L(X), entonces (T) = (T

) para todo
T

L(X

).
Proposicion 2.16. Sea T K(X). Dado (T) tal que ,= 0, se tiene que
1. es un autovalor;
2. Adem as 0 ,= dimker(I T) = dimR(I T) <
3. R(I T) es cerrado y tiene codimensi on nita.
Trabajo nal de An alisis Funcional 8
3. Operadores semi-Fredholm
Denici on. Sea T L(X, Y ), X e Y espacios de Banach
T se dice upper semi-Fredholm si tiene rango cerrado y n ucleo de dimension nita.
T se dice lower-semi-Fredholm si tiene rango de dimensi on conita.(i.e dimY/R(T)
es nita)
Denotamos por
+
(X, Y ) y

(X, Y ) las clases de los operadores upper y lower semi-

Fredholm, respectivamente.
Adem as

:=
+

es la clase de Operadores semi-Fredholm

Observaci on 3.1. Las dos clases son mutuamente duales.En el siguiente sentido:

+
(X, Y )

(Y

, X

(X, Y )

(Y

, X

)
M as a un, (T) = (T

) y (T) = (T

)
Los operadores upper-semi-Fredholm admiten una caracterizaci on similar que los ope-
radores compactos.Veamoslo en el siguiente resultado.
Proposicion 3.2. Un operador T L(X, Y ) es upper-semi-Fredholm si y solo si
una sucesi on acotada (x
n
) en X tiene una subsusecion convergente cuando (Tx
n
) es
convergente.
Demostraci

on. ) Supongamos T
+
. Sea (x
n
) una sucesi on acotada en X para la
que (Tx
n
) es convergente.
Como ker(T) tiene dimensi on nita, existe un subespacio cerrado M de modo que
X = ker(T) M. Luego podemos escribir x
n
= y
n
+ z
n
con (y
n
) y (z
n
) sucesiones
acotadas en N(T) y M, respectivamente.
Notemos que T [
M
es un isomorsmo, luego la sucesi on (z
n
) es convergente. Adem as
como (y
n
) es acotada en un espacio de dimensi on nita, tiene una subsucesi on conver-
gente. Por lo tanto (x
n
) tiene una subsucesi on convergente.
) Supongamos T /
+
. Si ker(T) tiene dimensi on innita, basta encontrar una su-
cesi on acotada sin subsucesiones convergentes (x
n
) en ker(T).
Si ker(T) tiene dimension nita, existe un subespacio cerrado M de modo que X =
ker(T) M. Ahora T [
M
es inyectiva pero no tiene inverso continuo. Luego podemos
encontrar una sucecion de vectores de norma 1 (z
n
) en M de modo que lm
n
|Tz
n
| = 0.
La sucecion (z
n
) no puede tener subsucesiones convergentes: si z fuese limite de una
subsucesi on de (z
n
), tendramos z M ker(T) y |z| = 1 que es imposible.
Denicion. El ndice de un operador T

(X, Y ) se dene mediante:

Departamento de Matematica - UNLP 9
3 OPERADORES SEMI-FREDHOLM
ind(T) := dimker(T) dimY/(R(T)) = (T) (T)
Notemos que ind(T) Z
El ndice describe propiedades muy importantes de T, puesto que es invariante bajo
peque nas perturbaciones. Mas adelante veremos tales propiedades.
Proposicion 3.3. Un operador T L(X, Y ) es semi-Fredholm si y solo si lo es T

.
En este caso,
ind(T

) = ind(T)
En particular, T
+
si y solo si T

, y T

si y solo si T

+
.
Demostraci

on. Como R(T) es cerrado si y solo si lo es R(T

), y adem as se verica
dimY/R(T) = (dimY/R(T))

= dimR(T)

= dimker(T

) y
dimker(T) = dim(T)

= dimX

/ker(T)

= dimX

/R(T

)
Con cual T* verica que semi-Fredholm y
ind(T) := dimker(T) dimY/(R(T)) = dimX

/R(T

) dimker(T

) = ind(T)
El resultado anterior permitira deducir por dualidad las propiedades de
+
a partir de
las

, y viceversa.
Enunciaremos en el siguiente resultado algunas propiedades algebraicas de la clase de
operadores semi-Fredholm.
Proposicion 3.4. Sean T L(X, Y ) y S L(Y, Z), con X,Y,Z EB se verica:
1. Si S

(Y, Z)y T

(X, Y ) entonces ST

(X, Z) con
ind(ST) = ind(S) + ind(T);
2. Si ST

(X, Z), S

(Y, Z);
3. Si S
+
(Y, Z) y T
+
(X, Y ), ST
+
(X, Z) con ind(ST) = ind(S)+ind(T);
4. Si ST
+
(X, Z), entonces T
+
(X, Y ).
Demostraci

on. 1. T(X) y S(Y ) son complementados, son cerrados y de codimen-

si on nita. Con lo cual escribimos Y = T(X) M y Z = S(X) N. Luego
Z = N + S(T(X)) + S(M) = ST(X) + [N + S(M)], donde N + S(M) es nito
dimensional. Por lo tanto ST(X) tiene codimensi on nita, i.e ST

(X, Z).
Trabajo nal de An alisis Funcional 10
2. Como ST(X) S(Y ) luego codimS(Y ) codimST(X), con lo cual es nita.
As S

(Y, Z)
3. Utilizamos dualidad en 1), obtenemos que T

y S

son lower semi-fredholm y

T

tambien. Por lo tanto ST

+
(X, Z).
4. Si ST
+
(X, Z) luego (ST)

= T

(Z

, X

), entonces T

es lower
semi-fredholm y por lo tanto T es upper semi-fredholm.
Nos falta ver que ind(ST) = ind(S) + ind(T):
ST

y M := T(X)ker(S). Claramente M es un subespacio de T(X) de dimensi on

nita, y por lo tanto complementado en T(X).
Escribimos T(X) = M N
1
y kerS = M N
2
. Como N
2
T(X) kerS T(X),
obtenemos N
2
T(X) = 0. Elegimos un subespacio de dimension nita N
3
tal que
Y = T(X) N
2
N
3
= M N
2
N
3
Luego S(Y ) = S(N
1
) S(N
3
) = S(N
1
N) S(N
3
) = S(T(X)) S(N
3
)
con lo cual obtenemos (ST) = (S) + dimS(N
3
) = (S) + dimN
3
. Por otra parte,
(S) = dimM + dimN
2
y (T) = dimN
2
+ dimN
3
.
Vamos considerar la restricci on

T := T [kerST : kerST M. Evidentemente, ker

T =
kerT y

T es sobre entonces dimM = (ST) (T). De esto obtenemos
ind(ST) = dimM + (T) (S) dimN
3
=
(S) dimN
2
+ (T) (S) (T) + dimN
2
= ind(S) + ind(T).
Corolario 3.5. Si T

(X), luego p(T) = q(T

) y q(T) = P(T

)
Demostraci

on. Si T

(X), luego T
n

(X), y por lo tanto R(T

n
) es cerrado
n. De las misma forma (T

)
n
tiene rango cerrado, y con lo cual:
ker(T
n
)

= (T
n
(X))

y, ker(T
n
) =

(T
n
)

(X

) =

(T

)
n
(X

)
De estas igualdades se obtiene que q(T) = P(T

) yp(T) = q(T

).
Teorema 3.6. T L(X, Y ). Luego tenemos que:
1. Si T
+
(X, Y ) luego existe > 0 tal que para todo S L(X, Y ) con
|S| < entonces tenemos que T + S
+
(X, Y ). Ademas (T + S) (T) y
ind(T+S)=ind(T).
2. Si T

(X, Y ) luego existe > 0 tal que para todo S L(X, Y ) con
|S| < entonces tenemos que T +S

(X, Y ). Por otra parte (T +S) (T)

y ind(T+S)=ind(T).
Departamento de Matematica - UNLP 11
3 OPERADORES SEMI-FREDHOLM
Demostraci

on. Probaremos el teorema solo para

+
(X, Y ), pues para

(X, Y ) se
ve por dualidad.
Supongamos que T
+
(X, Y ).Como ker(T) tiene dimension nita, admite un com-
plemento. Escribimos X = ker(T)M. Luego T/M es acotado con rango T(X)=T(M)
entonces existe k > 0 tal que |Tx| k |x|, x M.
Sea :=
k
3
. Si |S| < luego 0 |Sx| <
k
3
|x| y por lo tanto:
|(T + S)x| |Tx| |Sx|
2k
3
|x|,x M (*)
As la restriccion (T +S)
M
es acotado, i.e (T +S)
M
es inyectivo y (T+S)(M) es cerrado.
Ahora bien, (T) es nita, digamos (T) = n. Supongamos que (T +S) > n. Luego
ker (T+S) tiene al menos n+1 vectores independientes, como ker(T + S) M =
ker(T +S
M
= 0 en el cociente

X = X/M los elementos correspondientes son tambien
linealmente independientes, pero de la descomposici on X = ker(T) M vemos que
dim(X/M)=dim ker(T)=n, contradicci on. Por lo tanto (T + S) (T).
Con lo anterior vimos que dim(ker T+S) es nito no falta ver que (T+S)(X) es un
subespacio cerrado, as T + S
+
(X, Y ).
Como R(T+S)=R(T)+R(S) y como R(T) es cerrado y R(S) es nito, R(T+S) es ce-
rrado.
Nos falta ver que ind(T+S)=ind(T).Para ellos supongamos que (T) = . Si x M
|Tx (T + S)x| = |Sx| |x|
k
3
|x|
1
3
|Tx|, usando (*) tenemos que
|Tx (T + S)x| = |Sx| |S| |x|
3S
2k
|(T + S)x| <
1
2
.
Las desigualdades anteriores muestran que la diferencia entre Y
1
: (T + S)(M) e
Y
2
: T(M) = T(X) es menor que
1
2
, entonces (Y

1
, Y

2
) = (Y
1
, Y
2
) <
1
2
y apli-
cando el teorema (que va en preliminares..) obtenemos que dim(Y

1
= dimY

2
= (T)
pues Y
2
= T(X). As (T+S)(X)=Y
1
W para alg un subespacio W nito dimensio-
nal, luego concluimos que (T + S) = (T) = . Por lo tanto ind(T+S)=ind(T). Si
(T) < veremos mas adelante, mas precisamente en el teorema (4.6) que la igualdad
sigue valiendo.
Corolario 3.7. El subconjunto

(X, Y ) de los operadores semi-Fredholm es abierto

en L(X,Y). Adem as el ndice es constante en las componentes conexas de

(X, Y )
Demostraci

on. En el teorema anterior se vio que el conjunto de los semi-Fredholms

es abierto.
Sea una componente conexa maximal del conjunto

(X, Y ). Fijamos T
0
. Por
el teorema anterior la funci on T ind(T) es continua en . Por lo tanto el conjunto

1
:= T : ind(T) = ind(T
0
) es cerrado y abierto a la vez, entonces =
1
Trabajo nal de An alisis Funcional 12
Teorema 3.8. Si X e Y son espacios de Banach entonces se cumple que:
Si
+
(X, Y ) ,= luego
+
(X, Y ) + K(X, Y )
+
(X, Y )
Si

(X, Y ) ,= luego

(X, Y ) + K(X, Y )

(X, Y )
Para demostrar este teorema vamos a utilizar el siguiente resultado:
Lema 3.9. Si T L(X, Y ) luego T
+
(X, Y ) si y solo si existe un subespacio M
nito dimensional tal que T/M es acotado inferiormente.
Demostraci

on. ) Si T
+
(X, Y ) sabemos que dim(ker T) es nita y comple-
mentado. Escribimos X = kerT M. Luego la restricci on T/M es biyectivo, entonces
T es acotado inferiormente.
) Supongamos que M subespacio nito dimensional tal que T/M es acotado infe-
riormente. Como kerT M = 0 deducimos que ker(T) es nito dimensional.
Sea N el complemento de M, i.e X = NM con dim(N) < . Luego T(X)=T(M)+T(N),
con T(M) cerrado. Como T(N) es nito dimensional, luego T(X) es cerrado. Por lo tan-
to T
+
.
Ahora si estamos en condiciones de demostrar el teorema (3.8).
Demostraci

on. Sea T
+
(X, Y ) y K K(X, Y ), por el lema anterior, M
1
subespacio cerrado tal que T/M
1
es a acotado inferiormente. Como K es compacto por
teorema (2.13) existe otro subespacio M
2
nito dimesional y > 0 tal que |K/M| < .
Llamemos M := M
1
M
2
. Claramente M es nito dimesional y cerrado. Por otro parte,
nf
xM,x=1
|T + K| nf
xM,x=1
(|Tx| |Kx|)
Luego (T+K)/M es acotado inferiormente y por el lema T + K
+
Para demostrar que ocurre lo mismo para

(X, Y ) usamos dualidad, i.e se ve que

T

(X, Y ) T

+
(Y

, X

). Como K

es compacto T

+K

+
(X, Y ) por lo
tanto T + K

(X, Y ).
Veamos que la clase

es estable ante perturbaci on por operadores compactos

Corolario 3.10. Si T L(X, Y ) es un operador semi-Fredholm y K L(X, Y )
entonces ind(T + K) = ind(T).
Demostraci

on. Por el teorema (3.8) T + K

+
. Teniendo en cuenta la corolario
(3.7) la igualdad de los ndices es consecuencia de que
T + tK
+
, t [0, 1].
El caso T

se sigue de lo anterior por dualidad.

Departamento de Matematica - UNLP 13
3 OPERADORES SEMI-FREDHOLM
Teorema 3.11. Sea T L(X, Y ) .Se verica
1. T
+
si y solo si ker(T+K) tiene dimension nita, para todo operador compacto
K L(X, Y ).
2. T

si y solo si Y/R(T + K) tiene dimension nita para todo operador com-

pacto K L(X, Y ).
Demostraci

on. 1. ) Sabemos por la proposicion (3.8) que (T + K) es semi-

fredholm con lo cual ker(T + K) tiene dimensi on nita.
) Para la vuelta vamos a necesitar la siguiente denici on:
Un operador K: X Y de dice nuclear si podemos encontrar una sucesion (x

n
)
en X

y otra (y
n
) en Y de tal modo que

n=1
|x

n
| |y
n
| < y K(X) =

n=1
x

n
, x y
n
x X.
|K(X)|

n=1
|x

n
| |y
n
| y el operador K es compacto por ser limite de una
sucesi on de operadores de rando nito.
Ahora bien, vamos a suponer que Y/R(T + K) tiene dimension nita y T /
+
.
Vamos a construir un operador nuclear K: X Y de modo que ker(T +K) tenga
dimensi on innita.
-Si ker(T) = , basta tomar K = 0 y listo.
-Si ker(T) < , podemos encontrar un subespacio cerrado X
1
de X de modo que
X = ker(T) X
1
y la restricci on T
X
1
es un operador inyectivo con inverso no
continuo.
Obtendremos mediante un argumento inductivo una sucesion (x
n
) en X
1
y (x

n
)
en X

de modo que:
x

i
, x
j
=
ij
i, j N.(I) y |T(x
n
)| . |x

n
| 2
n
, n N (II)
Como T
X
1
no tiene inverso continuo, existe x
1
en la esfera S
X
1
tal que |T(x
1
)|
2
1
. Ademas por el teorema de Hahn-Banach, existe (x

1
) en la esfera S
X
tal que
x

1
, x
1
= 1.
Supongamos que ya hemos encontrado x
1
, ..., x
n
en X
1
y x

1
, ..., x

n
en X

veri-
cando las condiciones (I) y (II).
Denimos P
n
: X
1
X
1
mediante P
n
(x) := x
i

j=1

j
, x

x
j
. Claramente P
n
es
una proyecci on acotada y kerP
n
= spanx
1
, ..., x
n
. Ademas,como R(P
n
) tiene
codimensi on nitita en el espacio X
1
, la restriccion T
R(P
n
)
no tiene inverso conti-
nuo. Luego podemos encontrar un vector x
n+1
en R(P
n
) vericando |x
n+1
| = 1
y |T(x
n+1
)| 2
n1
|P
n
|
1
. Entonces elegimos f en la esfera de X

tal que
f, x
n+1
= 1 y denimos x

n+1
:= f P
n
.Facilmente se prueba quex
1
, ..., x
n+1
y
x

1
, ..., x

n+1
en X

verican las condiciones (I) y (II)

Trabajo nal de An alisis Funcional 14
Claramente la expresi on K(X) =

n=1
x

n
, x T(x
n
) dene un operador nuclear
K: X Y ; y como T(x
n
) = K(x
n
), ker(T + K) tiene dimensi on innita.
2. ) Como T

y K compacto por proposici on (3.8), T+K es semi-fredholm.

) Vamos a repetir el mismo procedimiento que la vuelta de 1).
Supongamos que T /

y construimos un operador nuclear K: X Y de modo

que ker(T

+ K

) tenga dimensi on innita, luego dim(Y/R(T + K)) = :

-Si R(T) es cerrado, dim(Y/R(T)) = , basta tomar K = 0 y listo.
-Supongamos que R(T) no es cerrado. Sea (a
n
) una sucesion de enteros denida
por (a
1
) := 2 y (a
n+1
) := 2

1 +
n

k=1
a
k

, con n N.
Encontramos inductivamente sucesiones (y
k
) en Y e (y

k
) en Y

de modo que
i, j N y

i
, y
j
=
ij
, |y
i
| a
i
y |y

i
| = 1 y |T

(y

i
)|
1
2
i
a
i
. Como R(T) no
es cerrado, tampoco lo es R(T

), luego podemos encontrar y

1
en Y

, vericando
|y

1
| = 1 y |T

(y

1
)|
1
4
. Selecionamos y
1
en Y tal que |y
1
| 2 y y

1
, y
1
= 1.
Supongamos que n > 1 y que ya hemos encontrado los vectores y
k
e y

k
para
k < n, como la restricci on de T

al subespacio y
1
, ...., y
n1
tiene rango cerrado,
podemos encontrar y

n
en Y

de modo que y

n
, y
n
= 0 para k < n,|y

n
| = 1
y |T

(y

n
)|
1
2
n
a
n
seleccionamos y Y con ,|y| = 2 tal que y

n
, y
n
= 1 y
denimos y
n
:= y
n1

k=1
y

k
, y y
j
.
Es claro que |y
n
| |y|

1 +
n1

k=1
|y
k
|

1 +
n1

k=1
a
k

= a
n
.As encontramos
las sucesiones (y
k
) en Y e (y

k
) en Y

que necesitamos.
Como

k=1
|T(y

n
)| |y
n
| < , la expresi on K(X) =

n=1
T

n
, x y
n
dene un
operador nuclear K: X Y , cuyo operador conjugado actua as:
K(y

) =

n=1
y

, y
n
T

(y

n
)
Como T

(y

n
) = K

(y

n
) n N, tenemos que ker(T

+ K

) tenga dimensi on
innita, luego su predual Y/R(T + K) tambien tiene dimensi on innita.
Departamento de Matematica - UNLP 15
4 OPERADORES DE FREDHOLM
4. Operadores de Fredholm
Denici on. Sea T L(X, Y ) X e Y EB. Se dice que T es un operador de Fredholm
si
T (X, Y ) :=
+
(X, Y )

(X, Y )
Denotamos F(X,Y) el espacio de todos los operadores de Fredholm de X a Y. Y de-
nimos para n Z, el conjunto F
n
= T F(X) : ind(T) = n
Todas las propiedades que valen para los operadores semi-Fredhom tamben valen para
los operadores de Fredholm. Vamos a enunciarlas, su demostraci on es aplicacion de los
resultados de operadore semi-Fredholm.
Proposicion 4.1. Sean X, Y, Z espacios de Banach
Si S (Y, Z)y T (X, Y ) entonces ST (X, Z)con ind(ST) = ind(S) +
ind(T).
Si ST (X, Z), entonces T
+
(X, Y ) y S

(Y, Z).
Si T es Fredholm, luego T

tambien lo es y ind(T

) = ind(T).
Si T F(X, Y ) y K L(X, Y ) es un operador compacto entonces T + K es
tambien Fredholm con ind(T + K) = ind(T).
Proposicion 4.2. Si T : X Y y X e Y tienen dimension nita, luego T es Fredholm
y ind(T)= dim X- dim Y.
Demostraci

on. Es claro que T es Fredholm, pues dimensi on de los espacios son

nitas.
Sabemos que como X es un espacio vectorial,
dim X= dim R(T)+dim ker(T) =[dim Y- dim R(T)

] + dim ker(T).
dim Y/R(T)= dim (Y/R(T))

= dim R(T)

As, ind(T):= dim ker(T)- dim Y/R(T)=dim X- dim Y.

Ahora enunciaremos una propiedad muy importante que surge de la teora de ndice.
Teorema 4.3. T K(X), X EB, luego I T es un operador de Fredholm con
ind(I T) = 0, ,= 0.
Demostraci

on. Por el teorema (2.10) I T es cerrado , esto implica que ker(I

T) tiene dimension nita y (I T) < con lo cual I T (X, Y ). Como
dim[ker(I T

)] = dim[ker(I T)], as ind(I T) = 0.

Vamos a se nalar que de los resultados anteriores son derivados de las propiedades del
espectro de operadores compactos.
Trabajo nal de An alisis Funcional 16
Denici on. Sean X,Y espacios de Banach. T L(X, Y ) se dice Atkinson a izquierda
si T
+
(X, Y ) y T(X) es complementado en X. La clase de estos operadores se
denota
l
(X, Y ). El operador T se dice Atkinson a derecha si T

(X, Y ) y ker (T)

es complementado en Y. Se denota por
r
(X, Y ) a la clase de estas operaciones.
Claramente,
(X, Y )
l
(X, Y )
+
(X, Y )
(X, Y )
r
(X, Y )

(X, Y )
Por otra parte,
(X, Y ) =
l
(X, Y )
r
(X, Y )
Teorema 4.4. Sean X,Y,Z EBs, y T L(X, Y ). Las siguientes armaciones son equi-
valentes:
1. T
l
(X, Y ),
2. Existe S L(Y, X) tal que I
X
ST L
F
(X),
3. Existe S L(Y, X) tal que I
X
ST K(X).
An alogamente,
4. T
r
(X, Y ),
5. Existe S L(Y, X) tal que I
Y
ST L
F
(X),
6. Existe S L(Y, X) tal que I
Y
ST K(X).
Demostraci

on. 1)2) Supongamos que T

l
(X, Y ). Sea Q L(Y ) una proyecci on
de y en T(X). Como ker T es nito dimensional, ker T es complementado; entonces
podemos escribir X = kerT M. Luego la restricci on T/M : M T(X) es biyectivo.
Llamamos S
0
: T(X) M al inverso de T/M y sea S : S
0
Q. Claramente (I
X

ST)[M = 0, as I
X
ST es operador nito dimensional.
2) 3) Es claro, pues K(X) es la clausura en norma de los operadores de rango nito.
3) 1) Supongamos que existe S L(Y, X) tal que I
X
ST = K K(X). Luego ST
es un operador de Fredholm y por la proposicion (4.1) T
+
y S

. Queda por
demostrar que T(X) es complementado en Y.
Tenemos I
X
K = ST , as por el teorema (4.3) ST
+
y ST tiene q:=q(ST)
Sea M := (ST)
q
(X) y por la proposici on (4.1) (ST)
q
(X) y por lo tanto M es un
subespacio de X nito-dimensional. Sea P la proyeccion de X en M y escribimos S
0
:=
PS : Y M. Luego S
0
T/M = (ST)[M = I
M
K/M, K
M
compacto y (S
0
T/M)(M) = M
y S
0
T/M L(M) es suryectivo.
Por el teorema (4.1), S
0
T/M = I
M
K/M deducimos que S
0
T/M es tambien inyectivo.
Luego (S
0
T/M)
1
(S
0
T/M) = I
M
y por lo tanto por el teorema (2.3) T(M) = T/M(M)
Departamento de Matematica - UNLP 17
4 OPERADORES DE FREDHOLM
es complementado en Y. Como T(X) = T(M) T(I P)(X) y T(I-P)(X) es nito
dimensional se sigue que T(X) es un subespacio cerrado de Y nito dimensional y por
lo tanto es complementado en Y.
Teorema 4.5. Si T L(X, Y ). Luego son equivalentes:
1. T (X, Y ),
2. Existe S L(Y, X) tal que I
X
ST L
F
(X) y I
Y
TS L
F
(X),
3. Existe S L(Y, X) tal que I
X
ST K(X) y I
Y
TS K(X).
Demostraci

on. Es claro que la demostraci on del teorema se desprende del teorema

anterior y del hecho de que (X, Y )
l
(X, Y ) y (X, Y )
r
(X, Y )
Teorema 4.6. Para alg un T (X, Y ) , X e Y, EB; existe := (T) > 0 tal que
S L(X, Y ) con |S| < , luego T + S L(X, Y ) y ind (T+S)= ind (T).
Luego el conjunto (X, Y ) es abierto en L(X,Y).
Demostraci

on. Utilizando el teorema (4.5), existe U L(Y, X) y K K(X) tal

que UT = I
X
K. Por el teorema (4.3) I
X
K es Fredholm con indice 0, lo cual UT
tambien lo es. Por la proposici on (4.1) se ve que U es Fredholm y ind T= -ind U.
Tomemos ahora S L(X, Y ) tal que |S| < :=
1
U
. Luego |US| |U| |S| < 1,
por lo tanto por Lema (2.8) I
X
+US es invertible, en particular un es un operador de
Fredholm con indice 0.
Como ind U + ind (T+S)=0, ind(T+S)=-ind U=ind(T)
Por lo tanto ind (T+S)=ind (T).
Trabajo nal de An alisis Funcional 18
4.1

Algebras de Calkin
4.1.

Algebras de Calkin
Consideremos el caso X=Y, espacio de Banach y K(X)=K(X,X). Como K(X) es un
ideal bilatero cerrado, el cociente Cal(X) = L(X)/K(X) es un algebra de Banach con
la siguiente norma cociente:

= nf
T

T
|T|, donde

T := T + K(X)
Y se denomina

Algebra de Calkin.
La proyecci on de notar a
K(x)
: L(X) L(X)/K(X).
El interes del algebra de Calkin en teora de Fredholm proviene del siguiente corolario.
Corolario 4.7. (del teorema 4.5) Supongamos que T L(X).
T (X) si y solo si

T := T + K(X) es invertible en el cociente L(X)/K(X).
Esta caracterizaci on de los operadores de Fredholm se conoce como La caracteriza-
ci on de Atkinson de los operadores de Fredholm.
Demostraci

on. ) Supongamos que T es Fredholm, por el teorema (4.5), existe S

tal que K
1
= I ST e K
2
= I TS son operadores compacto , queremos ver que T+K
es invertible en Cal(X). Aplicamos a estos operadores y obtenemos (I) (K
1
) =
(S)(T) y (I) (K
2
) = (T)(S) ,(K
1
) es la proyecci on sobre ker(T) y (K
2
)
es la proyeccion sobre R(T)

los cuales son a su vez operadores compactos por tener

rango nito. Por consiguiente (S) es la inversa de (T) en L(X)/K(X).
)Como

T es invertible

S Cal(X) tal que

T

S = I y

S

T = I, de aqui obtenemos
que I =

S(T + K) =

ST +

SK, entonces
I (S +K
1
)S = T

S +K

S I ST = T

S +K

S +TK
1
K(X) hacemos el mismo
razonamiento para la otra igualdad y usando el teorema (4.5) vemos que T (X).
Departamento de Matematica - UNLP 19
5 EL ESPECTRO ESENCIAL
5. El Espectro Esencial
La nocion de operadores de fredholm y semi-Fredholm son condiciones de regularidad,
en el sentido en que a pesar de que el operador T no sea invertible, T verica ciertas
condiciones que lo hacen casi invertible. Por ejemplo, si T es de Fredholm, su n ucleo
puede ser no nulo, pero T es casi inyectivo siendo su n ucleo un subespacio de dimension
nita, mientras su rango T(X) puede no ((llenar)) X, es decir T no es sobreyectivo, pero
es casi sobreyectivo, en el sentido que la codimensi on del rango T(X) es nita. Una
nocion de regularidad produce siempre un espectro.
Para empezar recordemos que el espectro de un operador T L(X) esta denido por
(T) = C : I T, es invertible
donde invertible signica que I T es biyectivo.
La denominaci on de espectro nace del hecho que la ecuaci on (I T)x = y, I T /
(T) admite para cada y X una y solo una solucion.
Denici on. Sea T L(X) denimos:
El espectro esencial, tambien llamado Espectro de Fredholm de T como :

e
(T) = C : I T / (X).
El espectro esencial upper- semi-fredholm es
uf
(T) = C : I T /
+
(X)
El espectro esencial lower- semi-fredholm es
lf
(T) = C : I T /

(X)
Observaciones 5.1. Equivalentemente podemos denir el espectro esencial co-
mo
e
(T) =
Cal(X)
(

T).
Tambien se puede denir el Espectro semi-Fredholm de la siguiente manera

sf
(T) = C : I T /

(X).
Proposicion 5.2. Sea T (X)
1.
e
(T) =
uf
(T)
lf
(T).
2.
sf
(T) =
uf
(T)
lf
(T).
3.
e
(T) (T).
4.
e
(T),
uf
(T) y
lf
(T) son conjuntos compactos.
5. Si K es un operador compacto
e
(T + K) =
e
(T).
Demostraci

on. 1.
e
(T) I T / (X) I T /
+
(X) o I T /

(X)
uf
(T) o
lf
(T).
Trabajo nal de An alisis Funcional 20
5.1 Ejemplo
2.
sf
(T) I T /

(X) I T /
+
(X) y I T /

(X)

uf
(T) y
lf
(T).
3. Dado que es morsmo, cumple que Gl(X) G(cal), entonces
e
(T) (T).
4.
uf
(T) I T /
+
(X) I T

(X)
lf
(T

).
5. Como
e
(T) (T) y (T) es compacto, basta ver que
e
(T) es cerrado.
Para ello veamos que toda sucesi on converge de
e
(T) converge a un punto en

e
(T).
Sea
n
una suceci on convergente con lm
n

n
= . Como
n

e
(T)
n
I T /
(X) como esta es una sucesion de operadores converge a I T que esta en
el complemento de los Fredholm, el cual es cerrado, I T / (X) entonces

e
(T). Con lo cual
e
(T) es cerrado y por lo tanto compacto.
La prueba de que
uf
(T) y
lf
(T) son conjuntos compactos se hace de manera
an aloga que lo anterior.
6. Por el corolario (4.6) sabemos que
e
(T) coincide con el espectro de

T := T+K(X)
en el algebra de Calkin.
Proposicion 5.3. Sea T (X),
1.
uf
(T) dim (ker (T )) = o ran (T ) no es cerrado.
2.
lf
(T) dim [ran (T )]

= o ran (T ) no es cerrado.
Demostraci

on. la demostraci on es directa de la denici on de operadores semi-Fredholm.

5.1. Ejemplo
Considemos el espacio X=l
2
(N).
Sea S: X X el operador shift a izquierda denido como (x
1
, x
2
, x
3
, .....)
S
(0, x
1
, x
2
, .....)
y T: X X el operador shift a derecha denido como (x
1
, x
2
, x
3
, .....)
T
(x
2
, x
3
, x
4
, .....).
Se puede ver muy f acilmente que S

= T. Con esto podemos aplicar las proposiciones

(2.15) y (4.1) y obtener el ndice y el espectro de forma bien sencilla.
La dim(ker S)=1 y dim(coker S)=0 entonces el ind (S)=1 y el ind (T)=-1.
Ahora veremos que : (S) = D = C : [[ 1.
(S) = (S

) = (T), como (T) C : [[ 1 = |T|.

(x
1
, x
2
, x
3
, .....) = (x
1
, x
2
, x
3
, .....) x
2
= x
1
, x
3
= x
2
, x
n
= x
n+1
; y sin perdida
de generalidad tomando x
1
:= 1,(1, ,
2
,
3
, ...) l
2
es un autovector asociado a o
sea (T), se obtiene entonces que C : [[ = 1 (T) C : [[ 1
pero (T) es cerrado, (T) = C : [[ 1.
Ahora veamos el espectro esencial de S:
Como
e
(T) (T), el
e
(S) D.
M as precisamente
e
(S) = T.
Departamento de Matematica - UNLP 21
REFERENCIAS
Referencias
[1] Pietro Aiena, Semi-Fredholms Operators, perturbation and localized svep. Escuela Vene-
zonalana de Matematicas. Ediciones IVIC, 2007.
[2] John B. Conway, A curse in Functional Analysis.Springer-Verlag, 1985.
[3] G. Corach y E. Andruchow, Notas de Analisis Funcional, 1997.
[4] Demetrio Stojano, Un curso de Analisis Funcional,2011.
Trabajo nal de An alisis Funcional 22