O AXIOMA DA ESCOLHA, O LEMA DE ZORN E O TEOREMA DE

ZERMELO
R
´
EMY DE PAIVA SANCHIS
Resumo. Ap´os uma breve discuss˜ao sobre as origens do Axioma da Escolha, discutiremos
nessas notas a equivalˆencia das trˆes asser¸c˜oes do t´ıtulo no contexto dos Axiomas de Zermelo-
Fraenkel. Na ´ ultima se¸c˜ao tamb´em apresentaremos algumas conseq¨ uˆencias dos Axioma da
Escolha. As notas s˜ao baseadas em [1, 3, 4] e no pre-print [2].
Vers˜ao Rascunho Ainda
‘Claro que n˜ao, mas parece que funciona,
mesmo quando n˜ao acreditamos.’
Niels Bohr (quando lhe perguntaram se
realmente acreditava que a ferradura
pendurada na sua porta lhe daria sorte).
1
‘No creo en brujas, pero que las hay, las hay’
Ditado Espanhol
1. Introduc¸˜ ao
Muito se discutiu sobre o Axioma da Escolha nos ´ ultimos 100 anos. At´e os fins do s´eculo XIX
aceitava-se a no¸c˜ao de conjunto como sendo uma cole¸c˜ao qualquer de objetos, no entanto com
a necessidade crescente de rigor no pensamento matem´atico, come¸cou-se a perceber que essa
defini¸c˜ao vaga e intuitiva j´a n˜ao era suficiente. Particularmente claro ficou quando Russel,
em 1901, fez a constru¸c˜ao que ´e hoje conhecida como Paradoxo de Russel: Primeiramente
notamos que um conjunto pode ou n˜ao pertencer a si mesmo. Tomamos ent˜ao o conjunto
cujos elementos s˜ao todos os conjuntos que n˜ao cont´em a si mesmo. Ent˜ao, se esse conjunto
n˜ao cont´em a si mesmo, deve, por defini¸c˜ao, conter a si mesmo, mas, se cont´em a si mesmo,
n˜ao pode pertencer a si mesmo! Esta constru¸c˜ao mostrou que n˜ao era poss´ıvel construir uma
matem´atica coerente somente com uma defini¸c˜ao informal de conjunto.
V´arios matem´aticos se debru¸caram sobre o problema de criar axiomas para se estabelecer
uma Teoria dos Conjuntos especificando-se regras para a forma¸c˜ao de objetos que se cha-
mariam conjuntos e com os quais poderia-se justificar os racioc´ınios informais que at´e ent˜ao
eram usados. Em 1904, Zermelo apresenta `a comunidade matem´atica uma poss´ıvel cole¸c˜ao
de axiomas para a Teoria dos Conjuntos que, com pequenas modifica¸c˜oes ´e hoje conhe-
cido como Axiomas de Fraenkel-Zemelo (FZ). Apresentaremos esse sistema axiom´atico na
primeira se¸c˜ao. Pode-se dizer que esse sistema foi bem sucedido, no sentido de conseguir
estabelecer uma base logicamente coerente e ao mesmo tempo abrangente suficiente para a
teoria matem´atica feita at´e momento.
1
Cita¸ c˜ao encontrada em [6]
1
2 R
´
EMY DE PAIVA SANCHIS
No entanto, para o estabelecimento da veracidade de alguns teoremas, usava-se o seguinte
fato: dada uma cole¸c˜ao de conjuntos, ´e poss´ıvel formar um novo conjunto contendo exa-
tamente um elemento de cada conjunto da cole¸c˜ao dada. O pr´oprio Zermelo hesitava em
especificar um axioma para justificar esse fato . Pois, se por um lado, n˜ao era claro se esse
fato decorria ou n˜ao do sistema axiomatico, por outro, o axiomas desses sistemas eram de
natureza construtiva enquanto o fato mencionado ´e de natureza existencial, o que gerava
d´ uvidas sobre a sua legitimidade. Houve um certo consenso de que seria necess´ario acrescen-
tar um novo axioma, o Axioma da Escolha que foi pela primeira vez formalmente enunciado
por Zermelo em 1905. Vale notar que mais de trinta anos depois, em 1939, G¨odel mostrou
que se o sistema FZ era consistente ent˜ao o sistema acrescido do Axiom da Escolha tamb´em
o era e, somente na segunda metade do s´eculo XX, em 1963, Cohen mostrou que realmente
o Axioma da Escolha n˜ao ´e consequˆencia dos axiomas FZ.
Mas a discuss˜ao n˜ao se encerra com a introdu¸c˜ao de um novo axioma pois, se por um lado,
ele garantia a existˆencia de certos conjuntos, n˜ao dava nenhuma maneira de constru´ı-lo e, at´e
ent˜ao, muitos consideravam que um objeto matem´atico somente existia se houvesse um meio
de contru´ı-lo, digamos um algor´ıtmo l´ogico para sua constru¸c˜ao. De certa forma podemos
dizer que essa discuss˜ao permanece at´e os dias de hoje, mas, a bem da verdade, a grande
maioria dos matem´aticos atuais n˜ao se procupa com os fundamentos l´ogicos da pr´opria
matem´atica. Por outro lado, mesmo se aceitando a existˆencia de objetos cuja constru¸c˜ao
n˜ao ´e conhecida, podemos nos perguntar se o Axioma da Escolha nos pereece plaus´ıvel, e,
se seu enunciado informal n˜ao causa nenhuma estranheza, suas consequˆencias podem ser
surpreendentes.
Um exemplo famoso ´e o Paradoxo de Banach-Tarski de 1924 que, usando o Axioma da
Escolha, afirma existir uma maneira de particionar uma bola no espa¸co euclidiano em um
n´ umero finito de partes e reorganiz´a-los atrav´es de movimentos r´ıgidos de modo a formar
duas bolas idˆenticas `a original. Esse exemplo ´e um paradoxo no sentido de que ele contradiz
nossa intui¸c˜ao f´ısica. Duas outras das consequˆencias do Axioma da Escolha s˜ao o Teorema
de Zermelo e o Lema de Zorn. O Teorema de Zermelo foi estabelecido por este em 1905
como consequˆencia do Axioma da Escolha e o Lema de Zorn, em 1935. Um dos objetivos
dessas notas ´e o de mostrar que, de fato, esses dois resultados s˜ao equivalentes ao Axioma
da Escolha.
Al´em diso, com esse texto, queremos fornecer a um aluno de fim de gradua¸c˜ao ou in´ıcio de
mestrado uma pequena discuss˜ao de um assunto raramente tratado em cursos regulares, mas
que esteve, e de certa forma ainda est´a, no cerne da pr´opria quest˜ao dos fundamentos da
matem´atica. Essas notas foram feitas durante um curso de Topologia Geral em que eu n˜ao
queria gastar mais do que uma aula para apresentar esse resultado.
A seguir daremos uma vers˜ao do sistema axiom´atico FZ e enunciaremos o Axioma da Esco-
lha de modo mais formal. Na se¸c˜ao seguinte, definiremos o que s˜ao conjuntos parcialmente
ordenados e conjuntos bem ordenados, e enunciaremos o Lema de Zorn e o Teorema de
Zermelo. Em seguida faremos a demonstra¸c˜ao propriamente dita da equivalˆencia das as-
ser¸c˜oes e, finalmente apresentaremos algumas consequˆencias do Axioma da Escolha. Todas
as referˆencias originais n˜ao explicitadas no texto podem ser encontradas em [5].
O AXIOMA DA ESCOLHA, O LEMA DE ZORN E O TEOREMA DE ZERMELO 3
2. O sistema axiom´ atico de Fraenkel-Zermelo
O objetivo de se criar um sistema axiom´atico para uma Teoria dos Conjuntos ´e, primordi-
almente, o de definir o que s˜ao conjuntos. Uma vez definidos, espera-se que as regras usuais
de opera¸c˜ao entre conjuntos sigam como informalmente. Os axiomas servem se criar uma
teoria consistente e se evitar contradi¸c˜oes como o Paradoxo de Russell.
Nese sistema axiom´atico os termo n˜ao definidos ser˜ao classe e a rela¸c˜ao de pertinˆencia ∈
entre classes. Todas as vari´aveis ser˜ao classes. Usaremos ainda o s´ımbolo A ⊂ B para
designar que a ∈ A ⇒ a ∈ B. Convem notar que os axiomas abaixo n˜ao encontram um
consenso universal, em diferentes textos podemos encontrar diferentes axiomas ditos de FZ,
no entanto, todos geram o mesmo modelo.
Inicialmente um axioma que garante a existˆencias de conjuntos.
Axioma da Existˆencia. O vazio ´e um conjunto.
O pr´oximo axioma garante que dois conjuntos s˜ao iguais, se contˆem os mesmo elementos.
Axioma da Extens˜ao. Se x ∈ X e x = y, ent˜ao y ∈ X.
O pr´oximo axioma garante que cada conjunto ´e formado por ‘partes menores’ ou ´atomos que
podem ser considerados como seus alicerces ou ‘funda¸c˜oes’. Esse axioma garante que n˜ao
existe um ‘conjunto universal’ que contenha todos os conjuntos.
Axioma da Funda¸c˜ao. Para cada conjunto n˜ao vazio X, existe x ∈ X tal que x ∩ X = ∅.
Os pr´oximos axiomas estabelecem regras para a forma¸c˜ao de novos conjuntos a partir de
conjuntos conhecidos.
Axioma da Compreens˜ao. Para cada propriedade que quantifica somente conjuntos, existe
uma classe cujos elementos s˜ao exatamente os conjuntos que satisfazem essa propriedade.
Axioma da Paridade. Se X e Y s˜ao conjuntos, ent˜ao a classe X = {x; x = X ou x = Y }
´e um conjunto.
Uma fam´ılia de conjuntos ´e uma classe {X
α
}
α∈J
em que tanto X
α
s˜ao conjuntos, como J ´e
um conjunto.
Axioma da Uni˜ao. Seja {X
α
}
α∈J
uma fam´ılia de conjuntos, ent˜ao ∪
α
X
α
´e um conjunto.
Axioma da Substitui¸c˜ao. Se X ´e um conjunto, X uma classe e f : X →X uma fun¸c˜ao,
ent˜ao f(X) ´e um conjunto.
Denotaremos por P(X) a classe formada por todos os subconjuntos de X. Assim P(X) =
{A ⊂ X}.
Axioma da Potˆencia. Se X ´e um conjunto, ent˜ao a classe P(X) ´e um conjunto.
Finalmente um axioma que garante a existˆencia de um conjunto indutivo.
4 R
´
EMY DE PAIVA SANCHIS
Axioma do Infinito. Existe um conjunto X tal que ∅ ∈ X e que se x ∈ X, ent˜ao x∪{x} ∈
X.
O sistema acima ´e redundante, no sentido de alguns dos axiomas podem ser demonstrados a
partir dos outro (como por exemplo o Axioma da Existˆencia). A experiˆencia tem mostrado
que as demonstra¸c˜oes aceitas pelos matem´aticos em bases intuitivas, podem ser justificadas
dentro desse sistema axiom´atico.
Finalmente enunciamos uma forma do axioma da escolha.
Axioma da Escolha. Suponha que seja uma fam´ılia de conjuntos {C
α
}
α∈J
disjuntos e
n˜ao-vazios, existe uma uma fun¸c˜ao φ : {C
α
}
α∈J

