You are on page 1of 2

Aula XXV - Topologia e Analise Linear

18 O Teorema da Categoria de Baire

Lema. Seja X um espaco metrico completo. Se F1 F2 Fn e uma sucess


ao
\
de subconjuntos fechados n
ao vazios de X, ent
ao Fn 6= .
nN
Demonstraca o. Para cada n N, seja xn Fn . Ent ao, porque diamFn 0, a sucess ao
(xn )nN e de Cauchy. Logo xn x X, porque X e completo. Alem disso, porque, para
cada k N, a sucessao (xn+k )nN e uma subsucessao da primeira que esta contida no fechado
\
Fk , xn+k x Fk . Logo x Fn .
nN

Teorema de Baire. Seja X um espaco completo. Se (An )nN e uma sucess


ao de subconjuntos
\
ao A =
abertos e densos de X, ent An e denso em X.
nN
[Um espa
co topol
ogico com esta propriedade diz-se um espa
co de Baire.]
o. Sejam x X e r > 0. Queremos provar que A Br (x) 6= . Como A1 Br (x)
Demonstraca
e um aberto nao vazio, existem x1 X e s > 0 tais que Bs (x1 ) A1 Br (x). Podemos ainda
afirmar que existe r1 ]0, 1[ tal que

Br1 [x1 ] A1 Br (x).

De igual modo, atendendo a que A2 Br1 (x1 ) e um aberto nao vazio, existem x2 X e
r2 ]0, 12 [ tais que
Br2 [x2 ] A2 Br1 (x1 ).
a escolhidos xk e rk ]0, k1 [ tais que Brk [xk ] Ak Brk1 (xk1 ), e atendendo a que
Supondo j
1
Ak+1 Brk (xk ) e um aberto nao vazio, podemos escolher xk+1 X e rk+1 ]0, k+1 [ tais que

Brk+1 [xk+1 ] Ak+1 Brk (xk ).

ao encaixada (Brn [xn ])nN de subconjuntos fechados nao vazios


Construmos assim uma sucess
\ \ 
de X. Pelo lema anterior, existe x0 Brn [xn ] An Br (x), como queramos
nN nN
demonstrar.

Corolario. Se um espaco metrico completo e reuni


ao numer
avel de subconjuntos fechados,
ent
ao pelo menos um deles tem interior n
ao vazio.
Demonstraca
o. Seja (Fn )nN uma famlia numer
avel de subconjuntos fechados tal que
[ \
Fn = X. Entao cada X \ Fn e aberto e (X \ Fn ) = . Pelo teorema anterior con-
nN nN
clumos que algum dos conjuntos X \ Fk nao e denso, isto e Fk tem interior nao vazio.

Defini
cao. Um subconjunto Y de um espaco topologico X diz-se:

55
Aula XXV - Topologia e Analise Linear

(1) raro se o interior do seu fecho for vazio;

(2) de primeira categoria se for reuniao numer avel de subconjuntos raros;


[
(3) de segunda categoria se nao for de primeira categoria, isto e, se Y Fn com cada
nN
ao existe k N tal que int(Fk ) 6= .
Fn fechado, ent
[Nota: O complementar de um subconjunto raro
e denso.]

Corol ario. Um espaco metrico completo e de segunda categoria. Alem disso, num espaco
metrico completo o complementar de um subconjunto de primeira categoria e de segunda ca-
tegoria.

Teorema. (Princpio da limita c


ao uniforme) Seja U um subconjunto de segunda cate-
goria de um espaco metrico X e seja
F = {f : X R ; f contnua e u U {f (u) ; f F} e limitada}.
ao os elementos de F s
Ent ao uniformemente limitados numa bola fechada Br [x0 ].

o. Para cada n N, seja


Demonstraca
\
Fn = {x X ; |f (x)| n para todo o f F} = f 1 ([n, n]).
f F
[
Cada Fn e fechado e U Fn , por hipotese. Logo existe k N tal que int(Fk ) 6= , como
nN
queramos demonstrar.

Teorema de Banach-Steinhaus. Sejam X e Y espacos normados, U um subconjunto de


X de segunda categoria e F L(X, Y ) uma famlia de operadores lineares limitados tal que
u U sup{kT (u)k ; T F} < .
ao existe N > 0 tal que, para todo o T F, kT k N . Em particular, o resultado e v
Ent alido
quando U = X e um espaco de Banach.
X R
Demonstraca
o. A funcao e contnua, porque composicao de funcoes
x 7 kT (x)k
contnuas. Logo, pelo teorema anterior, existe Br [x0 ] tal que
n N x Br [x0 ] T F kT (x)k n.
Isto implica que kT k N = nr , para todo o T F, como verificamos em seguida. Se T F
e x B(X), ent ao x0 + rx, x0 rx Br [x0 ], portanto
1 2n
kT (x)k = T (x0 + rx (x0 rx)) = N,
2r 2r
e entao kT k = sup{kT (x)k ; x B(X)} N .

56

You might also like