You are on page 1of 5

Aluno: Nicols Zumelzu C.

Espaos de Baire
En topologa y ramas relacionadas de las matemticas, un espacio de
Baire es un espacio topolgico que, hablando intuitivamente es muy grande
y tiene suficientes puntos para un cierto proceso limite. Fue nombrado as en
honor a Ren-Louis Baire quien introdujo el concepto.
En un espacio topolgico se puede pensar en conjuntos cerrados con interior vazio como puntos en el espacio. Ignorando los espacios con puntos
aislados, que son su propio interior, un espacio de Baire es grande en el sentido que no puede ser construido como una unio numerable de estos puntos.
Ren-Louis Baire
Un ejemplo concreto es un plano bidimensional con una coleco enumerable
1874 1932
de lneas. Sin importar que lneas escojamos, no podemos cubrir el espacio
completamente con las lneas. ver [?]
El ser un espacio de Baire es una propiedad topolgica y como tal se preserva por homeomorfismos.
Definio 1 (Espaos de Baire) Dizemos que um conjunto X um espao de Baire se satisfaz
a seguinte condio:

dada {Fi }iN de fechados de X, com F i = , i N, tambm seu


S

Fi

= em X.

iN

Exemplo 1 Segue-se imediatamente da definio que se X um espao de Baire e X =

{Fi }

iN

onde cada Fi fechado em X, ento pelo menos um dos Fi contm um aberto no-vazio, ou seja,

Fi 6= para algum i N.
Exemplo 2 O espao Q dos nmeros racionais no um espao de Baire. Os conjuntos que
possuem apenas um nico elemento de Q so fechados e possuem interior vazio em Q; alm disso,
Q a unio enumervel de seus subconjuntos unitrios.
Por outro lado, o espao Z+ , um espao de Baire. Todo subconjunto de Z+ aberto, porque
no existem subconjuntos de Z+ com interior vazio, exceto o conjunto vazio. Assim, Z+ satisfaz
trivialmente a condio de Baire.
Em geral, qualquer subespao fechado de R, ao ser um espao mtrico completo, um espao
de Baire. Veja que os nmeros irracionais de R tambm constituem um espao de Baire.
Definio 2 (PrimeraCategoria F .) Seja (X,T ) um espao topolgico. Diremos que C X

S
conjunto F se C
Ci : X Ci T , C i = , ou seja, se C ta contido na unio enumervel
iN

de conjuntos fechados com interior vazio.


Definio 3 (SegundaTCategoria G .) Seja (X, T ) um espao topolgico. Diremos que A X
conjunto G se A =
{Ai : Ai T }, ou seja, se A for formado pela interseco de conjuntos
iN

abertos.
Espaos de Baire

Feito em LATEX

Pgina 1

Observao 1 La terminologa proviene del Alemn. La G viene de Gebit, que significa conjunto
abierto, y la de Durchschnitt, que significa interseccin.
Definio 4 (Conjunto Denso) Um subconjunto A do espao X dito denso em X se A = X.
Teorema 1 Um espao X um espao de Baire se, e somente se, todo conjunto aberto no vazio
de X de segunda categoria.
Demonstrao: Com efeito, un conjunto F tem interior vazio se, e somente se, X F denso.

Lema 1 X um espao de Baire se, e somente se, dada qualquer famlia enumervel
{Un } de
T
conjuntos abertos em X, cada um dos quais so densos em X, sua interseco Un tambm um
conjunto denso em X.
Demonstrao: Recordemos que um conjunto C denso em X se C = X. O resultado ento
uma consequncia dos seguintes fatos:
(1) A fechado em X se, e somente se, X A aberto em X.
(2) B tem interior vazio em X se, e somente se, X B denso em X.