α∈J
C
α
tal que φ(C
α
) ∈ C
α
.
Uma quest˜ao que surge naturalmente ´e a de saber se todas as poss´ıveis afirma¸c˜oes ma-
tem´aticas podem ser demonstradas a partir dos axiomas acima. Isso infelizmente n˜ao ocorre.
Um exmplo cl´assico ´e o de saber se todo subconjunto infinito dos reais podem ser colocados
em bije¸c˜ao ou com os pr´oprios reais ou com os naturais. Essa afirma¸c˜ao ´e conhecida como
‘Hip´otese do cont´ınuo’ e est´a intimamente ligada `a cria¸c˜ao da Teoria dos Conjuntos. De fato,
Hilbert, na lista de 23 problemas que formulou no Congresso Internacional de matem´atica,
em Paris, 1900, a prova da ‘Hip´otese do Cont´ınuo’ ocupava a primeira posi¸c˜ao. G¨odel, em
1939, mostrou que ela n˜ao pode ser refutada dentro do sistema FZ acrescido do Axioma da
escolha e, em 1963, Cohen mostrou que tamb´em n˜ao pode ser demonstrada.
Na pr´oxima se¸c˜ao faremos algumas defini¸c˜oes sobre conjuntos ordenados e enunciaremos o
Lema de Zorn e o Teorema de Zermelo.
3. Relac¸˜ oes de Ordem
Lembramos que uma rela¸c˜ao em um conjunto X ´e um subconjunto de X×X. Como usual,
dada uma rela¸c˜ao ∼ em X, denotaremos x ∼ y para designar que (x, y) pertence `a rela¸c˜ao.
Seja X um conjunto qualquer. Uma ordem parcial em X ´e uma rela¸c˜ao ≤ tal que:
a) x ≤ x, ∀x ∈ X,
b) x ≤ y, y ≤ z ⇒x ≤ z, ∀x, y, z ∈ X,
c) x ≤ y e y ≤ x implicam que x = y.
Dizemos ent˜ao que o conjunto X ´e parcialmente ordenado. Notemos que, pela defini¸c˜ao
acima, dados x, y ∈ X n˜ao ´e necess´ario que x ≤ y ou y ≤ x, quando isso ocorre para
quaisquer x, y ∈ X, dizemos que X ´e totalmente ordenado.
Se X ´e um conjunto qualquer, um exemplo de ordem parcial que ser´a frequentemente utili-
zado ´e a rela¸c˜ao de inclus˜ao em P(X).
Seja X um conjunto parcialmenete ordenado. Um elemento x ∈ X ´e maximal em X se
x ≤ y ⇒ x = y. Por outro lado, um elemento x ∈ X ´e o maior elemento de X se y ≤
x, ∀y ∈ X. Dado um conjunto X parcialmente ordenado e A ⊂ X, definimos o conjunto das
cotas superiores de A como cs(A) = {x ∈ X; a ≤ x, z ∀a ∈ A}. Analogamente definimos
O AXIOMA DA ESCOLHA, O LEMA DE ZORN E O TEOREMA DE ZERMELO 5
um elemento minimal, menor elemento de X e o conjunto das cotas inferiores de um
subconjunto de X.
Dado um A ⊂ X, podemos definir de maneira natural em A uma ordem parcial induzida pela
ordem de X. Vemos ent˜ao que, em particular, se X for totalmente ordenado, A tamb´em o
ser´a. Um subconjunto A ⊂ X ´e uma cadeia se, na ordem induzida, for totalmente ordenado.
O Lema de Zorn, de 1935, ´e um princ´ıpio de maximalidade em conjuntos parcialmente
ordenados e, se n˜ao foi o primeiro do gˆenero a ser formulado (Hausdorff havia formulado um
semelhante j´a em 1909), certamente ´e o mais difundido. Podemos agora enunci´a-lo.
Lema de Zorn. Seja X um conjunto parcialmente ordenado tal que toda cadeia tenha pelo
menos uma cota superior, ent˜ao X tem um elemento maximal.
Para fins de nota¸c˜ao, escreveremos x < y para dizer que x ≤ y e x = y. Dado um conjunto
totalmente ordenado X, definimos a sec¸c˜ao de a em X como S
a
= {x ∈ X; x < a}. Note
que todo elemento x ∈ X em um conjunto bem ordenado tem um secessor imediato, ou
seja, existe x
1
∈ X tal que {y ∈ X; x < y < x
1
} = ∅, desta forma, um conjunto do tipo
{y ∈ X; y ≤ x} sempre pode ser escrito como {y ∈ X; y < x
1
}.
Dizemos que um conjunto X ´e bem ordenado se todo subconjunto A tem um menor ele-
mento com a ordem parcial induzida. Em particular, se um conjunto for bem ordenado,
ent˜ao ser´a totalmente ordenado pois {x, y} tem menor elemento quaisquer que sejam x, y.
A afirma¸c˜ao abaixo, como veremos, ´e equivalente ao Axioma da Escolha, no entando, histo-
ricamente, foi demonstrado a partir dele, por isso leva o nome de Teorema de Zermelo.
Teorema de Zermelo. Dado qualquer conjunto X, existe uma rela¸c˜ao de ordem ≤ tal que
(X, ≤) ´e bem ordenado.
4. Equivalˆ encia dos Axiomas
Em primeiro lugar algumas observa¸c˜oes sobre a nota¸c˜ao no que segue. Por raz˜oes de clareza,
sempre que n˜ao houver margem para d´ uvidas, omitiremos o conjunto indexador de uni˜oes,
interse¸c˜oes e cole¸c˜oes. Assim, escreveremos {A
α
} para designar {A
α
}
α∈J
sempre que estiver
claro que o indexador ´e o conjunto J. Usaremos o ´ındice i para indexar conjuntos finitos.
Teorema 1. O Axioma da Escolha, o Lema de Zorn e o Teorema de Zermelo s˜ao equiva-
lentes.
O Teorema de Zermelo implica o Axioma da Escolha Dada uma cole¸c˜ao de conjuntos
{C
α
}
α∈J
, consideramos uma ordem total que torne ∪
α
C
α
bem ordenado. Tomamos ent˜ao
φ(C
α
) = min(C
α
). Essa pode ser tomada como a fun¸c˜ao de escolha.
Observa¸c˜ao Note que n˜ao podemos proceder da seguinte forma: dada uma cole¸c˜ao de con-
juntos {C
α
}
α∈J
, em cada um consideramos uma ordem total que torne C
α
bem ordenado.
Tomamos ent˜ao φ(C
α
) = min(C
α
). Pois dentre as (possivelmente) infinitas rela¸c˜oes de or-
dem em cada C
α
, dever´ıamos escolher uma em particular para cada um. Ou seja, estar´ıamos
usando o Axioma da Escolha para demonstr´a-lo! Essa observa¸c˜ao ser´a pertinente e um
exemplo na se¸c˜ao 5.
6 R
´
EMY DE PAIVA SANCHIS
O Lema de Zorn implica o Teorema de Zermelo Seja X um conjunto qualquer. Consi-
dere os subconjuntos A ⊂ X tais que exista um ordem em A, digamos ≤
A
que torne A bem
ordenado. Seja B o conjunto dos pares ordenados (A, ≤
A
) onde A ⊂ X e ≤
A
torna A bem
ordenado. Claramente B ´e n˜ao vazio pois, em particular ∅ ∈ B. Nosso objetivo ser´a mostrar
que X ∈ B. Definiremos uma ordem parcial em B da seguinte forma. Dados A, B ∈ B
diremos que A ≺ B se
a) A ⊂ B.
b) A ordem ≤
A
´e induzida por ≤
B
.
c) Se x ∈ B\A e y ∈ A, ent˜ao y ≤
B
x.
Acima usamos B\A = {x ∈ X; x ∈ B e x / ∈ A}. Claramente a transitividade dessa rela¸c˜ao
decorre de a) e b), logo B ´e parcialmente ordenado. Mostraremos que B satisfaz as hip´oteses
do Lema de Zorn. Seja (A
α
, ≤
α
) uma cadeia em B. Considere o conjunto ∪
α
A
a
e dois de seus
elementos a, b, existe ent˜ao α
0
tal que a, b ∈ A
α
0
)
. Definimos a ≤
U
b se, e somente se, a ≤
α
0
b.
Pela condi¸c˜ao b), a rela¸c˜ao ´e coerente e define uma ordem parcial. Para ver que essa rela¸c˜ao
de ordem ´e uma boa ordena¸c˜ao, notamos que se a ∈ A
α
e b ≤
U
a, ent˜ao b ∈ A
α
. Vemos
assim que, se L ⊂ ∪
α
A
a
´e n˜ao vazio, existe α
0
tal que L∩A
α
0
= ∅, logo o menor elemento de
L∩A
α
0
ser´a tamb´em o menor elemento de L. Como ainda, (A
α
, ≤
α
) ≺ (∪
α
A
α
, ≤
U
), obtemos
a cota superior desejada.
Usando o Lema de Zorn, obtemos um elemento maximal, digamos A
M
, se A
M
= X existiria
a ∈ X−A
M
e poder´ıamos obter formar um novo conjunto bem ordenado A
M
∪{a} declarando
{a} como ´ ultimo elemento do conjunto contradizendo a maximalidade de A
M
.
O Axioma da Escolha implica o Lema de Zorn Para mostrarmos que o Lema de Zorn
decorre do Axioma da escolha, usaremos dois lemas:
Lema 1. Dado a ∈ X, existe S ⊂ X que ´e bem ordenado com a ordem induzida, tal que
a ∈ S e cs(S) ⊂ S.
Lema 2. Se todo subconjunto bem ordenado de X tem alguma cota superior, ent˜ao X tem
um elemento maximal.
Note que o Lema de Zron decorre imediatamente do Lema 2 que, apesar de ter hip´ oteses
mais fracas, tem aparentemente uma demonstra¸c˜ao mais simples. Vejamos primeiramente
como o Lema 1 implica o Lema 2.
Demonstra¸c˜ao do Lema 2. Tomando a e S como no Lema 1, seja x ∈ cs(S). Afirmamos
que x ´e maximal em X, pois, se x ≤ y ∈ X, ent˜ao teremos necessariamente y ∈ cs(S), logo
y ∈ S, concluimos que y ≤ x, assim, x = y.
Resta-nos, ent˜ao, provar o Lema 1.
Demonstra¸c˜ao do Lema 1. Seja A = {S ⊂ X; S ´e bem ordenado , a = min(S)}. Clara-
mante {a} ⊂ A logo A ´e n˜ao vazio. Vamos supor por absurdo que dado a, n˜ao exista S ⊂ X
satisfazendo as conclus˜oes do Lema 1. Ent˜ao, usando o Axioma da Escolha, podemos definir
O AXIOMA DA ESCOLHA, O LEMA DE ZORN E O TEOREMA DE ZERMELO 7
a fun¸c˜ao:
φ : A → X;
S →φ(S) ∈ cs(S) −S
Consideraremos agora as sec¸c˜oes S
x
= {y ∈ S; y < x}. Note que a sec¸c˜ao est´a bem definida
mesmo que x / ∈ S. Definimos ent˜ao
A
0
= {S ∈ A; ∀x ∈ S −{p}, φ(S
x
) = x}
Novamente, como {a} ∈ A
0
, vemos que o conjunto acima ´e n˜ao vazio. Afirmamos que, se
S ∈ A
0
, ent˜ao S ∪{φ(S)} ∈ A
0
. Com efeito, se x ∈ S, ent˜ao a sec¸c˜ao de x em S ∪{φ(S)} ´e
S
x
. Por outro lado, se x = φ(S), ent˜ao a se¸c˜ao de x em S ∪ {φ(S)} ´e o pr´oprio S.
Afirmamos agora que podemos ordenar A
0
como uma cadeia: Se S, S

