El Teorema de Baire

Captulo 4
El Teorema de Baire.
Este teorema tiene, entre otras osas, la importan ia de ser
la fuente de
notables resultados del Anlisis Fun ional.
Preparativos:
Un Sub onjunto
S,
de un
espa io mtri o M , es llamado:
a) Raro en M (o denso en ninguna parte) si S
M = R, on la mtri a usual, y S = {x1 , x2 , . . . , xk },

xi R, i = 1, 2, . . . , k , enton es, S es raro en R
Tambin,
Si
N, Q,
y ualquier sub onjunto de

.c
om
Ejemplo:
donde,
no tiene puntos interiores
raro en
at
(o de primera ategora), si es la unin numerable de
em
b) Magro en M
numerable, es
ic
a1
( on la mtri a usual)
R,
M.
w.
at
onjuntos, ada uno de los uales es raro en
M = R,
enton es S
nmeros enteros,
s mismo,
ww
Por ejemplo, si
on la mtri a usual, y
es magro en
son magros en
S = Z,
onjunto de los
M.
( on la mtri a usual).
Otro ejemplo, menos trivial, lo podemos onseguir, en el espa io

fun iones ontinuas,
f : [0, 1] R.
La distan ia entre dos elementos
f, g M
se dene omo
d(f, g) = max |f (x) g(x)|.

0x1
43
M,
de las
44
CAPTULO 4.
Como
S,
M,
tomamos el sub onjunto de
EL TEOREMA DE BAIRE.
formado por todas aquellas fun-
iones ontinuas on derivada en algn punto de

Resulta (ver
[4],
pgina 195) que
[0, 1].
es magro en
M.
Por ierto, fue en
1872 uando Karl Weierstrass asombr al mundo matemti o presentando un

