Axioma Da Escolha Numerável em Topologia

O Axioma da Escolha Numervel
em Topologia
Gonalo Gutierres da Conceio
Departamento de Matemtica
Faculdade de Cincias e Tecnologia
Universidade de Coimbra
2004
Dissertao apresentada Faculdade de
Cincias e Tecnologia da Universidade
de Coimbra, para obteno do Grau de
Doutor em Matemtica, na especialidade
de Matemtica Pura.
Agradecimentos
A presente dissertao foi elaborada sob a orientao dos Professores Horst

Herrlich e Maria Manuel Clementino a quem expresso o meu reconhecimento.
Ao Professor Horst Herrlich agradeo por ter sugerido o tema deste tra-
balho, assim como pelas questes, e comentrios, que suscitou ao longo do seu
desenvolvimento. Professora Maria Manuel Clementino agradeo especial-
mente a dedicao e incentivo que dela sempre recebi, ainda que por vezes
distncia, no decurso do meu trabalho.
Um agradecimento especial aos colegas do grupo de Teoria das Categorias

da Universidade de Coimbra e do grupo Kategorielle Methoden in Algebra und
Topologie da Universidade de Bremen, que me acompanharam neste perodo.
Agradeo ainda o apoio concedido pelas seguintes instituies: Departa-

mento de Matemtica da Universidade de Coimbra, Universitt Bremen Fach
Mathematik, Centro de Matemtica da Universidade de Coimbra, Fundao
para a Cincia e Tecnologia e Fundo Social Europeu.
ndice
Introduo iii
1 Definies e resultados auxiliares 1

1.1 Teoria dos Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Topologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Os nmeros reais 19
2.1 R um espao de Frchet-Urysohn . . . . . . . . . . . . . . . . . 19
2.2 R um espao sequencial . . . . . . . . . . . . . . . . . . . . . . 28
3 Propriedades numerveis 35
3.1 Espaos mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Base numervel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3 Produtos de espaos separveis e com uma base numervel . . . . 44
3.4 Produtos de espaos de Lindelf . . . . . . . . . . . . . . . . . . 48
4 Espaos definidos por limites 51

4.1 Espaos denidos por sucesses . . . . . . . . . . . . . . . . . . . 51
4.2 Espaos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.3 Espaos denidos por ultraltros . . . . . . . . . . . . . . . . . . 63
4.4 Espaos de Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . 70
i
ndice
5 Espaos mtricos completos 75

5.1 Completamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.2 Espaos f-completos . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.3 Produtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6 O Primeiro Axioma da Numerabilidade 89

6.1 Denies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.2 Caracterizaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.3 Os nmeros reais . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
ndice de notaes 107
Bibliografia 109
ndice remissivo 115
ii
Introduo
Topologists not only employed the Axiom [of Choice]

with ease but often took it for granted. None exhib-
ited the qualms of conscience which affected van der
Waerden in Algebra despite the fact several of the
topologists were students of Luzin, an ardent construc-
tivist. Perhaps topologists sensed that it was inap-
propriate, when engaged in so abstract an enterprise,
to insist on constructive methods. Perhaps the en-
chanting landscape of abstraction and generalization
freed them from any lingering constructivist scruples.
Whatever the reason, they did not seriously entertain
the question of what general topology might become in
the absence of the Axiom. Like so many mathemati-
cians before and afterward, the use of arbitrary choices
became a second nature to them if not, indeed, a re-
flex.
Gregory H. Moore [36, p.242]
O Axioma da Escolha certamente um dos assuntos mais discutidos da

Histria da Matemtica. Ele foi formalmente introduzido por E. Zermelo [48]
em 1904 para provar o Princpio da Boa Ordenao de Cantor [5].
At essa data, o Axioma da Escolha era implicitamente usado na demons-
trao de vrios outros resultados. Mesmo propriedades elementares dos nmeros
reais, j conhecidas na altura, no dispensam o uso de alguma forma de escolha.
Propriedades deste tipo vo ser objecto da nossa ateno no segundo captulo
iii
Introduo
deste trabalho.
Depois de muitas discusses, sobre o seu novo axioma e a sua prova do Princ-
pio da Boa Ordenao, Zermelo fez uma primeira tentativa para axiomatizar a
Teoria dos Conjuntos [49, 50] e incluiu o Axioma da Escolha. Como o Axioma
da Escolha no universalmente aceite, so consideradas duas verses dessa
teoria, uma com e outra sem o Axioma da Escolha. Devido aos melhoramentos
introduzidos, especialmente, por A. Fraenkel esta teoria chamada Teoria dos
Conjuntos de Zermelo-Fraenkel e denotada por ZF, sem o Axioma da Escolha,
e por ZFC, com o Axioma da Escolha. Existem vrias axiomatizaes de ZF,
mas para os nossos objectivos as suas diferenas no so importantes. Sendo
mais especco, vou usar a axiomatizao de T. J. Jech [31, p.35]. Apenas com
pequenas modicaes dos axiomas, possvel permitir a existncia de tomos
nesta teoria. A Teoria dos Conjuntos de Zermelo-Fraenkel com tomos, sem o
Axioma da Escolha, denotada por ZFA. Aqui vamos trabalhar em ZF, sendo
em geral os resultados tambm vlidos em ZFA.
Hoje em dia, o Axioma da Escolha usado sem hesitao em reas como
a lgebra, a Anlise, a Lgica, a Teoria dos Conjuntos e a Topologia. alis
conhecido que muitos resultados da Anlise Clssica so baseados no Axioma
da Escolha Dependente, e que muitos resultados da lgebra dependem do uso
sistemtico do Teorema do Ideal Booleano Primo. Estes dois princpios so
propriamente mais fracos do que o Axioma da Escolha.
Devido sua relao prxima com a Teoria dos Conjuntos, a Topologia
foi sempre uma rea muito afectada pelo uso do Axioma da Escolha. Ainda
que actualmente ningum questione a legitimidade do seu uso em Topologia,
interessante investigar quais as demonstraes em que algum princpio de escolha
usado e quais os teoremas que no podem ser provados sem o auxlio de um
destes princpios.
Desde que F. Hausdor introduziu a noo de espao topolgico que os
topologistas usam livremente o Axioma da Escolha. Anos antes, M. Frchet
trabalhou com espaos denidos por sucesses e, ainda que por vezes implici-
tamente, usou frequentemente o Axioma da Escolha Dependente. Seguindo
iv
Introduo
indirectamente os seus passos, o quarto captulo deste texto dedicado in-

vestigao do papel do Axioma da Escolha na denio de certas classes de
espaos topolgicos atravs de limites. Tal como Frchet, tambm Hausdor,
e depois deles outros como W. Sierpiski, K. Kuratowski, P. Alexandro ou P.
Urysohn, usou sem restries o Axioma para obter os primeiros resultados so-
bre espaos mtricos e topolgicos. Muitos dos resultados inicialmente provados
por estes Matemticos necessitam apenas do Axioma da Escolha Numervel, em
particular resultados envolvendo espaos separveis, de Lindelf e que vericam
o Segundo Axioma da Numerabilidade. Apenas bastante mais tarde (com ex-
cepo de Sierpiski [41, 42]), o tipo de escolha envolvido em resultados deste
gnero se tornou objecto de estudo (e.g. [15, 2, 33]). Esses problemas sero
analisados na Seco 3.1.
Provavelmente o teorema de Topologia Geral cuja equivalncia ao Axioma da
Escolha mais conhecida o Teorema da Compacidade de Tychono [45]. Esta
equivalncia foi provada por J. L. Kelley [32] em 1950 e representa o comeo
do estudo, de uma forma sistemtica, da inuncia do Axioma da Escolha em
Topologia. De facto, o que A. Tychono provou foi que o produto de um qual-
quer nmero de cpias do intervalo fechado [0, 1] compacto, ainda que a sua
demonstrao possa ser usada no caso geral. interessante realar que o resul-
tado original de Tychono equivalente ao Teorema do Ideal Booleano Primo
([38, 37]), que, como j foi dito, estritamente mais fraco do que o Axioma da
Escolha.
Na primeira metade do sculo passado, alguns matemticos identicaram
o uso do Axioma da Escolha, ou algum dos seus derivados, na demonstrao
de vrios resultados, principalmente em Teoria dos Conjuntos. No entanto, eles
no tinham nenhuma ferramenta que lhes permitisse provar que esses resultados
no eram demonstrveis em ZF. Este problema foi parcialmente resolvido pelo
mtodo de Fraenkel-Mostowski para gerar modelos de ZFA e satisfatoriamente
solucionado em 1963 por P. J. Cohen [7], que criou o mtodo forcing para
construir modelos de ZF. Este mtodo tornou possvel investigar, em ZF, as
relaes entre diferentes princpios de escolha. Estas novas possibilidades susci-
v
Introduo
taram o interesse em descobrir qual a exacta quantidade de escolha necessria

e suciente para provar determinado resultado topolgico.
As provas de independncia que esto nesta dissertao so baseadas em
propriedades conhecidas de diferentes modelos de ZF. A maioria desses modelos
e as suas propriedades esto descritas no livro Consequences of the Axiom of
Choice [28] de P. Howard e J. E. Rubin e na respectiva verso em linha [29].
(Esta ltima tem sido actualizada e facilita a pesquisa do leitor.)
O objectivo deste trabalho investigar o papel que os princpios de escolha
desempenham na demonstrao de diversos resultados topolgicos. Em particu-
lar, tenta-se encontrar para cada teorema de Topologia estudado um princpio
de escolha equivalente.
Grande parte da investigao aqui produzida est relacionada com conceitos
numerveis. Entre outras so estudadas as classes de espaos: separveis, de
Lindelf, sequencialmente compactos, que vericam o Primeiro (resp. Segundo)
Axioma da Numerabilidade, de Frchet-Urysohn e sequenciais. Por esse motivo,
o Axioma da Escolha Numervel na maioria das vezes suciente para provar
os resultados de ZFC que analisamos.
A partir deste ponto passamos a apresentar mais detalhadamente os assuntos

abordados neste trabalho.
No primeiro captulo so introduzidos conceitos e resultados, tanto de Teoria
dos Conjuntos como de Topologia, que sero utilizados nos captulos posteriores.
Isto necessrio (inclusive para conceitos muito usuais) porque alguns conceitos
topolgicos podem ser descritos de diferentes maneiras, equivalentes em ZFC,
mas que frequentemente no so equivalentes em ZF. Tambm so apresentados
resultados topolgicos habituais que ainda so vlidos em ZF, assim como dife-
rentes caracterizaes do mesmo princpio de escolha.
O segundo captulo dedicado ao estudo de propriedades topolgicas dos
nmeros reais. Nele mostrado que diversas propriedades usuais dos reais
dependem de alguma forma de escolha. O captulo est dividido em duas partes.
Na primeira mostra-se que R um espao de Frchet-Urysohn se e s se o Axioma
vi
Introduo
da Escolha Numervel vlido para famlias de subconjuntos dos reais, e que

estas duas condies so equivalentes a alguns outros resultados topolgicos
sobre os nmeros reais. Na segunda parte investigada a questo de saber
quando que R um espao sequencial. Entre outras coisas, mostra-se que
existem modelos de ZF onde R um espao sequencial, mas no um espao
de Frchet-Urysohn.
O terceiro captulo intitulado Propriedades Numerveis e nele so estuda-
dos os espaos separveis, de Lindelf e que vericam o Segundo Axioma da
Numerabilidade. Na primeira das suas quatro seces estudada a equivaln-
cia entre estas trs propriedades para espaos mtricos. Na segunda mostra-se
que uma caracterizao usual dos espaos que vericam o Segundo Axioma da
Numerabilidade no vlida em ZF. Nas duas ltimas seces a ateno est
centrada na estabilidade destas propriedades para a formao de produtos (nu-
merveis).
No quarto captulo so investigadas, mais em detalhe, propriedades rela-
cionadas com limites, tanto de sucesses como de ultraltros. Na primeira
seco so generalizados, nomeadamente para a classe dos espaos que veri-
cam o Primeiro Axioma da Numerabilidade, alguns dos resultados sobre espaos
de Frchet-Urysohn e sequenciais que j haviam sido estudados para R no se-
gundo captulo. Na terceira seco feito um estudo paralelo a este para os
espaos que podem ser caracterizados atravs dos limites de ultraltros (que em
ZFC so todos). Na segunda seco so averiguadas as relaes existentes entre
as noes de espao compacto, sequencialmente compacto e numeravelmente
compacto.
No quinto captulo investiga-se em que condies que todo o espao mtrico
tem um completamento nico. Ir-se- ver que essas condies dependem muito
das denies de completude e de densidade que usarmos. Na terceira seco so
apresentados alguns resultados sobre produtos de espaos mtricos e de espaos
mtricos completos.
No sexto e ltimo captulo compararam-se vrias denies e caracterizaes
do Primeiro Axioma da Numerabilidade. So fornecidas diferentes caracteriza-
vii
Introduo
es do Primeiro Axioma da Numerabilidade em ZFC, que esto divididas em

dois grupos. Em ZF, as trs primeiras tentam reproduzir a ideia original na
denio do Primeiro Axioma da Numerabilidade, e qualquer uma delas pode
ser considerada uma denio; enquanto que as outras caracterizaes no so
desejveis como denio, devido sua complexidade. Vamos estudar em que
condies que so equivalentes as caracterizaes que esto naturalmente rela-
cionadas, e averiguar quando que alguns espaos topolgicos especcos as
satisfazem. De entre estes, uma vez mais dada particular ateno ao espao
topolgico dos nmeros reais.
Os trs ltimos captulos deste trabalho, com excepo das Seces 4.2 e 5.3,
assim como as Seces 2.2, 3.2 e 3.3 so consideradas originais. Os casos em
que esta regra no se aplica so referidos nos locais apropriados.
viii
Captulo 1
Definies e resultados
auxiliares
No primeiro captulo deste trabalho so apresentados resultados e denies

de conceitos que sero usados durante os outros captulos.
Em geral os resultados so bastante conhecidos e por isso a sua demons-
trao omitida. Existem no entanto casos em que os resultados, por serem
adaptaes ou generalizaes de outros resultados, no esto referenciados e
por isso apresentada uma demonstrao. Resultados de especial importncia no
decurso do trabalho so tambm demonstrados.
1.1 Teoria dos Conjuntos

Como seria obrigatrio, o corpo do trabalho comea com as denies de
funo de escolha e do Axioma da Escolha.
So apresentados de seguida alguns equivalentes conjuntivistas do Axioma da
Escolha. Realce-se que essas equivalncias nem sempre foram evidentes. Nestes
casos, o tempo tornou para ns bvios resultados que para os nossos antecessores
do incio do sculo passado foram motivo de grande discusso.
Nas denies deste trabalho optou-se por usar a palavra famlia em detri-
1
mento da palavra conjunto. Essa opo deliberada e feita com a inteno de

melhorar a compreenso do texto, ainda que por vezes exista um certo abuso
de linguagem ao denominar por famlia o conjunto dos seus elementos.
A opo pelo uso de famlias ainda justicada pela existncia de vrios
resultados e formulaes que envolvem produtos cartesianos.
Definio 1.1.1 A uma funo f , com domnio F, tal que a imagem de cada
A F um elemento de A, i.e. f (A) A, chama-se funo de escolha, ou
apenas escolha, na famlia F.
Definio 1.1.2 (Axioma da Escolha) Toda a famlia cujos elementos so

no vazios admite uma funo de escolha.
Devido ao facto de se chamar produto cartesiano da famlia F ao conjunto

F constitudo pelas funes de escolha em F, o Axioma da Escolha por vezes
Q
enunciado da seguinte forma: no vazio o produto cartesiano duma famlia

de conjuntos no vazios.
A denio aqui apresentada a que foi inicialmente utilizada por E. Zer-

melo. Mais tarde, B. Russel introduziu um axioma, a que se convencionou
chamar Axioma Multiplicativo, que pensou ser mais fraco do que o Axioma
da Escolha, mas que lhe equivalente.
O Axioma Multiplicativo deve o seu nome utilizao que Russel fez dele,
usando-o para denir produtos (e somas) arbitrrios de cardinais.
Definio 1.1.3 (Axioma Multiplicativo) Para todo o conjunto C cujo os

elementos so disjuntos e no vazios, existe um conjunto A tal que, para todo o
C C, A C contm um e apenas um elemento.
Estes dois axiomas podem ser encarados como duas verses do mesmo axioma,
pelo que daqui em diante Axioma da Escolha (AC)1 designa ambos os axiomas.
1 As abreviaturas dos princpios de escolha definidos nesta seco so retiradas da Lngua
Inglesa. Esta opo tem o intuito de uniformizar a notao com a existente na literatura.
2
Cap.1 Definies e resultados auxiliares
Definio 1.1.4 (Princpio da Boa Ordenao) Todo o conjunto admite

uma relao de boa ordem.
Apesar de no ser to aparente como no caso anterior, tambm claro

que o Princpio da Boa Ordenao equivalente ao Axioma da Escolha. Uma
demonstrao deste facto pode ser vista em [31, p.10].
Definio 1.1.5 (Axioma da Escolha Mltipla MC) Para toda a fam-

lia F de conjuntos no vazios, existe uma funo f tal que, para todo o X F,
=6 f (X) X e f (X) nito.
Teorema 1.1.6 ([31, p.133]) Em ZF, o Axioma da Escolha equivalente ao

Axioma da Escolha Mltipla.
Neste caso a axiomtica considerada ainda mais importante do que nos

outros casos, pois numa axiomtica que permita a existncia de tomos este
teorema no vlido, i.e. existem modelos de ZFA em que o Axioma da Escolha
Mltipla se verica e o Axioma da Escolha no (Segundo Modelo de Fraenkel
N2 em [28]). Para mais detalhes, ver [34] ou [31, p.135].
Ao longo deste trabalho vai ser de grande utilidade a caracterizao do
Axioma da Escolha Mltipla feita por A. Levy, principalmente pelas genera-
lizaes que se podem estabelecer para outras formas de escolha mltipla. Esta
caracterizao est em paralelo com o Princpio da Boa Ordenao.
Proposio 1.1.7 ([34]) O Axioma da Escolha Mltipla verifica-se se e s se

todo o conjunto pode ser escrito como unio bem-ordenada de conjuntos finitos.
Em vrias ocasies feito uso do Axioma da Escolha de uma forma parcial,

ou seja a demonstrao de determinado resultado utiliza, directa ou indirecta-
mente, um princpio de escolha mais fraco do que o prprio Axioma. Vamos
comear por denir princpios cujo enunciado envolve a existncia explcita de
uma funo de escolha.
Definio 1.1.8 (Axioma da Escolha Numervel CC) Toda a famlia

numervel de conjuntos no vazios admite uma funo de escolha.
3
Tal como no caso do Axioma da Escolha, este axioma tambm frequente-

mente denido de maneira alternativa dizendo que: O produto numervel de
conjuntos no vazios no vazio.
Devemos destacar neste ponto que est em aberto saber se em ZF a escolha

numervel equivalente escolha numervel mltipla CMC (dene-se de
maneira anloga ao Axioma da Escolha Mltipla).
Definies 1.1.9
(a) CC(R) diz que o Axioma da Escolha Numervel se verica para famlias
de conjuntos de nmeros reais.
(b) AC(R) diz que o Axioma da Escolha se verica para famlias de conjuntos
de nmeros reais.
(c) CC() diz que o Axioma da Escolha Numervel se verica para famlias
de conjuntos com cardinal inferior ou igual a .
(d) CC(n) diz que o Axioma da Escolha Numervel se verica para famlias
de conjuntos nitos.
Note-se que CC(R) e CC(20 ) no so equivalentes, uma vez que CC(R)

uma escolha numervel para famlias cuja unio tem cardinal inferior ou igual
a 20 = |R|, e no apenas cada um dos elementos da famlia.
Formas do tipo AC() ou MC() sero utilizadas com um signicado simi-
lar ao de CC(). Elas no sero, no entanto, to frequentes como esta.
O Axioma da Escolha Numervel assume um papel central neste trabalho,
visto estar presente numa grande parte dos resultados. A prxima proposio
permite simplicar a demonstrao de muitos desses resultados. Devido sua
importncia, ela vai ser demonstrada.
4
Proposio 1.1.10 ([13, p.76], [23]) As condies seguintes so equivalentes a

CC (respectivamente CC(R)):
(i) toda a famlia numervel de conjuntos (resp. subconjuntos de R) no

vazios tem uma subfamlia infinita que admite uma funo de escolha;
(ii) para toda a famlia numervel (Xn )nN de conjuntos (resp. subconjuntos
de R) no vazios, existe uma sucesso que toma valores em Xn para um
nmero infinito de valores de n.
Demonstrao: CC(i)(ii) Imediato. Mostremos ento que (ii)CC.