∈ A
0
e S = S

, ent˜ao
ou existe s ∈ S tal que S

= S
s
ou existe s

∈ S

tal que S = S

s
.
Seja C = {x ∈ S ∩ S

; S
x
= S

x
}. C n˜ao ´e vazio pois {a} ∈ C. Ainda, se x ∈ C, ent˜ao
S
x
⊂ C, j´a que, como S
x
= S

x
, se y ∈ S
x
, temos que y < x, ent˜ao S
y
= (S
x
) = (S

x
) = S

y
.
Logo y ∈ C. Concluimos ent˜ao que, se x ∈ C e y ∈ S −C, ent˜ao x < y.
Se C for diferente de S, tomamos s = min(S−C), ent˜ao C = S
s
e s = a. Nesse caso, C = S

ou C = S

s

Consideramos
˜
S =

A
0
S. Temos ent˜ao que, se x ∈ S ⊂ A
0
, ent˜ao
˜
S
x
= S
x
. Podemos
mostrar, por um argumento idˆentico ao da demonstra¸c˜ao anterior, que
˜
S ´e bem ordenado.
Concluimos assim, que
˜
S ∈ A
0
, donde
˜
S ∪ {φ(
˜
S)} ∈ A
0
, logo φ(
˜
S) ∈
˜
S, o que contradiz a
constru¸c˜ao da fun¸c˜ao φ.
Observa¸c˜ao: Na demonstra¸c˜ao acima, provamos que dado um elemento qualquer p de
um conjunto ordenado, podemos afirmar que existe um conjunto maximal que o cont´em.
Usaremos essa observa¸c˜ao na demonstra¸c˜ao do Teorema de Tychonov.
Fica assim demonstrada a equivalˆencia dos trˆes axiomas.
5. Algumas consequˆ encias do Lema de Zorn e do Axioma da Escolha
Apresentaremos agora algumas aplica¸c˜oes cl´assicas do Lema de Zorn e algumas consequˆencias
do Axioma da Escolha. Se por um lado, em certas demontra¸c˜oes necessitamos usar explici-
tamente o Lema de Zorn, muitas vezes usamos uma forma do Axioma da Ecolha sem sequer
nos darmos conta. Considere a seguinte demonstra¸c˜ao de que uni˜ao enumer´avel de conjuntos
enumer´aveis ´e enumer´avel.
Sejam {X
i
}
i∈N
uma cole¸c˜ao de conjuntos enumer´aveis, ou seja, para cada i ∈ N, temos
X
i
= {x
i1
, x
i2
, . . . , x
in
, . . . }, ent˜ao podemos enumerar o conjunto
_
i∈N
X
i
= {x
11
, x
12
, x
21
, x
22
, x
23
, . . . }
onde a ordem dos pares ordenados de naturais pode ser construida (por exemplo podemos
declarar que (a, b) ≤ (c, d) se a+b ≤ c+d ou, caso a+b = c+d, se a ≤ b).
´
E sutil a utiliza¸c˜ao
8 R
´
EMY DE PAIVA SANCHIS
do Axioma da Escolha na demonstra¸c˜ao acima. Ela deu-se da seguinte forma. Sabemos que
cada X
i
pode ser enumerado, mas para cada X
i
existem infinitas enumera¸c˜oes, digamos
{E
(i)
α
}
α∈J
, nesse ponto devemos escolher, para cada i ∈ N, uma das poss´ıveis enumera¸c˜oes
de X
i
, ou seja, devemos fazer um n´ umero infinito de escolhas. Na realidade algo mais
profundo ocorre, poder´ıamos pensar que que esta demonstra¸c˜ao em particular usa o Axioma
da Escolha, mas que seria poss´ıvel elaborar uma outra que n˜ao o usasse. Mas n˜ao, pode-se
mostrar que esse resultado n˜ao decorre do sistema axiom´atico FZ e mais, sem o Axioma da
escolha n˜ao podemos nem mostrar que o conjunto dos n´ umeros reais n˜ao ´e enumer´avel (ver
[3]).
5.1. Base de Hamel. Seja E um espa¸co vetorial sobre um corpo de escalares K. Dizemos
que uma cole¸c˜ao {e
α
}
α∈J
⊂ E ´e linearmente independente se, para todo I ⊂ J finito,

