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. Definiciones 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 final de Analisis Funcional 2

1. Introducci
on
En el presente trabajo se pretende dar una pequena introduccion 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 ecuacion 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 demostracion 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 definira el Algebra de Calkin. Al final 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. Definiciones Generales

Sea X un K -Espacio vectorial , se dice que X es un Espacio Normado si esta dotado de una
norma, i.e una funcion k.k : X R+ que cumple:

1. kxk = 0 x = 0

2. kxk = || kxk, para todo par x,y X y K

3. kx + yk kxk kyk

La metrica resultante se define como d(x, y) = kx yk x, y X

Definicion. Un espacio normado se dice que es un Espacio de Banach si es completo

respecto a la metrica definida 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 : kT xk k kxk ,x X).

on. Sea T : X Y un operador lineal acotado, se llama Norma de T a,

Definici
kT xk
kT k= sup kxk
kxk6=0

Definicion. Llamamos L(X,Y)= {T : X Y / T es lineal y acotado } que es vectorial con

las operaciones usuales y es normado si definimos la norma anterior y ademas 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), definido por

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

Sea T un operador acotado definimos nucleo de T a ker T={x X : T x = 0} y la Rango

de T a R(T)={T x : x X}.

Si T(X) es cerrado T (X ) es cerrado.

Trabajo final de Analisis Funcional 4

 2.1 Definiciones Generales

on. Sea M X,
Definici

