Professional Documents
Culture Documents
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:
S
Fi
= em X.
iN
{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
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
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
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+
Feito em LATEX
Espaos de Baire
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
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)
1
para n N y x W.
k
1
< , para x W.
k
3
(2)
.
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