Lema 2 Seja ... C2 C1 uma sequncia T
encaixada de conjuntos no vazios em um espao
mtrico completo X. Se dim Cn 0 ento Cn 6= .
Demonstrao: Para cada n escolhamos um ponto xn em Cn . Como xn , xm Cn , para n, m >
N , e o dimetro de Cn pode ser menor que qualquer dado a fim de escolher um N suficientemente
grande, a sequncia (xn ) uma sequncia de Cauchy. Suponhamos que converge a um ponto x.
Ento dado k, a subsequncia xk , xk+1 , ... tambm converge
T a x. Por tanto, necesariamente se
cumpre que x pertence a C k = Ck e, em consequncia, x Ck , como queramos mostrar.

Definio 5 (Sequncia de Cauchy) Uma Sequncia (xn )nN dita Sequncia Cauchy se >
0 existe um N N tal que kxn xm k < , para todo n, m N .
Definio 6 (Espao mtrico completo) O espao metrico dito completo se toda sequncia
de Cauchy convergente.
Exemplo 3 Um exemplo de um espao mtrico que no completo, o espao Q com a metrica
d(x, y) = |x y|., pois veja que se
1, 4, 1, 41, 1, 414, 1, 4142, 1, 41421, ...
de nmeros con una cantidad finita de decimales, que converge em R a
cauchy en Q que no converge em Q.
Exemplo 4 Em Q2 com a norma usual. A sequncia definida por xn =
pero no converge em Q2 .

2, uma sequncia de

1+


1 n
n


, n1 de Cauchy

Definio 7 (Regularidade) Supongamos que los conjuntos unipuntuales son cerrados en X.


Entonces se dice que X regular si para cada par formado por un punto x y un conjunto B que
no contiene a x, existen conjuntos abiertos disjuntos que contienen a x y B respectivamente.
Definio 8 (Normal) El espao X dito Normal si para cada par A, B de conjuntos cerrados
disjuntos de X, existen conjuntos abiertos disjuntos de contienen A y B, respectivamente.
Teorema 2 (Teorema da categoria de Baire) Se X um espao de Hausdorff Compacto ou
um espao Mtrico Completo ento X um espao de Baire.
Pgina 2

Feito em LATEX

Espaos de Baire

Demonstrao:
Dada {Ai }iN de fechados em X com interiores vazio, queremos provar que sua
S
unio An tambm possui interior vazio em X. Assim, dado um conjunto aberto no vazio U0 de
X, devemos encontrar um ponto x de U0 que no pertena a nenhum dos conjuntos An .
Consideremos o primeiro conjunto A1 . Por hiptese, A1 no contm U0 . Por tanto, podemos
escolher um ponto y de U0 que no pertene a A1 . A regularidade de X juntamente com o fato de
que A1 seja fechado, nos permite escolher uma vizinhana U1 de y tal que
U 1 A1 = , com U 1 U0 .
Se X um espao mtrico, escolhemos U1 tal que seu dimetro seja menor que 1.
Em geral, dado um conjunto aberto no vazio Un1 , escolhemos um ponto de Un1 que no
pertence ao conjunto fechado An e ento escolhemos uma vizinhana Un deste ponto verificando:
a) U n An = , com U n Un1 ,
1
no caso mtrico.
n
T
Afirmamos que a interseco U n Tno vazia, donde se conclui o teorema, veja Lema 1. Com
efeito, se consideramos um ponto x de U n , ento x pertence a U0 ja que U 1 U0 . Alm disso,
para cada n o ponto x no pertence
T a An , ja que U n e An so conjuntos disjuntos.
A prova de que a interseco U n no vazia se d em duas partes, dependendo de que X seja
um espao de Hausdorff compacto ou um espao mtrico completo. Se X um espao de Hausdorff
compacto, consideramos a sequncia encaixada ... U 2 U 1 de subconjuntos
T no vazios de X. A
famlia {U n } tem a propriedade da interseco finita; como X compacto, U n 6= .
Se X um espao mtrico completo, ento aplicamos o seguinte Lema 3.
b) dim Un <