el anulador de M es un subespacio cerrado de X definido 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 nucleo y el rango son las siguientes:

) = ker(T )
R(T ) = ker(T ), ker(T ) = ker(T ), R(T
y si R(T) es cerrado R(T ) = ker(T ) .

on. Un operador T de dice acotado inferiormente si k > 0 tal que kT xk k kxk,

Definici
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 M N = {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 codimension de un espacio M de X es la dimension de todo complemento algebraico N

de M, o equivalentemente la dimension 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 endomorfismo son las proyecciones. Si M N = X y x = y + z

con x X, y M y z N , definimos P: X M por Px=y. Este mapeo lineal proyecta a X a
lo largo de M y N.

Si X es EB y M N = X y sea P una proyeccion 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 = IX .

2. T es suryectivo y ker(T) es complementado si y solo si existe S L(X, Y ) tal que

T S = IY .

Departamento de Matematica - UNLP 5

2 PRELIMINARES

Definicion. Si M y N son dos subespacios cerrados de un EB X, definimos

(M, N ) := sup {dist(x, N ) : x M, kxk = 1}, con (M, N ) = 0 si M = {0}.
La diferencia entre M y N es definido como (M, N ) := max {(M, N ), (N, M )}.

Teorema 2.4. Si (M, N ) < 1, luego M y N son ambos infinitos dimensionales o dim(M ) =
dim(N ) < .

Definicion. Sea X EB y T : X X un operador lineal:

El ascent de T, denotado p(T), se define como

mn {n : kerT n = kerT n+1 } , si {n : kerT n = kerT n+1 } =
6
p(T ) =
, si {n : kerT n = kerT n+1 } =

En forma similar, El descent denotado q(T), es

mn {n : T n (X) = T n+1 (X)} , si {n : T n (X) = T n+1 (X)} =
6
p(T ) =
, 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.

Definici
on. Sea X un EB, y T un operador, Las deficiencias de T se definen de la siguiente
forma:
(T )= dim(ker T) y (T )= codim T(X).

Teorema 2.6. Si p(T) y q(T) son finitos entonces p(T)=q(T).

on. Si T L(X, Y ), X e Y EBs, definimos el mnimo modulo de T

Definici
kT xk
(T ) := nf dist(x,kerT )
xkerT
/

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 )

Definici
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 kT k < 1. Luego I-T es invertible.

Trabajo final de Analisis Funcional 6

 2.2 Operadores compactos

Pn n n
j
kT j k kT kj , entonces
P P
Demostracio n. Tenemos
T
j=m j=m j=m
n
T n es una serie de Cauchy en el algebra de Banach L(X), y por lo tanto hay un
P
j=m
n
T n.
P
S L(X) tal que S =
j=m
n
T n+1 = S I, de donde se obtiene (I T )S = S T S = I y
P
Luego ST = T S =
j=m
n
T n.
P
S(I T ) = S ST = I. Por lo tanto, I-T es invertible con inverso S =
j=m

2.2. Operadores compactos

Definici on. Sea T un operador acotado en un espacio normado X e Y. T se dice Compacto
si para toda sucesion (xn ) X, T (xn ) tiene una subsucesion convergente. Esto es equivalente
a decir que la clausura de T (Bx ), Bx la bola unitaria cerrada en X, es un conjunto compacto
de Y.
Denotamos K (X,Y) al conjunto de los operadores compactos.
Definicion. Sea X un espacio de Banach, LF (X) = {T L(x) : R(T ) < } L(X), de-
nota el subespacio de operadores de rando finito.
Generalmente, al conjunto de los operadores compactos se los define como la clausura en
norma de los LF (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 kx k y ky x k , y Y .
Teorema 2.10. Sea T K(X), X EB, luego (I T ) < y (I T )(x) es cerrado
6= 0.
.
Teorema 2.11. Si T K(X), luego p(I T ) = q(I T ) < , 6= 0.
Teorema 2.12. Si X e Y son EB, T L(X, Y ) es un operador compacto con rando cerrado,
luego T es finito-dimensional.
Teorema 2.13. T L(X, Y ) son equivalentes:

1. T K(X, Y ),

2.  > 0, M subespacio cerrado de dimension finita tal que kT /M k < 

Departamento de Matematica - UNLP 7

2 PRELIMINARES

2.3. Espectro de Operadores

on. Sea T L(X), definimos el espectro de T como:
Definici

(T ) = { C : I T, es invertible}

Observaci on 2.14. Se puede ver que (T ) es compacto,no vaco y;

(T ) {z C : |z| < kT k}

Clasificaremos el espectro en tres grupos:

Un punto C es autovalor de T o pertenece al espectro puntual de A, p (T ), si

no existe (A I)1 . Cada vector x X tal que (A I)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(A I) es denso en X

y existe (A I)1 pero no esta acotado.

Un punto C pertenece al espectro residual de A, r (T ) si existe (A I)1

pero esta definido por un subconjunto no denso de X.

on 2.15. Sea X un EB.Si T L(X), entonces (T ) = (T ) para todo

Proposici

T L(X ).

on 2.16. Sea T K(X). Dado (T ) tal que 6= 0, se tiene que

Proposici

1. es un autovalor;
2. Ademas 0 6= dimker(I T ) = dimR(I T ) <
3. R(I T ) es cerrado y tiene codimension finita.

Trabajo final de Analisis Funcional 8

 3. Operadores semi-Fredholm
on. Sea T L(X, Y ), X e Y espacios de Banach
Definici

T se dice upper semi-Fredholm si tiene rango cerrado y n

ucleo de dimension finita.
T se dice lower-semi-Fredholm si tiene rango de dimension cofinita.(i.e dimY /R(T )
es finita)

Denotamos por + (X, Y ) y (X, Y ) las clases de los operadores upper y lower semi-
Fredholm, respectivamente.
Ademas := + 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 )

un, (T ) = (T ) y (T ) = (T )
Mas a

Los operadores upper-semi-Fredholm admiten una caracterizacion similar que los ope-
radores compactos.Veamoslo en el siguiente resultado.

Proposici on 3.2. Un operador T L(X, Y ) es upper-semi-Fredholm si y solo si

una sucesion acotada (xn ) en X tiene una subsusecion convergente cuando (T xn ) es
convergente.

Demostracio n. ) Supongamos T + . Sea (xn ) una sucesion acotada en X para la

que (T xn ) es convergente.
Como ker(T) tiene dimension finita, existe un subespacio cerrado M de modo que
X = ker(T ) M . Luego podemos escribir xn = yn + zn con (yn ) y (zn ) sucesiones
acotadas en N(T) y M, respectivamente.
Notemos que T |M es un isomorfismo, luego la sucesion (zn ) es convergente. Ademas
como (yn ) es acotada en un espacio de dimension finita, tiene una subsucesion conver-
gente. Por lo tanto (xn ) tiene una subsucesion convergente.
) Supongamos T / + . Si ker(T ) tiene dimension infinita, basta encontrar una su-
cesion acotada sin subsucesiones convergentes (xn ) en ker(T ).
Si ker(T ) tiene dimension finita, 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 (zn ) en M de modo que lm kT zn k = 0.
n
La sucecion (zn ) no puede tener subsucesiones convergentes: si z fuese limite de una
subsucesion de (zn ), tendramos z M ker(T ) y kzk = 1 que es imposible.

