Anlisis Funcional

Area: Anlisis
Noviembre 2010

Verano, IMPA 2011.

William Campillay

Resumen
Estos Apuntes corresponden al curso realizado por Benar Fux Svaiter, IMPA - 2011
.

1.

5 de Enero: Espacios Vectoriales Normados.

Definiciones, Espacios de dimensin finita, Equivalencia de Normas, Completitud, Lema

de Riesz, Argumento de compacidad en espacios mtricos, Demuestra detalladamente la
completitud de un espacio mtrico identificando el espacio completo con un cociente de
espacio convenientes.

2.

7 de Enero: Teorema de Hanh Banach.

Funcionales lineales continuos, Dual Topolgico.

Teorema 2.1. Si X es un e.v.n. es completo, entonces X es completo.

Idea de la demostracin:
Teorema 2.2 (Hahn Banach Real.). Sea X un espacio vectorial real p : X R un funcional
sublineal. Si f : Z R es un funcional lineal definido en un subespacio Z X que esta
dominado por p, o sea,
f (x) p(x) x Z.
Entonces f posee una extencin lineal F : X R que tambn dominada por p, o sea,
F (x) p(x) x X.
F es llamada la extencin de Hahn-Banach de f.
Observacin 2.3. Estudiar el caso complejo. Qu diferencias?
Teorema 2.4. X e.v.n sea x0 X, x0 Existe f X; kf k = 1; f (x0 ) = kx0 k.
Teorema 2.5. X e.v.n, M subespacios vectorial, y f acotada en M. Entonces Existe F :
X R C extendiendo a f y
kF k = kf k.
*

William Campillay e-mail: wcampillay@dim.uchile.cl//williamcampillay@gmail.com

3.

9 de Enero: Aplicaciones del Teorema de Hahn Banach

Teorema 3.1. Sea X e.v.n. M subespacios vectorial y d(x0 , M ) > 0. Entonces existe F X,
kF k = 1, F 0, F (x0 ) = d(x0 , M ).
Qu teorema de la clase anterior se deduce de este?
Teorema 3.2. X e.v.n., Si X es separable. Entonces X es separable.
Adems se introducen los espacios c0 , l1 , l y se demuestran la dualidad.

4.

12 de Enero: Reflexividad-Principiio de acotacin uniforme

Define la reflexividad de la funcin cannica y hace una demostracin basatante tcnica.

Teorema 4.1. X un espacio de Banach, X es reflexivo, si y slo si X

Teorema 4.2. X un Banach Reflexivo, M un s.e.v cerrado, entonces M es reflexivo.
Proposicin 4.3. Sean X, Y e.v. normados A : X Y lineal son equivalentes:
1. A es acotado
2. A es continuo
3. A es continua en algn x0 X
Lema 4.4 (Lema de Baire). Sea X un espacio topplgico, entonces las siguientes afirmaciones son equivalentes:
1. Una unin numerable de conjuntos cerrados, con interior vacio en X, tiene interior
vacio.
2. La interseccin numerable de conjuntos abiertos densos en X es un conjunto denso en
X.
Teorema 4.5 (Principio de Acotacin uniforme). Toda coleccin {T }J de operadores
acotados B(B, N ) que es puntualmente acotada, es decir, para cada x B se tiene
sup{kT xk : J} < ,
es uniformemente acotada, o sea, supJ kT k <
Se menciona la convergencia puntual, y se hace una introduccin (que que no entend)
pero lo hace como brezis, preguntandos cul es la topologa ms econmica? Se presenta
la topologa dbil (X, X )
Proposicin 4.6. Si xn * x entonces xn es acotada
Preguntas: Existe la toplogia que xn * x sea una convergencia? La topologa dbil
separa puntos (Aplicacin de Hahn-Banach)? La topologa es compatible con la estructura
lineal?
2

5.

14 de Enero: Repaso de los conceptos desarrollados

Sabemos que si X es reflexivo entonces X es reflexivo en esta parte es esencial que X