i∈I
k
i
e
i
= 0 ⇒k
i
= 0, ∀i ∈ I
Uma base de Hamel para E ´e uma cole¸c˜ao de elementos de E linearmente independentes,
H = {e
α
}
α∈J
tal que todo elemento x ∈ E pode ser escrito como uma soma finita de
combina¸c˜oes lineares de elementos de H, ou seja, existe I ⊂ J finito e {k
i
}
i∈I
⊂ K tais que
x =

i∈I
k
i
e
i
.
Teorema 2. Todo espa¸co vetorial admite uma base de Hamel.
Esse resultado foi originalmente demonstrado por Hamel em 1905. Recentemente, em 1984,
Blass demonstrou que por outro lado, o Teorema da base de Hamel implica no Axioma da
Escolha. Ficando assim estabelecida a equivalˆencia entre os dois resultados.
Demonstra¸ c˜ao : Considere o conjunto B cujos elementos s˜ao cole¸c˜oes de vetores linearmente
independentes, B n˜ao ´e vazio pois ∅ ∈ B. Consideramos a rela¸c˜ao de ordem dada pela
inclus˜ao de conjuntos em B. Suponha que {I
b
} seja uma cadeia em B, ent˜ao ∪
β
I
β

B pois dada uma cole¸c˜ao finita {e
1
, . . . , e
n
} ⊂ ∪
β
I
β
, ent˜ao certamente existe β
0
tal que
{e
1
, . . . , e
n
} ⊂ I
β
0
. Como I
β
0
´e formado por vetores linearmente independentes, podemos
concluir que ∪
β
I
β
´e um conjunto de vetores linearmente independentes. Pelo Lema de Zorn,
existe um elemento maximal em B, digamos I
M
. Afirmamos que I
M
´e uma base de Hamel,
efetivamente, dado e / ∈ I
M
, ent˜ao I
M
∪ {e} n˜ao ´e linearmente independente, logo, existem
escalares {k, k
1
, . . . , k
n
} e vetores {e
1
, . . . , e
n
} ⊂ I
M
tais que ke+k
1
e
1
+· · · +k
n
e
n
= 0, como
k = 0, teremos ent˜ao:
e = −
1
k
n

i=1
k
i
e
i
5.2. Teorema de Tychonov. Primeiramente definiremos o que ´e um espa¸co topol´ogico.
Uma topologia τ em um conjunto X ´e uma cole¸c˜ao de subconjuntos de X que satisfaz:
a) ∅, X ∈ τ.
b) Se A
1
, . . . , A
n
∈ τ, ent˜ao

n
i=1
A
i
∈ τ.
c) Se {A
α
}
α∈J
´e uma fam´ılia de elementos de τ, ent˜ao ∪
α∈J
A
α
∈ τ.
O AXIOMA DA ESCOLHA, O LEMA DE ZORN E O TEOREMA DE ZERMELO 9
Os elementos de τ s˜ao chamados de abertos de X, seus complementares s˜ao chamados de
fechados. Dado A ∈ X qualquer, seu fecho A ´e a interse¸c˜ao de todos os fechados que o
cont´em. Um par (X, τ) ´e um espa¸co topol´ogico quando τ ´e uma topologia em X. Um
subconjunto K de X ´e dito compacto quando, para qualquer fam´ılia {A
α
}
α∈J
de abertos de
X tal que K ⊂

α
A
α
, existir I ⊂ J finito tal que K ⊂

i∈I
A
i
.
Dizemos que uma cole¸c˜ao {F
α
}
α∈J
safisfaz a Propriedade da Interse¸c˜ao Finita (PIF) se para
qualquer I ⊂ J finito,

i
F
i
= ∅. Usaremos o seguinte resultado: Um espa¸co X ´e compacto
se, e somente se, para toda fam´ılia de fechados {F
α
}
α∈J
que satisfaz a PIF, temos, ∩
α
F
α
= ∅.
Teorema 3. Seja {K
α
}
α∈J
uma fam´ılia de espa¸cos compactos, ent˜ao o produto cartesiano
Π
α
K
α
´e compacto.
Este teorema foi demonstrado por Tychonov em 1930. Em 1950, Kelley mostrou que, de
fato, ´e equivalente ao Axioma da Escolha.
Demonstra¸c˜ao: Seja Ω o conjunto cujos elementos s˜ao cole¸c˜oes de fechados que satisfazem
a PIF. Se ordenarmos Ω por inclus˜ao, o Lema de Zorn garante que dada uma cole¸c˜ ao de
fechados com a PIF, ent˜ao existe alguma cole¸c˜ao maximal em Ω satisfazendo a PIF. Essa
cole¸c˜ao maximal n˜ao ´e, necessariamente, formada por fechados. Logo, para mostrar que um
conjunto ´e compacto, basta mostrar que para toda cole¸c˜ao maximal satisfazendo a PIF, o
fecho de seus elementos tˆem interse¸c˜ao n˜ao vazia (para a demonstra¸c˜ao desse fato ver, por
exemplo [1]).
Notamos que se M ∈ Ω ´e maximal e A ∩ F = ∅ para todo F ∈ M, ent˜ao A ∈ M. Com
efeito, seja {F
1
, . . . , F
n
} ∈ M, ent˜ao ∩F
i
∈ M logo F
1

· · · ∩ F
n
∩ A = ∅. Concluimos que
A ∈ M.
Seja M ∈ Ω maximal, devemos mostrar que

F∈M
F = ∅. Considere M
α
= {π
α
(F), F ∈
M}. Onde π
α
´e a proje¸c˜ao na coordenada α, ou seja, se x = (x
α
)
α∈J
, ent˜ao π
α
(x) = x
α
.
Ent˜ao M
α
satisfaz a PIF e, como cada X
α
´e compacto, podemos tomar x
α

F∈Ma
F = ∅.
Mostraremos agora que x = (x
α
)
α∈J
∈ F para todo F ∈ M. Se U
α
´e um aberto que contem
x
α
, podemos ver que π
−1
α
(U
α
) intersepta todo F ∈ M, pois x
α
∈ π
α
(F). Segue do par´agrafo
anterior que π
−1
α
(U
α
) ∈ M, logo todo elemento da base que cont´em x intersepta F qualquer
que seja o F ∈ M, concluimos que x ∈ F. Logo

M
F = ∅.
5.3. Conjuntos n˜ao mensur´aveis. Uma medida na reta real ´e uma fun¸c˜ao que idealmente
a cada subconjunto da reta, associa um n´ umero real, dito sua medida. Mais precisamente
buscamos uma fun¸c˜ao m : P(R) →R tal que
a) m(A) ≥ 0 para todo A ⊂ R,
b) m(∅) = 0,
c) m seja invariante por transla¸c˜ao, ou seja m(A) = m(A + x) qualquer que seja x ∈ R,
10 R
´
EMY DE PAIVA SANCHIS
d) Se {A
i
}
i∈N
´e uma cole¸c˜ao enumer´avel de subconjuntos disjuntos da reta, ent˜ao
m
_

_
i=1
A
i
_
=