on. El ndice de un operador T (X, Y ) se define mediante:

Definici

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 + .

n. Como R(T ) es cerrado si y solo si lo es R(T ), y ademas se verifica

Demostracio

dimY /R(T ) = (dimY /R(T )) = dimR(T ) = dimker(T ) y

dimker(T ) = dim(T ) = dimX /ker(T ) = dimX /R(T )

Con cual T* verifica 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.

on 3.4. Sean T L(X, Y ) y S L(Y, Z), con X,Y,Z EB se verifica:

Proposici

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 ).

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

sion finita. 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 finito
dimensional. Por lo tanto ST (X) tiene codimension finita, i.e ST (X, Z).

Trabajo final de Analisis Funcional 10

 2. Como ST (X) S(Y ) luego codimS(Y ) codimST (X), con lo cual es finita.
As S (Y, Z)
3. Utilizamos dualidad en 1), obtenemos que T y S son lower semi-fredholm y
T S tambien. Por lo tanto ST + (X, Z).
4. Si ST + (X, Z) luego (ST ) = T S (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 dimension
finita, y por lo tanto complementado en T(X).
Escribimos T (X) = M N1 y kerS = M N2 . Como N2 T (X) kerS T (X),
obtenemos N2 T (X) = {0}. Elegimos un subespacio de dimension finita N3 tal que

Y = T (X) N2 N3 = M N2 N3

Luego S(Y ) = S(N1 ) S(N3 ) = S(N1 N ) S(N3 ) = S(T (X)) S(N3 )

con lo cual obtenemos (ST ) = (S) + dimS(N3 ) = (S) + dimN3 . Por otra parte,
(S) = dimM + dimN2 y (T ) = dimN2 + dimN3 .
Vamos considerar la restriccion Tb := T |kerST : kerST M . Evidentemente, kerTb =
kerT y Tb es sobre entonces dimM = (ST ) (T ). De esto obtenemos

ind(ST ) = dimM + (T ) (S) dimN3 =

(S) dimN2 + (T ) (S) (T ) + dimN2 = ind(S) + ind(T ).

Corolario 3.5. Si T (X), luego p(T ) = q(T ) y q(T ) = P (T )

Demostracio n. 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
kSk <  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
kSk <  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

Demostracio n. 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 finita, 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 kT xk k kxk, x M .
Sea  := k3 . Si kSk <  luego 0 kSxk < k3 kxk y por lo tanto:
2k
k(T + S)xk kT xk kSxk 3
kxk,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 finita, 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 + SM = 0 en el cociente X = X/M los elementos correspondientes son tambien
linealmente independientes, pero de la descomposicion X = ker(T ) M vemos que
dim(X/M)=dim ker(T)=n, contradiccion. Por lo tanto (T + S) (T ).
Con lo anterior vimos que dim(ker T+S) es finito 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 finito, R(T+S) es ce-
rrado.

Nos falta ver que ind(T+S)=ind(T).Para ellos supongamos que (T ) = . Si x M

kT x (T + S)xk = kSxk  kxk k3 kxk 31 kT xk, usando (*) tenemos que

3kSk
kT x (T + S)xk = kSxk kSk kxk 2k
k(T + S)xk < 12 .

Las desigualdades anteriores muestran que la diferencia entre Y1 : (T + S)(M ) e

Y2 : T (M ) = T (X) es menor que 21 , entonces (Y1 , Y2 ) = (Y1 , Y2 ) < 12 y apli-
cando el teorema (que va en preliminares..) obtenemos que dim(Y1 = dimY2 = (T )
pues Y2 = T (X). As (T+S)(X)=Y1 W para alg un subespacio W finito 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). Ademas el ndice es constante en las componentes conexas de (X, Y )
Demostracio n. 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 T0 . Por
el teorema anterior la funcion T 7 ind(T ) es continua en . Por lo tanto el conjunto
1 := {T : ind(T ) = ind(T0 )} es cerrado y abierto a la vez, entonces = 1

Trabajo final de Analisis Funcional 12

 Teorema 3.8. Si X e Y son espacios de Banach entonces se cumple que:

Si + (X, Y ) 6= luego + (X, Y ) + K(X, Y ) + (X, Y )

Si (X, Y ) 6= 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
finito dimensional tal que T/M es acotado inferiormente.
Demostracio n. ) Si T + (X, Y ) sabemos que dim(ker T) es finita y comple-
mentado. Escribimos X = kerT M . Luego la restriccion T/M es biyectivo, entonces
T es acotado inferiormente.
) Supongamos que M subespacio finito dimensional tal que T/M es acotado infe-
riormente. Como kerT M = {0} deducimos que ker(T) es finito dimensional.
Sea N el complemento de M, i.e X = N M con dim(N ) < . Luego T(X)=T(M)+T(N),
con T(M) cerrado. Como T(N) es finito dimensional, luego T(X) es cerrado. Por lo tan-
to T + .

