AFcap 3
AFcap 3
AFcap 3
b) Si A R2 es el conjunto de los n
umeros racionales sobre el eje x, A es ralo.
A es ralo () 8B" (x) 9B"0 (x0 ) B" (x) tal que A \ B"0 (x0 ) = ;:
Prueba. Ejercicio.
c
Observaci on 3.4 Para un conjunto ralo A en un espacio topol ogico X, el complemento A
es denso en X, porque en caso contrario existira una vecindad U A, lo cual contradice que
A es ralo. Subconjuntos de conjuntos magros son magros. La reuni on contable de conjuntos
magros es tambien un conjunto magro.
El teorema de Baire dice que un espacio metrico completo es de segunda categora (no es
magro). Por medio de las operaciones de reunion y complemento de conjuntos se obtienen
muchas versiones de este teorema, el cual tiene muchas aplicaciones en el analisis funcional y en
la topologa.
51
52 Chapter 3. Teoremas fundamentales del análisis funcional
Prueba. Sea (Ak )k2N una sucesion de conjuntos abiertos y densos del espacio metrico
completo X. Sea B"0 (x0 ) una bola abierta arbitraria de X. El conjunto B"0 =2 (x0 ) \ A1 , es
abierto y no vaco, por tanto existe una bola abierta B"1 (x1 ) con 0 < "1 < "0 =2 y B"1 (x1 )
B"0 =2 (x0 ) \ A1 B"0 (x0 ). Continuando esta construccion, obtenemos una sucesion de bolas
abiertas con
1
B"k (xk ) B 1 "k (xk 1) \ Ak B"k 1
(xk 1) para todo k 2 N ("k < "k 1 ). (3.1)
2 1 2
Los puntos medios xk de estas bolas forman una sucesion de Cauchy y debido a la completez de
X, existe un x 2 X tal que xk ! x. Sea k 2 N, l > k se tiene que
y por tanto
Prueba. Sea fEk gk2N una familia contable de subconjuntos ralos de X. Por la observacion
c
3.4, los conjuntos Ak := Ek son abiertos y densos en X, puesto que la interseccion de los Ak
1
[ [
un el teorema de Baire) es densa en X, X 6=
(seg Ek . Si fuera cierto que X = Ek , entonces
k=1 k
!c !c
[ \ c \
X= Ek = Ek = Ak
k k k
\
y con eso A := Ak = ; lo cual contradice A denso.
k
Prueba.
[ (Indirecta) Sea fAk gk una familia contable de subconjuntos cerrados de X tal que
A := Ak contiene una bola abierta B y supongamos que los Ak no contienen bolas abiertas.
k
Entonces los Ak son ralos (y cerrados por hipotesis). De eso y la observacion 3.4 se sigue que
los Ack son abiertos y densos en el espacio metrico completo X.
El teorema de Baire implica que
\
Ac = Ack es denso en X
k
y por tanto Ac \ B 6= ;. Pero, por otro lado B A y por tanto B \ Ac = ; lo cual es una
contradicci
on.
Como una aplicacion interesante del teorema de Baire se obtiene que:
Proposicion 3.8 Existen funciones continuas en (C ([a; b]) ; kk1 ) que no son diferenciable en
ning
un punto de [a; b].
Prueba. Ejercicio.
Porque la reunion de conjuntos magros es magro, debe ser el complemento de un conjunto
magro un espacio metrico completo no magro.
decimos que H est a uniformemente acotado (en este caso jx(t)j M para todo t 2 [0; 1] y
todo x 2 H). Veamos que el acotamiento puntial de H no implica su acotamiento uniforme.
Sean x0 2 (0; 1] arbitrario (pero jo) y k 2 N. De nimos la funci on continua uk por
8
< 0; si 0 x x0 k2 o x x0 ,
uk (x) = k; si x = x0 k1 ,
:
lineal por tramo en el resto de [0; 1]
Teniendo en cuenta que el ejemplo anterior se puede combinar para diferentes x0 , resulta
interesante la siguiente proposici
on.
Prueba. El conjunto
Prueba. Esto es una consecuencia no trivial del teorema de Baire. La prueba se desarrollara
en cuatro pasos:
i) Sea[Ba := Ba (0). Entonces T (B1 ) contiene una bola abierta. En efecto; es claro que
Bk = X. Ahora, como T es sobreyectiva
k
[ [
Y = T (X) = T (Bk ) = T (Bk ).
k k
Por el corolario 3.7 existe un l 2 N tal que T (Bl ) contiene una bola de radio r. En
consecuencia T (B1 ) contiene una bola radio r=l.
ii) El vector nulo es un punto interior de T (B" ) para cada " > 0. Para probar esto utilizaremos
el hecho de que si un conjunto es convexo, entonces su cerradura tambien es convexo.
Por i) existe un y 2 X y un > 0 tal que B (y) T (B1 ). Ahora, si z 2 T (B1 ), existe una
sucesion (xn ) en B1 tal que T xn ! z. Como ( xn ) B1 y T ( xn ) ! z, z 2 T (B1 ).
Por tanto B ( y) T (B1 ). Luego, para kxk < se tiene que x y 2 B (y) y por tal
motivo x y 2 T (B1 ). De eso y de la convexidad de T (B1 ) resulta que
1 1
x= (x y) + (x + y) 2 T (B1 ).
2 2
iii) 0 es un punto interior de T (B" ) para cada " > 0: Veamos por que:
P
umeros positivo tal que "0 = 1
Sea "0 > 0 arbitrario y ("k )k2N una sucesion de n k=1 "k (por
"0
ejemplo "k := 2k , k 2 N) y sea ahora Bk := B"k (0), k 2 N0 . Seg
un ii) T (Bk ) contiene una
bola abierta Vk := Bk (0), para cada k 2 N0 , donde limk!1 k = 0 porque T es continua
y "k ! 0 cuando k ! 1. Para cualquier y 2 V0 construimos una sucesion (xk )k2N0 como
sigue:
y 2 V0 =) y 2 T (B0 ) =) 9x0 2 B0 con ky T x0 kY < 1 ,
56 Chapter 3. Teoremas fundamentales del análisis funcional
Sea y 2 T (M ), existe un x 2 M tal que y = T x. Como M es abierto, existe B" (x) M . Puesto
que 0Y es un punto interior de T (B" (0)), existe un > 0 tal que B (0) T (B" (0)). De
lo anterior se concluye que
B (y) = y + B (0)
T x + T (B" (0))
= T (x + B" (0))
= T (B" (x))
T (M ) ,
G (T ) := f(x; T x) : x 2 Xg X Y
es un subconjunto cerrado de X Y .
c) T cerrado ; T acotado.
dx(t)
[T x] (t) := para cada t 2 [0; 1] :
dt
d k:k1
Sea (xn )n D (T ) con xn ! x y T xn = dt xn ! y en X. Como x0n ! y signi ca
convergencia uniforme en [0; 1], tenemos para cada t 2 [0; 1]
Z t Z t
y (s) ds = lim x0n (s) ds
0 0 n!1
Z t
= lim x0n (s) ds
n!1 0
Observaci on 3.18 Que T sea una aplicaci on cerrada no implica que T mapee conjuntos cerra-
dos en conjuntos cerrados. Un contraejemplo; se puede construir con la aplicacion T : X ! X,
X := C ([0; 1] ; kk1 ), de nida para cada x 2 X por
Z t
[T x] (t) = x () d, t 2 [0; 1] .
0
Prueba. XY con k(x; y)kXY = kxk+kyk es un espacio de Banach. Por hipotesis el gr a co
de T , G (T ), y D (T ) son subespacios cerrados en X Y y X (resp.). Con eso G (T ) ; kkXY
y (D (T ) ; kkX ) son tambien espacios de Banach. Sea P1 : G (T ) ! D (T ) una aplicacion
de nida por P1 (x; T x) := x para cada x 2 D(T ). Entonces P1 es linear y continua, ya que para
x 2 D (T )
kP1 (x; T x)k = kxk kxk + kT xk = k(x; T x)k
1
kT xk kxk + kT xk = k(x; T x)k = P x c kxk .
A continuaci
on resumimos el lema 3.17 y el teorema 3.19 en un teorema.
T es continuo si y s
olo si T es cerrado.
Toda aplicaci
on lineal cerrada se puede transformar en una aplicacion lineal acotada si su
dominio es dotado con la norma gra ca:
la norma gr
a ca de T . Entonces
Prueba. Ejercicio.