i=1
m(A
i
),
e) m
_
[0, 1]
_
= 1.
Note que, se A ⊂ B ent˜ao, m(B) = m(A) + m(B −A), ou seja m(B) ≥ m(A).
Teorema 4. N˜ao existe uma fun¸c˜ao com as propriedades acima.
Demonstra¸ c˜ao:
Suponha que tal fun¸c˜ao exista e considere no intervalo [0, 1] a rela¸c˜ao de equivalˆencia x ∼ y
se, e somente se, x −y ∈ Q. Essa rela¸c˜ao particiona o intervalo em classes de equivalˆencia,
digamos C
x
. Usando o Axioma da Escolha, podemos formar um conjunto A que contenha
exatamente um elemento de cada classe de equivalˆencia. Denotaremos, para cada q ∈ Q ∩
[0, 1], o conjunto A
q
= {a + q; a ∈ A}. Vemos assim que A
q
⊂ [0, 2], se q = p ent˜ao A
q
e
A
p
s˜ao disjuntos e um ´e a transla¸c˜ao do outro. Como a medida ´e invariante por transla¸c˜ao,
m(A
q
) = m(A
p
). Concluimos ent˜ao que

q
m(A
q
) ≤ m([0, 2]) < ∞, logo m(A
q
) = 0. Por
outro lado, [0, 1] ⊂ ∪A
q
logo m(∪A
q
) ≥ 1 o que ´e absurdo.
Esse conjunto foi obtido originalmente por Vitalli em 1905. Em 1965, Solovay mostrou que
sua constru¸c˜ao ´e independente dos outros axiomas
Referˆ encias
[1] DUGUNJI, J. Topology, Allyn and Bacon, Inc. (1966).
[2] ISNARD, CA., Sveiter BF. On Zorn’s Lemma, Pre-print, IMPA (1997).
[3] JECH, T., The Axiom of Choice, North Holland (1973).
[4] HRBACEK, K, JECH, T., Introduction to set theory, Marcel Dekker, Inc. Nova York (1999).
[5] KANAMORI A., The Mathematical Development of Set Theory from Cantor to Cohen The Bulletin
of Symbolic Logic, Vol. 2, No. 1, 1-71 (1996).
[6] HERRLICH H., Axiom of Choice, Springer-Verlag (2006).
Departamento de Matem´ atica - UFMG
E-mail address: rsanchis@mat.ufmg.br
URL: www.mat.ufmg.br/~rsanchis