Ahora si estamos en condiciones de demostrar el teorema (3.8).

Demostracio n. Sea T + (X, Y ) y K K(X, Y ), por el lema anterior, M1
subespacio cerrado tal que T /M1 esa acotado inferiormente. Como K es compacto por
teorema (2.13) existe otro subespacio M2 finito dimesional y  > 0 tal que kK/M k < .
Llamemos M := M1 M2 . Claramente M es finito dimesional y cerrado. Por otro parte,

nf kT + Kk nf (kT xk kKxk) 
xM,kxk=1 xM,kxk=1

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 perturbacion 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 ).
Demostracio n. 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 verifica

1. T + si y solo si ker(T +K) tiene dimension finita, para todo operador compacto
K L(X, Y ).
2. T si y solo si Y /R(T + K) tiene dimension finita para todo operador com-
pacto K L(X, Y ).

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

fredholm con lo cual ker(T + K) tiene dimension finita.
) Para la vuelta vamos a necesitar la siguiente definicion:

Un operador K: X Y de dice nuclear si podemos encontrar una sucesion (xn )

en X y otra (yn ) en Y de tal modo que kxn k kyn k < y K(X) = hxn , xi yn
P P
n=1 n=1
x X.

kxn k kyn k y el operador K es compacto por ser limite de una
P
kK(X)k
n=1
sucesion de operadores de rando finito.
Ahora bien, vamos a suponer que Y /R(T + K) tiene dimension finita y T / + .
Vamos a construir un operador nuclear K: X Y de modo que ker(T +K) tenga
dimension infinita.
-Si ker(T ) = , basta tomar K = 0 y listo.
-Si ker(T ) < , podemos encontrar un subespacio cerrado X1 de X de modo que
X = ker(T ) X1 y la restriccion TX1 es un operador inyectivo con inverso no
continuo.
Obtendremos mediante un argumento inductivo una sucesion (xn ) en X1 y (xn )
en X de modo que:

hxi , xj i = ij i, j N.(I) y kT (xn )k . kxn k 2n , n N (II)

Como TX1 no tiene inverso continuo, existe x1 en la esfera SX1 tal que kT (x1 )k
21 . Ademas por el teorema de Hahn-Banach, existe (x1 ) en la esfera SX tal que
hx1 , x1 i = 1.
Supongamos que ya hemos encontrado x1 , ..., xn en X1 y x1 , ..., xn en X verifi-
cando las condiciones (I) y (II).
i

xj , x xj . Claramente Pn es
P 
Definimos Pn : X1 X1 mediante Pn (x) := x
j=1
una proyeccion acotada y kerPn = span {x1 , ..., xn }. Ademas,como R(Pn ) tiene
codimension finitita en el espacio X1 , la restriccion TR(Pn ) no tiene inverso conti-
nuo. Luego podemos encontrar un vector xn+1 en R(Pn ) verificando kxn+1 k = 1
y kT (xn+1 )k 2n1 kPn k1 . Entonces elegimos f en la esfera de X tal que
hf, xn+1 i = 1 y definimos xn+1 := f Pn .Facilmente se prueba quex1 , ..., xn+1 y
x1 , ..., xn+1 en X verifican las condiciones (I) y (II)

Trabajo final de Analisis Funcional 14