se de Banach. Adems notemos que Y es Banach, entonces L(X, Y ) es un Banach. Notemos
que la dimensin del Kernel ms unos de la dimensin del espacio. Como vio que en la
topologa dbil en un abierto se puede construir un hiperplano? Es decir en la topologa
dbil un abierto siempre no es acotado. Notemos que si partimos de un espacio normado
siempre tenemos que es de Hausdorff Por qu? (Funciona Hanh Banach). (X, X ) realiza el
concepto de convergencia xn * x. (X,(X, X )) es un espacio vectorial toplgico? (Se debe
demostrar la compatibilidad de la suma y la multiplicacin por escalar, esto es demostrar la
continuidad de la funcin suma y multiplcacin escalar.)

6.

19 de Enero: Hanh Banach y Aplicaciones

Teorema 6.1. X Banach (xn ) sucesin limitada A X Para todo f A, existe lmn f (xn ) =
f (x) [A] = X. Entonces xn * x.
Teorema 6.2. X Banach Reflexivo (xn ) sucesin, para todo f X , existe lmn f (xn ).
Entonces existe x X xn * x.
kf k = supkxk1 |f (x)| es mximo? Pero es una fucin continua definida en un compacto? Compacto pero en que topologa? En los espacios mtricos la continuidad se puede
caracaterizar diciendo que es continua si alcanza minimo, mximo en el compacto? Que
nos dice kxk = supkf k1 |f (x)| en relacin a la compacidad?
Teorema 6.3. X Banach {f X : kf k 1} = BX [0, 1] es compacta en la topologa
dbil- ((X , X )).
Se demuestran propiedades del siguiente funcional, para establecer las versiones geomtricas del Teorema de extensin de Hahn Banach.
Definicin 6.4. Sea C X un convexo abierto, 0 C Para todo x X definimos
p(x) = inf { > 0|1 x C}
Teorema 6.5. Sean A X y B X dos conjuntos convexos, no vacios, disjuntos. Supongamos que A es abierto . Entonces hay un hiperplano que separa A y B en el sentido amplio.
Teorema 6.6. Sean A X y B X dos conjuntos convexos, no vacios, disjuntos. Supongamos que A es cerrado y B compacto. Entonces hay un hiperplano que separa A y B en el
sentido estricto.

7.

21 de Enero: Teorema de la aplicacin abierta, Grafo cerrado, Operadores Cerrados

Definicin 7.1. Sean X e Y espacios vectoriales normados A : X D Y es lineal y

cerrado si (xn )nN sucesin en D, xn x y Axn y Entonces x D; Ax = y.
3

Proposicin 7.2. Sean X e Y espacios vectoriales normados A : X D Y es lineal.

A es cerrado GA = {(x, y); x D; y = Ax} cerrado en XxY
Proposicin 7.3. X e.v.n, Y Banach A : X D Y es lineal y acotado.
A es cerrado D escerrado.
Proposicin 7.4. X, Y e.v.n.A : X D Y es lineal y cerrado. Si A es inyectivo.
Entonces A1 : Y R(A) X
Proposicin 7.5. A : X D Y acotada e inyectiva.
A1 : Y R(A) X acotada existe M kxk M kAxk.
Teorema 7.6 (Teorema de la Aplicacin abierta). Sea X e.v.n. y un Banach A : X D
Y cerrado y sobreyectivo.
Existe M > 0 para todo y Y existe un x D; Ax = y; kxk M kyk
A lleva abierto de D en abiertos de Y.
A es inyectiva. Entonces A1 : Y X es continua.
Teorema 7.7. X, Y Banach, A : X Y lineal acotado. Si A es sobre e inyectiva. Entonces
A1 es acotado.
Teorema 7.8. X, Y espacios de Banach, A : X Y cerrado D(A) = X. Entonces A es
acotado.

Referencias
[1] Bachman-Narici, Functional Analisis, Academic Press, New York, 1966.
[2] Oliveira, Csar, Introducao a anlise funcional, Projeto Euclides-IMPA, Rio de
Janeiro, 2010.