Cohen mostrou que realmente e o Axioma da Escolha n˜o ´ consequˆncia dos axiomas FZ. em 1935. para o estabelecimento da veracidade de alguns teoremas. G¨del mostrou o que se o sistema FZ era consistente ent˜o o sistema acrescido do Axiom da Escolha tamb´m a e o era e. Um dos objetivos e dessas notas ´ o de mostrar que. Esse exemplo ´ um paradoxo no sentido de que ele contradiz e a e nossa intui¸˜o f´ ca ısica. o que gerava e d´vidas sobre a sua legitimidade. De certa forma podemos o ca dizer que essa discuss˜o permanece at´ os dias de hoje. Duas outras das consequˆncias do Axioma da Escolha s˜o o Teorema e a de Zermelo e o Lema de Zorn. ´ poss´ ca e ıvel formar um novo conjunto contendo exatamente um elemento de cada conjunto da cole¸˜o dada. Houve um certo consenso de que seria necess´rio acrescenu a tar um novo axioma. A seguir daremos uma vers˜o do sistema axiom´tico FZ e enunciaremos o Axioma da Escoa a lha de modo mais formal. o axiomas desses sistemas eram de a natureza construtiva enquanto o fato mencionado ´ de natureza existencial. Um exemplo famoso ´ o Paradoxo de Banach-Tarski de 1924 que. e de certa forma ainda est´. a e e Mas a discuss˜o n˜o se encerra com a introdu¸˜o de um novo axioma pois. a bem da verdade.2 ´ REMY DE PAIVA SANCHIS No entanto. somente na segunda metade do s´culo XX. Por outro lado. a grande a e maioria dos matem´ticos atuais n˜o se procupa com os fundamentos l´gicos da pr´pria a a o o matem´tica. se por um lado. e a . Al´m diso. n˜o era claro se esse a fato decorria ou n˜o do sistema axiomatico. com esse texto. Todas co e as referˆncias originais n˜o explicitadas no texto podem ser encontradas em [5]. mas a que esteve. usava-se o seguinte fato: dada uma cole¸˜o de conjuntos. finalmente apresentaremos algumas consequˆncias do Axioma da Escolha. n˜o dava nenhuma maneira de constru´ e. e. Vale notar que mais de trinta anos depois. Na se¸˜o seguinte. o Axioma da Escolha que foi pela primeira vez formalmente enunciado por Zermelo em 1905. muitos consideravam que um objeto matem´tico somente existia se houvesse um meio a a de contru´ ı-lo. definiremos o que s˜o conjuntos parcialmente ca a ordenados e conjuntos bem ordenados. digamos um algor´ ıtmo l´gico para sua constru¸˜o. Essas notas foram feitas durante um curso de Topologia Geral em que eu n˜o a a queria gastar mais do que uma aula para apresentar esse resultado. mesmo se aceitando a existˆncia de objetos cuja constru¸˜o a e ca n˜o ´ conhecida. suas consequˆncias podem ser a e surpreendentes. O pr´prio Zermelo hesitava em ca o especificar um axioma para justificar esse fato . esses dois resultados s˜o equivalentes ao Axioma e a da Escolha. por outro. queremos fornecer a um aluno de fim de gradua¸˜o ou in´ de e ca ıcio mestrado uma pequena discuss˜o de um assunto raramente tratado em cursos regulares. afirma existir uma maneira de particionar uma bola no espa¸o euclidiano em um c n´mero finito de partes e reorganiz´-los atrav´s de movimentos r´ u a e ıgidos de modo a formar duas bolas idˆnticas ` original. podemos nos perguntar se o Axioma da Escolha nos pereece plaus´ a e ıvel. no cerne da pr´pria quest˜o dos fundamentos da a o a matem´tica. O Teorema de Zermelo foi estabelecido por este em 1905 como consequˆncia do Axioma da Escolha e o Lema de Zorn. em 1939. e enunciaremos o Lema de Zorn e o Teorema de Zermelo. se por um lado. Em seguida faremos a demonstra¸˜o propriamente dita da equivalˆncia das asca e ser¸˜es e. a a ca ele garantia a existˆncia de certos conjuntos. em 1963. se seu enunciado informal n˜o causa nenhuma estranheza. usando o Axioma da e Escolha. mas. Pois. de fato. at´ e a ı-lo e ent˜o.

primordia e almente. e Uma fam´ de conjuntos ´ uma classe {Xα }α∈J em que tanto Xα s˜o conjuntos. Assim P(X) = {A ⊂ X}.O AXIOMA DA ESCOLHA. ca e ca ent˜o f (X) ´ um conjunto. Se X ´ um conjunto. Convem notar que os axiomas abaixo n˜o encontram um a consenso universal. o de definir o que s˜o conjuntos. O sistema axiomatico de Fraenkel-Zermelo O objetivo de se criar um sistema axiom´tico para uma Teoria dos Conjuntos ´. e e a e Finalmente um axioma que garante a existˆncia de um conjunto indutivo. a e Denotaremos por P(X) a classe formada por todos os subconjuntos de X. Seja {Xα }α∈J uma fam´ de conjuntos. existe a uma classe cujos elementos s˜o exatamente os conjuntos que satisfazem essa propriedade. no entanto. Uma vez definidos. se contˆm os mesmo elementos. Se X e Y s˜o conjuntos. O vazio ´ um conjunto. Inicialmente um axioma que garante a existˆncias de conjuntos. ent˜o a classe X = {x. Axioma da Compreens˜o. Axioma da Funda¸˜o. e e O pr´ximo axioma garante que dois conjuntos s˜o iguais. Os axiomas servem se criar uma ca teoria consistente e se evitar contradi¸˜es como o Paradoxo de Russell. o a e Axioma da Extens˜o. ent˜o y ∈ X. X uma classe e f : X → X uma fun¸˜o. como J ´ ılia e a e um conjunto. ent˜o ∪α Xα ´ um conjunto. a ılia a e Axioma da Substitui¸˜o. em diferentes textos podemos encontrar diferentes axiomas ditos de FZ. Para cada conjunto n˜o vazio X. Para cada propriedade que quantifica somente conjuntos. e . O LEMA DE ZORN E O TEOREMA DE ZERMELO 3 ´ 2. Se x ∈ X e x = y. Axioma da Potˆncia. co Nese sistema axiom´tico os termo n˜o definidos ser˜o classe e a rela¸˜o de pertinˆncia ∈ a a a ca e entre classes. a Axioma da Paridade. x = X ou x = Y } a a ´ um conjunto. Usaremos ainda o s´ a a ımbolo A ⊂ B para designar que a ∈ A ⇒ a ∈ B. espera-se que as regras usuais a de opera¸˜o entre conjuntos sigam como informalmente. existe x ∈ X tal que x ∩ X = ∅. ent˜o a classe P(X) ´ um conjunto. todos geram o mesmo modelo. Todas as vari´veis ser˜o classes. ca a Os pr´ximos axiomas estabelecem regras para a forma¸˜o de novos conjuntos a partir de o ca conjuntos conhecidos. e Axioma da Existˆncia. Esse axioma garante que n˜o co a existe um ‘conjunto universal’ que contenha todos os conjuntos. Axioma da Uni˜o. Se X ´ um conjunto. a a O pr´ximo axioma garante que cada conjunto ´ formado por ‘partes menores’ ou ´tomos que o e a podem ser considerados como seus alicerces ou ‘funda¸˜es’.

3. A experiˆncia tem mostrado e e que as demonstra¸˜es aceitas pelos matem´ticos em bases intuitivas. ent˜o x ∪ {x} ∈ a X. a em Paris. Essa afirma¸˜o ´ conhecida como ca o ca e ‘Hip´tese do cont´ o ınuo’ e est´ intimamente ligada ` cria¸˜o da Teoria dos Conjuntos. na lista de 23 problemas que formulou no Congresso Internacional de matem´tica. y) pertence ` rela¸˜o. Uma ordem parcial em X ´ uma rela¸˜o ≤ tal que: e ca a) x ≤ x. z ∈ X. a prova da ‘Hip´tese do Cont´ o ınuo’ ocupava a primeira posi¸˜o. pela defini¸˜o a e ca acima. a ≤ x. Relacoes de Ordem ¸˜ Lembramos que uma rela¸˜o em um conjunto X ´ um subconjunto de X × X. a a ca Hilbert. y ∈ X n˜o ´ necess´rio que x ≤ y ou y ≤ x. Suponha que seja uma fam´ de conjuntos {Cα }α∈J disjuntos e ılia n˜o-vazios. c) x ≤ y e y ≤ x implicam que x = y. denotaremos x ∼ y para designar que (x. e Se X ´ um conjunto qualquer. um elemento x ∈ X ´ o maior elemento de X se y ≤ e x. ∀x ∈ X. O sistema acima ´ redundante. definimos o conjunto das cotas superiores de A como cs(A) = {x ∈ X. Dizemos ent˜o que o conjunto X ´ parcialmente ordenado. a a Um exmplo cl´ssico ´ o de saber se todo subconjunto infinito dos reais podem ser colocados a e em bije¸˜o ou com os pr´prios reais ou com os naturais. Dado um conjunto X parcialmente ordenado e A ⊂ X. G¨del. um exemplo de ordem parcial que ser´ frequentemente utilie a zado ´ a rela¸˜o de inclus˜o em P(X). ca e dada uma rela¸˜o ∼ em X. b) x ≤ y. e a Na pr´xima se¸˜o faremos algumas defini¸˜es sobre conjuntos ordenados e enunciaremos o o ca co Lema de Zorn e o Teorema de Zermelo. z ∀a ∈ A}. em 1963. Analogamente definimos . quando isso ocorre para a e a quaisquer x. Existe um conjunto X tal que ∅ ∈ X e que se x ∈ X. dizemos que X ´ totalmente ordenado. a ca Uma quest˜o que surge naturalmente ´ a de saber se todas as poss´ a e ıveis afirma¸˜es maco tem´ticas podem ser demonstradas a partir dos axiomas acima. Axioma da Escolha. y. existe uma uma fun¸˜o φ : {Cα }α∈J → α∈J Cα tal que φ(Cα ) ∈ Cα . 1900. y ≤ z ⇒ x ≤ z. e ca a Seja X um conjunto parcialmenete ordenado.4 ´ REMY DE PAIVA SANCHIS Axioma do Infinito. ∀x. a Finalmente enunciamos uma forma do axioma da escolha. Isso infelizmente n˜o ocorre. Notemos que. Cohen mostrou que tamb´m n˜o pode ser demonstrada. Um elemento x ∈ X ´ maximal em X se e x ≤ y ⇒ x = y. mostrou que ela n˜o pode ser refutada dentro do sistema FZ acrescido do Axioma da a escolha e. y ∈ X. Como usual. Por outro lado. dados x. podem ser justificadas co a dentro desse sistema axiom´tico. no sentido de alguns dos axiomas podem ser demonstrados a e partir dos outro (como por exemplo o Axioma da Existˆncia). em ca o 1939. ca a ca Seja X um conjunto qualquer. ∀y ∈ X. De fato.

em particular. Vemos ent˜o que. se um conjunto for bem ordenado. Assim. consideramos uma ordem total que torne ∪α Cα bem ordenado. ´ um princ´ e ıpio de maximalidade em conjuntos parcialmente ordenados e. histoca e ricamente. Equivalencia dos Axiomas Em primeiro lugar algumas observa¸˜es sobre a nota¸˜o no que segue. a e O Lema de Zorn. a u o interse¸˜es e cole¸˜es. A tamb´m o a e ser´. o Lema de Zorn e o Teorema de Zermelo s˜o equivaa lentes. Essa pode ser tomada como a fun¸˜o de escolha. estar´ ıamos usando o Axioma da Escolha para demonstr´-lo! Essa observa¸˜o ser´ pertinente e um a ca a exemplo na se¸˜o 5. y. Podemos agora enunci´-lo. a Para fins de nota¸˜o. Em particular. ou seja. y ≤ x} sempre pode ser escrito como {y ∈ X. O Axioma da Escolha. se X for totalmente ordenado. existe uma rela¸˜o de ordem ≤ tal que ca (X. certamente ´ o mais difundido. no entando. co ca o sempre que n˜o houver margem para d´vidas. se n˜o foi o primeiro do gˆnero a ser formulado (Hausdorff havia formulado um a e semelhante j´ em 1909). ca . x < a}. Por raz˜es de clareza. um conjunto do tipo {y ∈ X. ent˜o ser´ totalmente ordenado pois {x. O Teorema de Zermelo implica o Axioma da Escolha Dada uma cole¸˜o de conjuntos ca {Cα }α∈J . x < y < x1 } = ∅. Note ca que todo elemento x ∈ X em um conjunto bem ordenado tem um secessor imediato. for totalmente ordenado. omitiremos o conjunto indexador de uni˜es. Tomamos ent˜o φ(Cα ) = min(Cα ). Teorema de Zermelo. ent˜o X tem um elemento maximal. na ordem induzida. ≤) ´ bem ordenado. y < x1 }. definimos a sec¸˜o de a em X como Sa = {x ∈ X. a a A afirma¸˜o abaixo. ´ equivalente ao Axioma da Escolha. ca Observa¸˜o Note que n˜o podemos proceder da seguinte forma: dada uma cole¸˜o de conca a ca juntos {Cα }α∈J . podemos definir de maneira natural em A uma ordem parcial induzida pela ordem de X. como veremos. em cada um consideramos uma ordem total que torne Cα bem ordenado. existe x1 ∈ X tal que {y ∈ X. desta forma. foi demonstrado a partir dele. escreveremos x < y para dizer que x ≤ y e x = y. de 1935. Usaremos o ´ e ındice i para indexar conjuntos finitos. Dado um A ⊂ X. por isso leva o nome de Teorema de Zermelo. Dado um conjunto ca totalmente ordenado X. Um subconjunto A ⊂ X ´ uma cadeia se. Dado qualquer conjunto X. escreveremos {Aα } para designar {Aα }α∈J sempre que estiver co co claro que o indexador ´ o conjunto J. Teorema 1.O AXIOMA DA ESCOLHA. Pois dentre as (possivelmente) infinitas rela¸˜es de ora co dem em cada Cα . O LEMA DE ZORN E O TEOREMA DE ZERMELO 5 um elemento minimal. Seja X um conjunto parcialmente ordenado tal que toda cadeia tenha pelo menos uma cota superior. menor elemento de X e o conjunto das cotas inferiores de um subconjunto de X. Tomamos ent˜o a φ(Cα ) = min(Cα ). Ou seja. a e a Lema de Zorn. y} tem menor elemento quaisquer que sejam x. dever´ ıamos escolher uma em particular para cada um. Dizemos que um conjunto X ´ bem ordenado se todo subconjunto A tem um menor elee mento com a ordem parcial induzida. e ˆ 4.

Demonstra¸˜o do Lema 2. Considere os subconjuntos A ⊂ X tais que exista um ordem em A. existe S ⊂ X que ´ bem ordenado com a ordem induzida. Claraca e mante {a} ⊂ A logo A ´ n˜o vazio. x = y. provar o Lema 1. logo B ´ parcialmente ordenado. Vamos supor por absurdo que dado a. apesar de ter hip´teses o mais fracas. ≤A ) onde A ⊂ X e ≤A torna A bem ordenado. Usando o Lema de Zorn. Se todo subconjunto bem ordenado de X tem alguma cota superior. ent˜o b ∈ Aα . Seja (Aα . S ´ bem ordenado . a ≤α0 b. em particular ∅ ∈ B. pois. podemos definir o a . b) A ordem ≤A ´ induzida por ≤B . ent˜o teremos necessariamente y ∈ cs(S). existe ent˜o α0 tal que a. ent˜o y ≤B x. Nosso objetivo ser´ mostrar e a a que X ∈ B. ≤α ) (∪α Aα . Dados A. B ∈ B diremos que A B se a) A ⊂ B. se L ⊂ ∪α Aa ´ n˜o vazio. Resta-nos. Claramente a transitividade dessa rela¸˜o / ca decorre de a) e b). Note que o Lema de Zron decorre imediatamente do Lema 2 que. ent˜o X tem a um elemento maximal. logo e a y ∈ S. Mostraremos que B satisfaz as hip´teses e o do Lema de Zorn. Seja B o conjunto dos pares ordenados (A. se AM = X existiria a ∈ X −AM e poder´ ıamos obter formar um novo conjunto bem ordenado AM ∪{a} declarando {a} como ultimo elemento do conjunto contradizendo a maximalidade de AM .6 ´ REMY DE PAIVA SANCHIS O Lema de Zorn implica o Teorema de Zermelo Seja X um conjunto qualquer. b. Para ver que essa rela¸˜o ca ca e ca de ordem ´ uma boa ordena¸˜o. Seja A = {S ⊂ X. Vejamos primeiramente ca como o Lema 1 implica o Lema 2. Claramente B ´ n˜o vazio pois. assim. e c) Se x ∈ B\A e y ∈ A. Ent˜o. Definiremos uma ordem parcial em B da seguinte forma. Tomando a e S como no Lema 1. a Acima usamos B\A = {x ∈ X. n˜o exista S ⊂ X e a a satisfazendo as conclus˜es do Lema 1. Lema 2. e somente se. concluimos que y ≤ x. logo o menor elemento de e a L ∩ Aα0 ser´ tamb´m o menor elemento de L. digamos ≤A que torne A bem ordenado. tal que e a ∈ S e cs(S) ⊂ S. usando o Axioma da Escolha. Vemos e ca a assim que. Dado a ∈ X. ´ O Axioma da Escolha implica o Lema de Zorn Para mostrarmos que o Lema de Zorn decorre do Axioma da escolha. (Aα . ent˜o. obtemos a e a cota superior desejada. x ∈ B e x ∈ A}. obtemos um elemento maximal. Definimos a ≤U b se. ≤U ). notamos que se a ∈ Aα e b ≤U a. digamos AM . seja x ∈ cs(S). a Pela condi¸˜o b). tem aparentemente uma demonstra¸˜o mais simples. b ∈ Aα0 ) . a Demonstra¸˜o do Lema 1. a = min(S)}. a rela¸˜o ´ coerente e define uma ordem parcial. Como ainda. existe α0 tal que L ∩ Aα0 = ∅. usaremos dois lemas: Lema 1. Considere o conjunto ∪α Aa e dois de seus elementos a. Afirmamos ca que x ´ maximal em X. se x ≤ y ∈ X. ≤α ) uma cadeia em B.

em certas demontra¸˜es necessitamos usar explicico tamente o Lema de Zorn. Note que a sec¸˜o est´ bem definida co ca a mesmo que x ∈ S. a a Logo y ∈ C. como Sx = Sx . y < x}. x12 . Definimos ent˜o / a A0 = {S ∈ A. O LEMA DE ZORN E O TEOREMA DE ZERMELO 7 a fun¸˜o: ca φ : A → X. tomamos s = min(S − C). . se a ≤ b). }. S ∈ A0 e S = S . . ent˜o C = Ss e s = a. ca ca Observa¸˜o: Na demonstra¸˜o acima. b) ≤ (c. ent˜o a se¸˜o de x em S ∪ {φ(S)} ´ o pr´prio S. Temos ent˜o que. temos ca a Xi = {xi1 . xin . Ainda. E sutil a utiliza¸˜o ca . Considere a seguinte demonstra¸˜o de que uni˜o enumer´vel de conjuntos ca a a enumer´veis ´ enumer´vel. Nesse caso. ent˜o S ∪ {φ(S)} ∈ A0 . ent˜o Sx ⊂ C. j´ que. x22 . a e a Seja C = {x ∈ S ∩ S . ca ca Fica assim demonstrada a equivalˆncia dos trˆs axiomas. ent˜o Sx = Sx . ou seja. C n˜o ´ vazio pois {a} ∈ C. Sx = Sx }. S → φ(S) ∈ cs(S) − S Consideraremos agora as sec¸˜es Sx = {y ∈ S. podemos afirmar que existe um conjunto maximal que o cont´m. φ(Sx ) = x} Novamente. para cada i ∈ N. . se x ∈ S. x21 . ent˜o Sy = (Sx ) = (Sx ) = Sy . logo φ(S) ∈ S. Por outro lado. ent˜o a sec¸˜o de x em S ∪ {φ(S)} ´ a a ca e Sx . x23 .O AXIOMA DA ESCOLHA. xi2 . se e a S ∈ A0 . e Usaremos essa observa¸˜o na demonstra¸˜o do Teorema de Tychonov. caso a+b = c+d. d) se a+b ≤ c+d ou. Com efeito. como {a} ∈ A0 . que S ´ bem ordenado. . Afirmamos que. ent˜o podemos enumerar o conjunto a Xi = {x11 . . a ca e o Afirmamos agora que podemos ordenar A0 como uma cadeia: Se S. . se x ∈ S ⊂ A0 . . muitas vezes usamos uma forma do Axioma da Ecolha sem sequer nos darmos conta. } i∈N onde a ordem dos pares ordenados de naturais pode ser construida (por exemplo podemos ´ declarar que (a. e ca ˜ ∈ A0 . se x = φ(S). por um argumento idˆntico ao da demonstra¸˜o anterior. . Podemos a a ˜ ˜e mostrar. C = S a ou C = Ss ˜ Consideramos S = A0 S. vemos que o conjunto acima ´ n˜o vazio. Algumas consequencias do Lema de Zorn e do Axioma da Escolha Apresentaremos agora algumas aplica¸˜es cl´ssicas do Lema de Zorn e algumas consequˆncias co a e do Axioma da Escolha. temos que y < x. a a Se C for diferente de S. provamos que dado um elemento qualquer p de ca ca um conjunto ordenado. o que contradiz a ˜ ˜ ˜ ˜ Concluimos assim. que S constru¸˜o da fun¸˜o φ. se x ∈ C. . Concluimos ent˜o que. ent˜o a ou existe s ∈ S tal que S = Ss ou existe s ∈ S tal que S = Ss . ∀x ∈ S − {p}. . a e a Sejam {Xi }i∈N uma cole¸˜o de conjuntos enumer´veis. se y ∈ Sx . se x ∈ C e y ∈ S − C. donde S ∪ {φ(S)} ∈ A0 . Se por um lado. e e ˆ 5. ent˜o x < y.

para todo I ⊂ J finito. o Teorema da base de Hamel implica no Axioma da Escolha. Base de Hamel. logo. Ela deu-se da seguinte forma. Primeiramente definiremos o que ´ um espa¸o topol´gico. . dado e ∈ IM . devemos fazer um n´mero infinito de escolhas. . ent˜o certamente existe β0 tal que ca a {e1 . b) Se A1 . e ca H = {eα }α∈J tal que todo elemento x ∈ E pode ser escrito como uma soma finita de combina¸˜es lineares de elementos de H. . Teorema de Tychonov. Na realidade algo mais u profundo ocorre. Mas n˜o. uma das poss´ ıveis enumera¸˜es co de Xi .1. . digamos IM . ou seja. ent˜o ∪β Iβ ∈ a a B pois dada uma cole¸˜o finita {e1 . Todo espa¸o vetorial admite uma base de Hamel. Como Iβ0 ´ formado por vetores linearmente independentes. poder´ ıamos pensar que que esta demonstra¸˜o em particular usa o Axioma ca da Escolha. Recentemente. kn } e vetores {e1 . . B n˜o ´ vazio pois ∅ ∈ B. . Teorema 2. e Demonstra¸˜o : Considere o conjunto B cujos elementos s˜o cole¸˜es de vetores linearmente ca a co independentes. digamos co (i) {Eα }α∈J . mas para cada Xi existem infinitas enumera¸˜es. . Consideramos a rela¸˜o de ordem dada pela a e ca inclus˜o de conjuntos em B. mas que seria poss´ elaborar uma outra que n˜o o usasse. ent˜o IM ∪ {e} n˜o ´ linearmente independente. e efetivamente. teremos ent˜o: a n 1 ki ei e=− k i=1 5. ent˜o a n i=1 Ai ∈ τ . . ent˜o ∪α∈J Aα ∈ τ .8 ´ REMY DE PAIVA SANCHIS do Axioma da Escolha na demonstra¸˜o acima. . . para cada i ∈ N. . An ∈ τ . em 1984. ou seja. Seja E um espa¸o vetorial sobre um corpo de escalares K. como k = 0. k1 . . . sem o Axioma da a a escolha n˜o podemos nem mostrar que o conjunto dos n´meros reais n˜o ´ enumer´vel (ver a u a e a [3]). Ficando assim estabelecida a equivalˆncia entre os dois resultados. . . . Suponha que {Ib } seja uma cadeia em B. c) Se {Aα }α∈J ´ uma fam´ de elementos de τ . . e ılia a . en } ⊂ ∪β Iβ . nesse ponto devemos escolher. e c o Uma topologia τ em um conjunto X ´ uma cole¸˜o de subconjuntos de X que satisfaz: e ca a) ∅. ca e ki ei = 0 ⇒ ki = 0.2. pode-se ıvel a a mostrar que esse resultado n˜o decorre do sistema axiom´tico FZ e mais. existe I ⊂ J finito e {ki }i∈I ⊂ K tais que co x = i∈I ki ei . existem / a a e escalares {k. . . Dizemos c que uma cole¸˜o {eα }α∈J ⊂ E ´ linearmente independente se. Pelo Lema de Zorn. Afirmamos que IM ´ uma base de Hamel. 5. X ∈ τ . Blass demonstrou que por outro lado. . c Esse resultado foi originalmente demonstrado por Hamel em 1905. en } ⊂ Iβ0 . en } ⊂ IM tais que ke + k1 e1 + · · · + kn en = 0. podemos e concluir que ∪β Iβ ´ um conjunto de vetores linearmente independentes. Sabemos que ca cada Xi pode ser enumerado. ∀i ∈ I i∈I Uma base de Hamel para E ´ uma cole¸˜o de elementos de E linearmente independentes. e existe um elemento maximal em B.

Se ordenarmos Ω por inclus˜o. dito sua medida. Uma medida na reta real ´ uma fun¸˜o que idealmente a a e ca a cada subconjunto da reta. para mostrar que um ca a e conjunto ´ compacto. ılia Teorema 3. e Demonstra¸˜o: Seja Ω o conjunto cujos elementos s˜o cole¸˜es de fechados que satisfazem ca a co a PIF. existir I ⊂ J finito tal que K ⊂ i∈I Ai . logo todo elemento da base que cont´m x intersepta F qualquer e que seja o F ∈ M. ca . podemos tomar xα ∈ F ∈Ma F = ∅. devemos mostrar que F ∈M F = ∅. Mais precisamente u buscamos uma fun¸˜o m : P(R) → R tal que ca a) m(A) ≥ 0 para todo A ⊂ R. a e Mostraremos agora que x = (xα )α∈J ∈ F para todo F ∈ M. F ∈ M}. Dado A ∈ X qualquer. O LEMA DE ZORN E O TEOREMA DE ZERMELO 9 Os elementos de τ s˜o chamados de abertos de X. c) m seja invariante por transla¸˜o. Em 1950. como cada Xα ´ compacto. seja {F1 . . Com e a efeito. necessariamente. b) m(∅) = 0. Logo. ou seja m(A) = m(A + x) qualquer que seja x ∈ R. Notamos que se M ∈ Ω ´ maximal e A ∩ F = ∅ para todo F ∈ M. ent˜o existe alguma cole¸˜o maximal em Ω satisfazendo a PIF. Fn } ∈ M. por e ca a ca exemplo [1]). podemos ver que πα (Uα ) intersepta todo F ∈ M. . Onde πα ´ a proje¸˜o na coordenada α. Se Uα ´ um aberto que contem e −1 xα . . Usaremos o seguinte resultado: Um espa¸o X ´ compacto c e se. Segue do par´grafo a −1 anterior que πα (Uα ) ∈ M. Dizemos que uma cole¸˜o {Fα }α∈J safisfaz a Propriedade da Interse¸˜o Finita (PIF) se para ca ca qualquer I ⊂ J finito. Conjuntos n˜o mensur´veis. e somente se. Concluimos que a A ∈ M. i Fi = ∅. ∩α Fα = ∅. 5. ent˜o πα (x) = xα . Kelley mostrou que. Logo M F = ∅. se x = (xα )α∈J . Seja M ∈ Ω maximal. Considere Mα = {πα (F ). para qualquer fam´ {Aα }α∈J de abertos de e ılia X tal que K ⊂ α Aα . para toda fam´ de fechados {Fα }α∈J que satisfaz a PIF. ent˜o A ∈ M.3. pois xα ∈ πα (F ). basta mostrar que para toda cole¸˜o maximal satisfazendo a PIF. . concluimos que x ∈ F . o e ca fecho de seus elementos tˆm interse¸˜o n˜o vazia (para a demonstra¸˜o desse fato ver. o Lema de Zorn garante que dada uma cole¸ao de a c˜ fechados com a PIF. associa um n´mero real. ent˜o o produto cartesiano ılia c a Πα Kα ´ compacto. seu fecho A ´ a interse¸˜o de todos os fechados que o e ca cont´m. Um e e c o e subconjunto K de X ´ dito compacto quando. ou seja. de fato. e Este teorema foi demonstrado por Tychonov em 1930. formada por fechados. e ca a Ent˜o Mα satisfaz a PIF e. Essa a ca cole¸˜o maximal n˜o ´.O AXIOMA DA ESCOLHA. seus complementares s˜o chamados de a a fechados. Um par (X. ent˜o ∩Fi ∈ M logo F1 · · · ∩ Fn ∩ A = ∅. Seja {Kα }α∈J uma fam´ de espa¸os compactos. ´ equivalente ao Axioma da Escolha. τ ) ´ um espa¸o topol´gico quando τ ´ uma topologia em X. temos.

Usando o Axioma da Escolha. T. [6] HERRLICH H.. Sveiter BF. JECH. ´ Departamento de Matematica . e somente se. ent˜o e ca a a ∞ ∞ m i=1 Ai = i=1 m(Ai ). se A ⊂ B ent˜o.mat.ufmg. o conjunto Aq = {a + q. 1] ⊂ ∪Aq logo m(∪Aq ) ≥ 1 o que ´ absurdo.br/~rsanchis .ufmg.. a ∈ A}. 2]. 1] a rela¸˜o de equivalˆncia x ∼ y ca ca e se. 2]) < ∞. logo m(Aq ) = 0. 1. Vemos assim que Aq ⊂ [0.UFMG E-mail address: rsanchis@mat. Solovay mostrou que sua constru¸˜o ´ independente dos outros axiomas ca e ˆ Referencias [1] [2] [3] [4] [5] DUGUNJI. North Holland (1973). IMPA (1997). Nova York (1999). Axiom of Choice. T. ca e digamos Cx . Em 1965. 1]. a ca Demonstra¸˜o: ca Suponha que tal fun¸˜o exista e considere no intervalo [0. Allyn and Bacon. para cada q ∈ Q ∩ e [0. The Mathematical Development of Set Theory from Cantor to Cohen The Bulletin of Symbolic Logic. se q = p ent˜o Aq e a Ap s˜o disjuntos e um ´ a transla¸˜o do outro.. JECH. HRBACEK. ou seja m(B) ≥ m(A). Inc. Como a medida ´ invariante por transla¸˜o. 1-71 (1996). [0. Por a outro lado. (1966). J. Pre-print. ISNARD.br URL: www. Marcel Dekker.. The Axiom of Choice. podemos formar um conjunto A que contenha exatamente um elemento de cada classe de equivalˆncia. Topology. K.10 ´ REMY DE PAIVA SANCHIS d) Se {Ai }i∈N ´ uma cole¸˜o enumer´vel de subconjuntos disjuntos da reta. Inc.. KANAMORI A. Springer-Verlag (2006). Note que. Essa rela¸˜o particiona o intervalo em classes de equivalˆncia. e Esse conjunto foi obtido originalmente por Vitalli em 1905. On Zorn’s Lemma. Concluimos ent˜o que q m(Aq ) ≤ m([0. a Teorema 4. Introduction to set theory. No. 2. 1] = 1. Vol. CA. N˜o existe uma fun¸˜o com as propriedades acima. e) m [0. x − y ∈ Q. Denotaremos. a e ca e ca m(Aq ) = m(Ap ). m(B) = m(A) + m(B − A).

Sign up to vote on this title
UsefulNot useful