hxn , xi T (xn ) define un operador nuclear
P
Claramente la expresion K(X) =
n=1
K: X Y ; y como T (xn ) = K(xn ), ker(T + K) tiene dimension infinita.
2. ) Como T y K compacto por proposicion (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 dimension infinita, 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 (an ) una sucesion de enteros definida
Pn
por (a1 ) := 2 y (an+1 ) := 2 1 + ak , con n N.
k=1
Encontramos inductivamente sucesiones (yk ) en Y e (yk ) en Y de modo que
i, j N hyi , yj i = ij , kyi k ai y kyi k = 1 y kT (yi )k 2i1ai . Como R(T ) no
es cerrado, tampoco lo es R(T ), luego podemos encontrar y1 en Y , verificando
ky1 k = 1 y kT (y1 )k 14 . Selecionamos y1 en Y tal que ky1 k 2 y hy1 , y1 i = 1.
Supongamos que n > 1 y que ya hemos encontrado los vectores yk e yk para
k < n, como la restriccion de T al subespacio {y1 , ...., yn1 } tiene rango cerrado,
podemos encontrar yn en Y de modo que hyn , yn i = 0 para k < n,kyn k = 1
y kT (yn )k 2n1an seleccionamos y Y con ,kyk = 2 tal que hyn , yn i = 1 y
n1
P
definimos yn := y hyk , yi yj .
k=1    
n1
P n1
P
Es claro que kyn k kyk 1 + kyk k 2 1 + ak = an .As encontramos
k=1 k=1
las sucesiones (yk ) en Y e (yk ) en Y que necesitamos.

kT (yn )k kyn k < , la expresion K(X) = hT yn , xi yn define un
P P
Como
k=1 n=1
operador nuclear K: X Y , cuyo operador conjugado actua as:

K(y ) = hy , yn i T (yn )
P
n=1

Como T (yn ) = K (yn ) n N, tenemos que ker(T + K ) tenga dimension

infinita, luego su predual Y /R(T + K) tambien tiene dimension infinita.

Departamento de Matematica - UNLP 15

4 OPERADORES DE FREDHOLM

4. Operadores de Fredholm
on. Sea T L(X, Y ) X e Y EB. Se dice que T es un operador de Fredholm
Definici
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 defi-

nimos para n Z, el conjunto Fn = {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 demostracion es aplicacion de los
resultados de operadore semi-Fredholm.

Proposici
on 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 ).

on 4.2. Si T : X Y y X e Y tienen dimension finita, luego T es Fredholm

Proposici
y ind(T)= dim X- dim Y.

Demostracio n. Es claro que T es Fredholm, pues dimension de los espacios son

finitas.
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, 6= 0.

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

T ) tiene dimension finita 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 senalar que de los resultados anteriores son derivados de las propiedades del
espectro de operadores compactos.

Trabajo final de Analisis Funcional 16

 on. Sean X,Y espacios de Banach. T L(X, Y ) se dice Atkinson a izquierda
Definici
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 afirmaciones son equi-
valentes:

1. T l (X, Y ),
2. Existe S L(Y, X) tal que IX ST LF (X),
3. Existe S L(Y, X) tal que IX ST K(X).

Analogamente,
4. T r (X, Y ),
5. Existe S L(Y, X) tal que IY ST LF (X),
6. Existe S L(Y, X) tal que IY ST K(X).
Demostracio n. 1) 2) Supongamos que T l (X, Y ). Sea Q L(Y ) una proyeccion
de y en T(X). Como ker T es finito dimensional, ker T es complementado; entonces
podemos escribir X = kerT M . Luego la restriccion T /M : M T (X) es biyectivo.
Llamamos S0 : T (X) M al inverso de T/M y sea S : S0 Q. Claramente (IX
ST )|M = 0, as IX ST es operador finito dimensional.
2) 3) Es claro, pues K(X) es la clausura en norma de los operadores de rango finito.
3) 1) Supongamos que existe S L(Y, X) tal que IX 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 IX K = ST , as por el teorema (4.3) ST + y ST tiene q:=q(ST)
Sea M := (ST )q (X) y por la proposicion (4.1) (ST )q (X) y por lo tanto M es un
subespacio de X finito-dimensional. Sea P la proyeccion de X en M y escribimos S0 :=
P S : Y M . Luego S0 T /M = (ST )|M = IM K/M , KM compacto y (S0 T /M )(M ) = M
y S0 T /M L(M ) es suryectivo.
Por el teorema (4.1), S0 T /M = IM K/M deducimos que S0 T /M es tambien inyectivo.
Luego (S0 T /M )1 (S0 T /M ) = IM 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 finito