ejemplo de fun in ontinua en todos sus puntos, tal que el onjunto de los
puntos donde ella es derivable es va o. Lo sorprendente es que la "mayoria"(en
ierto sentido) de las fun iones ontinuas son as.
) De segunda ategora en M
Si
no es magro en
M =R
ategora en R.
Ejemplo: sea
segunda
(o no-magro):
( on la mtri a usual), y
S = R.
Enton es,
es de
La justi a in de ese he ho la onseguimos a travs del
Teorema de Baire:
Si un espa io mtri o
M,
no va o, es
gunda ategora en l mismo.
ompleto, enton es,
En onse uen ia, si
es un espa io
.c
o
ic
a1
M=
+
[
M 6=
es de se-
mtri o ompleto y
Ak
M)
em
no va o.
errado en
enton es, el
interior de, por lo menos, algn Ak ,
at
es
Ak
( on ada
at
k=1
ww
w.
Demostra in:
Supongamos que el espa io mtri o

mismo. Enton es,
M=
M 6=
+
[
es ompleto y magro en s
Ak ,
k=1
donde, ada
xn M,
on
Ak
es
raro en M. Construiremos una su esin de Cau hy, (xn ),
para todo
n,
la ual nos ondu ir a una ontradi in.
Veamos:
A1
es raro en
M,
M
A1 6= M .
s ontiene a un abierto, no va io (por ejemplo,
no va o. Pero
Luego,
de modo que
A1
no ontiene un sub onjunto abierto,
mismo).
45
Enton es,
c
A1
es
no va o y abierto.
Elijamos un punto
B1 = B(x1 ; r1 ) A1 ,
Como
x1
A1 , y
r1 < 12 .
en
on
una bola abierta, digamos,
A2 es raro en M , tenemos que A2
no ontiene un onjunto abierto,

r
no va o. Por ejemplo, no ontiene la bola abierta B(x1 ; 1 ).
2
c
A2
As,
Sea
B(x1 ; r21 )
es un abierto, no va o.
B2 = B(x2 ; r2 ) A2 c
B x1 ;
r1
2
r2 <
on
r1
.
2
Por indu in, obtenemos una su esin de bolas abiertas:
Bk = B(xk ; rk ),
Como
Ak = y
1
, la su esin
2k
rk <
M,
Por la ompletitud de
Bk+1
(xk ),
k = 1, 2, ...
de los entros, es de Cau hy.
di ha su esin onverge, digamos,
Bk
tales que,
1
,
2k
rk
B xk ;
Bk ,
2
rk <
on
xk x M
n > m,
se tiene:
ic
a1
on
manera que:
(4.1)
em
at
m,n,
.c
o
Bn B(xm ; r2m ), de
rm
d(xm , x) d(xm , xn ) + d(xn , x) <
+ d(xn , x).
2
Tambin, para
rm
2
uando
w.
at
+ d(xn , x) r2m ,
rm
< rm ,
d(xm , x)
2
Como
es de ir,
ww
Adems, ya que
Bm Am
n +,
x
/
para todo m.
x Bm ,
, resulta que
+
[
se sigue de (4.1), que:
x
/ Am ,
para todo
m.
Luego
Am = M
k=1
( ontradi in). As, el Teorema de Baire est probado
Teorema de la A ota in Uniforme (o de Bana h-Steinhaus)

Sean:
B , espa io
de Bana h;
N,
espa io ve torial normado;
no va o, de transforma iones lineales ontinuas de

de que
{Ti (x)}
es un sub onjunto a otado, de
||Ti (x)|| cx ,
N,
en
N,
para ada
i = 1, 2, . . .
{Ti },
onjunto,
on la propiedad
x B,
digamos,
(4.2)
46
CAPTULO 4.
{||Ti||}
Enton es,
tal que
a otado, de R; o sea, existe c R,
es un sub onjunto,
||Ti || c,
i = 1, 2, . . .
(4.3)
Demostra in:
k,
Para ada
nmero natural, sea
Ak = {x B : ||Tn (x)|| k
Tenemos que:
Ak
En efe to, sea
x Ak .
Enton es, existe
n = 1, 2, ...}.
para
es errado.
(xj ),
su esin en
Ak ,
tal que,
xj x.
Pero,
(4.4)
para ada n, jo, se tiene:

||Tn (xj )|| k,
em
dado x B ,
|| ||; de
se tiene que, segn (4.2), existe
cx ,
modo
tal que
n = 1, 2, 3, ...
ww
para
es errado.
at
Por otro lado,
||Tn (x)|| cx ,
Enton es,
Ak
y as,
x Ak ,
y la ontinuidad de la norma
w.
que,
Tn
at
al usar (4.4), la ontinuidad de
ic
a1
||Tn (x)|| k,
.c
o
de lo ual se sigue que:
pertene e a algn
Ak
B=
(basta tomar
+
[
k cx ).
De modo que,
Ak
k=1
En este momento, apare e el toque mgi o dado por el Teorema de Baire:
Como
B es ompleto, resulta que, algn Ak ontiene una bola abierta, digamos:

B0 = B(x0 ; r) Ak0
Ahora viene, un lan e magistral:
Dado ualquier x B , no nulo,
lo multipli amos por un es alar
apropiado, luego trasladamos el ve tor resultante, y onseguimos que el nuevo
47
B0 . Lo dems, orre por uenta de la linealidad de Tn , para ada
ve tor est en
n;
vemoslo:
Sea
r
x + x0
2||x||
r
||z x0 || = < r
2
z B0
z=
o sea,
||Tn (z)|| k0 , n = 1, 2, 3, . . .

r
x + x0 || k0 ,
||Tn
2||x||
||
r
Tn (x) + Tn (x0 )|| k0
2||x||
r
||Tn (x)|| k0 + ||Tn (x0 )|| 2k0
2||x||
4k0
||Tn (x)||
||x||, n = 1, 2, 3, . . .
r
4k0
||Tn ||
, n = 1, 2, 3, . . .
r
c=
4k0
r
at
em
at
ic
a1
As, para obtener (4.3) basta tomar
.c
o
ww
w.
Corolario 4.1: El espa io ve torial normado X , de todos los polinomios;

on la norma denida por:
||p|| = max |i|,

i
donde, 0 , 1 , . . . son los oe ientes de p;
no es ompleto.
Demostra in:
Construiremos una
su esin (Tn ) de transforma iones lineales de X en R,
la ual satisfa e (4.2), pero no umple (4.3). As,

Es ribamos un polinomio
la forma:
p(t) =
+
X
j=0
j tj ,
p,
no puede ser ompleto.
distinto del polinomio nulo, de grado
donde
j = 0,
para
j > Np ,
Np ,
en
48
CAPTULO 4.
Para ada nmero natural
n,
denimos
Tn : X R,
por:
Tn (0) = 0,
Tn (p) = 0 + 1 + ... + n1
La linealidad de
Tn
es inmediata; el que
Tn
es a otado ( ontinuo) se obtiene
as:
|j | ||p||
|Tn (p)| n||p||.
p X , la su esin (|Tn (p)|) satisfa e

Np , tiene Np + 1 oe ientes, y as,
Adems, para ada

polinomio
p,
de grado
(4.2), porque un
|Tn (p)| (Np + 1) max |j | = cp ,

j
lo ual es de la forma (4.2).
(Tn )
n = 1, 2, 3, ...
Ahora, veremos que
||Tn || c,
Sea
pn
para
no satisfa e (4.3), o sea, no existe
c,
tal que
denido por:
ic
a1
.c
o
pn (t) = 1 + t + t2 + . . . + tn .
Tn (pn ) = 1 + 1 + . . . + 1 = n = n||pn ||
em
|Tn (pn )|
=n
||pn ||
at
||pn || = 1,
at
Enton es,
Luego,
(||Tn ||)
ww
w.
||Tn ||
no es a otada.
Nota 4.1: Si onsideramos

pn = 1 +
puede probarse que
(pn )
t2 t3
tn
+ + ...+ ,
2! 3!
n!
es una su esin de Cau hy, pero
(pn )
no onverge en
X.
El ter er "gran" teorema, que presentaremos a ontinua in, es el
de la Apli a in Abierta.
Teorema
El est rela ionado on la apli a iones abiertas; stas son fun iones que envan onjuntos abiertos en onjuntos abiertos. Ms espe amente, el Teorema
49
de la Apli a in Abierta estable e ondi iones bajo las uales una transforma in lineal a otada (o lo que es lo mismo, ontinua) es una apli a in abierta.
Como
en
Completitud
el
Teorema
de
la
Apli a in
Uniforme,
la
propiedad
de
es importante.
El Teorema tambin da ondi iones para garantizar la ontinuidad de la

inversa de una transforma in lineal a otada.
Lema 4.1: Si B y B son espa ios de Bana h y, si T es una transforma

in lineal ontinua de B sobre B , enton es, la imagen de ada bola abierta,
entrada en el origen, en
en B .
B,
ontiene una esfera abierta, entrada en el origen,
Demostra in:
Denotamos por Sr ySr , las bolas abiertas, on radio
entradas en el origen, en B y B , respe tivamente. Es simple probar que
r,
T (Sr ) = T (rS1) = rT (S1 ),

as que, es su iente probar que
T (S1 )
.c
o
em
B =
ww
tiene un punto interior,

La apli a in
de manera que
y0 ,
Adems, ya que
T (Sn ).
T (Sn0 )
T (Sn0 ).
se sigue del Teorema de Baire que algn

el ual podemos asumir que est en
y 7 y y0 ,
T (Sn0 ) y0
+
[
n=1
at
ompleto,
es
w.
Sr .
es sobreye tiva, resulta que
Como
ontiene alguna
ic
a1
at
Ya que
T (Sr )
Sr .
Comenzaremos mostrando que
ontiene alguna
es un
homeomorsmo de B
sobre s mismo,
tiene el origen omo punto interior
y0 T (Sn0 ),
(4.5)
se sigue que
T (Sn0 ) y0 T (S2n0 ),
(4.6)
de modo que:
T (Sn0 ) y0 = T (Sn0 ) y0 T (S2n0 ),

lo ual, segn (4.5), prueba que el origen es un punto interior de
T (S2n0 ).
50
CAPTULO 4.
Por otro lado, la multipli a in por un es alar, no nulo, es un homeomorB sobre s mismo, as,
smo de
T (S2n0 ) = 2n0 T (S1 ) = 2n0 T (S1 ).

Luego, el origen es, tambin, un punto interior de
S T (S1 ),
Ahora probaremos que
B;
(4.7)
S T (S1 ).
es de ir,
Ya hemos utilizado la ompletitud de
o sea,
>0
para algn
S T (S3 ),
T (S1 ),
es el momento de que aparez a
la ompletitud de B.
Sea
y0 B ,
tal que
||y0 || < .
De (4.7) se sigue:
y0 S T (S1 ).
Luego, existe
x1 B ,
||x1 || < 1,
on
||y0 y1 || <
(4.8)
ic
a1
y1 = T (x1 ).
.c
o
donde,
,
2
at
Tambin, de (4.7) se obtiene:
at
em
S T (S 1 ),
ww
w.
que, junto on (4.8), permite es ribir:
y0 y1 T (S 1 ).
2
De modo que, existe
x2 B ,
1
||x2 || < ,
2
donde,
(xn ),
y2 = T (x2 ).
B , tal que:
tal que:
||y0 (y1 + y2 )|| < ,

4
Prosiguiendo de esta manera, onseguimos una su esin
en
||xn || <
(4.9)
2n1
||y0 (y1 + y2 + ...yn )|| <
,
2n
donde,
yn = T (xn ),
n = 1, 2, . . .
(4.10)
51
Sn = x1 + x2 + ... + xn ;
Llamemos
De (4.9) se dedu e que

Como
(Sn )
es una su esin de Cau hy, en
B.
es ompleto, existe x B , tal que Sn x.
Adems,
||Sn || ||x1 || + ||x2 || + ... + ||xn || < 1 +
1
1 1
+ + ... + n1 < 2.
2 4
2
Por otro lado,
||x|| || lm Sn || = lm ||Sn || 2 < 3,

Ahora bien, usando la ontinuidad de
T,
es de ir,
x S3 .
se tiene:
T (x) = T (lm Sn ) = lm T (Sn ) = lm(y1 + y2 + ... + yn ) = y0 ,

(usando (4.10)).
Es de ir,
S T (S3 ).
.c
o
Con lusin:
y0 T (S3 )
T : B B,
transforma in lineal,
es una apli a in abierta.
Por lo tanto, si
ww
w.
Enton es,
at
sobreye tiva.
em
espa ios de Bana h;
at
ontinua,
B, B,
Sean:
ic
a1
Teorema de la Apli a in Abierta.
es biye tiva, enton es
T 1
es ontinua.
Demostra in:
Sea
G B,
Tomemos
Sea
T (G) B ,
tambin es abierto.
y T (G).
x G,
Como
en G.
abierto. Probemos que
tal que
y = T (x).
es abierto, existe una
bola abierta, on entro en x, ontenida
Di ha bola la podemos expresar omo:
x + Sr ,
(4.11)
52
CAPTULO 4.
donde,
Sr
es una bola abierta, de radio
r,
Ahora bien, el lema 4.1 nos indi a que

Enton es,
y + Sr 0
entrada en el origen de
T (Sr )
ontiene alguna
es una bola abierta, entrada en
y,
B.
Sr 0
ontenida en
T (G),
pues:
y + Sr 0 y + T (Sr ) = T (x) + T (Sr ) = T (x + Sr ) T (G),

Finalmente, si
T 1 : B B ,
existe, resulta que, omo
usando
(4,11)
es abierta,
T 1
es ontinua (vale de ir, a otada. Ver [7, pgina 238)
Ejer i ios:
1)
sobre un espa io de Bana h B , es una proye in

2
sobre B , en el sentido algebrai o (es de ir P = P ), que, adems, es ontinua.
Una proye in
B un espa io de Bana h,
L y sean M y N , subespa ios ve toriales, errados,
B , tales que B = M
N (suma dire ta).
Sea
de
ni a
z B , omo una
suma de ve tores en M y N , enton es, P : B B , denida por P (z) = x es
una proye in sobre B , uyo rango y n leo son M y N , respe tivamente.
Si
z = x+y
es la
representa in de un ve tor
ic
a1
.c
o
Demostra in:
el espa io ve torial
B,
equipado on la norma denida por:
em
B,
at
Sea
P.
at
Lo que no es tan trivial es la prueba de la ontinuidad de
que
es un espa io de Bana h (ejer i io para el le tor: ah se usa
ww
Resulta que
w.
||z|| = ||x|| + ||y||.

son errados en
B ).
Ahora bien, omo:
||P (z)|| = ||x|| ||x|| + ||y|| = ||z|| ,

se sigue que
es ontinua, omo una apli a in de
en
B.
Basta enton es, para lograr nuestro propsito, probar que
misma topologa.
Sea
T : B B,
denida por:
T (w) = w .
Tenemos:
||T (z)|| = ||z|| = ||x + y|| ||x|| + ||y|| = ||z|| .
tienen
la
53
Luego,
es ontinua,
y,
adems, biye tiva.
As, en virtud del Teorema de la Apli a in Abierta,
smo, lo ual impli a que B y B
es un
homeomor-
tienen la misma topologa.
2) Demostrar que T : R2 R, dada por: T (1 , 2 ) = 1 , es abierta.

Es
W : R2 R2 ,
denida por:
W (1 , 2 ) = (1 , 0)
una apli a in abierta?
Solu in:
R2
por el Teorema de la Apli a in Abierta,
es abierta.
es lineal, ontinua, sobreye tiva;
En ambio,
son espa ios de Bana h. Luego,
no lo es.
A = B((0, 0); 1),
Basta onsiderar
R2 .
y notar que
W (A) = (1, 1),
el ual no
es abierto en
3) Sea X , el espa io ve torial normado uyos puntos son las su esiones de

x = (i ),
nmeros omplejos
on slo un nmero nito de trminos diferentes
de ero, y la norma dada por:
T : X X,
denida as:
at
Sea
ic
a1
.c
o
||x|| = sup |i |
es lineal y a otada, pero
ww
Demostrar que
w.
at
em

1
1
y = T x = 1 , 2 , 3 , . . .
2
3
T 1
no es ontinua.
Solu in:
Sea
C,
enton es:
T (x) = T (1 , 2 , . . .) = (1 ,
2 3
2 3
,
, . . .) = (1 ,
,
, . . .) = T x
2
3
2
3
Anlogamente, si
x = (1 , 2 , 3 , . . .)
y = (1 , 2 , 3 , . . .),
enton es,
x + y = (1 + 1 , 2 + 2 , . . .)
54
CAPTULO 4.
T (x + y) = (1 + 1 ,
(1 ,
2 + 2
, . . .)
2
2 3
2 3
, , . . .) + (1 , , , . . .) = T x + T y
2 3
2 3
T es lineal.
Ahora,

n
2 3
||T x|| = ||(1 , , , . . .)|| = sup sup |n | = ||x||.
2 3
n
n
n
T es
a otado, on
||T || 1.
Por otro lado,
T 1 (x) = (1 , 2 2 , 3 3 , . . .)
Si tomamos
x0 = (0, 0, ..., 0, 1, 0, ...),
donde el 1 est en la k-sima asilla,
tenemos:
||T 1 x0 || = k = k||x0 ||
pero
puede ser tan grande omo se quiera, no existe
||T 1 x|| c||x||,
a otado (vale de ir, ontinuo).

.c
o
no es
para todo x X
at
4) Sean: X e Y , espa ios de Bana h; T : X Y , lineal, a otado, inye ti-
em
vo.
T 1
tal que:
ic
a1
Luego,
c,
Como
||x0 || = 1,
es a otado si, y slo si,
R(T )
w.
(donde,
ww
T 1 : R(T ) X,
at
Demostrar que:
R(T )
es errado en
es el rango de
T ),
Y.
Demostra in:
Si R(T ) es errado en Y , enton es R(T ) es de Bana h. Enton es, omo
T : X R(T ) es sobreye tiva, una utiliza in dire ta del Teorema de la
1
Apli a in Abierta nos permite on luir que T
es ontinuo (o sea, a otado).
Supongamos, ahora, que:
Sea
T 1 : R(T ) X
es a otado.
y R(T ).
Luego, existe
(yn ),
su esin en
R(T ),
tal que:
yn y Y
(4.12)
55
Tenemos:
xn X
yn = T (xn ),
As que,
||xn xm || = ||T 1(yn ) T 1 (ym )|| = ||T 1(yn ym )|| ||T 1|| ||yn ym ||
Como
(yn )
onverge, enton es,
desigualdad, on lumos que

De modo que, existe
(xn )
x X,
(yn )
es de Cau hy, y, usando la anterior
tambin es de Cau hy.
xn x
tal que
Usando, ahora, la ontinuidad de
T,
(ya que
es ompleto)
tenemos:
yn = T (xn ) T x.
As, de (4.12) y (4.13), se sigue:
En otras palabras,
R(T )
y = T x,
es errado en
o sea,
(4.13)
y R(T )
Y.
5) Re ordemos que el onjunto T , de todos los sub onjuntos abiertos

X , es llamado una topologa para X . En onse uen ia,
de un espa io mtri o
X dene una topologa para X . Si

X1 = (X, || ||1) y X2 = (X, || ||2 ) son
espa ios de Bana h y las topologas T1 y T2 denidas por || ||1 y || ||2 ,
respe tivamente, satisfa en T2 T1 (se di e que T1 es ms na que T2 ),
ada norma sobre un espa io ve torial
tales que
X,
T1 = T2 .
em
Probar que
at
ic
a1
.c
o
tenemos dos normas en
ww
w.
at
Demostra in: Consideremos la apli a in identidad I ,

I : X1 X2
I(x) = x.
Tenemos que
es lineal;
ontinua, pues todo abierto en X2
es abierto en
X1
X1 y X2 son espa ios de Bana h, resulta,
en virtud del Teorema de la Apli a in Abierta, que I es una apli a in abierta,
1
y, en onse uen ia, I
: X2 X1 es ontinua.
Como
es sobreye tiva, y adems,
Con lusin:
T1 = T2 .
En mu has apli a iones del Anlisis, surgen transforma iones lineales que
no son ontinuas, pero que , en ompensa in, tienen una propiedad importante, que es des rita en trminos del on epto de gr o de una fun in.
56
CAPTULO 4.
Sean B y
B por:
B , espa ios de Bana h.
Denimos una mtri a sobre el produ to
d((x1 , y1 ), (x2 , y2) = max = {||x1 x2 ||, ||y1 y2 ||}.

La topologa resultante es llamada
topologa produ to, y la onvergen ia
respe to a esta mtri a es equivalente a la onvergen ia oordenada a oordenada.

Sea
una transforma in lineal de
El gr o de T
en
B B
es el sub onjunto de
(x, T x).
pares ordenados de la forma
T es ontinuo,
de B B .
F ilmente, vemos que si

errado, omo sub onjunto
Por su parte,
que onsiste de todos los
enton es su gr o,
Gr(T),
El Teorema del Gr o Cerrado estable e que:
B son espa ios de Bana h, y si T es una transforma in

on Gr(T ) errado, enton es, T es ontinua.
y
lineal de
es
B
B,
si
en
ic
a1
.c
o
||x||1 = ||x|| + ||T x||.
Demostra in: Denotemos por B1 , al espa io B , on la norma:
at
Como
Resta probar que
B1
B1
en
B.
at
es ontinua omo apli a in de
tienen la misma topologa.
w.
ww
resulta que
em
||T x|| ||x|| + ||T x|| = ||x||1,
La apli a in identidad de
B1
sobre B
es ontinua, pues:
||x|| ||x|| + ||T x|| = ||x||1.

Si pudiramos probar que
B1
es
Apli a in Abierta, garantizara que

esto terminara la prueba.
Sea
(xn ),
ompleto,
enton es, el Teorema de la
I : B1 B
es un
homeomorsmo
una su esin de Cau hy, en B1 . Esto impli a que

B y en B , respe tivamente.
(xn )
(T xn )
son su esiones de Cau hy en
Ya que ambos son espa ios
ompletos,
que:
||xn x|| 0
existen:
x B,
||T xn y|| 0
y B,
tales
(4.14)
57
(o sea,
(xn , T xn ) (x, y)).
Nuestra suposi in de que
Gr(T )
es errado en
B B,
impli a que:
(x, y) Gr(T ).
As,
y = T x.
De ello se obtiene que
B1
es ompleto, pues:
||xn x||1 = ||xn x|| + ||T (xn x)||

= ||xn x|| + ||T xn T x||
= ||xn x|| + ||T xn y|| 0,
segn (4.14)
Veamos, a manera de ilustra in, un ejemplo de una transforma in lineal,

uyo gr o es errado, pero que no es ontinua.
Sea
T : X Y ,
T x = x , donde, Y = C[0, 1], espa io de las

R, on la norma de la onvergen ia uniforme:
dada por
[0, 1]
fun iones ontinuas de
en
.c
o
||w|| = max |w(t)|,
ic
a1
0t1
at
mientras que
(zn ),
enton es existe
at
(z, y) Gr(T ),
Sea
em
X = {x Y : x Y }.
zn z,
ww
w.
( onvergen ia en
T (zn ) = zn y
Ya que la onvergen ia en
su esin en
tal que:
X)
Y)
( onvergen ia en
es la
X,
onvergen ia uniforme, tenemos: Para
t [0, 1],
Z
y(u)du =
lm
0 n+
zn (u)du
= lm
n+
zn (u)du
= lm (zn (t) zn (0)) = z(t) z(0)

n+
O sea,
z(t) = z(0) +
y(u)du.
58
CAPTULO 4.
z X
De modo que,
T z = z = y
(de a uerdo al Teorema
Fundamental del Cl ulo).

En otras palabras,
Para ver que
(z, y) Gr(T ),
y as,
Gr(T )
es errado en
no es ontinua, basta onsiderar la su esin
xn : [0, 1] R
X Y.
(xn ),
donde,
xn (t) = tn .
es dada por:
Tenemos:
||xn || = max |xn (t)| = 1;

0t1
Mientras que,
||T (xn || = ||xn || = max |ntn1 | = n

0t1
As,
xn
0, uando n +,
n

xn
x
T
= n 9 0 = T (0)
n
n
m
pero,
ic
a1
.c
o
Y,
espa ios ve toriales normados;
b) Si K Y
) Si Y
M
w.
es ompa to, enton es
ww
a) Si K X
T : X Y ,
lineal,
uyo
at
gr o es errado. Probar que:
em
Sean,
at
Ejer i io:
es ompa to, enton es,
d) Si X es ompa to, y T
T (K)
es errado en
T 1 (K)
Y.
es errado en
X.
es a otado.
es biye tiva, Enton es
T 1
es a otado.
Solu in:
a) Sea y T (K), enton es existe (xn ), su esion en K , tal que :
T (xn ) y.
De la ompa idad de
K,
se dedu e que existe
tal que:
xnj x K.
(xnj ),
subsu esin de
(xn ),
59
As,
(xnj , T (xnj )) (x, y).