Seja (Xn )n uma famlia numervel de conjuntos no vazios. Para cada n
Qn
denimos Yn := i=1 Xi . Temos ento que (Yn )n uma famlia numervel
de conjuntos (disjuntos) no vazios. Por (ii), sabemos que existe uma
sucesso (xk )k que toma valores num nmero innito de Yn s. Uma vez
que os conjuntos Yn so disjuntos, podemos denir s(k) := n se xk Yn e
(n) := min{k N : s(k) n}. As n-projeces de todos os x(n) induzem a
funo escolha necessria.
Para o caso dos subconjuntos de R a prova idntica. Para tal, basta notar
[
que |R| = | Rn |.
n
Em [25] foi introduzida uma forma de escolha que corresponde a uma ge-
neralizao do Axioma da Escolha Mltipla. Por esse motivo, a notao que
iremos usar est ligada que foi usada para o Axioma da Escolha Mltipla.
Definio 1.1.11 (MC ) Para toda a famlia F de conjuntos no vazios, existe

uma funo f tal que, para todo o X F, =
6 f (X) X e f (X) numervel.
Definies 1.1.12
(a) MC (R) diz que MC se verica para famlias de conjuntos de nmeros

reais.
(b) CMC (R) diz que MC (R) se verica para famlias numerveis.
5
Vamos ainda considerar uma forma de escolha mltipla que designamos

por CMCW O (R) e que CMC (R) substituindo a escolha de um conjunto
numervel por um bem-ordenvel.
A caracterizao de Levy do Axioma da Escolha Mltipla pode ser adaptada

para os casos de MC e MC (R).
Proposio 1.1.13
(a) ([26]) Todo o conjunto pode ser escrito como unio bem-ordenada de con-
juntos numerveis se e s se MC se verifica.
(b) ([16]) R pode ser escrito como unio bem-ordenada de conjuntos numerveis
se e s se MC (R) se verifica.
Demonstrao: A demonstrao de (b) d uma ideia clara de como funciona a

demonstrao de (a), pelo que s exibiremos uma prova para (b).
Seja R a unio bem-ordenada de conjuntos numerveis, i.e. R = iI Ai ,
S
com cada Ai numervel e com (I, ) um conjunto bem-ordenado. Para cada

subconjunto X de R, X = iI (Ai X), denamos s := min{i I : Ai X 6= }.
S
O conjunto As X um subconjunto numervel de X. Este processo fornece a

funo procurada.
Para provar a outra implicao, consideremos a funo f no conjunto de
todos os subconjuntos no vazios de R que a cada X faz corresponder um
subconjunto numervel e no vazio de X. Atravs de um processo iterativo,
chega-se ao resultado pretendido.
Como cou patente na demonstrao, no enunciado da caracterizao pode-

mos impr que a unio seja disjunta.
Lema 1.1.14
(a) AC MC + AC(0 ).
(b) CC CMC + CC(n).
6
Podem facilmente ser deduzidas outras equivalncias do mesmo tipo das que
esto neste lema. Convm no entanto realar que em ZF se torna redundante
escrever a equivalncia de (a) para o caso nito, devido a AC ser equivalente a
MC (Teorema 1.1.6).
Na ausncia do Axioma da Escolha existem vrias denies (no equiva-

lentes) de conjunto nito. Neste texto iremos trabalhar apenas com duas delas,
mas um estudo mais geral sobre o assunto pode ser encontrado em [36, p.28] e
[28, Nota 94].
Definies 1.1.15
(a) Um conjunto nito se vazio ou equipolente a um nmero natural; seno

innito.
(b) Um conjunto X Dedekind-nito se nenhum subconjunto prprio de X

equipolente a X; seno Dedekind-innito.
Existem modelos de ZF em que as noes de conjunto nito e Dedekind-

nito no coincidem. Por exemplo, no Modelo Bsico de Cohen existe um
subconjunto de R innito e Dedekind-nito.
Proposio 1.1.16 Um conjunto X Dedekind-infinito se e s se tem um

subconjunto infinito numervel, ou seja existe uma funo injectiva de N para
X.
Quando temos um resultado que depende de escolha (no demonstrvel em

ZF), nem sempre possvel explicitar o tipo de escolha necessria. A prxima
proposio mostra que esse no o caso da equivalncia entre nito e Dedekind-
nito, o que nos permite comparar mais facilmente esta equivalncia com outros
princpios de escolha.
Teorema 1.1.17 Todo o conjunto infinito Dedekind-infinito se e s se o

Axioma da Escolha Numervel se verifica para famlias de conjuntos Dedekind-
finitos.
7
Demonstrao: () Seja (Xn ) uma famlia de conjuntos Dedekind-nitos e no

n dos conjuntos Xn innita e por hiptese tambm
vazios. A unio disjunta X
Dedekind-innita, ou seja existe uma funo injectiva f de N para X n.
Como cada um dos conjuntos Xn Dedekind-nito, f (N) intersecta um
nmero innito de Xn s. A partir deste ponto procede-se como na demonstrao
da Proposio 1.1.10, uma vez que o produto nito de conjuntos Dedekind-nitos
ainda Dedekind-nito.
() Seja X um conjunto Dedekind-nito. Vamos denotar por Zn o
conjunto {1, ..., n} dos n primeiros nmeros naturais e denir os conjuntos
Sn := {(f : Zn X) : f injectiva}. Cada um dos conjuntos Sn Dedekind-
nito, porque caso contrrio X seria Dedekind-innito.
Suponhamos agora que X innito. Temos ento que (Sn ) uma famlia
de conjuntos Dedekind-nitos no vazios. Logo existe por hiptese (fn )n , onde
cada fn um elemento de Sn . Neste caso podemos denir uma funo injectiva
: N X do seguinte modo: (1) = f1 (1) e, para n 1, (n) = fn (k), com
k = min{p Zn : fn (p) 6 (Zn1 )}. A existncia de contradiz a suposio de
que X Dedekind-nito.
A primeira implicao uma consequncia imediata do facto de a equiva-

lncia entre as noes de conjunto nito e conjunto Dedekind-nito implicar o
Axioma da Escolha Numervel para conjuntos nitos (CC(n)). Este facto j
bastante conhecido, sendo contudo apenas uma implicao prpria (ver, e.g.,
[36, p.322]).
A demonstrao da segunda implicao uma adaptao da demonstrao
apresentada por T. J. Jech em [31] de que CC implica a equivalncia entre nito
e Dedekind-nito.
Proposio 1.1.18 As condies seguintes so equivalentes:
(i) todo o subconjunto infinito de R Dedekind-infinito;
(ii) o Axioma da Escolha verifica-se para famlias de subconjuntos de R

Dedekind-finitos;
8
(iii) o Axioma da Escolha Numervel verifica-se para famlias de subconjuntos

de R Dedekind-finitos.
Demonstrao: (i)(ii) Esta implicao bvia dado que AC(n) sempre

vlido para famlias de subconjuntos de R.
(ii)(iii) Imediato.
(iii)(i) Um subconjunto innito de R ou ilimitado ou tem um ponto de
acumulao. Sem perda de generalidade, suponha-se A um subconjunto de R
superiormente ilimitado e denam-se os conjuntos An := [n, +) X.
Se algum An for Dedekind-innito, ento A tambm Dedekind-innito.
Se todos os An s forem Dedekind-nitos, ento por (iii) existe uma funo de
escolha em (An ), ou seja existe (an ) com cada an An . O conjunto {an : n N}
um subconjunto innito numervel de A porque A superiormente ilimitado.
Intimamente ligada com o Axioma da Escolha Numervel est a Condio

da Unio Numervel. Na ausncia desta condio vrios resultados tidos por
bvios podem no se vericar. Como exemplo deste facto, rera-se que R pode
ser a unio numervel de conjuntos numerveis ([11]).
Definio 1.1.19 (Condio da Unio Numervel CUC) A unio nu-

mervel de conjuntos numerveis numervel.
A condio a unio numervel de conjuntos nitos numervel denotada

por CUC(n).
Lema 1.1.20
(a) CC(20 ) = CUC = CC(0 ).
(b) CUC(n) CC(n).
Para provar a primeira implicao de (a) basta vericar que, se X nume-

rvel, o conjunto de todas as bijeces entre N e X tem cardinal 20 . Se X for
9
nito, ento o conjunto das bijeces tambm nito, o que nos d uma das
direces de (b). As implicaes restantes so bvias.
As implicaes de (a) no so reversveis, pois no se vericam no Modelo
Bsico de Cohen (M1 em [28]) e no Primeiro Modelo de Felgner (M20 em [28]),
respectivamente.
A ltima parte da primeira seco dedicada a denies relacionadas com

o conceito de ultraltro, envolvendo nomeadamente a existncia de ultraltros.
A convergncia de ultraltros representa um papel central na caracterizao
de espaos topolgicos, e o teorema de ZFC que seguidamente enunciaremos
usado repetidamente nesse contexto. No por isso grande surpresa que a sua
ausncia nos crie novos problemas.
Definio 1.1.21 (Teorema do Ultrafiltro UFT) Todo o ltro num dado

conjunto pode ser estendido a um ultraltro.
Este teorema equivalente ao Teorema do Ideal Booleano Primo, i.e. toda a

lgebra de Boole no trivial (0 6= 1) tem um ideal primo. Para mais pormenores
sobre este assunto, veja [31, 2.3].
Tal como nos casos anteriores, vamos considerar algumas variaes do Teo-
rema do Ultraltro.
Definies 1.1.22
(a) ([22]) CUF diz que o Teorema do Ultraltro se verica para ltros com
uma base numervel.
(b) CUF(R) diz que o Teorema do Ultraltro se verica para ltros em R

com uma base numervel.
Proposio 1.1.23 Se o Axioma da Escolha Numervel vlido e N tem um

ultrafiltro livre, ento CUF verifica-se.
10
Demonstrao: Seja (An )n uma base para um ltro num conjunto X. Pode-
se supor que An+1 An para todo o n. Por CC escolhe-se um elemento
an de An \ An+1 . Como N tem um ultraltro livre por hiptese, o conjunto
{an : n N} tem um ultraltro livre U.
O ltro gerado em X por U um ultraltro e contm {An : n N}.
Corolrio 1.1.24 O Teorema do Ultrafiltro no equivalente a CUF.
No Modelo de Pincus IX (M47(n, M ) em [28]) o Teorema do Ultraltro no

vlido, mas o Axioma da Escolha Numervel verica-se e existe um ultraltro
livre em N, e portanto CUF tambm se verica.
Corolrio 1.1.25 Se o Axioma da Escolha vlido para famlias de subcon-

juntos de R, ento CUF(R) verifica-se.
Tal como na Proposio 1.1.23, em alguns resultados iremos usar condies

que apenas envolvem a existncia de ultraltros livres, em geral ou no conjunto
dos nmeros reais.
Teorema 1.1.26 R tem um ultrafiltro livre se e s se N tem um ultrafiltro livre.
Demonstrao: Se existe um ultraltro livre em N, ento imediato que ele se

pode estender a um ultraltro livre em R.
Seja agora U um ultraltro em R. Todo o ultraltro em R convergente ou
ilimitado. Sem perder generalidade, pode-se supor que U ilimitado superior-
mente, ou seja, para todo x R, (x, +) U. Considere-se em R a partio
(Bn )n com B1 := (, 1] e Bn := (n 1, n] para n N \ {1}.
Constri-se de seguida o conjunto U := {A N : nA Bn U}. No
S
difcil vericar que U um ultraltro livre em N
Este resultado permite situar melhor a existncia de ultraltros livres em

R, dado serem conhecidos bastantes modelos onde N no tem ultraltros, como
por exemplo o Modelo de Feferman M2 em [28]. Para mais detalhes consultar
a Forma 70 de [28].
11
1.2 Topologia
1.2 Topologia
Em paralelo com o que foi feito na seco anterior, nesta seco so apre-
sentadas denies de noes topolgicas usuais que precisamos neste trabalho.
Juntamente com essas denies so introduzidos resultados sobre espaos to-
polgicos em que a habitual demonstrao vlida em ZF ou no necessita de
alteraes profundas.
A ausncia do Axioma da Escolha provoca tambm a existncia de diferentes
denies em ZF para o mesmo conceito de ZFC. Esse ser um problema de que
nos ocuparemos mais tarde, e portanto no temos neste captulo mais do que
uma denio do mesmo conceito.
Definio 1.2.1 Um espao topolgico X (numeravelmente) compacto se

toda a cobertura aberta (numervel) de X tem uma subcobertura nita.
Algumas das caracterizaes usuais dos espaos compactos, que por vezes
so usadas como denio, no so equivalentes a esta denio em ZF. Neste
contexto, os espaos topolgicos aqui denidos como compactos so por vezes
designados por compactos de Heine-Borel. Esta designao deve-se ao Teorema
de Heine-Borel, que caracteriza os subespaos compactos de Rn .
A partir deste momento usamos frequentemente os trs primeiros axiomas de

separao: T0 , T1 e T2 ou de Hausdor. As suas denies, assim como as suas
habituais caracterizaes, no sofrem alterao com a mudana de axiomtica.
Proposio 1.2.2
(a) Todo o subespao fechado de um espao topolgico compacto compacto.
(b) Todo o subespao compacto de um espao topolgico de Hausdorff fechado.
Demonstrao: (b) Sejam (X, T) um espao topolgico de Hausdor, K um seu

subespao compacto e consideremos um ponto x 6 K. Como X de Hausdor,
o conjunto
{V K 6= : V T e U T (x U e U V = )}
12
uma cobertura de K, logo tem uma subcobertura nita {Vi K : i = 1, .., n}.
Podemos ento escolher (escolha nita) para cada i = 1, .., n um aberto Ui tal
n
\
que x Ui e Ui Vi = . O conjunto aberto U := Ui no intersecta K e
i=1
portanto K fechado.
A demonstrao que acabmos de fazer mostra como mesmo resultados

aparentemente bvios podem necessitar de cuidados redobrados quando o Axioma
da Escolha no pode ser utilizado.
Teorema 1.2.3 (Teorema de Heine-Borel) Um subespao de R compacto

se e s se fechado e limitado.
Depois da Proposio 1.2.2, a nica parte no trivial que ca por demonstrar

que todo o intervalo fechado de R compacto. Uma prova detalhada deste
facto, vlida em ZF, pode ser vista em [44, Teorema 5.3.1].
Em paralelo com a denio de espao compacto, vamos introduzir mais duas

denies directamente relacionadas com compacidade, espao sequencialmente
compacto e espao de Lindelf. Esta ltima deve o seu nome caracterizao
feita por Lindelf do espao topolgico dos nmeros reais que, como veremos
mais tarde, no vlida em todos os modelos de ZF.
Definio 1.2.4 Um espao topolgico X sequencialmente compacto se toda

a sucesso em X tem uma subsucesso convergente.
Definio 1.2.5 Um espao topolgico X de Lindelf se toda a cobertura

aberta de X tem uma subcobertura numervel.
Definio 1.2.6 Um espao topolgico separvel se tem um subespao nu-

mervel denso.
13
1.2 Topologia
Definies 1.2.7
(a) Um espao topolgico X verica o Primeiro Axioma da Numerabilidade se

todo o ponto x X tem um Sistema Fundamental de Vizinhanas (SFV)
numervel.
(b) Um espao topolgico verica o Segundo Axioma da Numerabilidade se

tem uma base numervel.
Ao longo do texto, os espaos que vericam o Segundo Axioma da Numera-

bilidade so com frequncia referidos simplesmente como espaos com uma base
numervel.
Proposio 1.2.8 Todo o espao topolgico (numeravelmente) compacto que

verifica o Primeiro Axioma da Numerabilidade sequencialmente compacto.
A demonstrao usual desta proposio (ver [46, Teorema 7.1.3]) vlida

em ZF. A nica escolha que necessrio fazer uma escolha num conjunto
numervel, o que sempre possvel.
Lema 1.2.9 Seja (X, T) um espao topolgico.
(a) Se (X, T) verifica o segundo axioma da numerabilidade,

ento |T| |R| = 20 .
(b) Se (X, T) T0 e verifica o Segundo Axioma da Numerabilidade,

ento |X| |R| = 20 .
O resultado de (a) uma consequncia da denio de base.

Para (b), basta vericar que o cardinal de qualquer espao topolgico T0
menor que o cardinal da sua topologia.
O Captulo 4 vai ser principalmente dedicado caracterizao de espaos
topolgicos atravs de limites, nomeadamente de sucesses e de ultraltros.
14
Dentro desse estudo ser dada particular ateno aos espaos de Frchet-
Urysohn e espaos sequenciais. Seguindo as denies de, por exemplo, R.
Engelking [10], um espao topolgico X de Frchet-Urysohn se para todo o
A X e todo o x no fecho de A, existe uma sucesso de elementos de A
convergente para x; e um espao topolgico X sequencial se um conjunto
A X fechado se e s se juntamente com qualquer sucesso contm todos os
seus limites.
Para facilitar o manuseamento destas denies, iremos utilizar o operador
de fecho sequencial, o que torna principalmente mais claro o conceito de espao
sequencial.
Definies 1.2.10 Seja A um subespao do espao topolgico X. O fecho se-

quencial de A em X o seguinte conjunto:
X (A) := {x X : ((xn ) AN )[(xn ) converge para x]}.
A sequencialmente fechado em X se X (A) = A.
Usando o mesmo tipo de notao, o fecho (usual) de Kuratowski de A em X

denotado por kX (A).
Definies 1.2.11 Um espao topolgico X :
(a) sequencial se, para todo o A X, X (A) = A se e s se kX (A) = A;
(b) de Frchet-Urysohn se, para todo o A X, kX (A) = X (A).
Note-se que um espao topolgico X sequencial se e s se, para todo o

X (A) com
X (A) := {B : A B X e X (B) = B}.
T
A X, kX (A) =
Este o menor operador de fecho idempotente que maior ou igual a e
imediato que, para todo o A X, X (A)
X (A) kX (A).
Proposio 1.2.12 Um espao topolgico X de Frchet-Urysohn se e s se

sequencial e o fecho sequencial X idempotente.
15
1.2 Topologia
Usando a notao dos operadores de fecho, esta Proposio diz simplesmente

que kX = X se e s se kX =
X e
X = X .
A partir deste ponto vamos usar as noes de espao mtrico e pseudomtrico.

A denio de espao mtrico que usamos a usual. Um espao pseudomtrico
um espao mtrico, onde permitido que a distncia entre dois pontos distintos
seja nula.
Definio 1.2.13 Um espao (pseudo)mtrico completo se toda a sua suce-

sso de Cauchy convergente.
Proposio 1.2.14
(a) Todo o subespao completo de um espao mtrico sequencialmente fechado.
(b) Todo o subespao sequencialmente fechado de um espao (pseudo)mtrico

completo completo.
Deve aqui ser referido que (a) no se verica para espaos pseudomtricos,
uma vez que existem subespaos completos no sequencialmente fechados. Basta
considerar a pseudomtrica indiscreta e qualquer seu subespao no trivial.
Corolrio 1.2.15 Seja X um espao mtrico completo. Um subespao A de X

completo se e s se X (A) = A.
Corolrio 1.2.16 Todo o subespao fechado de um espao (pseudo)mtrico

completo completo.
Corolrio 1.2.17 Para um espao mtrico completo X so equivalentes:
(i) X um espao sequencial;
(ii) todo o espao A X completo se e s se fechado em X.
Proposio 1.2.18 Todo o espao (pseudo)mtrico sequencialmente compacto

completo.
16
A demonstrao desta Proposio imediata porque se uma subsucesso de

uma sucesso de Cauchy converge, ela prpria tem que convergir.
Corolrio 1.2.19 Todo o subespao sequencialmente compacto de um espao

mtrico sequencialmente fechado.
Este Corolrio imediato pois todo o subespao mtrico completo sequen-

cialmente fechado.
O resultado deste Corolrio ainda vlido se considerarmos um espao de
Hausdor no lugar de um espao mtrico, fazendo assim um paralelo com o caso
dos espaos compactos e conjuntos fechados que vimos na Proposio 1.2.2.
Continuando esse paralelo tem-se tambm que todo o subespao sequencial-
mente fechado de um espao topolgico sequencialmente compacto sequencial-
mente compacto.
17
Captulo 2
Os nmeros reais
A inteno de comear por apresentar problemas no conjunto dos nmeros

reais mostrar como mesmo os resultados aparentemente mais simples podem
no ser vlidos num universo sem escolha. De entre estes resultados, dado
nfase aos resultados que estudamos para outro tipo de espaos topolgicos.
Apesar de existir um captulo inteiramente dedicado aos nmeros reais, resulta-
dos em R so tambm frequentes nos outros captulos, nomeadamente quando
relacionados com conceitos que sero introduzidos posteriormente.
O captulo est dividido em duas seces. Na primeira so apresentados re-
sultados equivalentes a CC(R) e na segunda um conjunto de resultados, equi-
valentes entre si, mas algo surpreendentemente, propriamente mais fracos do
que CC(R).
2.1 R um espao de Frchet-Urysohn

A Proposio 1.2.12 d uma clara indicao de que as propriedades de um es-
pao topolgico ser de Frchet-Urysohn, ser sequencial ou o seu fecho sequencial
ser idempotente esto intimamente relacionadas. Neste captulo vamos estudar
em que condies que R tem estas trs propriedades.
O espao topolgico real de Frchet-Urysohn se e s se o Axioma da Escolha
19
Numervel se verica em R. Este resultado j bastante conhecido (ver [12,

p.124]), mas no entanto para as condies R sequencial e R idempotente
a situao no to clara. A primeira destas duas condies vai ser objecto
de estudo na seco seguinte; para a segunda apresentamos aqui a soluo do
problema ([18]).
Teorema 2.1.1 ([12, 24, 18]) As condies seguintes so equivalentes a CC(R):
(i) R de Frchet-Urysohn;
(ii) o fecho sequencial idempotente em R.
Demonstrao: A demonstrao usual de que R de Frchet-Urysohn continua

a ser vlida se CC(R) se verica (ver, e.g., [12, p.124]), e se R de Frchet-
Urysohn, ento R idempotente (Proposio 1.2.12). Falta portanto apenas
provar que (ii)CC(R).
Seja (Xn )n uma famlia numervel de subconjuntos no vazios de R, e dena-
se Yn := {x + p : x Xn , p N}. Para todo o n em N, pode ser denida uma
funo bijectiva crescente fn : R ( n+1 1
, n1 ) por fn (x) = (2n+1)(x+1)+|x|
2n(n+1)(x+1) .
Consideremos os conjuntos Zn := fn (Yn ). Pela maneira como os conjuntos Yn e
as funes fn esto denidos, a sucesso (fn (x + p))p , para x Xn xo, uma
sucesso em Zn que converge para n1 . Ou seja, para Z := n Zn , { n1 : n N}
S
est contido em R (Z) e portanto 0 R2 (Z). Como R idempotente por

hiptese, 0 R (Z), i.e. existe uma sucesso (ak )k em Z que converge para 0.
Os conjuntos Zn so disjuntos, e por isso para cada k N existe exactamente
1
um n(k) N tal que ak Zn(k) . Podemos ento agora denir bk := fn(k) (ak )
e Bk := {x Xn(k) : (p N) x + p = bk }. O conjunto Bk discreto porque,
se x1 e x2 so dois elementos distintos de Bk , ento existem p1 , p2 N tais que
x1 + p1 = x2 + p2 , logo |x1 x2 | N. Alm disso, Bk no vazio e tem um
majorante bk , logo tem igualmente um mximo ck .
Podemos concluir que {ck : k N} intersecta um nmero innito dos con-
juntos Xn , o que uma consequncia da convergncia de (ak )k para 0. A verso
da Proposio 1.1.10 para o caso real permite-nos terminar a prova.
20
Cap.2 Os nmeros reais
Corolrio 2.1.2 ([12, p.128], [24]) As condies seguintes so equivalentes a

CC(R):
(i) todo o subespao de R separvel;
(ii) todo o subconjunto ilimitado de R contm um conjunto numervel ilimi-

tado.
Demonstrao: CC(R)(i) Uma vez que todo o subespao A de R verica o

Segundo Axioma da Numerabilidade, apenas necessrio escolher um elemento
de cada aberto no vazio na base de A.
A implicao (i)(ii) imediata, e para (ii)CC(R) vamos provar que R
de Frchet-Urysohn a partir de (ii).
Sejam A R e x kR (A) um ponto de acumulao direita de A.
Como vimos anteriormente, pode ser denida uma funo bijectiva crescente
g : (x 1, x) R. O subespao g(A) ilimitado superiormente, logo existe
por hiptese um conjunto numervel {xn : n N} g(A) ilimitado. Se denir-
mos k(n) := min{j N : xj n}, a sucesso (g 1 (xk(n) ))n est em A e converge
para x.
Em [4] N. Brunner estudou a existncia de subconjuntos innitos Dedekind-

nitos de R. Introduzimos aqui um dos seus resultados, e respectiva demonstra-
o, de maneira a utilizar o seu mtodo para a construo de conjuntos densos
em R e no separveis. Ao mesmo tempo o resultado de Brunner usado para
ampliar os resultados da Proposio 1.1.18.
Proposio 2.1.3 As condies seguintes so equivalentes:
(i) todo o subconjunto infinito de R Dedekind-infinito;
(ii) todo o conjunto denso em R Dedekind-infinito;
21
(iii) o Axioma da Escolha verifica-se para famlias de conjuntos densos em R

Dedekind-finitos;
(iv) o Axioma da Escolha Numervel verifica-se para famlias de conjuntos

densos em R Dedekind-finitos.
Demonstrao: As implicaes (i)(ii) e (iii)(iv) so evidentes e atravs da

Proposio 1.1.18 a implicao (i)(iii) tambm imediata.
(ii)(i) ([4]) Seja A um subconjunto innito de R e, sem perda de generali-
dade, suponhamos que 0 ponto de acumulao esquerda de A.
1
Denimos ento A0 := A (0, 1) e, para cada n em N, An := A ( n+1 , n1 ).
O conjunto A0 ainda innito e tem 0 como ponto de acumulao. Alguns dos
conjuntos An podem ser vazios, mas um nmero innito desses conjuntos tem
que ser no vazio, ou seja M := {m N : Am 6= } tem o mesmo cardinal
do que N. Consideremos ento a base de R que consiste nos intervalos abertos
((rm , sm ))mM em que os extremos so nmeros racionais.
Para todo o m M, existe uma funo injectiva fm : Am (rm , sm )
1
denida por fm (x) := rm +m(m+1)(sm rm )(x m+1 ). A funo f : A0 R,
denida por f (x) := fm (x) se x Am , est bem denida porque os conjuntos
An so disjuntos.
O conjunto B := f (A0 ) denso em R, uma vez que intersecta todos os
elementos da base. Temos ento por hiptese que B Dedekind-innito, ou
seja existe uma funo : N B injectiva.
Falta agora provar que A (ou A0 ) tambm Dedekind-innito. Para
cada elemento b B consideremos m(b) := min{m M : b fm (Am )},
o que permite construir uma inversa de f : A0 B. O conjunto
1
{fm((k)) ((k)) : k N} um subconjunto numervel de A0 e portanto A
Dedekind-innito.
(iv)(ii) Seja X um conjunto denso em R. Para todo o n N,
Xn := X (n, n + 1) denso em (n, n + 1).
Se X for Dedekind-nito ento cada um dos conjuntos Xn tambm Dedekind-
nito. Tendo em considerao que podemos construir um homeomorsmo entre
22
R e (n, n + 1), cada Xn pode ser visto como denso em R e portanto existe por
hiptese (xn )n tal que, para todo o n N, xn Xn .
Como os conjuntos Xn so disjuntos, {xn : n N} dene uma funo
injectiva de N para X.
Proposio 2.1.4 As condies seguintes so equivalentes a CC(R):
(i) o Axioma da Escolha Numervel verifica-se para famlias de espaos den-

sos em R;
(ii) todo o subespao de R separvel;
(iii) todo o espao denso em R separvel.
Demonstrao: A equivalncia entre CC(R) e (ii) est no Corolrio 2.1.2. As

implicaes CC(R)(i) e (ii)(iii) so evidentes.
Como na demonstrao da proposio antecedente, consideramos a base
((rn , sn ))nN de R, que consiste nos intervalos abertos em que os extremos so
nmeros racionais. Para todo o n N, pode ser denida uma funo bijectiva
fn : R (rn , sn ).
(iii)CC(R) Seja (An )n uma famlia numervel de subconjuntos no vazios
de R e denamos Bn := fn (An ) e B := n Bn . O espao B denso em R e por
S
(iv) existe C := {xn : n N} numervel e denso em B, logo tambm denso em

R.
Um nmero innito dos conjuntos Bn C so no vazios, seno
C seria limitado e portanto no seria denso em R. Para cada elemento de
M := {m N : Bn C 6= }, dene-se k(m) := min{i N : xi Bm }. O con-
1
junto {fm (xk(m) ) : m M} determina uma funo de escolha em (Am )mM , o
que, tendo em conta a Proposio 1.1.10, suciente para provar (i).
(i)(iii) Seja A um espao denso em R. Para cada n N, An := A (rn , sn )
denso em (rn , sn ). Como j vimos anteriormente, o facto de os espaos
(rn , sn ) serem homeomorfos a R faz com que possamos considerar (An ) como
uma famlia de espaos densos em R. Temos ento que, por hiptese, existe
{xn : xn An e n N} A, que um espao numervel denso em R.
23
Uma das concluses mais surpreendentes quando analisamos o espao topo-

lgico R em ZF talvez o facto de este no ser de Lindelf. Esta propriedade
falha inclusive de modo mais drstico, pois o prprio espao discreto N pode no
ser de Lindelf. Diversos autores dedicaram-se a esta ltima questo, nomeada-
mente N. Brunner [4] mostrou que no provvel em ZF que N seja um espao
de Lindelf. Mais tarde foi provado que N de Lindelf se e s se o Axioma
da Escolha Numervel se verica em R (CC(R)). Provas deste resultado po-
dem ser vistas em vrios stios, como por exemplo em [24, 1, 28]. Devido sua
importncia e sua singularidade, optamos por apresentar uma demonstrao
onde se v directamente que CC(R) no pode ser evitado.
Teorema 2.1.5 O espao discreto N de Lindelf se e s se o Axioma da

Escolha Numervel se verifica para famlias de conjuntos de nmeros reais.
Para provar que N de Lindelf segue-se a demonstrao usual. apenas

preciso vericar que nenhuma condio mais forte do que CC(R) usada. A
nica escolha necessria uma escolha numervel na topologia de N, ou seja
em P(N), e esse conjunto equipolente a R. Portanto CC(R) suciente para
provar que N de Lindelf.
Vamos ento provar a outra implicao.
Demonstrao: Comeamos por considerar uma famlia numervel (Xn )n de
subconjuntos de P(N), o que equivalente a considerar uma famlia numervel
de subconjuntos de R.
Para cada n N, denimos o conjunto Yn := {x {n} : x Xn }, que
um subconjunto de P(Z). Pela maneira como os conjuntos Yn esto denimos,
uma funo de escolha em (Yn )n induz uma funo de escolha em (Xn )n .
Por hiptese N de Lindelf, pelo que tambm Z (com a topologia discreta)
de Lindelf. O conjunto U := n Yn {N0 } uma cobertura aberta de Z,
S
logo tem uma subcobertura numervel {un : n N}. O facto de {un : n N}

ser uma cobertura, nomeadamente por cobrir a parte negativa de Z, faz com
que para cada n exista s(n) := min{k N : uk Yn } e consequentemente
24
{us(n) : n N} dene uma funo de escolha em (Yn )n .
Corolrio 2.1.6 ([24]) As condies seguintes so equivalentes a CC(R):
(i) todo o espao topolgico que verifica o Segundo Axioma da Numerabilidade

de Lindelf;
(ii) todo o subespao de R de Lindelf;
(iii) R de Lindelf.
Demonstrao: (iii)CC(R) Como N um subespao fechado de R, se R de

Lindelf, ento N de Lindelf e portanto CC(R) verica-se. As implicaes
(i)(ii) e (ii)(iii) so evidentes.
CC(R)(i) Sejam U uma cobertura aberta de um espao (X, T) que verica
o Segundo Axioma da Numerabilidade, e B := {Bn : n N} uma sua base.
Consideremos ento os subconjuntos de U, Un := {U U : Bn U } e o
conjunto de nmeros naturais M := {n N : Un 6= }. Como B uma base,
{Bm : m M} uma cobertura de X. Por outro lado, m Um U T e,
S
pelo Lema 1.2.9, sabemos que |T| |R|. Temos por isso que CC(R) implica a
existncia de uma famlia (Um )mM tal que cada Um um elemento de Um , ou
seja {Um : m M} uma subcobertura de U.
A demonstrao de CC(R)(i) fornece, automaticamente, uma prova para

a implicao do Teorema 2.1.5 que no foi demonstrada.
Corolrio 2.1.7 Todo o subespao separvel de R de Lindelf se e s se

CC(R) se verifica.
Demonstrao: Se CC(R) se verica, ento todo o subespao de R de Lin-

delf. Por outro lado, se todo o subespao separvel de R de Lindelf, ento
N tambm de Lindelf.
O Teorema que enunciado de seguida uma restrio das condies (i) do

Teorema 2.1.1 e (ii) do Corolrio 2.1.2 para subespaos de Lindelf de R. Ao
25
contrrio do que acontece com aquelas condies, este Teorema um teorema

de ZF.
Teorema 2.1.8 ([16])
(a) Todo o subespao de Lindelf ilimitado de R contm uma sucesso

ilimitada.
(b) Para todo o subespao de Lindelf A de R, se x kR (A) ento x R (A).
Demonstrao: As duas demonstraes tm muitas semelhanas, pelo que va-

mos apenas demonstrar (b). Para (a) procede-se de modo anlogo considerando
x = .
Sem perda de generalidade, consideremos x kR (A) \ A um ponto de acu-
mulao direita do espao de Lindelf A R. Claramente U := {(, a)A :
a < x, a A} {(x, +) A} uma cobertura aberta de A. Como A de Lin-
delf, contm uma subcobertura numervel {(, an ) A : n N} {(x, +)}
de U. Os elementos an determinam completamente os conjuntos, uma vez que,
se a < b, ento a (, b) A e a 6 (, a) A.
O ponto x portanto um ponto de acumulao da sucesso (an )n , e denindo
k(n) := min{j N : aj (x n1 , x)} temos ento uma sucesso (ak(n) )n em A
que converge para x.
Teorema 2.1.9 ([21, 16]) As condies seguintes so equivalentes a CC(R):
(i) existe um subespao de R de Lindelf e no compacto;
(ii) existe um subespao de R de Lindelf e no fechado;
(iii) existe um subespao de R de Lindelf e ilimitado.
Demonstrao: Se CC(R) se verica, ento todo o subespao de R de Lindelf

e, por exemplo, o prprio R no compacto. As implicaes (i)(ii) e (i)(iii)
so imediatas. Mais uma vez existe um paralelo entre o caso dos espaos no
26
fechados e dos espaos ilimitados, pelo que fazemos apenas a demonstrao de

(iii)CC(R), uma vez que a prova de (ii)CC(R) segue um caminho idntico.
(iii)CC(R) Seja A R um espao de Lindelf superiormente ilimitado.
Pelo Teorema 2.1.8, A contm uma sucesso (an ) ilimitada superiormente. Sem
perda de generalidade, podemos considerar (an ) crescente, e portanto o espao
C := {an : n N} discreto. Consequentemente C um subespao fechado de
A, o que implica que C seja de Lindelf.
O espao C discreto e innito numervel, logo homeomorfo a N. Vemos
portanto que N de Lindelf, e do Teorema 2.1.5 vem que CC(R) se verica.
Lema 2.1.10 ([35]) A famlia de todos os subconjuntos no vazios fechados de

R tem uma funo de escolha.
Demonstrao: Seja F 6= um subconjunto fechado de R. Se F for limitado

superiormente, ento escolhemos o seu mximo, que existe porque F fechado.
Caso contrrio, escolhe-se o mnimo de F [0, +).
Em ZFC todos os espaos mtricos de Lindelf so separveis. Como iremos

ver no captulo seguinte tal pode no acontecer na ausncia do Axioma da
Escolha. Esse resultado demonstrvel para subespaos de R, ainda que no
se possa simplesmente dizer, como vimos anteriormente (2.1.2), que todos os
subespaos de R so separveis.
Teorema 2.1.11
(a) Todo o subespao fechado de R separvel.
(b) Todo o subespao compacto de R separvel.
(c) Todo o subespao de Lindelf de R separvel.
Demonstrao: (a) Seja A 6= um subespao fechado do conjunto dos nmeros

reais e dena-se a famlia F := {[r, s] A : r, s Q e [r, s] A 6= } constituda
por subconjuntos de R fechados e no vazios. Seja e a funo de escolha do
27
2.2 R um espao sequencial
Lema 2.1.10. O conjunto {e(F ) : F F} denso em A, e numervel porque F

numervel.
Para A = , o resultado obviamente trivial.
(b) Vem automaticamente de (a) e do Teorema de Heine-Borel.
(c) O Teorema 2.1.9 arma que temos duas hipteses: ou CC(R) se verica
e ento todos os subespaos de R so separveis, ou os subespaos de Lindelf
de R so precisamente os compactos, e portanto por (b) separveis.
O resultado (c) deste corolrio a implicao inversa de uma das condies

(equivalentes) do Corolrio 2.1.7.
interessante notar que, apesar de ser um teorema de ZF, a sua demons-
trao depende de CC(R).

Nesta seco vamos averiguar quando que R um espao sequencial. Tal
como o facto de R ser de Frchet-Urysohn, tambm no provvel em ZF que
R sequencial (Modelo Bsico de Cohen).
Tendo em conta a Proposio 1.2.12, poderamos ser levados a pensar que
este problema seguiria um caminho paralelo ao da idempotncia do fecho sequen-
cial em R, ou seja que seria equivalente a CC(R). Um dos principais objectivos
desta seco mostrar que tal no se verica.
Teorema 2.2.1 ([16]) Se R sequencial, ento todo o subconjunto infinito de

R Dedekind-infinito.
Demonstrao: Seja A R um conjunto innito Dedekind-nito. Claramente

A sequencialmente fechado, mas no separvel, logo pelo Teorema 2.1.11 A
no fechado.
Como R um espao mtrico completo, imediato do Corolrio 1.2.17 o

seguinte resultado.
28
Proposio 2.2.2 R sequencial se e s se todo o subespao completo de R

fechado.
Fazendo um paralelo com as Proposies 2.1.3 e 2.1.4, tentaremos no prximo

teorema dar uma melhor ideia de como podem ser os subespaos completos no
fechados de R.
Teorema 2.2.3 ([16]) Todo o subespao completo de R fechado se e s se R

o nico subespao denso em R completo.
Dito por outras palavras, se existir A R completo e no fechado, ento

existe B 6= R completo e denso em R.
A demonstrao desta implicao segue inicialmente um percurso paralelo
de (ii)(i) na Proposio 2.1.3.
Demonstrao: Seja A um subespao de R completo mas no fechado, e supo-
nhamos que 0 kR (A) \ A um ponto de acumulao esquerda de A. Como
Q numervel, existe r Q+ tal que [0, r] A Q = ; caso contrrio existiria
uma sucesso de nmeros racionais em A a convergir para 0.
r
Dene-se An := ( n+1 , nr ) A e A0 := [0, r] A = nN An , que ainda um
S
espao completo mas no fechado. Procede-se agora como na demonstrao de

2.1.3, denindo M := {m N : Am 6= }, a base de R ((rm , sm ))mM , que con-
siste nos intervalos com extremos racionais, as funes injectivas
fm : Am (rm , sm ) e f : A0 R denida por f (x) := fm (x) se x Am .
O espao B := f (A0 ) denso em R, uma vez que, para cada m M,
(rm , sm ) B fm (Am ) 6= e B 6= R porque B Q = , dado que f transforma
nmeros irracionais em irracionais. Falta apenas provar que B completo.
Seja (bn ) uma sucesso de Cauchy em B, e consideremos, para cada elemento
b de B, m(b) := min{m M : b fm (Am )}. Como todas as funes fm so
1
injectivas, podemos denir, para cada n, an := fm(b n)
(bn ). O espao A0 com-
pleto e limitado, logo sequencialmente compacto (ver o Lema 2.2.4 a seguir),
e portanto a sucesso (an ) de A0 tem uma subsucesso (ak(n) ) convergente para
um ponto a A0 . Esta subsucesso apenas intersecta um nmero nito dos
29
conjuntos Am , seno o nico limite possvel seria 0 6 A0 , o que implica que a

subsucesso est residualmente em Al , para um l M xo, e portanto a Al .
Finalmente, a continuidade de fl implica que f (ak(n) ) converge para
f (a) B. Mas, pela maneira como a sucesso (an ) foi denida, f (ak(n) ) = bk(n) ,
ou seja, (bn ) uma sucesso de Cauchy com uma subsucesso convergente, logo
tambm ela converge.
Lema 2.2.4 Um subespao limitado de R sequencialmente compacto se e s

se completo.
Demonstrao: Todo o espao sequencialmente compacto completo (1.2.18).

Para provar a outra implicao, consideremos um subespao A limitado e com-
pleto de R, i.e. R (A) = A. Como A limitado, kR (A) tambm limitado, ou
seja kR (A) compacto e portanto sequencialmente compacto, pela Proposio
1.2.8. Temos assim que cada sucesso (an ) em A tem uma subsucesso (ak(n) )
convergente em kR (A), logo convergente em A pois R (A) = A.
Pode-se provar, sem necessidade de utilizar qualquer forma de escolha, que

todo o espao (pseudo)mtrico completo e totalmente limitado sequencial-
mente compacto ([2]). Acresce ainda que em R as noes de subespao limitado
e totalmente limitado coincidem, pelo que o Lema que acabmos de provar
um caso particular deste resultado mais geral. Como no vai ser utilizada neste
trabalho a verso mais geral, optou-se por apresentar apenas o caso dos nmeros
reais, por a sua demonstrao ser mais simples.
Neste ponto estamos em condies de responder parcialmente seguinte per-

gunta Existem subespaos de R sequencialmente compactos e no compactos?.
J h algum tempo que autores como T. J. Jech [31, p.21] ou W. Felschner [12,
p.128] realaram que no se pode provar a equivalncia entre compacidade e
compacidade sequencial para subespaos de R sem recorrer a algum tipo de
escolha. No no entanto conhecida qual a condio de Teoria dos Conjuntos
necessria e suciente para provar essa equivalncia.
30
Como iremos ver, este problema est relacionado com o que temos estado a
estudar at ao momento, i.e. saber quando que R um espao sequencial.
Teorema 2.2.5 ([16]) As condies seguintes so equivalentes:
(i) A R completo se e s se fechado;
(ii) se A R sequencialmente compacto, ento fechado;
(iii) se A R completo, ento separvel;
(iv) se A R sequencialmente compacto, ento separvel.
Demonstrao:
(i)(iii) e (ii)(iv) Pelo Teorema 2.1.11.
(i)(ii) e (iii)(iv) Pela Proposio 1.2.18.
(ii)(i) Que todo o subespao fechado de R completo uma consequncia
imediata do Corolrio 1.2.16.
Para a outra implicao consideramos A R completo. Logo, para cada n
em N, An := A [n, n] um espao completo, e portanto por 2.2.4 cada An
sequencialmente compacto. Utilizando agora a hiptese, vem que An fechado
para todo o n N. Finalmente, fcil vericar que kR (A) = nN kR (An ), mas
S
como kR (An ) = An , kR (A) = nN An = A, ou seja A fechado.

S
(iv)(ii) Seja A R um espao sequencialmente compacto. Por (iv),

existe B := {xn : xn A e n N} numervel e denso em A, e portanto
kR (A) = kR (B).
Seja x um elemento de kR (A) = kR (B). Para cada n N tem-se que
(x n1 , x+ n1 )B 6= . Dene-se ento (n) := min{k N : xk (x n1 , x+ n1 )}.
A sucesso (x(n) ) converge para x, e como A sequencialmente compacto, pela
Proposio 1.2.18 A completo. Logo R (A) = A (1.2.15), o que signica que
x um elemento de A.
31
Proposio 2.2.6 ([16]) As condies seguintes so equivalentes:
(i) um subespao de R sequencialmente compacto se e s se compacto;
(ii) todo o subespao sequencialmente compacto de R fechado;
(iii) todo o subespao sequencialmente compacto de R limitado.
Todo o espao compacto sequencialmente compacto (Proposio 1.2.8) e

o Teorema de Heine-Borel diz que um subespao de R compacto se e s se
fechado e limitado. portanto claro que (i) equivalente conjuno das
condies (ii) e (iii). Temos ento que suciente mostrar que (ii) e (iii) so
equivalentes.
Para tal basta ver que existe um homeomorsmo entre R e todo o intervalo
aberto de R (ver demonstrao de 2.1.1), e que os homeomorsmos preservam
os subespaos sequencialmente compactos.
O Teorema 2.1.9 diz que, na ausncia de CC(R), os espaos compactos e

os de Lindelf coincidem em R. No portanto de estranhar que seja possvel
substituir compacto por de Lindelf na condio (i) da Proposio 2.2.6.
Lema 2.2.7 Todo o subespao de R sequencialmente compacto e de Lindelf

compacto.
Demonstrao: Se CC(R) se verica, ento compacto equivalente a sequen-

cialmente compacto e, se CC(R) no se verica, pelo Teorema 2.1.9, ser com-
pacto equivalente a ser de Lindelf.
Proposio 2.2.8 ([16]) Todo o subespao de R sequencialmente compacto

compacto se e s se todo o subespao de R sequencialmente compacto de Lin-
delf.
A demonstrao desta proposio imediata a partir do Lema 2.2.7.
32
Para concluir esta seco, vamos mostrar que o Axioma da Escolha Numer-
vel para famlias de conjuntos de nmeros reais (CC(R)) no necessrio para
provar que R sequencial. Vamos fazer isso provando que R sequencial a par-
tir de uma forma de escolha, CMCW O (R), independente de CC(R) (Modelo
de Feferman/Levy M9 em [28]).
Antes do teorema que nos permite mostrar esta independncia, enunciamos
um lema que, tal como a Proposio 1.1.18, compara as condies que estivemos
a estudar com um princpio de escolha.
Lema 2.2.9 ([16]) R um espao sequencial se e s se o Axioma da Escolha

(numervel) se verifica para famlias de subespaos de R sequencialmente fecha-
dos (=completos).
Demonstrao: Se R sequencial, ento todo o espao sequencialmente fechado

fechado, e a famlia de todos os subespaos fechados de R tem uma funo de
escolha (Lema 2.1.10).
Consideremos agora A = R (A) um subespao sequencialmente fechado de
R e x kR (A). Queremos provar que x pertence a A. Denem-se os conjuntos
An := [x n1 , x + n1 ] A, que so sequencialmente fechados por serem a inter-
seco de dois conjuntos sequencialmente fechados. Por hiptese, existe (xn )
tal que, para n N, xn An A. A sucesso (xn ) converge para x, logo
x R (A) = A.
Teorema 2.2.10 ([16]) Se CMCW O (R) se verifica, ento R um espao

sequencial.
Demonstrao: Seja (An ) uma famlia de subespaos sequencialmente fechados

no vazios de R. Tendo em conta o lema precedente, suciente provar que esta
famlia admite uma funo de escolha.
Por CMCW O (R), existe uma famlia (Bn ) de conjuntos no vazios bem-
ordenveis tal que Bn An para cada n. Como em cada Bn existe uma boa-
ordem, R (Bn ) = kR (Bn ) R (An ) = An . Por 2.1.10, toda a famlia de
33
subconjuntos fechados em R admite uma escolha, logo existe (xn )n tal que
xn kR (An ) An .
Corolrio 2.2.11 Se R a unio numervel de conjuntos numerveis, ento

R um espao sequencial.
Demonstrao: Se R a unio numervel de conjuntos numerveis, ento R

a unio bem-ordenada de conjuntos numerveis, que equivalente a MC (R)
pela Proposio 1.1.13. ento imediato que MC (R) implica CMCW O (R).
Corolrio 2.2.12 ([16]) A condio R um espao sequencial no implica

CC(R).
Em [6] A. Church provou que CC(R) implica que o primeiro ordinal no

numervel no o limite de uma sucesso de ordinais numerveis, o que implica
que R no a unio numervel de conjuntos numerveis (ver [31, p.148]). No
Modelo de Feferman/Levy [11], R a unio numervel de conjuntos numerveis,
logo CC(R) no se verica, mas por 2.2.11 R sequencial.
Seguindo a mesma linha de raciocnio, podemos deduzir tambm o seguinte

corolrio, simplicando assim a prova que est em [27].
Corolrio 2.2.13 Se R a unio numervel de conjuntos numerveis, ento

o Axioma da Escolha Numervel no se verifica para famlias de subconjuntos
numerveis de R.
Como vimos na demonstrao de 2.2.11, se R a unio numervel de con-

juntos numerveis, ento CMC (R) verica-se. Conclui-se que o Axioma da
Escolha Numervel no se verica para famlias de subconjuntos numerveis de
R porque CC(R) no vlido (1.1.14).
34
Captulo 3
Propriedades numerveis
No terceiro captulo vo ser estudadas as relaes entre o Axioma da Es-

colha Numervel e algumas noes topolgicas que envolvem numerabilidade.
Nomeadamente, vamos centrar a nossa ateno nas classes de espaos de Lin-
delf, com uma base numervel (i.e., que vericam o Segundo Axioma da Nu-
merabilidade) e separveis.
3.1 Espaos mtricos

Como bastante conhecido, um espao (pseudo)mtrico de Lindelf se
e s se tem uma base numervel se e s se separvel. Estas equivalncias
no permanecem vlidas na ausncia do Axioma da Escolha, o que alis j foi
visto para subespaos de R no captulo anterior. O caso real j objecto de
estudo h algum tempo e mostra que algumas das implicaes no se vericam
em ZF. Mas foram C. Good e I. J. Tree [15] que realaram de uma forma
global a impossibilidade de provar em ZF todas as implicaes, excepo de
uma, para espaos mtricos. Na sequncia desse trabalho H. L. Bentley e H.
Herrlich [2] estudaram qual seria a situao dos mesmos resultados para espaos
pseudomtricos.
Nesta seco vamos descrever o que acontece para os espaos (pseudo)m-
35
3.1 Espaos mtricos
tricos, aproveitando para ver qual a situao das implicaes que em ZFC so
verdadeiras para espaos topolgicos.
Lema 3.1.1 Todo o espao pseudomtrico separvel tem uma base numervel.
Demonstrao: Sejam (X, d) um espao pseudomtrico e A X numervel e

denso em X. Ento {B(x, n1 ) : x A e n N} uma base numervel de X.
Teorema 3.1.2 Se o Axioma da Escolha Numervel se verifica, ento, para um

espao pseudomtrico X, as seguintes condies so equivalentes:
(i) X de Lindelf;
(ii) X tem uma base numervel;
(iii) X separvel.
Demonstrao: A implicao (iii)(i) o lema precedente e (ii)(iii) bvia.

Falta ento provar (i)(ii).
Seja X um espao pseudomtrico de Lindelf. Consideremos para cada n a
cobertura aberta Un := {B(x, n1 ) : x X}. Como X de Lindelf, cada Un
tem uma subcobertura numervel. Por CC podemos escolher para cada n uma
dessas subcoberturas numerveis Vn . agora fcil concluir que B := n Vn
S
uma base para a topologia de X e, pelo Lema 1.1.20, B numervel, pois a

unio numervel de conjuntos numerveis.
Note-se que a demonstrao usual destas equivalncias usa apenas o Axioma

da Escolha Numervel (e.g., [47, Teorema 16.11]), ainda que isso nem sempre
seja mencionado de forma explcita.
vlido para espaos topolgicos em geral que todo o espao com uma base
numervel separvel, o que se prova facilmente usando CC, e de Lindelf,
que j vimos ser equivalente a CC(R) no Corolrio 2.1.6.
36
Cap.3 Propriedades numerveis
A Proposio que se segue imediata a partir dos Corolrios 2.1.6, 2.1.7 e

do Lema 3.1.1.
(i) todo o espao (pseudo)mtrico com uma base numervel de Lindelf;
(ii) todo o espao (pseudo)mtrico separvel de Lindelf.
O Segundo Axioma da Numerabilidade hereditrio (em ZF) ou seja, se um

espao topolgico tem uma base numervel, ento todo o seu subespao tem
uma base numervel. assim imediato que, se o Axioma da Escolha Numervel
se verica, a separabilidade tambm uma propriedade hereditria para espaos
(pseudo)mtricos. No decurso do estudo que estamos a fazer, surgem natural-
mente as condies em que subespaos de espaos (pseudo)mtricos separveis
so separveis.
(i) todo o espao topolgico T0 com uma base numervel separvel;
(ii) um espao mtrico tem uma base numervel se e s se separvel;
(iii) todo o subespao de um espao mtrico separvel separvel.
Demonstrao: imediato que (i)(ii) porque todo o espao metrizvel T0 .

(ii)(iii) O Segundo Axioma da Numerabilidade hereditrio, logo de (ii)
decorre que a separabilidade tambm hereditria.
(iii)CC(R) Se (iii) vericada, ento todo o subespao de R separvel,
o que pelo Corolrio 2.1.2 equivalente a CC(R).
CC(R)(i) Se (X, T) um espao topolgico T0 com uma base numervel
(Bn ), ento pelo Lema 1.2.9 |X| |R|, e portanto CC(R) diz que existe um
conjunto {xn : xn Bn e n N}. Esse conjunto denso em X.
37
3.1 Espaos mtricos
Proposio 3.1.5 ([2]) As condies seguintes so equivalentes a CC:
(i) todo o espao topolgico (pseudomtrico) com uma base numervel

separvel;
(ii) todo o espao pseudomtrico de Lindelf separvel;
(iii) todo o espao topolgico (pseudomtrico) de Lindelf e com uma base nu-
mervel separvel.
Demonstrao: As implicaes CC(i)(iii) e CC(ii)(iii) ou so bvias

ou esto no Teorema 3.1.2. Basta-nos ento provar que, se todo o espao pseu-
domtrico de Lindelf e com uma base numervel separvel, ento CC
vlido.
Seja (Xn ) uma famlia numervel de conjuntos no vazios. Suponhamos que
1
, 6 n Xn e consideremos
S
:= 0.
Dene-se o espao pseudomtrico (X, d) com X := n (Xn {n}) {(, )}
S
e d denida por
se n = m

0
d((x, n), (y, m)) := 1 1
n + m se n 6= m.
O espao (X, d) tem uma base numervel {Xn {n} : n N}
S
{(, ) k=n (Xk {k}) : n N} e de Lindelf ( inclusive compacto)
porque todo o aberto a que (, ) pertence contm todos menos um nmero
finito dos conjuntos Xn {n}, sendo portanto apenas necessria uma escolha
finita para provar que X de Lindelf (compacto).
Temos ento que X separvel por hiptese, logo existe um conjunto nu-
mervel que toma valores em todos os conjuntos Xn {n}, o que induz uma
funo de escolha na famlia (Xn ).
Proposio 3.1.6 ([2]) O Axioma da Escolha Numervel verifica-se se e s se

todo o subespao de um espao pseudomtrico separvel separvel.
Demonstrao: Uma implicao consequncia do facto de ter base numervel

ser uma propriedade hereditria e do Teorema 3.1.2.
38
Seja agora (Xn ) uma famlia numervel de conjuntos no vazios e definamos

em X := n ((Xn {0}) {n}) uma pseudomtrica d por
S
0 se n = m

d((x, n), (y, m)) :=
1 se n 6= m.
O espao (X, d) tem um subespao numervel denso A := {(0, n) : n N},

logo Y := X\A tem tambm um subespao numervel denso, o que implica a
existncia de uma escolha em (Xn ).
Juntamente com as questes que temos estado a tratar seria interessante

saber quais as condies de Teoria dos Conjuntos que so equivalentes a: (a)
todo o espao mtrico de Lindelf separvel; (b) todo o espao mtrico de
Lindelf tem uma base numervel; (c) todo o subespao de um espao mtrico
de Lindelf de Lindelf. As questes (b) e (c) esto tambm em aberto para
espaos pseudomtricos, mas so equivalentes s respectivas questes para es-
paos mtricos, pois um espao pseudomtrico de Lindelf (resp. tem uma
base numervel) se e s se a sua reflexo nos espaos mtricos de Lindelf
(resp. tem uma base numervel).
No conhecido se a condio (iii) da Proposio 3.1.5 vlida em ZF para
espaos mtricos, embora possa ser provada usando CC(R) e seja sempre vlida
para subespaos de R (2.1.11).
Os resultados finais desta seco mostram que as condies (a), (b) e (c) no
so provveis em ZF.
Proposio 3.1.7 ([15]) Se todo o espao mtrico de Lindelf tem uma base
numervel, ento o Axioma da Escolha Numervel verifica-se para famlias de
conjuntos finitos (CC(fin)).
Demonstrao: Seja (Xn ) uma famlia numervel de conjuntos finitos no

vazios. Pelo Lema 1.1.20 suficiente provar que n Xn numervel.
S
39
3.2 Base numervel
Consideremos ento o espao mtrico (X, d), com X := n (Xn {n})

S
{(, )} e d definida por
se (x, n) = (y, m)

0
d((x, n), (y, m)) := 1 1
n + m se (x, n) 6= (y, m).
Analogamente ao que foi feito na demonstrao da Proposio 3.1.5, o

espao (X, d) de Lindelf (tambm compacto). Temos ento que X
tem uma base numervel. Como qualquer base de X contm o conjunto
{{(x, n)} : x Xn e n N}, a unio n Xn numervel.
S
Corolrio 3.1.8 Se todo o espao mtrico de Lindelf separvel, ento CC(fin)

verifica-se.
Corolrio 3.1.9 Se todo o subespao de um espao mtrico de Lindelf de

Lindelf, ento CC(fin) verifica-se.
Demonstrao: Consideremos o espao de Lindelf X definido na demonstrao

da Proposio 3.1.7. O subespao Y := X\{(, )} tambm de Lindelf.
Mas Y discreto, logo tem que ser numervel e consequentemente CC(fin)
verifica-se.
Fica patente nesta demonstrao que, se todo o subespao de um espao

mtrico de Lindelf de Lindelf, ento N de Lindelf, ou seja CC(R) verifica-
se. Esta concluso no alis uma surpresa, pois se todo o subespao de, por
exemplo, um intervalo fechado de R for de Lindelf, CC(R) verifica-se (ver 2.1.6
ou 2.1.9).
3.2 Base numervel

A presente seco dedicada ao estudo de uma caracterizao dos espaos
que verificam o Segundo Axioma da Numerabilidade, que no demonstrvel
em ZF. Comeamos por enunciar o teorema que nos d a referida caracterizao
em ZFC, para de seguida estudarmos o grau de escolha envolvido nesse teorema.
40
Teorema 3.2.1 (ZFC) Toda a base de um espao que verifica o Segundo Axioma
da Numerabilidade contm uma base numervel.
Como iremos analisar de seguida este resultado no sequer vlido para o

espao topolgico real, o que, como acontece noutras situaes, tem um papel
central na prova de que o Teorema 3.2.1 equivalente a CC(R).
Teorema 3.2.2 ([17]) As condies seguintes so equivalentes a CC(R):
(i) toda a base de um espao que verifica o Segundo Axioma da Numerabili-

dade contm uma base numervel;
(ii) toda a base para os abertos do espao topolgico real contm uma base
numervel.
Demonstrao: Como R verifica o Segundo Axioma da Numerabilidade, claro

que (i) implica (ii).
CC(R)(i) Para esta implicao vamos seguir a demonstrao habitual
(e.g., [9, 2.4.17], [19, 1.1.20]), tendo no entanto o cuidado de no usar nenhum
princpio de escolha mais forte do que CC(R).
Sejam (X, T) um espao topolgico com uma base numervel
B := {Bn : n N} e C uma qualquer base de (X, T). Definem-se, para
cada par (n, m) N N, o conjunto C(n, m) := {C C : Bn C Bm }
e L := {(n, m) N N : C(n, m) 6= }. evidente que L 6= e que
(C(n, m))(n,m)L uma famlia numervel de subconjuntos no vazios de C T,
pois |L| |N N| = 0 . Mas como (X, T) tem uma base numervel, ento
|T| |R|, pelo Lema 1.2.9, e portanto por CC(R) existe uma funo de escolha
em (C(n, m))(n,m)L . Isto equivalente a dizer que existe um conjunto da forma
{C(n, m) : (n, m) L e C(n, m) C(n, m)}, que facilmente se prova ser uma
base numervel de (X, T).
(ii)CC(R) A proposio 2.1.4 diz-nos que suficiente mostrar que todo o
espao denso em R separvel.
Seja A um espao denso em R. O conjunto A := {(a, b) : a, b A, a < b}
uma base para os abertos de R porque A denso em R. Por hiptese existe
41
3.2 Base numervel
uma base numervel {(an , bn ) : n N} contida em A. O conjunto {an : n N}

numervel e denso em A, logo A separvel.
O Teorema 3.2.1 fornece uma definio alternativa para o Segundo Axioma

da Numerabilidade que, na ausncia do Axioma da Escolha, no se mantm
equivalente definio habitual. Esse facto serviu de motivao introduo
de uma nova definio em ZF.
Definio 3.2.3 Um espao topolgico tem sempre base numervel (SBN) se

toda a base contm uma base numervel.
Os resultados seguintes fazem um paralelo com alguns dos resultados da

primeira seco deste captulo. Nomeadamente, so comparadas as classes de
espaos separveis e de espaos de Lindelf com a classe que acabmos de definir.
Corolrio 3.2.4 As condies seguintes so equivalentes a CC(R):
(i) R tem SBN;
(ii) todo o espao (pseudo)mtrico separvel tem SBN.
Este resultado consequncia imediata do Teorema 3.2.2 e de que todo o

espao pseudomtrico separvel tem uma base numervel (Lema 3.1.1).
A condio todo o espao topolgico (ou pseudomtrico) que tem SBN

separvel equivalente a CC. A demonstrao idntica que foi feita para
espaos com uma base numervel (3.1.5). Atendendo maneira como o Teorema
3.2.2 foi demonstrado, talvez no seja surpreendente que, para subespaos de
R, este resultado seja demonstrvel em ZF.
Teorema 3.2.5 Todo o subespao de R que tem SBN separvel.
42
Demonstrao: Seja A R um espao que tem SBN. Sem perda de genera-

lidade, suponhamos que todos os elementos de A so pontos de acumulao
esquerda e direita de A.
O conjunto A := {(a, b) A : a, b A, a < b} uma base para os abertos de
A. Como A tem SBN, existe uma base numervel {(an , bn ) : n N} contida em
A. O conjunto {an : n N} numervel e denso em A, logo A separvel.
Na demonstrao que acabmos de fazer, se A tiver elementos que no sejam

pontos de acumulao esquerda e direita de A, a construo da base A tem
que ser alterada, mas a demonstrao permanece essencialmente a mesma.
A demonstrao de que todo o espao mtrico com uma base numervel

separvel implica CC(R) (ver 3.1.4) usa o facto de esse resultado no ser
vlido para subespaos de R. Temos assim que essa demonstrao no pode ser
adaptada para espaos que tm SBN. Fica portanto por saber se existe algum
espao mtrico que tem SBN mas no separvel.
Teorema 3.2.6 Todo o subespao real de Lindelf tem SBN se e s se CC(R)

se verifica.
Demonstrao: Se CC(R) se verifica, ento, pelo Teorema 3.2.2, todo o sub-

espao de R tem SBN.
Pode-se provar, de maneira semelhante demonstrao do Teorema 3.2.2,
que CC(R) equivalente afirmao: o intervalo fechado [0, 1] tem SBN.
Como [0,1] de Lindelf, por hiptese tem SBN o que implica CC(R).
Corolrio 3.2.7 Se todo o espao mtrico de Lindelf tem SBN, ento CC(R)
verifica-se.
Para terminar v-se facilmente que a condio Todo o espao que tem SBN
de Lindelf equivalente a CC(R), uma vez que N tem SBN.
43
3.3 Produtos de espaos separveis e com uma base numervel
Uma questo ainda em aberto a de saber quando que a propriedade de ter

SBN hereditria. De momento no inclusive conhecido se a hereditariedade
de ter SBN provvel em ZF.
3.3 Produtos de espaos separveis e com uma

base numervel
Em ZFC o produto numervel de espaos com uma base numervel tem
ainda uma base numervel, e o produto de uma famlia de espaos separveis
cujo ndice tem cardinal inferior ou igual a 20 separvel. A primeira destas
propriedades e a restrio da segunda ao produto numervel de espaos de Haus-
dorff separveis foram consideradas por K. Keremedis [33], que provou que cada
uma delas implica o Axioma da Escolha Numervel para famlias de conjun-
tos numerveis (CC(0 )). Nesta seco vamos mostrar que esses resultados
podem ser melhorados, sem no entanto serem dadas respostas definitivas, pois
no conhecida uma condio de Teoria dos Conjuntos equivalente a qualquer
das propriedades estudadas por Keremedis. No caso mais geral para espaos
separveis, atrs referido, temos uma resposta mais satisfatria.
Lema 3.3.1 Seja (Xn )n uma famlia numervel de conjuntos numerveis.

S
A unio n Xn numervel se e s se existe uma famlia numervel de
funes injectivas (fn : Xn N)n .
() Por hiptese, X := n Xn numervel, logo existe

S
Demonstrao:
f : X N injectiva. Obviamente as restries fn : Xn N da funo
f fornecem a famlia (fn )n pretendida.
() Se existir uma famlia (fn : Xn N)n , ento pode-se construir uma
funo injectiva f : n (Xn {n}) N N definida por f (x, n) := (fn (x), n).
S
Conclui-se primeiramente que a unio disjunta dos Xn s numervel. Defi-

nem-se agora k(x) := min{n N : x Xn }, para cada x X = n Xn , e
S
g : X (Xn {n}) com g(x) := (x, k(x)). A funo g injectiva e portanto

S
X numervel.
44
Proposio 3.3.2 ([17]) Se o produto numervel de espaos com uma base nu-
mervel tem uma base numervel, ento CUC verifica-se.
Demonstrao: Seja (Xn )n uma famlia numervel de conjuntos numerveis no

vazios. Pelo Lema 3.3.1 suficiente provar que existe uma famlia de funes in-
jectivas (fn : Xn N)n . Consideremos ainda os espaos topolgicos discretos
Yn := Xn {n}.
Cada espao Yn tem uma base numervel, logo Y := n Yn 6= tem uma
Q
base numervel. Se {Bk : k N} for base de Y , como as projeces so

sobrejeces abertas, ento {pn (Bk ) : k N} uma base para Yn . Para cada
x Xn , {x} um elemento de qualquer base de Yn . Existem ento funes
fn : Xn N definidas por fn (x) := min{k N : pn (Bk ) = {x}}, o que conclui
a demonstrao.
Proposio 3.3.3 Se o produto numervel de espaos separveis de Hausdorff

separvel, ento CUC verifica-se.
Demonstrao: Considera-se o espao produto Y definido como na demonstra-

o da Proposio 3.3.2. Por hiptese Y separvel, logo existe D numervel
e denso em Y , e consequentemente pn (D) denso em Yn , ou seja pn (D) = Yn .
Uma bijeco entre D e N induz, para cada n, uma funo injectiva de Xn para
N.
Y
Corolrio 3.3.4 Se o produto Xi de uma famlia (Xi )iR de espaos sepa-
iR
rveis de Hausdorff separvel, ento para toda a famlia (Yi )iR de conjuntos
numerveis existe uma famlia de funes injectivas (fi : Yi N)iR .
A demonstrao segue os mesmos passos que a da proposio precedente,

apenas com uma alterao de cardinal.
Proposio 3.3.5 Se CC(20 ) se verifica, ento o produto numervel de es-

paos com uma base numervel tem uma base numervel.
45
3.3 Produtos de espaos separveis e com uma base numervel
Demonstrao: Seja (Xn , Tn ) uma famlia de espaos topolgicos com base

numervel. Precisamos de mostrar que n (Xn , Tn ) tem uma base numervel.
Q
Pelo Lema 1.2.9, sabemos que |Tn | 20 para cada n. Consideremos os

conjuntos Cn := {(f : N Tn ) : f (N) uma base de (Xn , Tn )}. Para cada
n, |Cn | |(Tn )N | (20 )0 = 20 , e por CC(20 ) existe (fn )n tal que fn um
elemento de Cn .
agora claro que C := {p1
n (fn (k)) : n, k N} uma sub-base numervel
do espao produto, e a base gerada por C tambm numervel.
Corolrio 3.3.6 O produto numervel de espaos com topologias finitas tem

uma base numervel se e s se o Axioma da Escolha numervel vlido para
famlias de conjuntos finitos (CC(fin)).
A demonstrao deste corolrio imediata a partir das Proposies 3.3.2 e

3.3.5, tendo em conta que CC(fin) equivalente a CUC(fin) (Lema 1.1.20).
Y
Teorema 3.3.7 O produto Xi de uma famlia (Xi )iR de espaos separveis
iR
separvel se e s se o Axioma da Escolha vlido para famlias cujo ndice
tem cardinal igual a 20 .
Demonstrao: () Para provar esta implicao vamos seguir a demonstrao

de [10, 2.3.15], tendo apenas o cuidado de adaptar essa demonstrao hiptese
do nosso Teorema.
Seja (Xi )iR uma famlia de espaos topolgicos separveis. Consideremos
para cada i R, o conjunto Ai := {(f : N Xi ) : f (N) denso em Xi }. Por
hiptese existe (fi )iR tal que fi Ai e o espao i fi (N) denso em i Xi .
Q Q
portanto suficiente provar que i fi (N) separvel. A partir deste momento,

Q
segue-se a demonstrao que est feita em [10].

() Seja (Xi )iR uma famlia de conjuntos no vazios e definam-se os espaos

topolgicos (Yi , Ti ), com Yi := Xi {i} e Ti := {, Xi , Yi }. Cada um dos espaos
Yi separvel e portanto Y := i Yi tambm separvel. Ou seja existe
Q
D := {xk : k N} numervel e denso em Y . Para cada i R, tomemos
46
k(i) := min{k N : pi (xk ) 6= i}, que existe porque pi (D) tem que ser denso em
Yi . A funo de escolha pretendida induzida por (pi (xk(i) ))iR .
Se em vez de considerarmos famlias de cardinal 20 considerarmos famlias

numerveis, a demonstrao permanece essencialmente igual.
Corolrio 3.3.8 O produto numervel de espaos separveis separvel se e

s se o Axioma da Escolha Numervel vlido.
Na demonstrao do Teorema 3.3.7 evidente que podemos considerar ape-

nas o produto de topologias finitas. Para termos um paralelo com o Corolrio
3.3.6, devemos considerar espaos finitos.
Corolrio 3.3.9
Y
(a) O produto Xi de uma famlia (Xi )iR de espaos com topologias finitas
iR
separvel se e s se o Axioma da Escolha vlido para famlias cujo
ndice tem cardinal igual a 20 .
(b) O produto numervel de espaos com topologias finitas separvel se e s

se CC se verifica.
Y
(c) O produto Xi de uma famlia (Xi )iR de espaos finitos separvel se
iR
e s se AC(fin) vlido para famlias cujo ndice tem cardinal igual a 20
(d) O produto numervel de espaos finitos separvel se e s se CC(fin) se

verifica.
Para demonstrar (c) e (d) basta recordar, uma vez mais, que CC(fin)
equivalente a CUC(fin) e proceder de maneira idntica s demonstraes da
Proposio 3.3.3 e da primeira parte do Teorema 3.3.7.
47
3.4 Produtos de espaos de Lindelf

Depois de na seco precedente termos analisado em que condies se veri-
ficam certos resultados sobre o produto de espaos separveis e com uma base
numervel, vamos agora olhar para os produtos de espaos de Lindelf. no
entanto do conhecimento geral que o produto de apenas dois espaos de Lindelf
pode no ser de Lindelf. H. Herrlich [21] provou contudo que neste caso so os
contra-exemplos que no podem prescindir de alguma forma de escolha.
Os principais resultados desta seco esto em [21].
Vamos comear pelo resultado que serviu de base aos resultados aqui apre-
sentados e que uma generalizao do Teorema 2.1.9.
Teorema 3.4.1 ([21]) Existe um espao T1 de Lindelf e no compacto se e s

se CC(R) se verifica.
Demonstrao: Depois do Teorema 2.1.9, apenas precisamos de mostrar que a

existncia de um espao T1 de Lindelf e no compacto implica CC(R). Seja
ento X um espao nessas condies. Como X de Lindelf, mas no compacto,
tem uma cobertura aberta U := {Un : n N} numervel sem subcobertura
finita. Sem perda de generalidade, podemos considerar Un Um , para n < m.
Definem-se A1 := U1 e An := Un \ Un1 6= para n N \ {1}. Consideramos
ainda os conjuntos B(n, x) := Un \ {x} para n N e x An , e a cobertura
aberta de X
V := {B(n, x) : n N e x An }.
Como X de Lindelf, V tem uma subcobertura numervel W := {Wk : k N}.

Claramente M := {n N : (k N)Wk = B(n, x) para algum x An } in-
finito porque caso contrrio W no seria cobertura de X. Podemos assim definir,
para cada m M, k(m) := min{k N : Wk = B(m, x) para algum x Am }
e xm como sendo o nico elemento de Am tal que Wk(m) = B(m, xm ). O
subespao Y := {xm : m M} de X infinito numervel e discreto, uma
vez que Y ainda T1 e cada xm pertence a um conjunto finito aberto em Y ,
{xn : n m} = Um Y .
48
Para finalizar conclui-se que Y de Lindelf porque fechado em X, e

homeomorfo a N. Portanto N de Lindelf, o que suficiente para concluir a
demonstrao, tendo em conta o Teorema 2.1.5.
Os dois resultados seguintes so muito conhecidos pelo que so deixados sem

demonstrao. Note-se que a demonstrao habitual do Lema 3.4.3 vlida em
ZF.
Teorema 3.4.2 ([38, 37, 20]) As condies seguintes so equivalentes:
(i) o produto de espaos compactos de Hausdorff compacto;
(ii) 2I compacto para qualquer I, sendo 2 o espao discreto com 2 pontos;
(iii) o Teorema do Ultrafiltro.
Como j foi referido no final da Seco 1.1, o Teorema do Ultrafiltro equi-

valente ao Teorema do Ideal Booleano Primo.
Lema 3.4.3 (e.g., [43, 103.6], [21]) NR no de Lindelf.
Teorema 3.4.4 ([21]) O produto de espaos que so de Lindelf e de Hausdorff

de Lindelf se e s se o Teorema do Ultrafiltro vlido e CC(R) no.
Demonstrao: () Como NR no de Lindelf, por hiptese N tambm

no pode ser, logo pelo Teorema 2.1.5 CC(R) no se verifica. Temos ento
que o Teorema 3.4.1 diz que os espaos de Lindelf que so de Hausdorff so
exactamente os compactos. agora imediato, a partir do Teorema 3.4.2, que o
Teorema do Ultrafiltro vlido.
() Se CC(R) no vlido, ento o Teorema 3.4.1 diz que os espaos de
Lindelf e de Hausdorff so exactamente os compactos. Como por hiptese o
Teorema do Ultrafiltro vlido, uma vez mais o Teorema 3.4.2 permite concluir
a demonstrao.
49
Existem de facto modelos onde UFT vlido e CC(R) no (Modelo Bsico

de Cohen M1 em [28]).
Ao contrrio do que acontece para produtos arbitrrios, o produto de espaos

finitos de Lindelf, em ZFC, uma vez que compacto. evidente a partir do
Teorema 3.4.2 que este resultado pode ser provado a partir do Teorema do
Ultrafiltro. No conhecida a situao da implicao inversa, mas apenas um
resultado mais fraco.
Proposio 3.4.5 Se 2I de Lindelf para qualquer I, ento ou se verifica

UFT ou se verifica CC(R).
Demonstrao: Se, para qualquer I, 2I compacto, ento pelo Teorema 3.4.2

UFT verifica-se. Se, pelo contrrio, existe I tal que 2I no compacto, ento
por hiptese 2I um espao de Lindelf e no compacto. Como 2I um espao
T1 , pelo Teorema 3.4.1 CC(R) vlido.
No Modelo de Truss I (M12() em [28]), existe um conjunto I tal que 2I

no de Lindelf, dado que nem UFT nem CC(R) se verificam.
Para mais informaes sobre o produto de espaos de Lindelf em ZF, dever

consultar [21].
50
Captulo 4
Espaos definidos por limites
Um assunto que normalmente includo num livro introdutrio de Topologia

o estudo de limites e dos espaos que podem ser caracterizados atravs deles.
Neste captulo vamos ver que alguns dos resultados habitualmente estudados
nesse contexto dependem do uso de alguma escolha. Vamos nomeadamente
considerar limites de sucesses como anteriormente para R e de ultrafiltros e
as classes de espaos que podem ser definidas atravs dos seus limites, como por
exemplo os espaos de Frchet-Urysohn e os sequenciais.
4.1 Espaos definidos por sucesses

Como j vimos o espao topolgico R pode no ser um espao sequencial
(2.2.1), o que implica, naturalmente, que o teorema de ZFC todo o espao que
verifica o Primeiro Axioma da Numerabilidade de Frchet-Urysohn no seja
um Teorema de ZF. Claro que, entre R e a classe dos espaos que verificam o
Primeiro Axioma da Numerabilidade, existem muitas outras classes que inte-
ressante comparar com a classe dos espaos de Frchet-Urysohn ou dos espaos
sequenciais, nomeadamente as seguintes classes:
(a) espaos que verificam o Primeiro Axioma da Numerabilidade,
51
(b) espaos (pseudo)mtricos,
(c) espaos com base numervel,
(d) espaos T0 com base numervel,
(e) espaos mtricos com base numervel,
(f) subespaos de R.
Enquanto que para os espaos de Frchet-Urysohn algumas destas questes

j foram estudadas (e.g., [12, 23]), muito pouco se sabe sobre as relaes entre
o Axioma da Escolha (Numervel) e os resultados correspondentes para espaos
sequenciais. Tal como no caso dos nmeros reais, vamos tambm estudar simul-
taneamente a classe dos espaos que tm o fecho sequencial idempotente, por
estar naturalmente relacionada com as outras duas classes.
Teorema 4.1.1 Todo o espao mtrico sequencial se e s se o Axioma da

Escolha Numervel se verifica.
Demonstrao: () Na demonstrao habitual de que todo o espao que veri-

fica o Primeiro Axioma da Numerabilidade de Frchet-Urysohn ([10, 1.6.14]),
a nica escolha utilizada CC.
() Seja (Xn )nN uma famlia numervel de conjuntos no vazios. A Propo-
sio 1.1.10 diz que suficiente provar que existe uma sucesso que toma valores
em Xn para um nmero infinito de valores de n.
Considera-se Y := n (Xn {n}) {(, )}. A funo d : Y Y R
S
definida, como em 3.1.7, por
se (x, n) = (y, m)

0
d((x, n), (y, m)) := 1 1
n + m se (x, n) 6= (y, m)
uma mtrica em Y . Por hiptese Y um espao sequencial e como

X := Y \ {(, )} no fechado em Y , tambm no sequencialmente fechado.
Ou seja, existe uma sucesso em X que converge para (, ), intersectando
52
Cap.4 Espaos definidos por limites
portanto um nmero infinito dos conjuntos Xn {n}, o que completa a de-

monstrao.
O espao Y que considermos nesta demonstrao completo, e por isso

o resultado seguinte imediato. Como iremos tambm ver noutros casos, este
resultado uma generalizao do que acontece no espao mtrico real.
Corolrio 4.1.2 As condies seguintes so equivalentes a CC:
(i) todo o espao mtrico completo sequencial;
(ii) todo o subespao completo de um espao mtrico fechado.
Demonstrao: CC(ii) Esta implicao imediata a partir do Teorema

4.1.1, tendo em conta que a Proposio 1.2.14 diz que todo o subespao mtrico
completo sequencialmente fechado.
(ii)(i) A condio (ii), juntamente com o Corolrio 1.2.16, implica que um
subespao de um espao mtrico completo completo se e s se fechado. Do
Corolrio 1.2.17 vem que X sequencial.
(i)CC O espao mtrico Y construdo na demonstrao do Teorema 4.1.1
completo, e portanto essa demonstrao permanece vlida para espaos mtricos
completos.
(i) todo o espao (pseudo)mtrico de Frchet-Urysohn;
(ii) todo o espao que verifica o Primeiro Axioma da Numerabilidade de

Frchet-Urysohn;
(iii) todo o espao que verifica o Primeiro Axioma da Numerabilidade

sequencial.
A equivalncia entre (i) e (ii) parte da Proposio 5 em [23]. A demons-

trao do Teorema 4.1.1 uma adaptao da demonstrao dessa proposio.
53
Teorema 4.1.4 Todo o espao que tem uma base numervel sequencial se e
s se o Axioma da Escolha Numervel se verifica.
Demonstrao: Uma das implicaes j est clara. Para a outra implicao,

consideram-se (Xn )n e Y como na demonstrao do Teorema 4.1.1, e uma to-
pologia em Y definida atravs da base numervel

[
B := {Xn {n} : n N} { (Xk {k}) {(, )} : n N}.
k=n
Tal como em 4.1.1, o conjunto Y \ {(, )} no fechado. A partir deste

ponto a demonstrao prossegue como a demonstrao do Teorema 4.1.1.
Corolrio 4.1.5 Todo o espao que tem uma base numervel de Frchet-
Urysohn se e s se o Axioma da Escolha Numervel se verifica.
Teorema 4.1.6 O fecho sequencial idempotente para todos os espaos mtri-

cos se e s se vlido o Axioma da Escolha Numervel.
Demonstrao: Como em todos os espaos de Frchet-Urysohn o fecho sequen-

cial idempotente, uma das direces imediata.
1
Seja (Xn )n uma famlia numervel de conjuntos no vazios, tomemos =0
e defina-se
[
Y := [Xn N {n} {(, , n)}] {(, , )}.
n
No conjunto Y definimos uma mtrica da seguinte maneira:
se (x, m, n) = (x , m , n )

0
d((x, m, n), (x , m , n )) := 1 1 1 1
m + m + | n n | se (x, m, n) 6= (x , m , n ).
Como, para cada x Xn , a sucesso ((x, k, n))kN converge para (, , n), o

ponto (, , n) est em Y (Xn N {n}). Temos ento que, para
n Xn N {n}, {(, , n) : n N} Y (X). A sucesso
S
X :=
((, , n))n converge para (, , ) e portanto (, , ) Y (Y (X)).
54
Finalmente, tem-se que por hiptese Y2 = Y , o que significa que existe uma
sucesso em X que converge para (, , ). agora fcil concluir que existe
uma sucesso que toma valores em Xn para um nmero infinito de valores de
n, o que tendo em vista a Proposio 1.1.10 conclui a demonstrao.
Corolrio 4.1.7 O fecho sequencial idempotente para todos os espaos que

verificam o Primeiro Axioma da Numerabilidade se e s se vlido o Axioma
da Escolha Numervel.
Teorema 4.1.8 O fecho sequencial idempotente para todos os espaos que

tm uma base numervel se e s se vlido o Axioma da Escolha Numervel.
Demonstrao: () Sejam (Xn )n uma famlia numervel de conjuntos no

vazios, Yn := Xn {} e Y := n (Yn {n}) {(, )} com 6 n Xn . O
S S
conjunto

[
B = {Yn {n} : n N} { (Yk {k}) {(, )} : n N}
k=n
uma base numervel para uma topologia em Y.

Para cada x Xn , (, n) o limite da sucesso constante ((x, n))k , e ((, n))n
converge para (, ). Pode-se ento concluir que para X := n Xn {n},
S
(, ) Y2 (X). A demonstrao finalizada como a demonstrao do Teorema

4.1.6.
(i) todo o espao T0 que tem uma base numervel de Frchet-Urysohn;
(ii) o fecho sequencial idempotente para todos os espaos T0 com uma base
numervel;
(iii) todo o espao mtrico que tem uma base numervel de Frchet-Urysohn;
55
(iv) o fecho sequencial idempotente para todos os espaos mtricos com uma
base numervel;
(v) todo o subespao de R de Frchet-Urysohn;
(vi) o fecho sequencial idempotente para todos os subespaos de R.
Demonstrao: bvio que (i)(ii)(iv)(vi) e que (i)(iii)(v)(vi).

CC(R)(i) Na demonstrao de que se um espao X verifica o Primeiro
Axioma da Numerabilidade, ento de Frchet-Urysohn apenas feita uma
escolha numervel numa famlia de subconjuntos de X ([10, 1.6.14]). Se X
um espao T0 com uma base numervel, ento pelo Lema 1.2.9 |X| |R|, e
portanto CC(R) suficiente para demonstrar (i).
(vi)CC(R) Se (vi) se verifica, ento R idempotente, o que pelo Teorema
2.1.1 equivalente a CC(R).
Como R sequencial no equivalente a CC(R) (Corolrio 2.2.12), para

obter para espaos sequenciais os resultados correspondentes aos resultados da
Proposio 4.1.9 temos que provar primeiro o seguinte teorema.
Teorema 4.1.10 Todo o subespao de R sequencial se e s se CC(R)

vlido.
Demonstrao: () Seja (Xn ) uma famlia numervel de subconjuntos no

1
vazios de R. Pode-se considerar Xn ( n+1 , n1 ) e define-se X := n Xn {0}.
S
O conjunto X \ {0} no fechado em X, logo tambm no sequencialmente

fechado em X, pois X R um espao sequencial por hiptese. Temos ento
que 0 tem que ser o limite de uma sucesso (xk )k em X \ {0}, o que implica
que (xk )k tome valores num nmero infinito de conjuntos Xn , o que por 1.1.10
suficiente para provar CC(R).
56
Corolrio 4.1.11 As condies seguintes so equivalentes a CC(R):
(i) todo o espao T0 que tem uma base numervel sequencial;
(ii) todo o espao mtrico que tem uma base numervel sequencial.
algo surpreendente que, para todas as classes que considermos, exista

um paralelo entre as condies que so necessrias para que cada uma delas
esteja contida na classe dos espaos de Frchet-Urysohn e na classe dos espaos
sequenciais, respectivamente, ao contrrio do que acontece com R. Ou talvez
o que surpreende que R possa ser um espao sequencial sem ser de Frchet-
Urysohn (Modelo de Feferman/Levy Corolrio 2.2.12).
4.2 Espaos compactos

Na ausncia do Axioma da Escolha vrias caracterizaes e resultados usuais
sobre espaos compactos no se mantm vlidos. Esse assunto alis um dos
mais estudados em topologia sem escolha (e.g. [20, 8]).
Por estarem ligadas com as questes de que temos estado a falar, vamos
centrar a nossa ateno em resultados que envolvam espaos sequencialmente
compactos.
Tanto para espaos (pseudo)mtricos como para espaos topolgicos com
uma base numervel as noes de espao compacto e de espao sequencialmente
compacto coincidem em ZFC. Como iremos ver de seguida, o Axioma da Escolha
Numervel suficiente para provar essa equivalncia. Por outro lado, j sabe-
mos que podem existir subespaos de R sequencialmente compactos mas no
compactos, e que portanto a equivalncia no vlida em ZF. Ambas as noes
coincidem para subespaos de R se e s se R um espao sequencial (2.2.5 e
2.2.6). Nesta Seco vamos investigar em que condies que estas duas noes
de compacidade coincidem nas referidas classes. Para espaos pseudomtricos,
H. L. Bentley e H. Herrlich [2] provaram que o Axioma da Escolha Numervel
no s suficiente como tambm necessrio para demonstrar essa equivalncia.
57
No entanto a demonstrao que fizeram no pode generalizada para espaos

mtricos.
Seguindo o que fizemos para os nmeros reais, vamos ainda analisar o efeito
de substituir compacto por sequencialmente compacto em alguns resultados
familiares.
Lema 4.2.1 Se o Axioma da Escolha Numervel se verifica, ento todo o espao

topolgico sequencialmente compacto numeravelmente compacto.
Uma demonstrao deste resultado pode ser vista em [46, Teorema 7.1.2].
Teorema 4.2.2 Se o Axioma da Escolha Numervel se verifica, ento um es-

pao com uma base numervel compacto se e s se sequencialmente compacto.
Demonstrao: Pelo Lema 4.2.1, se CC vlido, ento todo o espao sequen-

cialmente compacto numeravelmente compacto e todo o espao numeravel-
mente compacto com uma base numervel compacto.
Para a outra implicao basta usar a Proposio 1.2.8, que diz que todo o
espao compacto que verifica o Primeiro Axioma da Numerabilidade sequen-
cialmente compacto.
A demonstrao de que todo o espao (pseudo)mtrico sequencialmente com-

pacto compacto nem sempre escrita de forma explcita. Por esse motivo, na
maioria dos livros de Topologia difcil perceber que o Axioma da Escolha
Numervel suficiente para provar esse facto. Por isso aqui includa uma
demonstrao desse facto.
Teorema 4.2.3 Se o Axioma da Escolha Numervel se verifica, ento um es-

pao pseudomtrico compacto se e s se sequencialmente compacto.
Demonstrao: Uma das implicaes consequncia imediata da Proposio

1.2.8. Resta-nos portanto provar que todo o espao pseudomtrico sequencial-
mente compacto compacto.
58
Seja (X, d) um espao pseudomtrico no compacto.

Suponhamos primeiro que existe > 0 tal que a cobertura aberta das bolas
abertas de raio (B(x, ))xX no tem nenhuma subcobertura finita. Temos
ento que cada um dos conjuntos
An := {(x1 , .., xn ) X n : i 6= j d(xi , xj ) }
no vazio. Usando o Axioma da Escolha Numervel, escolhe-se de cada An

um elemento an = (xn1 , .., xnn ). Define-se agora uma sucesso (yn )n com y1 = x11
i(n)
e yn = xn para i(n) := min{j : d(xnj , yk ) 2 para k < n}. Esta sucesso no
tem subsucesso convergente e portanto X no sequencialmente compacto.
Suponhamos depois que, para todo o , a cobertura aberta (B(x, ))xX
tem uma subcobertura finita. Como X no compacto, existe uma cobertura
aberta U sem subcobertura finita, o que implica que os conjuntos
Yn := {y : (U U) B(y, 1/n) * U }
sejam diferentes do vazio devido nossa suposio. Por CC existe (yn )n tal
que cada yn elemento de Yn . A sucesso (yn ) no tem nenhum ponto de
acumulao e consequentemente nenhuma subsucesso convergente, logo X no
sequencialmente compacto.
Proposio 4.2.4 Todo o espao topolgico sequencialmente compacto nu-

meravelmente compacto se e s se o Axioma da Escolha Numervel se verifica.
Demonstrao: Uma das implicaes o Lema 4.2.1.

Para provar a outra implicao, consideramos uma famlia numervel (Xn )
de conjuntos no vazios e X = Xn {n}. Em X considera-se a topologia que
S
tem por base

B := {Xn {n} : n N}.
Com esta topologia X no numeravelmente compacto, e portanto no se-
quencialmente compacto. Isto significa que existe em X uma sucesso sem sub-
sucesso convergente. Tal sucesso tem que tomar valores num nmero infinito
dos conjuntos Xn , logo CC verifica-se pela Proposio 1.1.10.
59
O espao topolgico X construdo nesta demonstrao tem uma base nume-

rvel e pseudometrizvel por d((x, n), (y, m)) = |n m|. Estes factos junta-
mente com os Teoremas 4.2.2 e 4.2.3 e a Proposio 1.2.8 tornam imediato o
prximo corolrio.
Corolrio 4.2.5 ([2]) As condies seguintes so equivalentes a CC:
(i) um espao que verifica o Primeiro Axioma da Numerabilidade sequen-

cialmente compacto se e s se numeravelmente compacto;
(ii) um espao com uma base numervel sequencialmente compacto se e s

se (numeravelmente) compacto;
(iii) um espao pseudomtrico sequencialmente compacto se e s se (nu-

meravelmente) compacto;
(iv) todo o espao pseudomtrico sequencialmente compacto limitado.
Para a classe dos espaos mtricos no existem equivalncias correspondentes

s que acabmos de ver para espaos pseudomtricos. alis normal que certos
resultados para espaos mtricos sejam menos evidentes do que para espaos
pseudomtricos, como ficou claro na Seco 3.1. No entanto podem-se provar
alguns resultados parciais.
Teorema 4.2.6 Se todo o espao mtrico sequencialmente compacto limitado,

ento todo o conjunto infinito Dedekind-infinito.
Demonstrao: Suponhamos que existe um conjunto infinito Dedekind-finito.

Pelo teorema 1.1.17, sabemos que existe uma famlia (Xn )n de conjuntos no
vazios Dedekind-finitos que no admite funo de escolha. Logo, o conjunto
X := Xn {n} tambm Dedekind-finito, e portanto X sequencialmente
S
compacto para qualquer topologia definida em X.
60
Falta agora munir X de uma mtrica ilimitada para completar a demons-

trao. Tal mtrica pode ser a mtrica d definida por

0 se (x, n) = (y, m)
d((x, n), (y, m)) := 1 se x 6= y e n = m
|n m| se n 6= m.

Corolrio 4.2.7 Cada uma das seguintes condies implica que todo o conjunto
infinito Dedekind-infinito:
(i) todo o espao mtrico sequencialmente compacto (numeravelmente) com-

pacto;
(ii) todo o espao mtrico sequencialmente compacto de Lindelf;
(iii) todo o subespao sequencialmente compacto de um espao mtrico fechado.
Demonstrao: A implicao (i) imediata porque todo o espao numeravel-

mente compacto limitado.
Para (ii), basta verificar que qualquer conjunto infinito Dedekind-finito mu-
nido da mtrica discreta sequencialmente compacto, mas no de Lindelf.
Em particular, (X, d) da demonstrao do Teorema precedente est nessas condi-
es.
Para provar a ltima implicao, consideramos o conjunto X da demonstra-
o do Teorema 4.2.6 como subespao de um espao topolgico Y definido como
na demonstrao do Teorema 4.1.1. Como j foi referido, X sequencialmente
compacto mas no fechado em Y .
Proposio 4.2.8 Todo o espao sequencialmente compacto que tem uma base
numervel de Lindelf se e s se o Axioma da Escolha Numervel vlido
para famlias de subconjuntos de R.
Demonstrao: Se CC(R) se verifica , ento pelo Corolrio 2.1.6 todo o espao

com uma base numervel de Lindelf.
61
Suponhamos que CC(R) no se verifica. Ou seja existe uma famlia nume-

rvel (Xn )n de subconjuntos no vazios de R que no admite funo de escolha.
Tendo em conta a Proposio 1.1.10, podemos considerar (Xn )n tal que ne-
nhuma sucesso toma valores em Xn para um nmero infinito de valores de
n.
Constri-se um espao topolgico X como na demonstrao da Proposio
4.2.4. Este espao tem uma base numervel. Como nenhuma sucesso em X
toma valores em mais do que um nmero finito dos conjuntos Xn {n}, X
sequencialmente compacto. Por outro lado, fcil verificar que X de Lindelf
se e s se N de Lindelf. O Teorema 2.1.5 afirma que, se CC(R) no
verificado, ento N no de Lindelf, e portanto X tambm no de Lindelf.
O espao X que utilizado nesta demonstrao pseudometrizvel. Esse

facto e o Corolrio 4.2.7 permitem-nos chegar ao prximo Corolrio.
Corolrio 4.2.9 Se todo o espao pseudomtrico sequencialmente compacto

de Lindelf, ento CC(R) verifica-se e todo o conjunto infinito Dedekind-
infinito.
Como j foi mencionado, para espaos topolgicos que tm uma base nume-
rvel as noes de compacto e de numeravelmente compacto so coincidentes
em ZF.
Para provar esta equivalncia para espaos mtricos, suficiente o Axioma
da Escolha Numervel (1.2.8 e 4.2.3). Vamos agora ver que ela no um teorema
de ZF.
Proposio 4.2.10 ([33]) Se todo o espao mtrico numeravelmente compacto

compacto, ento todo o conjunto infinito a unio infinita numervel de
conjuntos disjuntos no vazios.
Demonstrao: Se X um conjunto infinito, ento X com a topologia discreta

no compacto. Por hiptese X tem uma cobertura numervel sem subcober-
62
tura finita. A partir desta cobertura facilmente se constri uma partio infinita
numervel de X.
No Modelo de Truss III (M37 em [28]) existe um conjunto infinito que no

a unio disjunta de dois conjuntos infinitos (e.g. [31, p.95], [28, Forma 64]), logo
no a unio infinita numervel de conjuntos disjuntos no vazios. Ou seja,
neste modelo no vlida a equivalncia entre compacidade e compacidade
numervel para espaos mtricos.
Refira-se ainda que todo o conjunto Dedekind-infinito a unio infinita nu-

mervel de conjuntos disjuntos no vazios. Este facto trivial, pois o conjunto
dos nmeros naturais tem a referida propriedade.
4.3 Espaos definidos por ultrafiltros

Na Seco 4.1 estudmos espaos que podem ser definidos atravs de su-
cesses. Os resultados correspondentes para espaos topolgicos em geral so
enunciados utilizando filtros (ou redes). Nomeadamente o fecho de um con-
junto pode ser caracterizado atravs dos limites de filtros (e.g., [10, 1.6.9]). Esse
resultado vlido em ZF sem haver necessidade de alterar a prova habitual,
no entanto s possvel utilizar ultrafiltros em vez de filtros na presena do
Teorema do Ultrafiltro (UFT), o que como iremos ver no pode ser evitado.
Sendo assim, o nosso primeiro objectivo vai ser mostrar que o seguinte Teo-
rema de ZFC equivalente a UFT.
Teorema 4.3.1 (ZFC) O ponto x X pertence ao fecho de A em X se e s se

existe um ultrafiltro U em X tal que U converge para x e A U.
De forma a facilitar a escrita e tal como fizemos no caso das sucesses, vamos
considerar o operador de fecho u definido atravs de limites de ultrafiltros e u
que o menor operador de fecho idempotente maior ou igual a u.
63
Definies 4.3.2 Seja A um subespao do espao topolgico X.
(a) uX (A) := {x X : (U ultrafiltro em X)[U converge para x e A U]}.
(b) u {B : A B e uX (B) = B}.

T
X (A) :=
Podemos agora reescrever o Teorema 4.3.1 dizendo simplesmente que a igual-

dade uX = kX vlida para qualquer espao topolgico X. Verifica-se facil-
mente que uma das desigualdades sempre vlida, ou melhor, que, para todo o
A X, uX (A) u X (A) kX (A).
Fazendo um paralelo com o estudo da Seco 4.1, e usando desta vez o
operador de fecho u, pode-se analisar quando que se verificam as igualdades
u = k1 e u
= k 2 em cada uma das seguinte classes:
(a) espaos topolgicos,
(b) espaos de Hausdorff,
(c) espaos que verificam o Primeiro Axioma da Numerabilidade,
(d) espaos (pseudo)mtricos,
(e) espaos com uma base numervel,
(f) espaos T0 com uma base numervel,
(g) espaos mtricos com uma base numervel,
(h) subespaos de R,
(i) {R}.
Ao contrrio do que foi feito com o fecho sequencial, a idempotncia de u

(u = u
) no pode e no deve ser estudada em conjunto com as outras duas
propriedades. O seu estudo vai ser feito no final da seco.
1X de Frchet-Urysohn se e s se kX = X .
2X sequencial se e s se kX =
X .
64
Teorema 4.3.3 Os operadores de fecho u e k coincidem na classe dos espaos

topolgicos de Hausdorff se e s se o Teorema do Ultrafiltro (UFT) se verifica.
Demonstrao: Se UFT vlido, ento a demonstrao usual pode ser uti-

lizada.
Provemos agora a implicao contrria. Sejam F um filtro livre num conjunto
X e a um ponto fixo nesse conjunto. Considere-se em X a topologia definida
pela base B := {{x} : x X \ {a}} {F {a} : F F}. Facilmente se verifica
que a topologia definida desta maneira de Hausdorff.
Como F livre, existe um elemento B em F que no contm a. imediato
que kX (B) = B {a} e portanto por hiptese u X (B) = B {a}, ou seja existe
um ultrafiltro U que converge para a e contm B. Falta agora apenas mostrar
que F est contido em U.
Para todo o conjunto F em F, F {a} U porque U converge para a, logo,
como B U, B (F {a}) = B F U, o que implica que F seja tambm um
elemento de U.
Corolrio 4.3.4 As condies seguintes so equivalentes a UFT:

(i) u = k na classe dos espaos topolgicos;
(ii) u
= k na classe dos espaos topolgicos;
(iii) u = k na classe dos espaos de Hausdorff.
A condio (i) deste corolrio a Proposio 4.3.1.
Proposio 4.3.5 As condies seguintes so equivalentes a CUF:

(i) u = k na classe dos espaos que verificam o Primeiro Axioma da
Numerabilidade;
(ii) u
= k na classe dos espaos que verificam o Primeiro Axioma da
Numerabilidade;
(iii) u = k na classe dos espaos mtricos;
(iv) u
= k na classe dos espaos mtricos.
65
Demonstrao: As implicaes (i)(ii)(iv) e (i)(iii)(iv) so evidentes.

portanto suficiente demonstrar que CUF(i) e que (iv)CUF.
CUF(i) Sejam X um espao topolgico que verifica o Primeiro Axioma
da Numerabilidade, A um seu subconjunto e x kX (A). Se (Vn )n um sistema
fundamental de vizinhanas numervel de x, ento {Vn A : n N} uma
base de um filtro em X. Esse filtro converge para x porque x um ponto de
acumulao de A.
Finalmente, por hiptese, todo o filtro que tem uma base numervel pode
ser estendido a um ultrafiltro, e por isso existe um ultrafiltro em A que converge
para x.
(iv)CUF Seja (An )n uma base para um filtro livre num conjunto X. Sem
perda de generalidade, consideremos que An+1 An para todo o n e que
A1 6= X. Seja agora a X \ A1 e redefina-se A1 := X \ {a}. A famlia
(An )n ainda uma base para o mesmo filtro.
Definem-se ainda os conjuntos Bn := An \ An+1 , para cada n N. Como o
filtro livre, todos os elementos de X \ {a} pertencem a algum dos conjuntos
Bn . Sendo assim podemos definir uma mtrica em X da seguinte maneira:

0 se x = y

1

se x = a e y Bn

n
d(x, y) :=
1
se x Bn e y = a

n

1 1

+ se x Bn e y Bm .

n m
O ponto a ponto de acumulao de A1 e portanto A1 no fechado.

Temos ento que por hiptese existe um ultrafiltro U em X tal que A1 U
e U converge para um elemento que no est em A1 , ou seja converge para a.
Todos os conjuntos An {a} so vizinhanas de a e portanto elementos de U.
Consequentemente, para todo o n, An = (An {a}) A1 est em U, o que
significa que U uma extenso do filtro gerado por (An ).
66
Proposio 4.3.6 As condies seguintes so equivalentes a CUF:
(i) u = k na classe dos espaos que tm uma base numervel;
(ii) u
= k na classe dos espaos que tm uma base numervel.
Demonstrao: Tendo em conta a Proposio 4.3.5, suficiente mostrar que

(i)CUF .
Consideram-se (An )n , (Bn )n , a e X como na demonstrao da Proposio
4.3.5, e dada uma base numervel para uma topologia em X,
B := {An {a} : n N} {Bn : n N}.
A partir daqui a demonstrao prossegue como a demonstrao de 4.3.5.
Teorema 4.3.7 Os operadores de fecho u e k coincidem em R se e s se

CUF(R) vlido.
Demonstrao: Como vimos na Proposio 4.3.5, se CUF se verifica, ento

para todo o espao X que verifica o Primeiro Axioma da Numerabilidade tem-se
que uX = kX . Na demonstrao dessa Proposio v-se que apenas necessrio
aplicar CUF em X, ou seja CUF(R) suficiente para demonstrar que uR = kR .
Seja agora F um filtro livre em R com uma base numervel. Sem perda
de generalidade consideremos a base (An )n de F tal que An+1 An para
todo o n e defina-se Bn := An \ An+1 . Podem-se construir funes bijectivas
1
fn : R ( n+1 , n1 ) para todo o n N. Definam-se Cn := fn (Bn ) ( n+1
1
, n1 )
e D := n Cn . Como F livre, 0 kR (D), e consequentemente 0 uR (D) por
S
hiptese, o que significa que existe um ultrafiltro U convergente para 0 tal que
D U.
Consideramos agora a restrio U de U a D, que um ultrafiltro em D e a
funo t : D A1 definida por t(x) = fn1 (y) se x Cn . Pela maneira como
as funes fn e os conjuntos Cn e D foram definidos, t uma funo bijectiva
e portanto t(U ) um ultrafiltro em A1 .
67
Como U converge para 0, ( n1 , n1 ) U para todo o n N e portanto

S 1 1
k=n Ck = D ( n , n ) U . Temos assim que

[
[
[
[
An = Bk = fn1 (Ck ) = t(Ck ) = t( Ck ) t(U )
k=n k=n k=n k=n
e portanto o ultrafiltro em R gerado por t(U ) contm F.
Corolrio 4.3.8 As condies seguintes so equivalentes a CUF(R):

(i) u = k na classe dos espaos T0 que tm uma base numervel;
(ii) u
= k na classe dos espaos T0 que tm uma base numervel;
(iii) u = k na classe dos espaos mtricos que tm uma base numervel;
(iv) u
= k na classe dos espaos mtricos que tm uma base numervel;
(v) u = k na classe dos subespaos de R;
(vi) u
= k na classe dos subespaos de R.
Demonstrao: bvio que (i)(ii)(iv)(vi) e que (i)(iii)(v)(vi).

CUF(R)(i) Pelo Lema 1.2.9, se X um espao T0 com uma base nume-
rvel, ento |X| |R|. Sendo assim, CUF(R) suficiente para mostrar que
uX = kX .
(vi)CUF(R) A demonstrao feita de modo anlogo do teorema prece-
dente. Para tal consideramos o subespao real X := D {0} e o seu subconjunto
D. Como 0 kX (D), logo 0 u X (D) por (vi). Mas pelo facto de 0 ser o
nico elemento de X que no est em D, 0 est em uX (D) e consequentemente
0 uR (D). A partir deste ponto a demonstrao prossegue como a demonstra-
o da Proposio 4.3.7.
Lema 4.3.9 Para todo o espao topolgico (X, T) tal que X no tem ultrafiltros
livres e para todo A X tem-se que:
[
uX (A) = kX ({a}).
aA
Se (X, T) um espao T1 , ento uX (A) = A.
68
Demonstrao: Vamos denotar por a o ultrafiltro fixo em a. O ultrafiltro a

converge para x X se e s se V a para toda a vizinhana V de x, isto
a V . Dito de outra maneira, a converge para x se e s se x kX ({a}).
Como em X s existem ultrafiltros fixos, se x uX (A), ento existe a A
tal que a converge para x, o que implica que x kX ({a}).
Por outro lado, se x kX ({a}), ento a converge para x, e portanto
x uX (A).
Para a segunda parte do lema, basta ver que, se (X, T) for T1 , ento, para
todo o x em X, kX ({x}) = {x} e consequentemente u discreto em X.
Devemos referir neste ponto que h de facto modelos de ZF onde existem

conjuntos sem ultrafiltros livres ou, mais ainda, no existem ultrafiltros livres.
A. Blass [3] construiu um modelo (M15 em [28]) onde todos os ultrafiltros so
fixos. Para mais detalhes consultar tambm as Formas 63 e 206 de [28].
Proposio 4.3.10 Se R no tem ultrafiltros livres, ento u

R 6= kR .
Esta Proposio imediata a partir do Lema 4.3.9, uma vez que R um

espao T1 , e portanto uR discreto quando R no tem ultrafiltros livres.
Podemos concluir que a igualdade u
R = kR no demonstrvel em ZF.
Existem modelos de ZF onde R no tem ultrafiltros livres, mas existem ul-
trafiltros livres noutros conjuntos. O Modelo de Feferman um exemplo disso,
como j foi referido atrs (1.1.26).
curioso reparar que, tal como para as sucesses, o caso da classe que tem
como nico elemento R representa uma excepo a um certo paralelismo que foi
possvel encontrar para as outras classes estudadas.
Analisemos agora o caso da idempotncia do operador de fecho u, ou seja a

igualdade u = u
. Ao contrrio do que acontece para as igualdades u = k e u
= k,
no temos uma resposta definitiva, no sendo at conhecido se a idempotncia
de u pode ser demonstrada em ZF.
69
4.4 Espaos de Hausdorff
Chegados a este ponto, podemos ser levados a pensar que u e u coincidem

na classe dos espaos topolgicos se e s se o Teorema do Ultrafiltro vlido.
O que vamos ver de seguida que tal no se verifica, usando para tal o Lema
4.3.9.
Proposio 4.3.11 Se em X todos os ultrafiltros so fixos, ento uX idem-

potente.
Demonstrao: Imediato do Lema 4.3.9 e das propriedades do fecho de Kura-

towski.
Corolrio 4.3.12 As seguintes afirmaes so consistentes com ZF.
(a) u
= u na classe dos espaos topolgicos e UFT no vlido.
(b) u
= u na classe dos espaos que verificam o Primeiro Axioma da Nume-
rabilidade e CUF no vlido.
(c) u
R = uR e CUF(R) no vlido.
Estas trs condies verificam-se no Modelo de Feferman/Blass (M15 em

[28]) onde todos os ultrafiltros so fixos, e portanto UFT, CUF e CUF(R)
no so vlidos.
Concluses semelhantes podem ser tiradas para as outras classes que estud-
mos.

Os espaos de Hausdorff formam uma classe de espaos topolgicos que pode
ser caracterizada atravs de limites. Mais uma vez a pergunta se isso ser
verdade na ausncia do Axioma da Escolha.
A motivao inicial para o estudo presente nesta seco foi descobrir se e
quando existem espaos que verificam o Primeiro Axioma da Numerabilidade e
onde todas as sucesses tm no mximo um limite mas que no so de Hausdorff.
Tambm aqui iremos analisar o que se passa com os limites de ultrafiltros.
70
Teorema 4.4.1 O Axioma da Escolha Numervel equivalente a:
(i) um espao que verifica o Primeiro Axioma da Numerabilidade de Haus-

dorff se e s se todas as suas sucesses tm no mximo um limite.
Demonstrao: CC(i) A condio (i) a Proposio 1.6.17 de [10] e a

demonstrao que l apresentada no utiliza nenhuma condio mais forte do
que o Axioma da Escolha Numervel.
(i)CC Seja (Xn )n uma famlia numervel de conjuntos disjuntos no va-
zios. Analogamente ao que fizemos anteriormente, definem-se os conjuntos
S
Yn := k=n Xk e ainda Y := n Xn {a, b}, com a 6= b dois pontos que
S
no pertencem a n Xn . O seguinte sistema fundamental de vizinhanas

S
se x 6 {a, b}

{{x}}
B(x) :=
{Yn {x} : n N} se x {a, b}
define uma topologia em Y que verifica o Primeiro Axioma da Numerabilidade.
Como a topologia no de Hausdorff existe, por hiptese, pelo menos uma
sucesso em Y que converge para dois pontos distintos. Pela maneira como
a topologia foi definida, a nica hiptese existir uma sucesso a convergir
simultaneamente para a e para b. A sucesso que convergir para estes dois
pontos tem que intersectar um nmero infinito dos conjuntos disjuntos Xn , o
que tendo em ateno a Proposio 1.1.10 completa a demonstrao.
Teorema 4.4.2 O Axioma da Escolha Numervel para famlias de subconjuntos

de R (CC(R)) equivalente a:
(i) um espao com base numervel de Hausdorff se e s se todas as suas

sucesses tm no mximo um limite.
Demonstrao: CC(R)(i) um teorema de ZF que num espao de Hausdorff

todas as sucesses tm no mximo um limite (cf. [10, 1.6.7]). (Tambm vlido
para redes e filtros.)
Seja agora X um espao topolgico que tem uma base numervel e onde
nenhuma sucesso tem dois limites distintos. Como em X nenhuma sucesso
71
tem mais do que um limite, X um espao T1 (ver [10, 1.6.16]). Ou seja, X

um espao T1 com uma base numervel, e portanto o Lema 1.2.9 afirma que
|X| |R|. A demonstrao usual de (i) ([10, 1.6.17]) apenas usa uma escolha
numervel numa famlia de subconjuntos de X, ou seja CC(R) suficiente para
provar (i).
(i)CC(R) Seja (Xn )n uma famlia de subconjuntos no vazios de R. Con-
1
sideremos que cada Xn um subconjunto de ( n+1 , n1 ). Definem-se os conjuntos
Y e (Yn )n como na demonstrao do Teorema 4.4.1.
Tomemos em Y a topologia em que Y \ {a, b} aberto e tem a topologia
de subespao de R, e os elementos a e b tm as mesmas vizinhanas que an-
teriormente. Com esta topologia Y tem uma base numervel mas no de
Hausdorff.
A partir deste ponto, a demonstrao segue os mesmos passos da demons-
trao do Teorema 4.4.1.
Como do conhecimento geral a condio (i) do Teorema 4.4.1 pode ser

generalizada para a classe dos espaos topolgicos, substituindo sucesses por
filtros, resultado esse que vlido em ZF.
Tal como na seco anterior, vamos ver qual a situao quando em vez de
filtros trabalhamos com ultrafiltros.
Teorema 4.4.3 O Teorema do Ultrafiltro (UFT) equivalente a:
(i) um espao topolgico de Hausdorff se e s se todos os seus ultrafiltros

tm no mximo um limite.
Demonstrao: UFT(i) Em [10, 1.6.7], (i) demonstrado para filtros e, se

UFT vlido, ento a mesma demonstrao funciona no caso dos ultrafiltros.
(i)UFT Sejam F um filtro livre em X e a 6= b dois elementos de X. Vamos
definir uma topologia em X atravs de um sistema fundamental de vizinhanas:
se x 6 {a, b}

{{x}}
B(x) :=
{F {x} : F F} se x {a, b}.
72
Com esta topologia, X no de Hausdorff, logo (i) diz que existe um ultra-
filtro U em X que converge para dois pontos diferentes. Esses pontos s podem
ser a e b, logo, para cada F F, F {a} e F {b} so elementos de U, donde
facilmente se conclui que F U.
Corolrio 4.4.4 A condio seguinte equivalente a CUF:
(i) um espao que verifica o Primeiro Axioma da Numerabilidade de Haus-

dorff se e s se todos os seus ultrafiltros tm no mximo um limite.
Demonstrao: CUF(i) Se x e y so dois pontos que no se podem separar

num espao que no de Hausdorff e que verifica o Primeiro Axioma da Nu-
merabilidade, ento facilmente se constri uma base numervel de um filtro que
converge para x e y. Na presena de CUF esse filtro pode ser estendido a um
ultrafiltro que tambm converge para os mesmos dois pontos.
(i)CUF Sejam (Yn )n uma base para um filtro livre em Y e a 6= b dois
elementos de Y. Consideremos Yn+1 Yn para todo o n, e o conjunto Y munido
de uma topologia como a definida na demonstrao do Teorema 4.4.1.
De maneira idntica ao que foi feito na demonstrao do teorema precedente
conclui-se que o filtro gerado por (Yn ) est contido num ultrafiltro.
Corolrio 4.4.5 A condio seguinte equivalente a CUF(R):
(i) um espao com base numervel de Hausdorff se e s se todos os seus

ultrafiltros tm no mximo um limite.
Demonstrao: CUF(R)(i) De modo anlogo ao que foi feito na primeira

parte da demonstrao do Teorema 4.4.2, mostra-se que, se X um espao to-
polgico com base numervel onde nenhum ultrafiltro tem dois limites distintos,
ento |X| |R|.
No difcil verificar que na demonstao usual de (i) apenas utilizado o
Teorema do Ultrafiltro para filtros em X e, tendo em conta o corolrio anterior,
CUF(R) suficiente para demonstrar (i).
73
(i)CUF(R) Tal como vimos na demonstrao do Teorema 4.3.7,

basta-nos considerar um filtro livre F com uma base numervel (An )n tal que
An+1 An (0, n1 ) para todo n N, o que implica que F converge para 0.
Definem-se o conjunto X := A1 {a, b}, com a 6= b dois elementos que no
esto em A1 , e uma topologia em X tal que A1 aberto e tem a topologia de
subespao de R, e os pontos a e b tm um sistema fundamental de vizinhanas
definido da mesma maneira que na demonstrao do Teorema 4.4.3.
Com esta topologia, X no de Hausdorff mas tem uma base numervel
induzida pela base numervel de R, logo por hiptese existe um ultrafiltro que
converge para mais do que um ponto em X. Procedendo como anteriormente,
conclui-se que esse ultrafiltro contm F.
74
Captulo 5
Espaos mtricos completos
Os resultados apresentados neste captulo, nomeadamente nas duas primeiras

seces, so motivados pelo Corolrio 4.1.2. Esse corolrio afirma que todo o
espao mtrico completo sequencial se e s se o Axioma da Escolha Nume-
rvel vlido. Ou seja, na ausncia do Axioma da Escolha Numervel existe
um subespao sequencialmente fechado e no fechado de um espao mtrico
completo. Esse espao, por exemplo X na demonstrao do Teorema 4.1.1, tem
dois completamentos no isomtricos, pois a definio usual de completamento
diz que Y um completamento de X se for completo e X for isomtrico a um
subespao denso de Y .
O que nos propomos fazer estudar a existncia e unicidade de completa-

mentos de espaos mtricos em ZF. Iremos estudar em que condies que o
completamento usual nico, e criar uma definio alternativa que recupere a
noo intuitiva de que o completamento deve ser minimal. Esse completamento,
alm de minimal, dever ser uma reflexo dos espaos mtricos nos espaos m-
tricos completos, o que se verifica em ZFC.
Na terceira seco voltamos a nossa ateno para os produtos de espaos

mtricos e de espaos mtricos completos.
75
5.1 Completamentos
5.1 Completamentos
Alm do problema da unicidade do completamento, propomo-nos tambm
debater o problema da sua existncia.
Uma das mais habituais provas da existncia de completamento de um espao
mtrico (X, d) consiste em considerar o conjunto H de todas as suas sucesses de
Cauchy. Considera-se depois em H a relao de equivalncia definida do seguinte
modo: (xn )n (yn )n se lim d(xn , yn ) = 0. Define-se igualmente uma mtrica d

em H/ tal que d([(x n )], [(yn )]) := lim d(xn , yn ). claro que X isomtrico a
um subespao denso em H/ . Para mostrar que o espao mtrico assim formado
completo necessitamos do Axioma da Escolha Numervel. Um exemplo disso
o espao mtrico X definido na demonstrao do Teorema 4.1.6, onde se prova
que o Axioma da Escolha Numervel equivalente idempotncia de para
espaos mtricos (completos). Esta maneira de construir o completamento torna
tambm imediata a sua unicidade.
Um caso particular da construo que acabmos de descrever a construo

dos nmeros reais atravs das sucesses de Cauchy no conjunto dos nmeros
racionais. Nesse caso no existe nenhum problema de escolha porque Q um
conjunto numervel (e.g. [39]).
Deve-se chamar a ateno que uma iterao deste processo no produz au-
tomaticamente um espao completo. Com efeito, M. Gitik [14] construiu um
modelo onde todos os ordinais limite so o limite de uma sucesso de ordinais
inferiores. Portanto, em teoria, construes deste tipo podem ser prolongadas
indefinidamente (ver tambm [28, Forma 182]).
Pelo que vimos at aqui, a unicidade do completamento resulta da igualdade

= k, enquanto que pelo menos uma das construes conhecidas de completa-
mento resulta da igualdade = . exactamente por isso que em ZFC o com-

pletamento existe e nico, pois os espaos mtricos so de Frchet-Urysohn,
76
Cap.5 Espaos mtricos completos
isto = k.
Vamos agora introduzir trs definies de completamento, para de seguida
estudarmos as condies de existncia e unicidade para cada uma delas. Os
completamentos devero ser considerados a menos de uma isometria.
Definies 5.1.1 Sejam X um espao mtrico completo e A um seu subespao.

Diz-se que X um:
(a) -completamento de A se X (A) = X;
(b)
-completamento de A se
X (A) = X;
(c) k-completamento de A se kX (A) = X.
A definio de k-completamento precisamente a definio usual.

Um -completamento s existe quando a construo que referimos anterior-
mente produz um espao completo.
Uma vez que os subespaos sequencialmente fechados de um espao mtrico
completo X so precisamente os seus subespaos completos (Proposio 1.2.15),
X (A) = X, no existe nenhum espao completo entre A e X. Temos assim
se
que um -completamento um completamento minimal.
Proposio 5.1.2 Todo o espao mtrico tem um

-completamento.
Esta demonstrao uma adaptao da demonstrao do Teorema 4.3.14 de

[10].
Demonstrao: Sejam (X, d) um espao mtrico e B(X, R) o conjunto das
funes limitadas de X para R. Se munirmos B(X, R) com a mtrica do
supremo, ele um espao mtrico completo.
Defina-se depois uma funo i de X para B(X, R) que a cada x X associa
a funo
ix : X B(X, R)
y 7 d(y, x) d(y, a),
com a um elemento fixo de X. As funes ix so limitadas e i uma isometria.
Identificando X com i(X), podemos afirmar que B(X,R) (X) um
-completamento de X.
77
5.1 Completamentos
Corolrio 5.1.3 Todo o espao mtrico tem um k-completamento.
Como k, todo o -completamento tambm um k-completamento,

B(X,R) (X) um k-completamento de X. Mais geralmente, se Y um
ou seja
conjunto tal que
B(X,R) (X) Y kB(X,R) (X), ento Y um k-completamento
de X.
Para provar a unicidade do -completamento, vamos necessitar de um resul-
tado auxiliar que vai permitir generalizar a construo que foi feita em ZFC.
Definio 5.1.4 Sejam X um espao topolgico e A um seu subespao. Para

um qualquer ordinal , define-se:
se = 1

X (A)

X (A) := X (X (A)) se = + 1

S
{X (A) : < } se um ordinal limite.
Proposio 5.1.5 Sejam X um espao topolgico e A um seu subespao.

+1
X (A) = X
(A), para := min{ : X (A) = X (A)}.
Demonstrao: Primeiro vamos demonstrar que existe um tal que X

(A)
sequencialmente fechado. Suponhamos que no existia nenhum nessas condi-

es. Ento para dois ordinais 6= , X (A) 6= X (A), ou seja os conjuntos
X (A) seriam todos diferentes. Nesse caso seria possvel associar a cada or-

dinal o subconjunto X
(A) de X, definindo uma funo injectiva da classe
dos nmeros ordinais em P(X). Mas, como a classe dos ordinais uma classe
prpria, essa injeco no pode existir. Conclumos assim que existe um ordinal
tal que X
(A) sequencialmente fechado, e portanto X (A) X
(A).
Por outro lado, como X (A) sequencialmente fechado em X, X
(
X (A))
= X (A) e consequentemente X (A)

X (A).
O essencial nesta demonstrao que a iterao feita dentro de um con-

junto, e por isso no pode ser prolongada indefinidamente.
78
Teorema 5.1.6 O
-completamento de um espao mtrico nico.
Demonstrao: Sejam A um espao mtrico e (X, d), (Y, d ) dois

-completa-
mentos de A. Pretende-se mostrar que X e Y so isomtricos.
Comea-se por definir uma funo f 1 : X (A) Y (A) com f 1 (x) = x
se x A e, se x = lim an , ento f 1 (x) = lim an , considerando os limites da
sucesso (an ) AN em X e em Y , respectivamente.
Como Y completo, a imagem de todos os pontos est definida, e dualmente
a completude de X implica a sobrejectividade da funo. Tem-se ainda que, se
(an ) e (bn ) so duas sucesses em A convergindo para dois pontos em X, x1 e
x2 , respectivamente, ento
d(x1 , x2 ) = d(lim an , lim bn ) = lim d(an , bn ) =

lim d (an , bn ) = d (lim an , lim bn ) = d (f 1 (x1 ), f 1 (x2 )).
Esta igualdade mostra no s que f 1 unvoca, mas tambm que uma isome-
tria.
Para um ordinal = + 1 define-se uma isometria f : X

(A) Y (A)
1
a partir de f de modo idntico ao que foi feito para f .

Seja agora um ordinal limite. Se x X

(A), ento existe < tal que

x X (A). Define-se ento f : X (A) Y (A) com f (x) := f (x) se

x X (A). A funo f assim definida uma isometria, pois todas as funes
f para < tambm o so.

Da Proposio 5.1.5 vem que X = X

(A) para algum . Se Y no fosse
igual a Y (A), ento f seria uma isometria de X para Y (A) 6= Y . Mas X

completo e portanto Y (A) seria completo, o que implicaria que Y 6=

Y (A).
Temos assim Y = Y (A) e por conseguinte f uma isometria entre (X, d) e
(Y, d ).
Corolrio 5.1.7 Sejam A um espao mtrico e X o seu

-completamento.
Se f uma funo no expansiva1 de A para um espao mtrico completo
1f : (A, d) (B, d ) no expansiva se d (f (x), f (y)) d(x, y).
79
5.1 Completamentos
B, ento existe uma nica funo no expansiva f de X para B tal que a sua
restrio a A f .
A demonstrao feita seguindo o mesmo raciocnio que foi aplicado na

demonstrao do Teorema 5.1.6.
O que este corolrio diz que os espaos mtricos completos formam uma
subcategoria reflexiva da categoria dos espaos mtricos e das funes no ex-
pansivas.
Este resultado tambm vlido quando os morfismos so as funes uni-
formemente contnuas. Ou mais geralmente, quando so as funes sequencial-
mente contnuas que preservam as sucesses de Cauchy.
Proposio 5.1.8 Todo o espao mtrico tem um k-completamento nico se e

s se o Axioma da Escolha Numervel se verifica.
Demonstrao: Se CC se verifica, ento pelo Corolrio 4.1.2 todo o espao

mtrico completo sequencial. Sendo assim o k-completamento coincide com o
-completamento.
Se CC no se verificar, o espao X na demonstrao do Teorema 4.1.1 tem

dois completamentos no isomtricos.
Proposio 5.1.9 Todo o espao mtrico tem um -completamento se e s se

o Axioma da Escolha Numervel vlido. Se o -completamento existir, ele
nico.
Demonstrao: Como , se o -completamento existir, coincide com o

-completamento, e portanto nico.
Se CC se verifica, ento = e portanto o -completamento existe.

Se CC falhar, para os espaos mtricos X e Y definidos na demonstrao
do Teorema 4.1.6, Y (X) 6= Y2 (X) = Y . Ou seja, como Y completo, ele
o -completamento de X, mas no o seu -completamento. Isto mostra que
X no tem -completamento, pois se este existisse teria que ser igual ao seu
-completamento.
80
5.2 Espaos f-completos

Como j foi referido anteriormente, os limites de filtros caracterizam total-
mente os espaos topolgicos. Tambm no caso dos espaos mtricos completos
e dos completamentos de espaos mtricos, as dificuldades criadas pela ausncia
do Axioma da Escolha podem ser torneadas substituindo sucesses por filtros.
Essa , alis, a abordagem escolhida para a definio de espao uniforme
completo. Os espaos uniformes no so, em geral, sequenciais, mesmo em
ZFC, e por isso a utilizao de sucesses no aconselhvel. Como em ZF os
espaos mtricos podem no ser sequenciais, natural considerar os espaos
mtricos completos para filtros ou f-completos. Este paralelismo permite-nos
tirar algumas concluses para espaos uniformes completos, assunto esse que
no vai ser aprofundado.
Definio 5.2.1 Um espao mtrico f-completo se todo o seu filtro de Cauchy2

convergente.
Proposio 5.2.2 Um subespao de um espao mtrico f-completo f-completo

se e s se fechado.
Comparando esta Proposio com o Corolrio 1.2.15, claro qual deve ser
a definio de completamento para filtros ou f-completamento.
Definio 5.2.3 Sejam X um espao mtrico f-completo e A X. Diz-se que

X um f-completamento de A se kX (A) = X.
Teorema 5.2.4 Todo o espao mtrico tem um f-completamento nico.
Demonstrao: Seja X um espao mtrico. O espao B(X, R) um espao

mtrico f-completo. Na demonstrao do Teorema 5.1.2 vimos que X pode ser
considerado como subespao de B(X, R). ento imediato que kB(X,R) (X)
um f-completamento de X.
2O 1
filtro F de Cauchy se, para todo o n, existe F F tal que diam(F ) < n
.
81
5.2 Espaos f-completos
A unicidade, a menos de isometria, resulta da Proposio 5.2.2 e de que, se

F e G so dois filtros de Cauchy em X, ento d(lim F, lim G) = lim d(F, G), onde
d(F, G) o filtro em R constitudo pelos elementos {d(x, y) : x F, y G} para
todo o F F e G G. Ou seja, d(lim F, lim G) independente do espao onde
X est includo e portanto o f-completamento nico.
fcil verificar que, a partir do filtro d(F, G) definido em R para dois filtros de
Cauchy F e G num espao mtrico, possvel definir uma relao de equivalncia
nos filtros de Cauchy desse espao mtrico, e uma distncia entre as suas classes
de equivalncia. O f-completamento pode ser construdo dessa maneira.
Este tipo de construo utilizado para demonstrar que todo o espao uni-
forme tem um completamento, que nico na classe dos espaos uniformes
separados (ver [30, p.155]).
Uma outra demonstrao da existncia de completamento de espaos uni-
formes feita a partir do facto de que todo o espao uniforme uniformemente
equivalente a um subespao de um produto de espaos uniformes metrizveis
(e.g. [10, 8.2.3]). No entanto o Axioma da Escolha Mltipla Dependente
utilizado na demonstrao deste facto. Se considerarmos a definio de espao
uniforme que feita utilizando famlias de pseudomtricas num dado conjunto,
esta abordagem a mais correcta. Isto uma consequncia de no ser conhecido
se ambas as definies so equivalentes em ZF.
Corolrio 5.2.5 O Axioma da Escolha Numervel equivalente a:
(i) um espao mtrico completo se e s se f-completo.
Demonstrao: CC(i) Um espao f-completo sempre completo.

Seja X um espao mtrico completo e Y o seu f-completamento. Como Y
completo e o Axioma da Escolha Numervel vlido, o Corolrio 4.1.2 afirma
que X fechado em Y . Pela Proposio 5.2.2, X f-completo.
(i)CC Se os espaos mtricos completos e f-completos coincidem,
ento o f-completamento igual ao k-completamento. Isto significa que o
82
k-completamento nico, e portanto o Axioma da Escolha Numervel vlido

(5.1.8).
O resultado que acabmos de ver d-nos a ideia de que os filtros que tm uma
base numervel podem ser suficientes para caracterizar os espaos f-completos.
Alm de provar esse facto, vamos tambm ver que a propriedade de completude
que Cantor provou existir em R equivalente noo de espao f-completo.
Definio 5.2.6 Um espao mtrico X Cantor-completo se, para toda a

famlia (Fn )nN de conjuntos no vazios e fechados em X tal que Fn+1 Fn e
\
lim diam(Fn ) = 0, Fn 6= .
n
n
Teorema 5.2.7 Para um espao mtrico X as condies seguintes so

equivalentes:
(i) X f-completo;
(ii) todo o filtro de Cauchy em X com uma base numervel convergente;
(iii) X Cantor-completo.
Demonstrao: imediato que (i) implica (ii).

(ii)(iii) Uma famlia (Fn )n nas condies da definio de espao Cantor-
completo uma base de um filtro de Cauchy. Portanto convergente por
hiptese. Esse limite um elemento de n Fn .
T
(iii)(i) Seja F um filtro de Cauchy num espao X Cantor-completo. Para

cada n N, define-se A(n) := {F F : diam(F ) < n1 }. Os conjuntos A(n)
S
no so vazios porque F de Cauchy.

Para cada n, Fn := kX (A(n)) tem dimetro menor ou igual a n2 e Fn+1 Fn .
Por hiptese Fn 6= , ou seja existe x Fn . O filtro F converge para x e
T T
portanto X f-completo.
Tome-se em ateno que, em geral, (A(n))nN no uma base para o filtro

F.
83
5.3 Produtos
5.3 Produtos
Os produtos de espaos (pseudo)mtricos podem ser formados tendo em
conta a sua estrutura topolgica, uniforme ou mtrica. Nos dois primeiros casos
esses produtos podem no ser metrizveis, enquanto no terceiro eles nem sempre
existem.
Vamos investigar questes relacionadas com a existncia da mtrica pro-
duto, assim como a estabilidade dos espaos (pseudo)mtricos completos para
a formao desse produto.
Dada um famlia numervel de espaos mtricos ((Xn , dn ))n , o seu produto

topolgico um espao metrizvel. Este resultado vlido em ZF, no entanto
o mesmo no verdade para espaos metrizveis, onde a demonstrao usual
precisa de uma escolha numervel (mltipla).
Proposio 5.3.1 ([33]) Se o Axioma da Escolha Numervel Mltipla (CMC)

se verifica, ento o produto numervel de espaos metrizveis metrizvel.
Demonstrao: Seja ((Xn , Tn ))n uma famlia de espaos topolgicos metrizveis.

Para cada n N, consideremos o conjunto An de todas as mtricas em Xn que
induzem Tn . Por CMC, existe uma escolha mltipla (Fn )n em (An )n . Ou seja,
para todo o n N, =6 Fn An e Fn finito. Define-se ento em cada Xn
uma mtrica dn com
X
dn (x, y) := min{ d(x, y), 1}.
dFn
A mtrica dn origina a topologia Tn , e d definida por

X 1
d((xn )n , (yn )n ) := dn (xn , yn )
n=1
2n

Y
uma mtrica no produto Xn que induz a topologia produto.
n=1
84
Proposio 5.3.2 ([33]) Se o produto numervel de espaos metrizveis me-

trizvel, ento CMC(0 ) verifica-se.
Demonstrao: Seja (Xn )n uma famlia numervel de conjuntos numerveis no

vazios. Consideremos cada Xn munido da topologia discreta e Yn := Xn {n}
a sua compactificao de Alexandroff. Os espaos Yn so metrizveis pois so
homeomorfos ao subespao de R, { n1 : n N} {0}.
Por hiptese Y := n Yn metrizvel. Seja d uma mtrica em Y que
Q
induz a topologia produto. Para cada n N, e com y = (n)n , define-se

k(n) := min{k N : pn (B(y, k1 )) 6= Yn }. Os nmeros k(n) existem porque
(pn (B(y, k1 )))k um sistema fundamental de vizinhanas de n Yn . A famlia
1
(Xn \ pn (B(y, k(n) )))nN uma escolha mltipla em (Xn )n .
Existem resultados similares aos das duas proposies anteriores para es-
paos que verificam o Primeiro Axioma da Numerabilidade ([33]).
Em geral, podemos considerar a numerabilidade de uma famlia de espaos

mtricos no vazios no s uma condio suficiente mas tambm necessria
para que o seu produto topolgico seja metrizvel. Ou seja, se o produto de
uma famlia de espaos metrizveis no vazios metrizvel, ento todos excepto
uma quantidade numervel dos factores so espaos triviais. No entanto, em ZF
esta condio pode no ser verdadeira pois equivalente ao Axioma da Escolha,
como facilmente se verifica. O caso diferente quando analisamos apenas os
produtos no vazios.
Proposio 5.3.3 Sejam (Xi )iI uma famlia de conjuntos no vazios e no

singulares e, para cada i I, Ti uma topologia metrizvel em Xi . Se CC(fin)
se verifica, Xi 6= e (Xi , Ti ) metrizvel, ento |I| 0 .
Q Q
Demonstrao: Seja (Xi )iI uma famlia nas condies do enunciado da pro-
posio. Por hiptese existem x = (xi )i X := i Xi e uma mtrica d em
Q
X que induz a topologia produto. Para cada n N, define-se o conjunto
85
5.3 Produtos
I(n) := {i I : pi (B(x, n1 )) 6= Xi }. Como B(x, n1 ) aberto na topologia

produto, I(n) finito. Se CC(fin) se verifica, pelo Lema 1.1.20 n I(n)
S
numervel.
Mas, se I no numervel, existe j I \ n I(n). Por outro lado, como Xj
S
metrizvel, existe U aberto em Xj tal que xj U 6= Xj . Claramente p1

j (U ) no
1
contm nenhuma das bolas abertas B(x, n ), o que no pode acontecer porque
p1
j (U ) uma vizinhana de x. Sendo assim I = n I(n) e portanto |I| 0 .
S
Dada uma famlia numervel de espaos mtricos completos ((Xn , dn ))n , o

seu produto topolgico metrizvel por uma mtrica que torna o espao com-
pleto. Dito de outra maneira, o seu produto uniforme um espao uniforme
completo. Este resultado mais geral pois o produto uniforme de espaos uni-
formes separados completos um espao uniforme completo.3
Na categoria dos espaos mtricos e das funes no expansivas, os produtos
(mtrica do supremo) nem sempre esto definidos. Apesar disso, quando esto
definidos tambm preservam a completude.
Como iremos ver de seguida, na ausncia do Axioma da Escolha, estes re-
sultados no podem ser extendidos para os espaos pseudomtricos e para os
espaos uniformes no separados.
Teorema 5.3.4 Os produtos existentes de espaos pseudomtricos completos

so completos se e s se o Axioma da Escolha vlido.
Demonstrao: Seja (Xi )iI uma famlia de conjuntos no vazios. Para cada
e
i I, considere-se o espao pseudomtrico (Yi , di ) definido por Yi := Xi N
3 Este resultado tambm vlido para espaos uniformes sequencialmente completos.
86
se x, y Xi

0

1 1
| x y | se x, y N

di (x, y) :=
1
se x N e y Xi

x

1

se x Xi e y N.

y
Cada um dos espaos pseudomtricos Yi completo. Como todas as mtricas di

so limitadas por 1, para todo o a = (ai )i Yi e para todo o b = (bi )i Yi ,
Q Q
sup{di (ai , bi ) : i I} R. Ou seja, o produto pseudomtrico existe e, por

hiptese, completo.
A sucesso (yn )n definida no espao produto por yn (i) := n, para todo o
n N e i I, uma sucesso de Cauchy. Como o espao produto completo,
esta sucesso tem um limite, que um elemento de i Xi . Temos assim que o
Q
Axioma da Escolha vlido.
Corolrio 5.3.5 ([40]) O produto uniforme de espaos uniformes completos

completo se e s se o Axioma da Escolha vlido.
A demonstrao desenrola-se de modo semelhante do Teorema 5.3.4, apesar

de a uniformidade produto no coincidir com a uniformidade originada pela
mtrica produto.
87
Captulo 6
O Primeiro Axioma da
Numerabilidade
Um espao topolgico verifica o Primeiro Axioma da Numerabilidade se

existe um Sistema Fundamental de Vizinhanas (SFV) numervel para cada um
dos seus pontos (Definio 1.2.7). Em geral, ou seja, na presena do Axioma
da Escolha, esta definio clara e no suscita duas interpretaes diferentes.
Mas o que acontece quando o Axioma da Escolha no vlido? A primeira
consequncia que no temos garantia da existncia, em simultneo, de um SFV
para cada um dos pontos de um dado espao que verifique o Primeiro Axioma
da Numerabilidade. Alis, a existncia de soluo para problemas deste tipo
uma das justificaes para a utilizao do Axioma da Escolha.
Uma breve anlise a livros de introduo Topologia permite-nos chegar
concluso que, em todos os exemplos apresentados de espaos que verificam
o Primeiro Axioma da Numerabilidade, possvel construir um SFV em cada
ponto do espao. Como exemplo, podemos reparar que as bolas abertas de raio
1/n formam um SFV em cada ponto de um dado espao mtrico. Neste caso,
como na maioria dos exemplos conhecidos, ainda possvel construir, ao mesmo
tempo, uma funo sobrejectiva do conjunto dos nmeros naturais para um SFV
em cada ponto. Do que acabmos de dizer fica patente a possibilidade de definir
89
6.1 Definies
o Primeiro Axioma da Numerabilidade de trs maneiras diferentes.

Neste captulo propomo-nos analisar as diferenas entre estas definies alter-
nativas do Primeiro Axioma da Numerabilidade, e outras que iro ser introduzi-
das, assim como estudar a existncia de condies necessrias e/ou suficientes
para a sua equivalncia.
6.1 Definies
Vamos comear por trabalhar com trs condies, todas equivalentes ao
Primeiro Axioma da Numerabilidade em ZFC. Elas vo ser denominadas por
A, B e C, denominando A a definio usual. A denominao das condies
que sero introduzidas mais tarde seguir igualmente a ordem alfabtica. Para
facilitar a compreenso das novas definies, e a sua comparao, elas so apre-
sentadas em linguagem simblica.
Definies 6.1.1 Seja X um espao topolgico. Dizemos que X satisfaz:
A se (x X) (B(x)) |B(x)| 0 e B(x) um SFV de x;
B se ((B(x))xX ) (x X) |B(x)| 0 e B(x) um SFV de x;
C se ({B(n, x) : n N, x X}) (x) {B(n, x) : n N} um SFV de x.
Nas definies de A, B e C pode-se exigir que as vizinhanas sejam abertas,

sem com isso alterar o valor lgico das definies. Esta ressalva feita pois
iremos ver situaes em que tal no o caso.
Lema 6.1.2
(a) Se um espao topolgico satisfaz B, ento satisfaz A.
(b) Se um espao topolgico satisfaz C, ento satisfaz B.
Proposio 6.1.3 Todo o espao mtrico ou com uma base numervel satisfaz
C, e consequentemente B e A.
90
Cap.6 O Primeiro Axioma da Numerabilidade
A primeira ideia intuitiva que certamente teremos que a equivalncia entre

A e B necessita do Axioma da Escolha, tal a semelhana formal de AB com
o Axioma da Escolha. no entanto possvel provar que A equivalente a B a
partir de um princpio de escolha mais fraco do que AC.
Teorema 6.1.4 ([17]) Se MC se verifica, ento um espao topolgico satisfaz

A se e s se satisfaz B.
Demonstrao: Basta mostrar que A implica B, uma vez que a outra implicao
sempre verdadeira. Seja X um espao que verifica o Primeiro Axioma da
Numerabilidade, ou seja satisfaz A. Consideremos o conjunto L(x) de todas as
funes f : N P(X) tais que f (N) um SFV de x X. Como X satisfaz
A, (L(x))xX uma famlia de conjuntos no vazios. Logo, por MC existe
(M(x))xX com M(x) numervel e = 6 M(x) L(x) para cada x em X.
Usando o argumento da diagonal de Cantor, mostramos que cada um dos
conjuntos B(x) := {f (n) : f M(x), n N} numervel, uma vez que M(x)
tambm numervel. Tem-se assim que B(x) um SFV numervel de x, para
cada elemento x de X.
Existem vrios modelos de ZF onde AC no se verifica, mas MC vlido,

como por exemplo no Modelo de Cohen/Pincus (M1(<1 >) em [28]).
Infelizmente no conhecido se a equivalncia entre A e B ou no demon-
strvel em ZF.
Proposio 6.1.5 Se MC(20 ) se verifica, ento um espao topolgico satisfaz

B se e s se satisfaz C.
Demonstrao: Seja X um espao topolgico que satisfaz B. Da definio

de B vem que que existe (B(x))xX tal que B(x) um SFV numervel de x.
Definem-se os conjuntos
L(x) := {(f : N B(x)) : f uma sobrejeco}.
91
6.1 Definies
Cada um dos conjuntos L(x) diferente do vazio e tem cardinal inferior a

2 , uma vez que |L(x)| |B(x)N | 0 0 = 20 . Por MC(20 ) existe uma
0
famlia (M(x))xX tal que, para todo o x, M(x) finito, diferente do vazio e
est contido em L(x).
Finalmente, {B(n, x) : n N} um SFV de x, com B(n, x) := f M(x) f (n).
T
Lema 6.1.6 As condies seguintes so equivalentes:
(i) AC(0 );
(ii) para toda a famlia de conjuntos numerveis (Xi )iI existe uma famlia
de funes (fi )iI tal que fi uma bijeco entre um ordinal i e Xi .
Demonstrao: (ii)(i) Dada uma famlia (Xi )iI de conjuntos numerveis

no vazios, por hiptese existe (fi : i Xi )iI com fi bijectiva e i um
ordinal. A escolha pretendida (fi (0))iI
(ii)(i) Seja (Xi )iI uma famlia de conjuntos numerveis. Podemos supor
que Xi 6= porque para o conjunto vazio s existe uma bijeco possvel.
A famlia F := iI P(Xi ) \ {} uma famlia de conjuntos numerveis no
S
vazios, logo existe (e(F ))F F onde e(F ) um elemento de F .

Define-se ento para cada i I
se = 0

e(Xi )
f (i, ) :=
e(Xi \ {f (i, ) : < }) se 6= 0 e {f (i, ) : < } =
6 Xi .
Como todos os conjuntos Xi so numerveis, a funo g : I 1 com

g(i) := min{ : Xi = {f (i, ) : < }} est bem definida, e portanto as
funes fi : g(i) Xi com fi () = f (i, ) so as funes desejadas.
Corolrio 6.1.7 Se AC(0 ) e AC(R) se verificam, ento para toda a famlia

de conjuntos numerveis (Xi )iI existe uma famlia de funes (fi )iI tal que
fi uma injeco de Xi para N.
92
Demonstrao: Para os conjuntos finitos Xi , sabemos do lema precedente que

existe uma bijeco entre um ordinal n e Xi , o que induz uma funo injectiva
de Xi para N.
Consideremos agora os conjuntos Xi infinito numerveis. O conjunto de
todas as re-ordenaes de N bem-ordenadas tem o mesmo cardinal que R ([6]).
Usando AC(R) podemos escolher uma bijeco entre N e cada ordinal numervel
infinito. O Lema 6.1.6 diz que, se AC(0 ) se verifica, ento podemos construir
uma bijeco entre cada Xi e um ordinal, necessariamente numervel, o que
conclui a demonstrao.
Tendo em ateno este corolrio e o Lema 3.3.1, pode-se concluir o seguinte

resultado.
Corolrio 6.1.8 Se AC(0 ) e AC(R) se verificam, ento a unio numervel

de conjuntos numerveis numervel (CUC).
Corolrio 6.1.9 Se AC(0 ) e AC(R) se verificam, ento um espao topolgico

satisfaz B se e s se satisfaz C.
Para que B implique C suficiente que dada uma famlia de conjuntos nu-
merveis no vazios se possa estabelecer uma injeco entre cada um deles e N.
Sendo assim, este Corolrio consequncia imediata de 6.1.7.
Note-se que escolher uma funo injectiva de B(x) para N, para toda a
famlia (B(x))xX de SFV numerveis de um espao topolgico, equivalente
tese do Corolrio 6.1.7.
Realce-se ainda que esta afirmao no diz o mesmo que B implica C, visto
que os SFV considerados nas definies de B e C podem ser diferentes.
Proposio 6.1.10 Se um espao topolgico satisfaz B se e s se satisfaz C,

ento MC(0 ) verifica-se.
Demonstrao: Seja (Xi )iI uma famlia de conjuntos numerveis infinitos e

no vazios.
93
6.2 Caracterizaes
Consideremos cada Xi munido da topologia discreta, Xi {i} a sua compacti-

ficao de Alexandroff e a unio disjunta X := (Xi {i}) com a topologia da
S
unio. Como |Xi | = 0 , |Pfin (Xi )| = 0 e portanto cada i I tem um SFV

numervel. Temos assim que X satisfaz B e por hiptese tambm C. Existe por-
tanto um SFV (B(n, i))nN para cada i. Sem perda de generalidade, podemos
supor B(1, i) 6= Xi , e consequentemente (Xi \ B(1, i))iI uma escolha mltipla
em (Xi )iI .
de salientar que uma iterao deste processo permite escrever cada Xi

como unio numervel de conjuntos finitos. Este facto tem bvias relaes com
o Corolrio 6.1.7 e com a caracterizao de Lvy (Proposio 1.1.7).
6.2 Caracterizaes
A motivao para o estudo presente nesta seco foi a tentativa de generalizar
o resultado do Teorema 3.2.2 para espaos que verificam o Primeiro Axioma da
Numerabilidade. Ou seja, saber quais as condies em que se pode extrair
um SFV numervel de um qualquer SFV num espao que verifique o Primeiro
Axioma da Numerabilidade.
Seguindo o que feito na seco anterior, existem de imediato trs hipteses
de o fazer: uma local e duas globais, de acordo com cada uma das definies A,
B e C.
Tal como foi feito na Seco 3.2, comeamos por enunciar o resultado que
d a caracterizao em ZFC.
Teorema 6.2.1 (ZFC) Todo o Sistema Fundamental de Vizinhanas de um

ponto num espao que verifica o Primeiro Axioma da Numerabilidade contm
um Sistema Fundamental de Vizinhanas numervel.
Esta a verso habitual do Teorema. No entanto o Primeiro Axioma da

Numerabilidade desnecessrio na hiptese, uma vez que suficiente que o
94
ponto considerado tenha um SFV numervel. Por isso talvez faa mais sentido
considerar uma verso global do Teorema.
De modo a fazermos um estudo geral de vrios casos, vamos introduzir vrias
caracterizaes do Primeiro Axioma da Numerabilidade em ZFC, mas que iremos
ver serem bastante diferentes em ZF.
Definies 6.2.2 Seja X um espao topolgico. Dizemos que X satisfaz:
D se (x)(V(x) SFV abertas de x) (B(x) V(x)) |B(x)| 0

e B(x) um SFV de x;
E se ((V(x))xX com V(x) SFV abertas de x) ((B(x))xX )

(x)B(x) V(x), |B(x)| 0 e B(x) um SFV de x;
F se ((V(x))xX com V(x) SFV abertas de x) ({B(n, x) : n N, x X})

(x)[(n)B(n, x) V(x) e {B(n, x) : n N} um SFV de x];
G se (x)(V(x) SFV de x) (B(x) V(x)) |B(x)| 0

e B(x) um SFV de x;
H se ((V(x))xX com V(x) SFV de x) ((B(x))xX )

(x)B(x) V(x), |B(x)| 0 e B(x) um SFV de x;
I se ((V(x))xX com V(x) SFV de x) ({B(n, x) : n N, x X})

(x)[(n)B(n, x) V(x) e {B(n, x) : n N} um SFV de x].
Juntamente com as trs definies GI que pretendem traduzir em ZF a

caracterizao que est em 6.2.1, so tambm includas trs definies em que
os elementos do SFV dado tm que ser abertos.
95
6.2 Caracterizaes
Proposio 6.2.3 Para as classes AI, so verdadeiras as incluses:
(a) C B A;
(b) F E D;
G ks H ks I
(c) I H G;
D ks E ks F
(d) G D A;

(e) H E B; A ks B ks C
(f) I F C.
Lema 6.2.4 Todo o espao topolgico com uma topologia numervel satisfaz F,
e consequentemente E e D.
Teorema 6.2.5 ([17]) As condies seguintes so equivalentes a CC:
(i) se, num espao topolgico, x tem um SFV numervel, ento todo o SFV
de x contm um SFV numervel;
(ii) um espao topolgico satisfaz A se e s se satisfaz G;
(iii) um espao topolgico satisfaz A se e s se satisfaz D;
(iv) um espao topolgico satisfaz D se e s se satisfaz G.
Repare-se que a condio (ii) o Teorema 6.2.1.

Demonstrao: A demonstrao de que CC implica (i) a usual e pode ser
vista em [9, 2.4.12]. As implicaes (i)(ii)(iii) e (ii)(iv) so evidentes.
Falta portanto mostrar que (iii)CC e que (iv)CC.
96
Suponhamos que CC no vlido. Pela Proposio 1.1.10, existe uma

famlia (Xn )nN de conjuntos disjuntos no vazios tal que nenhuma sucesso
toma valores num nmero infinito dos conjuntos Xn .
Definem-se os conjuntos X := ( Xn ){}
e Yn := ( kn+1 Xk ){}.
S S
Consideremos duas topologias T1 e T2 em X, sendo T1 definida pela base B1 :
B1 := {{x} : x X \ {}} {Yn : n N};
T2 := {Yn : n N}.
O espao (X, T1 ) satisfaz A e (X, T2 ) satisfaz D porque tem uma topologia

numervel. Por outro lado V := {Yn {x} : x Xn , n N} um SFV de
que no contm nenhum SFV numervel porque, caso contrrio, existiria uma
sucesso a convergir para , o que no acontece por hiptese. Temos por isso
que (X, T2 ) no satisfaz G; e que (X, T1 ) no satisfaz D, uma vez que V T1 .
Como a topologia T1 metrizvel pela mtrica definida na demonstrao da

Proposio 3.1.7 e |T2 | = 0 , chegamos ao prximo corolrio.
(i) todo o espao mtrico satisfaz G (respectivamente D);
(ii) todo o espao topolgico com uma base numervel satisfaz G;
(iii) todo o espao topolgico com uma topologia numervel satisfaz G.
Passamos de seguida a considerar as duas hipteses, de que falmos ante-

riormente, de enunciar de um modo global (em ZF) o resultado do Teorema
6.2.1.
Proposio 6.2.7 ([17]) As condies seguintes so equivalentes:
(i) MC e CC;
(ii) MC e CUC;
97
6.2 Caracterizaes
(iii) MC e CC(0 );
(iv) um espao topolgico satisfaz B se e s se satisfaz H;
(v) um espao topolgico satisfaz B se e s se satisfaz E;
(vi) um espao topolgico satisfaz E se e s se satisfaz H.
Demonstrao: Pelo Lema 1.1.20 sabemos que CCCUCCC(0 ). Se MC

vlido, ento CC equivalente a CC(0 ), logo (i)(ii)(iii).
As implicaes (iv)(v) e (iv)(vi) so bvias, pelo que suficiente mostrar
que (ii)(iv), que (v)(i) e que (vi)(i).
(ii)(iv) Sejam (V(x))xX uma famlia de SFV e (B(x))xX uma famlia de
SFV numerveis num espao topolgico X.
Definem-se o conjunto I := xX (B(x) {x}), e, para cada (B, x) I, os
S
conjuntos L(B, x) := {V V(x) : V B}. Como V(x) um SFV e B uma

vizinhana de x, os elementos da famlia (L(B, x))(B,x)I so no vazios. Por
MC existe (M(B, x))(B,x)I tal que cada M(B, x) numervel no vazio e
est contido em L(B, x). Por hiptese CUC vlida e portanto os conjuntos
D(x) := BB(x) M(B, x) so numerveis.
S
Finalmente, (D(x))xX uma famlia de conjuntos numerveis com

D(x) V(x), uma vez que M(B, x) L(B, x) V(x) para cada (B, x) I.
Pela maneira como foram construdos, os conjuntos D(x) so um SFV de x.
(v)(i) e (vi)(i) Do Teorema 6.2.5 (quase) imediato que cada uma das
condies (v) e (vi) implica CC.
Seja (Xi )iI uma famlia de conjuntos no vazios. Sem perda de gene-
ralidade, podemos considerar a famlia disjunta e a sua unio disjunta de I.
Definem-se os conjuntos X := i ((Xi N) {(i, )}) e
S
Yn := {(x, k) : x Xi para algum i I, k > n} (I {}).

Consideremos duas topologias T1 e T2 em X, sendo T1 definida atravs da
base B1 :
B1 := {{(x, n)} : x 6 I, n N} {Yn : n N};
T2 := {Yn : n N}.
98
Das definies das duas topologias imediato que T1 satisfaz B e que T2

satisfaz E. Como em ambos os casos cada elemento (x, n) 6 I {} tem
um SFV s com um elemento, podemos ignorar esses pontos. Temos que
V(i) := {Yn {(x, n)} : x Xi , n N} um SFV de (i, ) para as duas
topologias, e que V(i) T1 . Por hiptese verifica-se (v) ou (vi), conforme o
caso, e portanto existe (B(i))iI tal que cada B(i) um SFV numervel de
(i, ) e est contido em V(i).
Os conjuntos Ai := {x Xi : (B B(i)) B \ Yn = {(x, n)} para algum n}
so numerveis, o que completa a demonstrao.
Corolrio 6.2.8 Todo o espao que verifica o Primeiro Axioma da Numerabi-

lidade (i.e satisfaz A) satisfaz H se e s se MC e CC so simultaneamente
vlidos.
Esta uma possvel alternativa, em ZF, para o Teorema 6.2.1.
Corolrio 6.2.9 As condies seguintes so equivalentes a MC e CC:
(i) todo o espao mtrico satisfaz H (respectivamente E);
(ii) todo o espao topolgico com uma base numervel satisfaz H;
(iii) todo o espao topolgico com uma topologia numervel satisfaz H.
Demonstrao: imediato que MC +CC(ii)(iii), por a topologia T2

definida na demonstrao de 6.2.7 ser numervel, e que (i)CC pelo Corolrio
6.2.6.
Para mostrar que (i)MC , considera-se a famlia (Xi )iI como na de-
monstrao de (v)(i) da Proposio 6.2.7. Definem-se o espao mtrico (X, d)
com X := i (Xi N {i} {(i, , i)}) e
S

0 se (x, n, i) = (y, m, j)
d((x, n, i), (y, m, j)) := 2 se i 6= j
1 1
n + m se i = j e (x, n) 6= (y, m),
e os conjuntos Y (i, n) := {(i, , i)} kn+1 (Xi {k} {i}).

S
99
6.2 Caracterizaes
Para cada i I, V(i) := {Y (i, n) {(x, n)} : x Xi , n N} um SFV de

(i, , i). A partir deste ponto, a demonstrao segue como a demonstrao de
6.2.7.
Proposio 6.2.10 As condies seguintes so equivalentes ao Axioma da Es-

colha:
(i) todo o espao que verifica o Primeiro Axioma da Numerabilidade (A)

satisfaz I;
(ii) um espao topolgico satisfaz C se e s se satisfaz I;
(iii) um espao topolgico satisfaz C se e s se satisfaz F;
(iv) um espao topolgico satisfaz F se e s se satisfaz I.
Demonstrao: Uma vez que A, C, F e I so equivalentes em ZFC, AC implica

cada uma das condies (i)(iv).
simples verificar que (i)(ii)(iii) e que (ii)(iv).
Para provar que (iii)AC e que (iv)AC, usamos os espaos topolgicos
(X, T1 ) e (X, T2 ) definidos na demonstrao da Proposio 6.2.7. Esta demons-
trao semelhante a essa, mas a sobrejeco existente de N para cada B(i)
permite escolher um elemento de cada um dos conjuntos Ai .
A condio (i) deste Teorema outra alternativa ao enunciado do Teorema

6.2.1.
Corolrio 6.2.11 As condies seguintes so equivalentes a AC:
(i) todo o espao mtrico satisfaz I (respectivamente F);
(ii) todo o espao topolgico com uma base numervel satisfaz I;
(iii) todo o espao topolgico com uma topologia numervel satisfaz I.
100
A demonstrao pode ser feita a partir da demonstrao do Corolrio 6.2.9,

tendo em ateno o que foi dito na demonstrao anterior.
de certo modo surpreendente que a condio (iii), que aparentemente

to fraca, possa ser equivalente ao Axioma da Escolha.
Proposio 6.2.12 Se MC se verifica, ento:
(a) um espao topolgico satisfaz D se e s se satisfaz E;
(b) um espao topolgico satisfaz G se e s se satisfaz H.
A demonstrao em tudo idntica demonstrao do Teorema 6.1.4.
Corolrio 6.2.13 Se o Axioma da Escolha Numervel vlido, ento as condi-

es seguintes so equivalentes:
(i) MC ;
(ii) um espao topolgico satisfaz D se e s se satisfaz E;
(iii) um espao topolgico satisfaz G se e s se satisfaz H.
Demonstrao: A Proposio anterior diz que (i) implica (ii) e (iii). As impli-
caes contrrias demonstram-se de modo similar, pelo que vamos demonstrar
apenas uma delas.
(ii)(i) Se D equivalente a E e CC vlido, ento A equivalente a E
pelo Teorema 6.2.5. Como B implica A, B implica E e portanto MC verifica-se
pelo Teorema 6.2.7.
Proposio 6.2.14 Se E equivalente a F ou H equivalente a I, ento

MC(0 ) vlido.
Se MC(0 ) no vlido, ento o espao topolgico construdo na demons-

trao da Proposio 6.1.10 satisfaz E e H, mas no satisfaz F e I.
101
6.3 Os nmeros reais
6.3 Os nmeros reais

Ao longo das seces anteriores, juntamente com o estudo de algumas das
implicaes entre as diferentes caracterizaes do Primeiro Axioma da Nume-
rabilidade, vimos em que condies que certas classes satisfazem cada uma
dessas caracterizaes. Agora vamos estudar em que condies que elas so
satisfeitas pelo espao topolgico real. Recordemos que R satisfaz cada uma das
trs primeiras definies.
medida que este estudo for feito, resultados sobre outras classes surgiro
de forma natural.
Teorema 6.3.1 As condies seguintes so equivalentes a CC(R):
(i) todo o espao topolgico que tem uma base numervel satisfaz D;
(ii) R satisfaz D.
Demonstrao: CC(R)(i) Basta seguir a demonstrao usual, tomando em

considerao que a topologia de um espao que tem uma base numervel tem
cardinal inferior a R (Lema 1.2.9).
(ii)CC(R) Seja (Xn )n uma famlia numervel de subconjuntos no vazios
1
de R tal que Xn ( n+1 , n1 ) para todo o n N. Consideremos ainda o
1
SFV V := {( n , x) : n N, x Xn } de 0. Por hiptese, existe um SFV
B := {Bk : k N} de 0 que est contido em V. Define-se s(k) := sup Bk . Pela
maneira como V foi definido, s(k) Xn para algum n. Por outro lado, B
um SFV e por isso {s(k) : k N} tem que intersectar um nmero infinito dos
conjuntos Xn . A Proposio 1.1.10 diz que isso suficiente para provar CC(R).
Lema 6.3.2 Se X um espao topolgico T1 que tem SBN (toda a base contm
uma base numervel), ento X satisfaz D.
Demonstrao: Sejam (X, T) um espao topolgico T1 , x X e V(x) um SFV

abertas de x. Como X T1 , B := {U T : x 6 U ou U V(x)} uma base
102
para os abertos de X. Por hiptese existe C B tal que |C| 0 e C uma

base. Por fim C V(x) um SFV numervel de x.
Neste ponto podemos verificar que o Teorema 3.2.2 poderia ser facilmente
demonstrado a partir do Teorema 6.3.1 e do Lema 6.3.2.
Proposio 6.3.3 As condies seguintes so equivalentes ao Axioma da Es-

colha Numervel para famlias de subconjuntos de P(R) (CC(PR)):
(i) todo o espao T0 que tem uma base numervel satisfaz G;
(ii) R satisfaz G.
Demonstrao: CC(PR)(i) Se X um espao topolgico T0 com uma base

numervel, ento |X| |R|, e para provar (i) suficiente fazer uma escolha
numervel numa famlia de subconjuntos de P(X).
(ii)CC(PR) Seja (Xn )n uma famlia de subconjuntos no vazios de P(R)
1
e consideremos Xn P(( n+1 , n1 )). Define-se um SFV V := {( n+1
1 1
, n+1 )A:
n N, A Xn } de 0. Se R satisfaz G, ento existe B := {Bk : k N} tal
que B V e B um SFV de 0. A existncia de B implica a existncia de uma
sucesso que toma valores em Xn para um nmero infinito de conjuntos Xn , o
que completa a demonstrao.
Proposio 6.3.4 Todo o espao que tem uma base numervel satisfaz F se e
s se o Axioma da Escolha vlido em R (AC(R)).
Demonstrao: () Sejam (X, T) um espao topolgico e {Bn : n N} uma

sua base. Pelo Lema 1.2.9, |T| |R| e, de AC(R) vem que R bem ordenado
e portanto T tambm bem ordenado.
Consideremos a famlia (V(x))xX em que cada V(x) um SFV abertas
de x. Para (x, n) X N, define-se C(n, x) := {V V(x) : V Bn }. Se
x Bn , ento C(n, x) 6= , e porque T tem uma boa ordem pode-se definir
B(n, x) := min C(n, x). O conjunto B(x) = {B(n, x) : n N, x Bn } um
SFV de x.
103
6.3 Os nmeros reais
() Seja (Xi )iI uma famlia de subconjuntos no vazios de R. Conside-

remos I R = e Y := R \ {0} I munido da topologia inicial em relao
funo
f : Y R
0 se y I

y 7
y se y 6 I.
Como R tem uma base numervel, Y tem uma base numervel.
1
Consideremos as bijeces fn : R ( n+1 , n1 ) e definamos Xin := fn (Xi ).
Para cada i I, V(i) := {I ( n1 , 0) (0, x) : x Xin , n N} TY um SFV
de i. Por hiptese existe {B(k, i) : k N} V(i) que um SFV de i.
Por fim, para cada i I, sup B(1, i) um elemento de Xin para algum n e
Xin est em bijeco com Xi , o que fornece a a escolha pretendida.
Corolrio 6.3.5 O espao topolgico R satisfaz F se e s se o Axioma da Es-

colha vlido para famlias (Xi )iR de subconjuntos no vazios de R.
Demonstrao: () Basta retomar a demonstrao anterior, verificando que,

para X = R, |X N| = 20 .
() Seja (Xi )iR uma famlia de subconjuntos no vazios de R. A de-
monstrao idntica demonstrao da Proposio 6.3.4, com Y = R,
1
Xin (i + n+1 , i + n1 ) e V(i) := {(i n1 , x) : x Xin , n N}.
Tendo em conta as demonstraes das Proposies 6.2.7, 6.3.3 e 6.3.4 e do

Corolrio 6.3.5, e que CC(R) (respectivamente CC(PR)) implica que a unio
numervel de subconjuntos numerveis de R (respectivamente P(R)) numer-
vel, podemos deduzir os prximos resultados.
Corolrio 6.3.6 As condies seguintes so equivalentes:
(i) MC (R) e CC(R);
(ii) todo o espao com uma base numervel satisfaz E.
104
(i) MC vlido para famlias (Xi )iR de subconjuntos no vazios de R e

CC(R) tambm vlido;
(ii) R satisfaz E.
Corolrio 6.3.8 O espao topolgico R satisfaz I se e s se o Axioma da Es-

colha vlido para famlias (Xi )iR de subconjuntos no vazios de P(R).
Para provar que R satisfaz I procede-se da maneira usual, tendo em ateno

que |P(R)N | = |P(R)|. Portanto, dado um SFV V(x) de x R,
|{(f : N V(x)) : f (N) um SFV de x}| = |P(R)|.
Para a outra implicao usa-se uma conjuno de argumentos do tipo dos
usados nas demonstraes de 6.3.3 e 6.3.5.
(i) MC vlido para famlias (Xi )iR de subconjuntos no vazios de P(R)

e CC(PR) tambm vlido;
(ii) R satisfaz H.
Na segunda seco deste captulo provmos que o Axioma da Escolha

uma condio necessria para que todo o espao com uma topologia numervel
satisfaa I. Tal como foi feito noutras situaes, vamos agora estudar o caso em
que os espaos, alm de terem uma topologia numervel, so T0 . Os resultados
apresentados so algo surpreendentes, principalmente por serem idnticos para
as classes G, H e I.
(i) todo o espao topolgico T0 com uma topologia numervel satisfaz I;
(ii) todo o espao topolgico T0 com uma topologia numervel satisfaz H;
(iii) todo o espao topolgico T0 com uma topologia numervel satisfaz G.
105
6.3 Os nmeros reais
Demonstrao: As implicaes (i)(ii)(iii) so evidentes (6.2.3).

CC(R)(i) Seja (X, T) um espao topolgico T0 tal que |T| 0 . Como
(X, T) T0 , |X| |T| 0 e consequentemente |P(X)| 20 = |R|. Conside-
remos ainda a famlia (V(x))xX tal que V(x) um SFV de x.
Define-se M := {(x, A) : x A T} e, para cada par (x, A) em M,
L(x, A) := {V V(x) : V A}. Como |M| |X T| 0 e V(x) um SFV
de x, (L(x, A))(x,A)M uma famlia numervel de subconjuntos no vazios de
P(X).
Por hiptese CC(R) verifica-se e por isso podemos escolher um elemento
V (x, A) de cada L(x, A). O conjunto B(x) := {V (x, A) : x A} um SFV
de x. O facto de M ser numervel permite-nos construir simultaneamente uma
funo injectiva de cada B(x) para N.
(iii)CC(R) Consideremos o conjunto X := [0, 2 ], onde o primeiro
ordinal infinito, munido da topologia T := {(, 2 ] : 2 } {, X}. Como
2 numervel, T numervel. A topologia T tambm T0 .
Seja (Xn )nN uma famlia de subconjuntos no vazios de R. Uma vez que R
est em bijeco com P(N), e facilmente se constri uma funo bijectiva entre
N e ((n 1), n), consideremos Xn P(((n 1), n)).
O conjunto V := {(n, 2 ] A : A Xn , n N} um SFV de 2 . Por
hiptese existe um SFV {Bk : k N} de 2 que est contido em V. Define-se
ento (k) := min{n N : (n, 2 ] Bk } e Ak := Bk \ ((k), 2 ] X(k) .
Como {Bk : k N} um SFV, ((k))kN converge para , e temos assim que
(Ak )kN uma sucesso que toma valores num nmero infinito dos conjuntos
Xn , o que completa a demonstrao pela Proposio 1.1.10.
106
ndice de notaes
A . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1.1 CUF . . . . . . . . . . . . . . . . . . . . . . . 1.1.22
AC . . . . . . . . . . . . . . . . . . . . . . . . . pg.2 CUF(R) . . . . . . . . . . . . . . . . . . . 1.1.22
AC() . . . . . . . . . . . . . . . . . . . . . . 1.1.9 CUC . . . . . . . . . . . . . . . . . . . . . . . 1.1.19
AC(R) . . . . . . . . . . . . . . . . . . . . . . . 1.1.9 CUC(fin) . . . . . . . . . . . . . . . . . . 1.1.19
B . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1.1 D . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.2
C . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1.1 E . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.2.2
CC . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.8 F . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.2
CC() . . . . . . . . . . . . . . . . . . . . . . 1.1.9 G . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.2
CC(fin) . . . . . . . . . . . . . . . . . . . . . 1.1.9 H . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.2
CC(PR) . . . . . . . . . . . . . . . . . . . . 6.3.3 I . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.2
CC(R) . . . . . . . . . . . . . . . . . . . . . . . 1.1.9 kX . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.10
CMC . . . . . . . . . . . . . . . . . . . . . . . .1.1.8 MC . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.5
CMC (R) . . . . . . . . . . . . . . . . . . 1.1.12 MC() . . . . . . . . . . . . . . . . . . . . . 1.1.9
CMCW O (R). . . . . . . . . . . . . . . .1.1.12 MC . . . . . . . . . . . . . . . . . . . . . . . 1.1.11
107
ndice de notaes
MC (R) . . . . . . . . . . . . . . . . . . . . 1.1.12
SBN . . . . . . . . . . . . . . . . . . . . . . . . .3.2.3
SFV . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.7
X . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.10
X . . . . . . . . . . . . . . . . . . . . . . . . pg.15
uX . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.2
X . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.2
u
UFT . . . . . . . . . . . . . . . . . . . . . . . 1.1.21
ZF . . . . . . . . . . . . . . . . . . . . . . . . . . pg.iv
ZFA. . . . . . . . . . . . . . . . . . . . . . . . .pg.iv
ZFC . . . . . . . . . . . . . . . . . . . . . . . . pg.iv
108
Bibliografia
[1] B. Banaschewski, The Axiom of Countable Choice and Pointfree Topology,

Categorical Methods in Algebra and Topology, Mathematik-Arbeitspapier,
vol. 48, Universitt Bremen, 1997, pp. 2738.
[2] H. L. Bentley e H. Herrlich, Countable choice and pseudometric spaces,

Topology Appl. 85 (1997), 153164.
[3] A. Blass, A model without ultrafilters, Bull. Acad. Polon. Sci., Sr. Sci.
Math Astron. Phys. 25 (1977), 329331.
[4] N. Brunner, Lindelf Rume und Auswahlaxiom, Anz. sterr. Akad. Wiss.,
Math.-Naturwiss. Kl. 119 (1982), 161165.
[5] G. Cantor, ber unendliche, lineare Punktmannichfaltigkeiten V, Math.

Annalen 21 (1883), 545591.
[6] A. Church, Alternatives to Zermelos Assumption, Trans. Amer. Math. Soc.

29 (1927), 178208.
[7] P. J. Cohen, Set Theory and the Continuum Hypothesis, New York, 1966.
[8] O. De la Cruz, E. Hall, P. Howard, J. E. Rubin e A. Stanley, Definitions of

compactness and the axiom of choice, J. Symb. Logic 67 (2002), 143161.
[9] . Csszr, General topology, Adam Hilger Ltd, Bristol, 1978.
109
Bibliografia
[10] R. Engelking, General Topology, revised and completed edition, Sigma Se-
ries in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989.
[11] S. Feferman e A. Levy, Independence results in set theory by Cohens

method, Notices of Amer. math. Soc. 10 (1963), 593.
[12] W. Felschner, Naive mengen und abstrakte zahlen III transfinite metho-
den, Bibliographisches Institut, 1979.
[13] A. A. Fraenkel, Y. Bar-Hillel e A. Levy, Foundations of set theory, second

revised edition, North-Holland Publ. Co., Amsterdam London, 1973.
[14] M. Gitik, All uncountable cardinals can be singular, Israel Journal of Math-
ematics 35 (1980), 6188.
[15] C. Good e I. J. Tree, Continuing horrors in topology without choice, Topol-

ogy Appl. 63 (1995), 7990.
[16] G. Gutierres, Sequential topological conditions in R in the absence of the

axiom of choice, Math. Log. Quart. 49 (2003), 293298.
[17] , On first and second countable spaces and the axiom of choice,
Topology Appl. 143 (2004), 93103.
[18] , On countable choice and sequential spaces, Preprint, 2004.
[19] H. Herrlich, Topologie I: Topologische Rume, Heldermann Verlag, Berlin,

1986.
[20] , Compactness and the Axiom of Choice, Appl. Categ. Structures 4

(1996), 114.
[21] , Products of Lindelf T2 -spaces are Lindelf in some models of

ZF, Comment. Math. Univ. Carolinae 43 (2002), 319333.
[22] H. Herrlich e K. Keremedis, The Baire Category Theorem and choice,

Topology Appl. 108 (2000), 157167.
110
Bibliografia
[23] H. Herrlich e J. Steprans, Maximal filters, continuity and choice principles,

Quaest. Math. 20 (1997), 697705.
[24] H. Herrlich e G. E. Strecker, When N is Lindelf ?, Comment. Math. Univ.

Carolinae 38 (1997), 553556.
[25] P. Howard, K. Keremedis, H. Rubin e J. E. Rubin, Disjoint Unions of

Topological Spaces and Choice, Math. Log. Quart. 44 (1998), 493508.
[26] P. Howard, K. Keremedis, J. E. Rubin e A. Stanley, Paracompactness of

Metric Spaces and the Axiom of Multiple Choice, Math. Log. Quart 46
(2000), 219232.
[27] P. Howard, K. Keremedis, J. E. Rubin, A. Stanley e E. Tachtsis, Non-

constructive Properties of the Real Numbers, Math. Log. Quart 47 (2001),
423431.
[28] P. Howard e J. E. Rubin, Consequences of the Axiom of Choice, Mathe-

matical surveys and monographs, vol. 59, American Mathematical Society,
1998.
[29] , Consequences of the Axiom of Choice Project Homepage,

http://www.math.purdue.edu/ jer/cgi-bin/conseq.html .
[30] I. M. James, Topological and Uniform spaces, Undergraduate Texts in

Mathmatics, Springer Verlag.
[31] T. J. Jech, The Axiom of Choice, Studies in Logic and the foundations of
Mathematics, vol. 75, North-Holland Publ. Co., Amsterdam London, 1973.
[32] J. L. Kelley, Tychonoff s theorem implies AC, Fund. Math. 37 (1950), 75

76.
[33] K. Keremedis, Disasters in topology without the axiom of choice, Arch.

Math. Logic 40 (2001), 569580.
[34] A. Lvy, Axioms of multiple choice, Fund. Math. 50 (1962), 475483.
111
Bibliografia
[35] P. A. Loeb, A new proof of the Tychonoff theorem, Am. Math. Monthly 72
(1965), 711717.
[36] G. H. Moore, Zermelos Axiom of Choice Its Origins, Development and

Influence, Studies in the History of Mathematics and Physical Sciences,
vol. 8, SpringerVerlag, New York Heidelberg Berlin, 1982.
[37] J. Mycielski, Two remarks on Tychonoff s product theorem, Bull. Acad.

Polon. Sci., Sr. Sci. Math Astron. Phys. 12 (1964), 439441.
[38] H. Rubin e D. Scott, Some topological theorems equivalent to the Boolean

prime ideal theorem, Bull. Amer. Math. Soc. 60 (1954), 389.
[39] J. Rubin, Set theory for the mathematician, Holden-Day series in Mathe-
matics, Holden-Day, 1967.
[40] E. Schechter, Two topological equivalents of the axiom of choice, Z. Math.

Logic Grund. Math. 38 (1992), 555557.
[41] W. Sierpiski, Sur le rle de laxiome de M. Zermelo dans lAnalyse mod-

erne, Comptes Rendus Hebdomadaires des Sances de lAcademie des Sci-
ences, Paris 193 (1916), 688691.
[42] , Laxiome de M. Zermelo et son rle dans la thorie des ensembles

et lanalyse, Bulletin de lAcademie des Sciences de Cracovie, Cl. Sci. Math.,
Sr. A (1918), 97152.
[43] L. A. Steen e J. A. Seebach Jr., Counterexamples in Topology, Second

edition, SpringerVerlag, New York Heidelberg Berlin, 1978.
[44] W. A. Sutherland, Introduction to metric and topological spaces, Clarendon

Press, Oxford, 1973.
[45] A. Tychono, ber die topologische erweiterung von rume, Math. Annalen
92 (1930), 275293.
112
Bibliografia
[46] A. Wilansky, Topology for Analysis, Robert E. Krieger Publishing Com-

pany, 1983.
[47] S. Willard, General Topology, Addison Wesley Publishing Company, 1983.
[48] E. Zermelo, Beweis, dass jede Menge Wohlgeordnet werden kann, Math.
Annalen 59 (1904), 514516.
[49] , Neuer Beweis fr die Mglichkeit einer Wohlordung, Math. An-

nalen 65 (1908), 107128.
[50] , Untersuchungen ber die Grundlagen der Mengenlehre I, Math.

Annalen 65 (1908), 261281.
113
ndice remissivo
Axioma da Escolha, 2, 8, 12, 22, 33, de Hausdor, 12, 44, 49, 65, 70
35, 46, 47, 89, 100, 105 de Lindelf, 13, 2427, 32, 3638,
Mltipla, 3, 5, 6, 82, 84, 93 48, 49, 61
Numervel, 3, 7, 10, 20, 2224, f-completo, 81
3336, 38, 44, 47, 52, 54, 57, mtrico, 16, 3540, 43, 52, 53, 55,
59, 71, 101 57, 58, 60, 6265, 75, 77, 84
Axioma Multiplicativo, 2 sequencial, 15, 19, 28, 33, 52
uniforme, 81, 87
base numervel, 14, 3538, 52, 54, 55,
57, 71, 73 fecho de Kuratowski, 15
fecho sequencial, 15, 19, 54, 64
compacto, 1214, 26, 27, 30, 32, 49, 58, nito, 7, 8
60 funo de escolha, 2, 3, 9, 23, 27, 33,
completamento, 7577, 7981 38, 47, 60
Condio da Unio Numervel, 9, 45,
93 innito, 7, 8, 21, 28
Dedekind-nito, 7, 8, 21 Primeiro Axioma da Numerabilidade,

Dedekind-innito, 7, 8, 28, 60, 62 14, 51, 53, 55, 64, 65, 71, 89,
90, 94, 100, 102
escolha, 2 Princpio da Boa Ordenao, 3
espao produto, 2, 4450, 82, 8487
Cantor-completo, 83
completo, 16, 29, 31, 75 Segundo Axioma da Numerabilidade,
de Frchet-Urysohn, 15, 19, 53, 77 14, 25, 35, 40
115
ndice remissivo
separvel, 13, 21, 23, 25, 27, 28, 31,

3538, 4447
sequencialmente compacto, 13, 14, 16,
30, 31, 58, 59
sequencialmente fechado, 15, 28, 33,
52, 56
Teorema de Heine-Borel, 12, 13, 28, 32

Teorema do Ideal Booleano Primo, 10,
49
Teorema do Ultraltro, 10, 49, 65, 70,
72
ultraltro, 10, 63
116

Axioma Da Escolha Numerável em Topologia

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Axioma Da Escolha Numerável em Topologia

Enviado por

Direitos autorais:

Formatos disponíveis

O Axioma da Escolha Numervel

Gonalo Gutierres da Conceio

A presente dissertao foi elaborada sob a orientao dos Professores Horst

Um agradecimento especial aos colegas do grupo de Teoria das Categorias

Agradeo ainda o apoio concedido pelas seguintes instituies: Departa-

1 Definies e resultados auxiliares 1

4 Espaos definidos por limites 51

5 Espaos mtricos completos 75

6 O Primeiro Axioma da Numerabilidade 89

ndice de notaes 107

ndice remissivo 115

Topologists not only employed the Axiom [of Choice]

O Axioma da Escolha certamente um dos assuntos mais discutidos da

indirectamente os seus passos, o quarto captulo deste texto dedicado in-

taram o interesse em descobrir qual a exacta quantidade de escolha necessria

A partir deste ponto passamos a apresentar mais detalhadamente os assuntos

da Escolha Numervel vlido para famlias de subconjuntos dos reais, e que

es do Primeiro Axioma da Numerabilidade em ZFC, que esto divididas em

No primeiro captulo deste trabalho so apresentados resultados e denies

1.1 Teoria dos Conjuntos

mento da palavra conjunto. Essa opo deliberada e feita com a inteno de

Definio 1.1.2 (Axioma da Escolha) Toda a famlia cujos elementos so

Devido ao facto de se chamar produto cartesiano da famlia F ao conjunto

enunciado da seguinte forma: no vazio o produto cartesiano duma famlia

A denio aqui apresentada a que foi inicialmente utilizada por E. Zer-

Definio 1.1.3 (Axioma Multiplicativo) Para todo o conjunto C cujo os

Definio 1.1.4 (Princpio da Boa Ordenao) Todo o conjunto admite

Apesar de no ser to aparente como no caso anterior, tambm claro

Definio 1.1.5 (Axioma da Escolha Mltipla MC) Para toda a fam-

Teorema 1.1.6 ([31, p.133]) Em ZF, o Axioma da Escolha equivalente ao

Neste caso a axiomtica considerada ainda mais importante do que nos

Proposio 1.1.7 ([34]) O Axioma da Escolha Mltipla verifica-se se e s se

Em vrias ocasies feito uso do Axioma da Escolha de uma forma parcial,

Definio 1.1.8 (Axioma da Escolha Numervel CC) Toda a famlia

Tal como no caso do Axioma da Escolha, este axioma tambm frequente-

Devemos destacar neste ponto que est em aberto saber se em ZF a escolha

Note-se que CC(R) e CC(20 ) no so equivalentes, uma vez que CC(R)

Proposio 1.1.10 ([13, p.76], [23]) As condies seguintes so equivalentes a

(i) toda a famlia numervel de conjuntos (resp. subconjuntos de R) no

Demonstrao: CC(i)(ii) Imediato. Mostremos ento que (ii)CC.

Definio 1.1.11 (MC ) Para toda a famlia F de conjuntos no vazios, existe

(a) MC (R) diz que MC se verica para famlias de conjuntos de nmeros

Vamos ainda considerar uma forma de escolha mltipla que designamos

A caracterizao de Levy do Axioma da Escolha Mltipla pode ser adaptada

Demonstrao: A demonstrao de (b) d uma ideia clara de como funciona a

com cada Ai numervel e com (I, ) um conjunto bem-ordenado. Para cada

O conjunto As X um subconjunto numervel de X. Este processo fornece a

Como cou patente na demonstrao, no enunciado da caracterizao pode-

(b) CC CMC + CC(n).

Na ausncia do Axioma da Escolha existem vrias denies (no equiva-

(a) Um conjunto nito se vazio ou equipolente a um nmero natural; seno

(b) Um conjunto X Dedekind-nito se nenhum subconjunto prprio de X

Existem modelos de ZF em que as noes de conjunto nito e Dedekind-

Proposio 1.1.16 Um conjunto X Dedekind-infinito se e s se tem um

Quando temos um resultado que depende de escolha (no demonstrvel em

Teorema 1.1.17 Todo o conjunto infinito Dedekind-infinito se e s se o

Demonstrao: () Seja (Xn ) uma famlia de conjuntos Dedekind-nitos e no

A primeira implicao uma consequncia imediata do facto de a equiva-

Proposio 1.1.18 As condies seguintes so equivalentes:

(i) todo o subconjunto infinito de R Dedekind-infinito;

(ii) o Axioma da Escolha verifica-se para famlias de subconjuntos de R

(iii) o Axioma da Escolha Numervel verifica-se para famlias de subconjuntos

Demonstrao: (i)(ii) Esta implicao bvia dado que AC(n) sempre