dimensional se sigue que T(X) es un subespacio cerrado de Y finito 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 IX ST LF (X) y IY T S LF (X),
3. Existe S L(Y, X) tal que IX ST K(X) y IY T S K(X).

Demostracio n. Es claro que la demostracion 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 kSk < , luego T + S L(X, Y ) y ind (T+S)= ind (T).
Luego el conjunto (X, Y ) es abierto en L(X,Y).

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

que U T = IX K. Por el teorema (4.3) IX K es Fredholm con indice 0, lo cual UT
tambien lo es. Por la proposicion (4.1) se ve que U es Fredholm y ind T= -ind U.
Tomemos ahora S L(X, Y ) tal que kSk < := kU1 k . Luego kU Sk kU k kSk < 1,
por lo tanto por Lema (2.8) IX + U S 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 final de Analisis 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:


T = nf kT k, donde T := T + K(X)
T T

Y se denomina Algebra de Calkin.
La proyeccion de notara 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 caracterizacion de los operadores de Fredholm se conoce como La caracteriza-

ci
on de Atkinson de los operadores de Fredholm.

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

tal que K1 = I ST e K2 = I T S son operadores compacto , queremos ver que T+K
es invertible en Cal(X). Aplicamos a estos operadores y obtenemos (I) (K1 ) =
(S)(T ) y (I) (K2 ) = (T )(S) ,(K1 ) es la proyeccion sobre ker(T) y (K2 )
es la proyeccion sobre R(T ) los cuales son a su vez operadores compactos por tener
rango finito. Por consiguiente (S) es la inversa de (T ) en L(X)/K(X).
)Como T es invertible S Cal(X) tal que TS = I y ST = I, de aqui obtenemos
+ K) = ST
que I = S(T + SK,
entonces
I (S + K1 )S = T S + K S I ST = T S + K S + T K1 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 verifica 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
finita, mientras su rango T(X) puede no ((llenar)) X, es decir T no es sobreyectivo, pero
es casi sobreyectivo, en el sentido que la codimension del rango T(X) es finita. Una
nocion de regularidad produce siempre un espectro.

Para empezar recordemos que el espectro de un operador T L(X) esta definido por

(T ) = { C : I T, es invertible}

donde invertible significa que I T es biyectivo.

La denominacion de espectro nace del hecho que la ecuacion (I T )x = y, I T
/
(T ) admite para cada y X una y solo una solucion.

on. Sea T L(X) definimos:

Definici

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 definir el espectro esencial co-

mo e (T ) = Cal(X) (T).
Tambien se puede definir el Espectro semi-Fredholm de la siguiente manera
sf (T ) = { C : I T
/ (X)}.

on 5.2. Sea T (X)

Proposici

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 ).

Demostracio n. 1. e (T ) I T / (X) I T
/ + (X) o I T
/
(X) uf (T ) o lf (T ).

Trabajo final de Analisis 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 morfismo, cumple que Gl(X) G(cal), entonces e (T ) (T ).
/ + (X) I T
4. uf (T ) 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 sucesion converge de e (T ) converge a un punto en
e (T ).
Sea {n } una sucecion convergente con lm n = . Como n e (T ) n I T
/
n7
(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
analoga 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.
on 5.3. Sea T (X),
Proposici

1. uf (T ) dim (ker (T )) = o ran (T ) no es cerrado.

2. lf (T ) dim [ran (T )] = o ran (T ) no es cerrado.
n. la demostracion es directa de la definicion de operadores semi-Fredholm.
Demostracio

5.1. Ejemplo
Considemos el espacio X=l 2 (N).
S
Sea S: X X el operador shift a izquierda definido como (x1 , x2 , x3 , .....) (0, x1 , x2 , .....)
T
y T: X X el operador shift a derecha definido como (x1 , x2 , x3 , .....) (x2 , x3 , x4 , .....).
Se puede ver muy facilmente 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 = kT k}.
(x1 , x2 , x3 , .....) = (x1 , x2 , x3 , .....) x2 = x1 , x3 = x2 , xn = xn+1 ; y sin perdida
de generalidad tomando x1 := 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.
Mas 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 Stojanoff, Un curso de Analisis Funcional,2011.

Trabajo final de Analisis Funcional 22