Luego,
(x, y) Gr(T ) = Gr(T )

En onse uen ia,
y = T x,
xK
on
O sea,
Con lusin:
T (K)
y T (K).
es errado en
Y.
b) Tomemos x T 1 (K). Luego, existe (yn), su esin en K , tal que:

T 1 (yn ) x.
Como
(ynj ),
es ompa to, existe
subsu esin de
(yn ),
tal que,
ynj y K.
Sea
xn = T 1 (yn ),
es de ir,
yn = T xn .
Tenemos que:
ic
a1
.c
o
(xnj , T (xnj )) = (T 1 (ynj ), ynj ) (x, y)

As que,
em
at
(x, y) Gr(T ) = Gr(T )
at
Luego,
w.
y = T x,
ww
O lo que es lo mismo,
x = T 1 (y).
De modo que,
x T 1 (K)
En resumen,
T 1 (K)
Sea
ompa to.
F Y,
errado.
As que, por la parte b),
es errado es
Como
T 1 (F )
X.
es errado en
tambin es
X.
Queda, enton es, probado, que la imagen inversa de ada errado en

un errado en
X.
Y,
es
60
CAPTULO 4.
Es de ir,
es ontinuo (lase, a otado).
d) Tenemos:
T 1 : Y X .
La ompa idad de
Sea
F X,
impli a que
errado.
tambin es ompa to.
Para nuestro propsito, basta probar que
(T 1 )1 (F )
O sea, que
T (F ) es
errado en
es errado en
Y;
Y;
pero esto es, pre isamente, lo que arma
la parte a).
ww
w.
at
em
at
ic
a1
.c
o