Observao 2 Ser um espao de Baire uma propriedade topolgica, logo, a proposio acima
significa que todo espao topolgico homeomorfo a um espao mtrico completo um espao de
Baire.
Observao 3 Resulta do Teorema de Baire que todo espao mtrico completo M contendo apenas
uma quantidade enumervel de pontos deve possuir um ponto isolado. Do contrrio M seria magro

em si mesmo e, pelo Teorema de Baire, M = , o que absurdo. Na realidade, M deve possuir


uma infinidade de pontos isolados pois se x1 M isolado, M {x1 } fechado em M e portanto
um espao mtrico enumervel. Logo, existe um ponto isolado x2 M {x1 }, e assim por diante.
Exemplo 5 Em particular, todo subconjunto fechado enumervel do espao euclidiano Rn possui
uma infinidade de pontos isolados. Ainda em consequncia, a topologia natural do conjunto Q dos
nmeros racionais no pode ser definida por uma mtrica em relao qual Q seja completo. O
Teorema de Baire proporciona tambm uma demonstrao de que o conjunto dos nmeros reais
no enumervel, por ser um espao mtrico completo sem pontos isolados.
Exemplo 6 O conjunto de Cantor K um subespao fechado da reta, logo, um espao mtrico
completo e portanto um espao de Baire. Mostraremos agora que K no possui pontos isolados e,
em consequncia, concluiremos que K no enumervel. Inicialmente observamos que se, numa
das etapas da construo de K, o intervalo (a, b) um dos teros mdios omitidos, os seus extremos
a, b nunca mais sero omitidos e portanto pertencem a K. Com efeito, em qualquer etapa somente
so retirados pontos interiores dos intervalos que sobraram da etapa anterior. Consideremos, por
exemplo, o extremo a de um tera) mdio omitido (a, b). Embora exista um intervalo semi-aberto
[a, b) tal que [a, b) K = {a}, qualquer intervalo (a , a] contm infinitos pontos de K. Com
efeito, na ocasio em que (a, b) foi omitido, restou um certo intervalo [c, a]. Nas etapas posteriores
da construo de K, restaro sempre teros finais de intervalo, do tipo [cn , a], com cn K, como
observamos acima. O comprimento cn a tende para 0, logo, cn a e assim a no ponto
isolado de K. Suponhamos, em seguida, que x K no seja extremo de um intervalo omitido
durante a construo de K. (No sabemos, a esta altura, se tais pontos existem realmente em K.
Espaos de Baire

Feito em LATEX

Pgina 3

Entretanto, como foi omitida apenas uma infinidade enumervel de intervalos, os pontos extremos
de intervalos omitidos formam um subconjunto enumervel de K. Resultar ento desta discusso
que os demais pontos, no somente existem, como formam um conjunto no enumervel, e mesmo
um espao de Baire.) Afirmamos que, dado qualquer > 0, existem pontos de K em ambos os
intervalos (x , x) e (x, x + ). Tomemos (x, x + ), por exemplo. Se (x, x + ) K fosse vazio,
ento o intervalo (x, x + ) teria sido omitido durante a construo de K. Na primeira vez em
que uma parte de (x, x + ) fosse omitida, nada mais restaria desse intervalo pois os extremos do
intervalo omitido pertenceriam a K e portanto no seriam omitidos em etapas posteriores. Como
x permaneceu, segue-se que o intervalo omitido foi do tipo (x, b). Mas isto contradiz a hiptese
feita sobre x e portanto a discusso est encerrada.
Lema 3 Todo subespao aberto Y de um espao de Baire X um espao de Baire.
Demonstrao: Seja An uma famlia
Senumervel de conjuntos fechados de Y que tm interiores
vazios em Y . Provaremos que a unio An tambm tem interior vazio em Y .
Seja An o fecho de An em X, de modo que An Y = An . O conjunto An tem interior vazio
em X. Com efeito, se U um conjunto no vazio aberto em X e contido em An , ento U deve
intersectar An . Portanto, U Y um conjunto no vazio aberto em Y contido em An , o que
contradiz a hiptese.
Se a unio dos conjuntos An contm o conjunto no vazio W aberto em Y , ento a unio dos
conjuntos An tambm contm o conjunto W , que aberto em X porque Y aberto em X. Mas
cada conjunto An tem interior vazio em X, o que contradiz o fato de que X seja um espao de
Baire.