El Teorema de Baire

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

El Teorema de Baire

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 4

Este teorema tiene, entre otras osas, la importan ia de ser

notables resultados del Anlisis Fun ional.

espa io mtri o M , es llamado:

a) Raro en M (o denso en ninguna parte) si S

M = R, on la mtri a usual, y S = {x1 , x2 , . . . , xk },

y ualquier sub onjunto de

no tiene puntos interiores

(o de primera ategora), si es la unin numerable de

onjuntos, ada uno de los uales es raro en

Otro ejemplo, menos trivial, lo podemos onseguir, en el espa io

La distan ia entre dos elementos

d(f, g) = max |f (x) g(x)|.

tomamos el sub onjunto de

formado por todas aquellas fun-

iones ontinuas on derivada en algn punto de

pgina 195) que

Por ierto, fue en

1872 uando Karl Weierstrass asombr al mundo matemti o presentando un

La justi a in de ese he ho la onseguimos a travs del

gunda ategora en l mismo.

ompleto, enton es,

En onse uen ia, si

interior de, por lo menos, algn Ak ,

Supongamos que el espa io mtri o

raro en M. Construiremos una su esin de Cau hy, (xn ),

la ual nos ondu ir a una ontradi in.

s ontiene a un abierto, no va io (por ejemplo,

no ontiene un sub onjunto abierto,

una bola abierta, digamos,

A2 es raro en M , tenemos que A2

no ontiene un onjunto abierto,

Por indu in, obtenemos una su esin de bolas abiertas:

de los entros, es de Cau hy.

di ha su esin onverge, digamos,

se sigue de (4.1), que:

( ontradi in). As, el Teorema de Baire est probado

Teorema de la A ota in Uniforme (o de Bana h-Steinhaus)

espa io ve torial normado;

no va o, de transforma iones lineales ontinuas de

es un sub onjunto a otado, de

a otado, de R; o sea, existe c R,

nmero natural, sea

En efe to, sea

Enton es, existe

para ada n, jo, se tiene:

se tiene que, segn (4.2), existe

Por otro lado,

al usar (4.4), la ontinuidad de

de lo ual se sigue que:

B es ompleto, resulta que, algn Ak ontiene una bola abierta, digamos:

Ahora viene, un lan e magistral:

Dado ualquier x B , no nulo,

lo multipli amos por un es alar

apropiado, luego trasladamos el ve tor resultante, y onseguimos que el nuevo

B0 . Lo dems, orre por uenta de la linealidad de Tn , para ada

As, para obtener (4.3) basta tomar

Corolario 4.1: El espa io ve torial normado X , de todos los polinomios;

||p|| = max |i|,

donde, 0 , 1 , . . . son los oe ientes de p;

su esin (Tn ) de transforma iones lineales de X en R,

la ual satisfa e (4.2), pero no umple (4.3). As,

no puede ser ompleto.

distinto del polinomio nulo, de grado

La justi a in de ese he ho la onseguimos a travs del

para ada n, jo, se tiene:

donde, 0 , 1 , . . . son los oe ientes de p;

equipado on la norma denida por:

smo, lo ual impli a que B y B