Exemplo 7 Lembre o exemplo 1 e fazendo uso do Lema 3 nos permite afirmar, mais exatamente,
S
S
que se X = Fn onde cada Fn fechado ento A = FnS um aberto denso em X. Com efeito,
seja U um aberto no-vazio qualquer em X. Temos U = (U Fn ) onde cada U Fn fechado

em U . Sendo
 U um espao de Baire, existir algum n tal que (U Fn ) = U Fn 6= . Isto mostra
S
S
que U
Fn 6= , donde Fn denso em X. Completando o Exemplo 5, podemos ento
acrescentar que todo espao de Baire enumervel possui um subconjunto discreto denso.
Teorema 3 Seja X um espao e seja (Y, d) um espao mtrico. Seja fn : X Y uma sequncia
de funes contnuas tais que fn (x) f (x) para todo x X, donde f : X Y . Se X um
espao de Baire, o conjunto de pontos de continuidade de f um subconjunto denso em X.
Demonstrao: Dado um inteiro positivo N e tambm um nmero > 0, definimos o conjunto
AN () = {x : d(fn (x), fm (x)) , n, m > N }.
Observemos que AN () fechado em X. Isto consequncia do fato de que o conjunto de pontos
x para os quais d(fn (x), fm (x)) fechado em X, pela continuidade das funes fn e fm , e
AN () a interseco destes conjuntos para,n, m > N .
Para um nmero fixo, escolhamos os conjuntos A1 () A2 () ... A unio destes conjuntos
todo o conjunto X. Com efeito, dado um ponto x0 X, o fato de que fn (x0 ) f (x0 ) implica
que a sequncia fn (x0 ) seja uma sequncia de Cauchy e, como consequncia, x0 AN () para
algum N .
Definamos o conjunto
[
U () =
AN ().
N Z+

Vamos a provar duas coisas:


(1) U () um conjunto aberto e denso em X.
(2) A funo f contnua nos pontos do conjunto
Pgina 4

Feito em LATEX

Espaos de Baire

C = U (1) U (1/2) U (1/3) ...


Feito isto, segue-se que X u espao de Baire.
Para provar que U () denso em X, suficiente provar que para qualquer conjunto V no

vazio e aberto em X existe um nmero N tal que o conjunto V AN () no vazio. Com este
objetivo em mente, notemos primeiro que, para cada N , o conjunto V AN () fechado em V .
Como V um espao de Baire pelo Lema 3, ao menos um destes conjuntos, digamos V AM (),
deve conter um conjunto W no vazio e aberto em V . Como V aberto em X, o conjunto W

tambm aberto em X e, portanto, est contido em AM ().


Agora provaremos que se x0 C ento f contnua em x0 . Dado > 0 encontraremos uma
vizinhana W de x0 tal que d(f (x), f (x0 )) < para x W .

1
< . Como x0 C tem-se que x0
Em primeiro lugar, escolhamos um inteiro k tal que
k
3

U (1/k) pois, existe um nmero N tal que x AN (1/k). Finalmente, a continuidade da funo fN
nos permite escolher uma vizinhana W de x0 , contido em AN (1/k), tal que
d(f (x), fN (x0 )) <

, para x W.
3

(1)

Como W AN (1/k) ento tem-se:


d(fn (x), fN (x))

1
para n N y x W.
k

com n obtemos a desigualdade


d(f (x), fN (x))

1
< , para x W.
k
3

(2)

Em particular, como x0 W , temos

.
3
Aplicando a desigualdade triangular a (1), (2) e (3) se deduz o resultado.
d(f (x0 ), fN (x0 )) <

(3)

Espaos de Baire

Feito em LATEX

Pgina 5