Teoria Axiomatica de Conjuntos:

Uma Introducao
Marcelo Esteban Coniglio
GTAL, Departmento de Filosoa
Universidade Estadual de Campinas
P.O. Box 6133, 13081-970
Campinas, SP, Brazil
E-mail: coniglio@cle.unicamp.br
Abstract
O presente texto corresponde `as notas de aula do curso HF005-Teoria
de Conjuntos, do Programa de Pos-Graduacao em Filosoa da UNICAMP,
que ministrei no segundo semestre de 1997. Trata-se principalmente de
uma adaptacao do livro Axiomatic Set Theory, de P. Suppes (Dover, 1972).
Alguns topicos (principalmente, teoria de ordinais e de cardinais) foram
adaptados do livro Set Theory: an Introduction to Large Cardinals, de
F.R. Drake (North Holland, 1974).
Contents
Introducao 3
1 Teoria Cumulativa de Tipos 4
2 Axiomas Basicos da Teoria de Conjuntos 5
3 Axiomas Adicionais 9
4 Produtos Cartesianos 13
5 Relacoes em S 16
6 Relacoes de Ordem 19
7 Relacoes de Equivalencia 24
8 Funcoes 29
9 Equipolencia 33
10 Conjuntos Finitos 40
11 Axiomas Finais de ZF. O Axioma da Escolha 46
1
12 Introducao aos Ordinais 49
13 Inducao e Recursao Transnita 54
14 Aritmetica Ordinal 62
15 Cardinais 73
2
Introducao
A Teoria de Conjuntos (TC) ocupa um lugar privilegiado dentre as disciplinas
da Matematica moderna: todas as entidades estudadas na matematica (com
algumas excecoes) podem ser consideradas conjuntos. Portanto, as questoes
acerca da natureza da matematica sao basicamente questoes acerca de conjun-
tos.
A TC foi iniciada a partir das pesquisas de Georg Cantor em 1870 sobre
a teoria das series innitas em Analise; a partir destes trabalhos, Cantor foi
levado a considerar conjuntos innitos ou classes de carater arbitrario. Mas
o que sao os conjuntos? A nossa ideia intuitiva os dene como colecoes de
objetos. Segundo Cantor, um conjunto e uma colecao, considerada como um
todo, de objetos distintos e denidos da nossa intuicao ou pensamento. Os
objetos sao chamados de elementos do conjunto. Os paradoxos surgidos logo
no incio do estudo da teoria mostraram que a concepcao ingenua de Cantor
nao podia formar uma base satisfatoria para a TC, e muito menos para a
Matematica. Isto levou a uma reformulacao dos princpios basicos da teoria.
Os paradoxos apareceram principalmente pelo uso indiscriminado das nocoes de
conjunto, n umero cardinal e ordinal, etc. Um paradoxo consiste na derivacao no
sistema logico de e para alguma armacao , ou entao a derivacao de uma
armacao da forma . O primeiro paradoxo foi descoberto pelo proprio
Cantor em 1895 e nao foi publicado imediatamente, mas foi redescoberto por
Burali-Forti em 1897, que tambem nao conseguiu fornecer uma solucao. O
paradoxo surgiu com relacao `a teoria dos ordinais, num estagio relativamente
avancado da teoria, e nao foi levado muito a serio. A aparicao em 1902 do celebre
paradoxo de Russell fez mudar as coisas, pois ele surge no primeiro estagio da
teoria: dado que, pelo axioma de compreensao, podemos denir os conjuntos
x : (x), onde (x) e uma formula denotando uma propriedade, entao e
lcito formular o conjunto A = x : x , x (considerando (x)
def
x , x).
Logo, podemos nos perguntar se e o caso que A A ou nao e o caso que A A,
obtendo: A A sse A , A!! Este fato causou uma verdadeira revolucao no
meio academico ligado `a fundamentacao da matematica, obrigando Dedekind a
suspender a publicacao do seu ensaio sobre a natureza dos n umeros. Enquanto
isso, Frege acabara de publicar sua obra prima, fruto de decadas de esforcos,
admitindo por m que um dos pilares do seu edifcio tinha sido sacudido por
Russell.
Os paradoxos tem uma origem antiga: o exemplo classico e o Paradoxo do
Mentiroso (Epimenides), que pode ser formulado simplesmente como: Esta
frase e falsa.

E claro que supor a verdade ou a falsidade da frase leva a uma
contradicao. O paradoxo de Grelling-Nelson (1908) diz o seguinte: dena como
heterologicos os adjetivos tais que eles mesmos nao satisfazem a propriedade
que eles denotam. Por exemplo, ingles, azul ou frio sao heterologicos,
enquanto que polissilabico ou portugues nao o sao; em smbolos, dado
um adjetivo S, temos que S e heterologico sse S nao e (nao satisfaz) S.
Logo, heterologico e heterologico sse heterologico nao e heterologico. O
paradoxo de Richard (1905) diz o seguinte: considere os n umeros reais entre 0
e 1 que podem ser denidos por um n umero nito (nao limitado) de palavras
3
em portugues: por exemplo, ponto cinco, o maior n umero tal que elevado
ao quadrado e multiplicado por tres e igual a dois. Os n umeros denidos desta
maneira podem ser enumerados (so temos uma quantidade enumeravel de frases
de tamanho nito). Considere o seguinte n umero: o n umero real entre 0 e 1
cuja n-esima casa decimal e tres se a n-esima casa decimal do n-esimo n umero e
cinco, e e cinco em caso contrario. Logo, esta frase dene um n umero diferente
de todos os n umeros da lista, uma contradicao (este paradoxo e baseado no
metodo diagonal de Cantor para provar que o conjunto dos n umeros reais nao
e enumeravel). Ramsey distingue dois tipos de paradoxos: os semanticos e
os logicos. Todos os paradoxos mencionados acima (com excecao do paradoxo
de Russell) sao semanticos; dentre os paradoxos logicos podemos mencionar o
paradoxo de Russell, o de Cantor e o de Burali-Forti. O paradoxo de Cantor
(1899) diz: considere U o conjunto de todos os conjuntos. Logo, o conjunto
T(U) das partes de U tem cardinal estritamente maior do que o cardinal de
U, o que contradiz a hipotese de que U seja o maior conjunto. O paradoxo de
Burali-Forti (1897) diz: o conjunto bem ordenado W de todos os ordinais tem
um ordinal maior que todo elemento de W, portanto maior que todo ordinal.
1 Teoria Cumulativa de Tipos
Todos os paradoxos vistos tem a mesma origem: a auto-referencia. No caso dos
paradoxos em TC, podemos solucionar o problema considerando que os conjun-
tos sao formados em etapas ou estagios; assim, um conjunto so pode ser criado
a partir de conjuntos que ja foram denidos ou criados anteriormente. Isto da
origem `a teoria simples de tipos:
Nvel 0: alguns indivduos (urelemente), sem propriedades especcas.
Nvel 1: todas as colecoes formadas por indivduos.
Nvel 2: todas as colecoes formadas por elementos no nvel 1, etc.
Assim, se os indivduos sao os n umeros naturais, entao 3 e um conjunto no
nvel 0, 1, 2 esta no nvel 1, e 2, 4, 6 esta no nvel 2. As questoes sao:
(a) qual e o problema em considerar 1, 1 como conjunto? (b) o conjunto
vazio , assumindo que seja um indivduo, seria diferente nas diferentes etapas
em que pudesse aparecer? Com relacao `a (a), e obvio que o modelo e restritivo
demais, logo consideramos a teoria cumulativa de tipos:
Nvel 0: alguns indivduos.
Nvel 1: todas as colecoes formadas por indivduos.
Nvel 2: todas as colecoes formadas por elementos no nvel 0 ou 1.
Em cada nvel, considerar as colecoes cujos elementos estao em nveis
anteriores.
Logo, 1, 1 aparece no nvel 2, no nosso exemplo. Com relacao `a (b), temos
que assumir que uma vez que um conjunto aparece num nvel, toda aparicao
posterior e a mesma. As questoes seguintes sao: quantos indivduos deveriam
4
ser tomados? os nveis tem nal? Com relacao `a primeira questao, parece
claro que deveria ser considerado o unico indivduo; isto equivale a nao tomar
indivduos (logo, sera o unico conjunto do nvel 1). Com relacao `a segunda
questao, a resposta e nao. Se existisse um maximo nvel , e claro que
poderiamos criar um nvel adicional +1 com os conjuntos que temos denidos,
uma contradicao.
2 Axiomas Basicos da Teoria de Conjuntos
A primeira axiomatizacao de TC foi dada por Zermelo em 1908, e modicada
por Fraenkel em 1922, dando origem ao sistema Zermelo-Fraenkel (ZF). Ex-
istem muitos outros sistemas, como o de von Neumann-Godel-Bernays (NGB)
e o de Kelley-Morse (KM). Estes ultimos usam classes juntamente com con-
juntos. Uma classe pode ser pensada como uma colecao enorme, de maneira
que os conjuntos viriam ser classes pequenas. Por exemplo,
1 = x : x = x
e a colecao de todos os conjuntos, chamada de classe universal. 1 e uma
classe propria, isto e, ela nao e um conjunto, portanto nao aparece em nenhum
nvel da hierarquia cumulativa. Se todos os membros de uma classe aparecem
antes de um dado nvel, entao a classe e um conjunto nesse nvel. Neste curso
estudaremos apenas ZF.
A formulacoes ZF de TC e realizada numa linguagem de primeira ordem,
utilizando constantes para os (eventuais) indivduos, duas relacoes binarias (=,
), os conectivos , , , , , e os quanticadores (para todo) e
(existe), junto com um repertorio enumeravel de variaveis. As variaveis sao
denotadas: a, b, . . . , x, y, z (com ou sem ndices). Como e usual, as formulas
(x = y) e (x y) serao denotadas por (x ,= y) e (x , y), respectivamente.
Comecamos enunciando o primeiro axioma de ZF:
Axioma de Extensionalidade:
[A1] (z)(z x z y) (x = y)
Aqui e evidenciada a intencao de que, quando uma colecao aparecer em dife-
rentes nveis, ela seja considerada como sendo a mesma; por outro lado, e
estabelecido que o que interessa com relacao aos conjuntos sao os seus e-
lementos, mais do que o que eles sao. Observe que a implicacao recproca
(x = y) (z)(z x z y) e logicamente valida.
Axioma de Compreensao ou Separacao:
[A2] (y)(x)(x y (x a (x)))
Isto signica que estamos separando alguns elementos de a, exatamente aque-
les que satisfazem a propriedade . Aqui, (x) e uma formula onde x aparece
5
livre, podendo aparecer outras variaveis livres em (os parametros do con-
junto criado), mas a variavel y nao aparece livre em . O axioma de
compreeensao tenta tomar, em cada estagio, todos os conjuntos ja criados,
para formar os conjuntos do nvel seguinte. O axioma e limitado, pois so
tomamos os conjuntos formados pelas formulas . Observe que [A2] e um
axioma-esquema, isto e, cada formula determina um axioma. A condicao
sobre y nao ocorrer livre em esta relacionada com a auto-referencia, e e fun-
damental para evitar o paradoxo de Russell; caso contrario, podemos considerar
(a)(x)(x a x = b) (esta formula e demonstravel em ZF, como veremos
depois de incorporar outros axiomas) e (x, y)
def
x , y em [A2]; logo, te-
remos: x y (x a x , y), e entao x a (x y x , y) para todo
x. Portanto, tomando a como acima, teremos: x = b (x y x , y) para
todo x, donde, tomando b no lugar de x, obtemos b y b , y, contradicao.
Como provaremos na Proposicao 11.1, o axioma [A2] sera dedutvel dos outros
axiomas de ZF (especicamente, [A2] e um caso particular do axioma [A7], a
ser introduzido na Secao 11). Porem, na primeira parte deste texto faremos um
uso pesado do axioma [A2] sem precisar usar por enquanto o axioma mais forte
[A7].
A partir de agora adotaremos a seguinte notacao: x : e um (meta)termo
s em que toda ocorrencia de x e limitada ( e uma formula). Logo,
s = t denota (z)((x)(x z ) z = t);
t = s denota (z)((x)(x z ) t = z);
s t denota (z)((x)(x z ) z t);
t s denota (z)((x)(x z ) t z)
onde z nao ocorre em nem em t.
Assim, por exemplo, se s
def
x : (x) e t
def
x : (x) entao s t
denota a formula (z)((x)(x z ) z t). Por sua vez, z t denota a
formula (u)((x)(x u ) z u), portanto s t denota a formula
(z)((x)(x z ) (u)((x)(x u ) z u)).
Se (y)(x)(x y (x)) e demonstrado a partir dos axiomas, dizemos que
x : (x) e legitimado. Logo, o axioma de separacao diz que o (meta)termo
x : x a (x)
e legitimado. Note que este (meta)termo depende de a (e das variaveis diferentes
de x que ocorrem livres em (x)).
Observacao 2.1 Se s
i

def
x :
i
(x) e legitimado (i = 1, . . . , n), entao
(x
1
) (x
n
)(x
1
, . . . , x
n
) implica (s
1
, . . . , s
n
), onde (s
1
, . . . , s
n
) e a ex-
pressao obtida de substituindo x
i
por s
i
(eliminando a posteriori os s
i
apli-
cando as regras de reducao denidas acima). Portanto, se s
def
x : (x) e
legitimado, entao de x y (x) deduzimos s y (z)((x)(x z (x))
(z)) e s y (s) (lembrando que devemos eliminar s para obter formulas a
partir dessas expresoes).
6
Proposicao 2.2 Suponha que s
def
x : (x) e legitimado; logo, sao demon-
straveis:
x s (x), (s = y) (x)(x s x y) e
(s = y) (x)(x y (x)).
Demonstracao: Sejam
def
(y)(x)(x y (x)) e
def
(y)((z)(z
y (z))x y), isto e, e x x : (x); logo, implica implica (x).
Por outro lado, (x)(x y (x)) implica x y, e entao (x) implica .
Para provar a segunda equivalencia, considere (z, y)
def
(z = y) (x)(x
z x y). Por [A1] vale (z)(z, y) e entao, pela Observacao 2.1 obtemos
(s, y), i.e., (s = y) (x)(x s x y). A ultima armacao e uma con-
seq uencia das duas primeiras.
Desta maneira, se s
def
x : (x) e t
def
x : (x) sao legitimados,
entao, para provar (s = t), basta provar (x) (x).
Axioma do Conjunto Vazio:
[VZ] (y)(x)(x , y)
Este axioma e redundante, pois pode ser deduzido de [A2]: considere (x)
def
(x ,= x); como (x y (x a x ,= x)) (x , y (x , a x = x)) (x ,
y (x = x)) x , y, entao o axioma [VZ] se segue por [A2]. Assim, o termo
x : x ,= x, que sera denotado , e legitimado em ZF. Note que (s = ) sse
(x)(x), se s
def
x : (x).
Corolario 2.3 [A1], [A2] x , .
Demonstracao: Pela Proposicao 2.2,
(y)(x)(x y x ,= x) (x x ,= x)
(note que o antecedente desta implicacao expressa que
def
x : x ,= x e
legitimado). Logo, [V Z] (x x ,= x), donde [A1], [A2] x , .
Axioma do Par:
[PR] (y)(x)(x y ((x = a) (x = b)))
Este axioma arma que existe o conjunto com a e b como unicos membros,
legitimando o termo x : (x = a) (x = b), que sera denotado a, b (note
que o nome do termo depende de a e b). Em funcao da hierarquia cumulativa,
o par a, b pode ser formado em qualquer estagio depois que a e b foram
formados; logo, nao tem ultimo estagio. O conjunto a, a sera denotado a,
sendo que contem a como unico elemento. Este axioma e redundante, como
provaremos depois na Proposicao 11.2. O axioma [PR] permitira formar, junto
com o axioma [RF] da reuniao nita a ser introduzido a seguir, os conjuntos
nitos da forma a
1
, . . . , a
n
.
7
Corolario 2.4 (a) [A1], [A2], [PR] x a, b (x = a) (x = b).
(b) [A1], [A2], [PR] x a x = a.
Adotemos a notacao x y e x y para indicar as formulas
(z)(z x z y) e (x y) (x ,= y),
respectivamente.

E claro que s t (x)((x) (x)) se s
def
x : (x)
e t
def
x : (x) sao legitimados.
Axioma da Reuniao Finita:
[RF] (y)(x)(x y (x a x b))
Aqui estabelecemos que a b
def
x : (x a) (x b) e legitimado. Este
axioma sera redundante na presenca dos outros axiomas, como provaremos na
Proposicao 3.2. Por outro lado, ab
def
x : (x a) (x b) e legitimado,
por [A2]. Logo, podemos provar o seguinte:
Proposicao 2.5 (a b) c = (a c) (b c), e (a b) c = (a c) (b c).
Demonstracao: x (ab) c sse x (ab) x c sse (x ax b) x c
sse (x ax c)(x bx c) see (x ac)(x bc) sse x (ac)(bc).
A outra armacao e provada analogamente.
Por [A2], a b
def
x : (x a) (x , b) e legitimado.
Proposicao 2.6 a (a b) = a b.
Demonstracao: x a(ab) sse x ax , (ab) sse x a(x ax b)
see x a (x , a x , b) sse (x a x , a) (x a x , b) see x a x , b
see x a b.
Exerccios 2.7 Provar na TC obtida ate agora o seguinte:
(1) x x; (x y y x) (x = y); (x y y z) (x z).
(2) x; (x ) (x = ).
(3) (x x); (x y) (y x).
(4) a b e a b sao legitimados.
(5) ab = ba; (ab)c = a(bc); a = ; ab a; (a b) (ab = a).
(6) (a b) (a b = b); a = a; a a b.
(7) a (a b) = a b; (a b) b = a b; (a b) b = a b; a (b c) =
(a b) (a c); a (b c) = (a b) (a c); (a b) (a b = ).
(8) Obter o paradoxo de Russell a partir de (y)(x)(x y).
(9) Opinar sobre a verdade ou falsidade das seguintes armacoes:
(9.1) O termo x : x = x nao pode ser legitimado.
(9.2) (x) x x : (x).
(9.3) x : x y = y.
(9.4) (x)((x) (x)) (x : (x) x : (x)).
(9.5) (x)((x) (x)) (x : (x) = x : (x)).
8
(10) Sejam s
def
x : (x) e t
def
x : (x) legitimados. Entao
s t (w)((x)(x w (x)) (w)).
(11) x a x a.
Observacao 2.8 A partir das expressoes obtidas na Proposicao 2.2 e no E-
xerccio 2.7 (10), vemos que podemos iterar os termos x : , uma vez que
eles sao legitimados. Assim, se os (meta)termos
s
i

def
x :
i
(x) (i = 1, . . . , n) e x : (x, x
1
, . . . , x
n
, z
1
, . . . , z
k
)
sao legitimados entao, usando a Proposicao 2.2, x : (x, z
1
, . . . , z
k
) e legi-
timado, onde e obtida de substituindo x
i
por s
i
e , a posteriori, (w s
i
),
(s
i
w), (s
i
= w), (s
i
s
j
) e (s
i
= s
j
) pela expressao correspondente (w
e uma variavel que ocorre livre ou limitada em ). Por exemplo, os termos
ab
def
x : x ax b e s
def
a x : x = a sao legitimados, logo
a b e legitimado, obtido como x : x s x b x : x = a x b.
Se, por outro lado, queremos formar s
1
s
2
, onde s
i

def
x :
i
(x) sao
legitimados (i = 1, 2) entao teremos t
1

def
s
1
x : x = s
1
x :
(y)(y x
1
(x), logo t
1
s
2

def
x : x t
1
x s
2
x : (y)(y
x
1
(x))
2
(x).

E nesse sentido que devemos entender, por exemplo, o
(meta)termo (a b) c
def
x : x (a b) x c x : (x a x
b) x c na Proposicao 2.5.
3 Axiomas Adicionais
Nesta secao deniremos tres axiomas adicionais da TC dada por ZF.
Axioma das Partes:
[A3] (y)(x)(x y (z)(z x z a))
Este axioma garante en ZF que o conjunto x : x a pode ser formado,
uma vez que a foi formado. A notacao utilizada para este (meta)termo sera
T(a). Como todo subconjunto de a sera formado ao menos no nvel de a, entao
T(a) aparecera so no nvel seguinte. Logo, este axioma e verdadeiro na teoria
cumulativa de tipos, assumindo que nao existe um maximo nvel.
Proposicao 3.1 (1) a T(a); T(a) na TC introduzida ate agora.
(2) Se s
def
x : (x) e t
def
x : (x) sao legitimados em ZF, entao
s T(t) sse s t sse (x)((x) (x)); em particular, s T(s) e T(s).
(3) ZF T() = .
(4) ZF T(T()) = , .
(5) ZF a b T(a) T(b).
(6) ZF T(a) T(b) T(a b).
(7) ZF T(a b) = T(a) T(b).
(8) ZF T(a b) (T(a) T(b)) .
9
Demonstracao: (1) a T(a) sse a a. Pelo Exerccio 2.7 (10),
T(a) (w)((x)(x w x ,= x) (x)(x w x a)).
Logo, T(a) (w)((x)(x , w) (x)(x w x a). Mas (x)(x , w)
implica (x)(x w x a); portanto, pelo axioma do conjunto vazio obtemos
T(a).
(2) Basta considerar (x, y)
def
(x T(y) x y) e usar a Observacao 2.1.
(3) T() = x : (y)(y x y ,= y) = x : x = = (= y : (z)(z ,
y)).
(4) Por (3) temos que (y T()) (z)(z , y). Assim,
T(T()) = x : (y)(y x (z)(z , y))

def
x : (x).
Por outro lado,
, = x : x = x =
= x : (y)(y , x) (y)(y x (z)(z , y))

def
x : (x).
Devemos provar entao a equivalencia de (x) e (x), as formulas que denem os
meta-termos T(T()) e , , respectivamente. Partindo de (x), se assum-
imos (x)
def
(y)(y x) entao obtemos (x), pois (x) ((x) (x)).
Assumindo (x) entao tambem obtemos (x), porque nesse caso x = , e
T(s) para todo s legitimado, por (2). Assim,
(x), (x = ) (x ,= ) implica ,
portanto (x) implica (x), pelo Princpio do Terceiro Excludo. Analogamente
(analisando os casos em que x = ou x ,= ) provamos que (x) implica (x).
(5) Suponha que a b, e seja x T(a). Se y x entao y a, logo y b. Assim
y x implica y b, donde x T(b), isto e, T(a) T(b). Reciprocamente,
suponha que T(a) T(b). Como a T(a), entao a T(b), donde a b.
(6), (7) e (8): Sao deixados como exerccio.
Axioma da Reuniao:
[A4] (y)(x)(x y (z)((x z) (z a))
Este axioma legitima em ZF o meta-termo
_
a
def
x : (z)((x z) (z a)),
denindo a reuniao da colecao de conjuntos a; os elementos de

a sao exata-
mente os elementos dos elementos de a. Como os elementos dos elementos de
a ocorrem em nveis anteriores ao de a, entao

a ocorre no nvel de a (e pos-

sivelmente no nvel anterior). Isto e valido na estrutura cumulativa de tipos.
10
Observe que, pelo axioma do par, existe a, b; logo, pelo axioma da reuniao,
existe

a, b.

E facil provar que este conjunto e exatamente a b. Vemos
assim que o axioma da reuniao nita resulta agora redundante.
Proposicao 3.2 (1) [A1], [PR], [A4]

a, b = a b. Portanto, o axioma
[RF] e deduzido dos outros axiomas introduzidos ate agora.
(2) Se s
def
x : (x) e t
def
x : (x) sao legitimados entao
_
s, t = s t = x : (x) (x).
Demonstracao: (1) Por denicao,

a, b = x : (z)(z a, b x z)
= x : (z)((z = a z = b) x z)
= x : (z)((z = a x z) (z = b x z))
= x : x a x b
= a b.
(2) Considere (a, b)
def
(x)(x

a, b x a b) (lembrando que
devemos eliminar os meta-termos para obter uma formula). Por (1) temos
(a)(b)(a, b) e entao, pela Observacao 2.1, deduzimos (s, t), pois s e t sao
legitimados.
Observe que, por [A2], sempre podemos denir a intersecao de uma familia nao
vazia de conjuntos:
Proposicao 3.3 [A2], (x)(x a) (w)(x)(x w (y)(y a x y)).
Em outras palavras, se a ,= , entao

a
def
x : (y)(y a x y) e
legitimado.
Demonstracao: Por [A2] temos que existe s = x : x b (y)(y
a x y). Mas b a e (y)(y a x y) implicam que x b, logo
s = x : (y)(y a x y).
Provaremos algumas propriedades basicas da intersecao e a reuniao arbitraria
de conjuntos. Antes disso, precissamos ampliar a nossa notacao permitindo
(meta)termos da forma t : , onde t e um (meta)termo da forma x : .
Denimos t : como sendo x : (u
1
) (u
n
)((x = t) ) onde u
1
,
. . . , u
n
sao algumas das variaveis livres comuns a t e (no contexto cara
claro quais variaveis serao livres, funcionando como parametros). Por exemplo,
podemos formar o termo s
def
a c : c b, com variaveis livres a e b,
a partir do termo t
def
a c (com variaveis livres a e c). Logo, s denota o
termo x : (c)((x = a c) c b); aqui, c e b sao as variaveis livres de
(c, b)
def
c b.

E imediato que se t e legitimado, entao implica t t : .
Proposicao 3.4 Na TC introduzida ate agora temos o seguinte:
(1)

= .
(2)

a = a.
(3) Se s
def
x : (x) e legitimado, entao

s = s; em particular,

=
.
11
(4)

(a b) = (

a) (

b).
(5)

a, b = a b.
(6) Se s
def
x : (x) e t
def
x : (x) sao legitimados, entao

s, t =
s t.
(7) Se a ,= e b ,= , entao existe

(a b), e

(a b) = (

a) (

b).
(8) Se a ,= , entao

a

a.
(9) a (

b) =

a c : c b.
(10) Se b ,= , entao existe

a c : c b, e a (

b) =

a c : c b.
Demonstracao: (1) x

sse (z)(x z z ) see (z)(x z z ,= z)

sse (z)(z ,= z). Logo, x ,

para todo x.
(2) x

a sse (z)(x z z a) sse (z)(x z z = a) sse x a.

(3)

E conseq uencia de (2), considerando (a)
def
(x)(x

a x a), a
Observacao 2.1, e o fato de s ser legitimado.
(4) x

(a b) sse (z)(x z z a b) sse (z)(x z (z a z b)) sse

(z)((x zz a)(x zz b)) sse (z)(x zz a)(z)(x zz b)
sse x (

a) (

b) (lembre que (z)((z) (z)) (z)(z) (z)(z)).

(5) x

a, b sse (y)(y a, b x y) sse (y)((y = a y = b) x y)

sse (y)((y = a x y)(y = b x y)) sse (y)(y = a x y)(y)(y =
b x y) sse x a x b sse x a b (lembre que (y)((y) (y))
(y)(y) (y)(y)).
(6) Considere (a, b)
def
(x)(x

a, b x x a b). Por (5),
vale (a)(b)(a, b), donde deduzimos (s, t) para s e t legitimados, pela Ob-
servacao 2.1.
(7) A prova e similar `a do item (5).
(8)

E imediato.
(9) x

a c : c b sse (z)(x z (c)(z = (a c) c b) sse (c)(x

(a c) c b) sse (c)((x a (x c c b)) sse x a (c)(x c c b)
sse x a (

b) (lembre que (c)((c)) (c)(c) se c nao ocorre livre

em ).
(10) x a(

b) sse x a(c)(c b x c). Por outro lado, x

ac :
c b sse (y)(y a c : c b x y).
Seja x a (

b) e y a c : c b; logo, existe c

b tal que y = a c

.
Se x a, entao x (a c

) = y. Se (c)(c b x c), entao, tomando c

no lugar de c, obtemos x c

e entao x y. Em todo caso, provamos que

x a (

b) implica y a c : c b x y, donde x a (

b)
implica x

a c : c b. Reciprocamente, seja x

a c : c b, e
c b. Como a c a c : c b, entao x a c, donde x a x c.
Desta maneira, x

a c : c b implica c b (x a x c) e
entao x a (c b x c). Portanto, x

a c : c b implica
(c)(x a (c b x c)) que implica x a (c)(c b x c) (lembre
que (c)( (c)) (c)(c), se c nao ocorre livre em ).
Finalmente formularemos o axioma da regularidade. Este axioma, devido a Zer-
melo (1930) (existe uma versao previa de von Neumann em 1925) e fundamental
12
para evitar situacoes da forma x x ou, em geral,
x
1
x
2
x
n
x
1
.
Alem disso, este axioma evita descensos innitos da forma
x
n
x
n1
x
2
x
1
(isto signica que a relacao x y e bem fundada, como estudaremos depois).
Axioma da Regularidade:
[A5] (y)(y x) (y)(y x (z)(z x z y))
Este e o unico axioma expressando a ideia que os conjuntos ocorrem en nveis
ou tipos, e e precisso utilizar a teoria cumulativa de tipos para entende-lo. Com
efeito, consideremos um conjunto x nao vazio. Comecemos a analizar os nveis
de baixo para cima, ate encontrar o primeiro nvel em que foram formados
elementos de x. Por exemplo, se x = , , , entao o primeiro
nvel em que aparecem elementos de x e o nvel 2, assumindo que nao temos
indivduos. Assim se y x esta no nvel mnimo, entao os elementos de y (se
existirem) devem necessariamente ter sido criados em nveis anteriores, logo nao
podem pertencer a x, isto e: yx = (o que se conrma no nosso exemplo). Os
axiomas de extensionalidade e regularidade sao os unicos que exigem conjuntos
satisfazendo certas propriedades; os outros axiomas estabelecem a existencia de
sucientes conjuntos em alguma direcao.
Denicao 3.5 S e o sistema axiomatico da TC que consiste dos axiomas [A1]-
[A5] mais [PR].
Proposicao 3.6 (1) S a , a.
(2) S (a b b a).
Demonstracao: (1) a a implica a a a. Por [A5] existe x a tal
que a x = . Mas x a sse x = a e entao a a = , o que contradiz
a a a.
(2) Se a b b a, entao a a, b b e b a, b a. Por [A5] existe
x a, b tal que a, b x = . Mas x a, b sse x = a ou x = b. Os dois
casos levam a uma contradicao.
A partir de agora, desenvolveremos um estudo da TC obtida atraves do sis-
tema S. O sistema completo ZF da TC sera introduzido na Secao 11. Porem, e
importante observar que uma parte interessante da TC nita pode ser desen-
volvida utilizando apenas o sub-sistema S de ZF, como veremos nas proximas
secoes.
4 Produtos Cartesianos
Estamos em condicoes de comecar a desenvolver as primeiras aplicacoes do
fragmento S de ZF introducido ate agora. Antes de estudar a teoria de relacoes
13
e funcoes na proxima secao, e necessario denir o conceito de par ordenado, a
partir do qual sao introduzidos os produtos cartesianos de conjuntos.
Denicao 4.1 (Kuratowski) (i) a, b)
def
a, a, b.
(ii) a
1
, . . . , a
n+1
)
def
a
1
, . . . , a
n
), a
n+1
) para n 2.

E claro que o axioma [PR] assegura a existencia de a, b) para todo a e b. Ob-

serve que a denicao de a, b, c) como sendo a, a, b, a, b, c nao funciona
(porque?).
Proposicao 4.2 S a, b) = c, d) (a = c) (b = d).
Demonstracao: x a, b) sse x = a ou x = a, b, e x c, d) sse x = c
ou x = c, d. Suponha que a, b) = c, d); a prova de que a = c e b = d sera
feita por analise de casos.
Caso 1: a = b. Logo, a, b) = a = c, c, d e entao, pelo Corolario 2.4,
c = a = c, d donde, usando novamente o Corolario 2.4, obtemos que
c = a = d.
Caso 2: a ,= b. Dado que a c, d), entao a = c ou a = c, d (usando
o Corolario 2.4).
Caso 2.a: a = c. Logo a = c, e entao c, d) = a, a, d. Como
a, b c, d) e a, b ,= a (pelo Corolario 2.4 e a hipotese a ,= b), entao
a, b = a, d. Daqui obtemos, de a ,= b, que b = d.
Caso 2.b: a = c, d. Logo c = a = d e entao c, d) = a. Mas
a, b c, d), donde a, b = a, e entao a = b, o que contradiz a hipotese
a ,= b. Daqui inferimos que vale o caso 2.a.
Claramente, a = c, b = d implica a, b) = c, d), pelas regras da igualdade.
Uma vez que possuimos a denicao de par ordenado, podemos criar o con-
junto de todos os pares ordenados x, y), onde x a e y b, xados a e b.
Denicao 4.3 O produto cartesiano de a e b e dado por a b
def
x, y) :
x a y b.
Provaremos agora que o termo a b e legitimado.
Proposicao 4.4 a b = x : x T(T(a b)) (y)(z)(x = y, z) (y
a) (z b)). Portanto, a b e legitimado por [A2] (dado que os termos
envolvidos na denicao sao legitimados pelos outros axiomas de S).
Demonstracao: Temos que x : x T(T(a b)) (y)(z)(x = y, z) (y
a) (z b)) e legitimado por [A2]. Provaremos em S que
(y)(z)(x = y, z) (y a) (z b))
x T(T(a b)) (y)(z)(x = y, z) (y a) (z b))
e entao (dado que a implicacao recproca e sempre verdadeira) teremos provado
o resultado. Seja entao x = y, z) tal que y a, z b. Portanto, y a b
e y, z a b, donde y T(a b) e y, z T(a b). Desta maneira,
x = y, y, z T(a b) e entao x T(T(a b)).
14
Proposicao 4.5 S a b = a = b = .
Demonstracao: Suponha que a b = . Assuma que (a = b = ), isto
e, a ,= e b ,= . Logo, (y)(y a) e (z)(z b). Daqui y, z) a b, uma
contradicao. Portanto, inferimos que a = b = . Reciprocamente, suponha
que a = b = ; logo, (y)(y a) (z)(z b) e entao (y)(z)((y
a) (z b) x = y, z)) para todo x. Portanto, x , a b para todo x, donde
a b = .
Proposicao 4.6 S a b = b a (a = b = a = b).
Demonstracao: Suponha que a b = b a; assumindo a ,= , b ,= e a ,= b
provaremos uma contradicao. Com efeito, de a ,= b inferimos que existe x a,
x , b ou existe x b, x , a, por [A1]. Assumamos x a, x , b (o raciocnio
para a outra possibilidade e simetrico). Seja y b (assumimos b ,= ). Portanto,
x, y) a b = b a, e entao (x b) (y a), donde x b, uma contradicao.
Reciprocamente, suponha que (a = b = a = b). Temos que (a = b = )
implica a b = = b a, pela Proposicao 4.5. Por outro lado, a = b implica
a b = b a, pelas regras da igualdade.
Proposicao 4.7 (i) S (a ,= a b a c) (b c).
(ii) S (b c) (a b a c).
Demonstracao: (i) O caso b = e trivial. Assuma entao b ,= e seja y b.
Fixe x a (assumimos a ,= ); logo x, y) a b, e a b a c, donde
x, y) a c. Daqui (x a) (y c), e entao y c; isto e, b c.
(ii) O caso ab = e trivial. Seja z ab; logo, z = x, y) para x a e y b.
Mas b c, donde y c e entao z = x, y) a c. Portanto a b a c.
Proposicao 4.8 (i) S a (b c) = (a b) (a c).
(ii) S a (b c) = (a b) (a c).
(iii) S a (b c) = (a b) (a c).
Demonstracao: (i) x, y) a (b c) sse (x a) (y (b c)) sse (x
a) ((y b) (y c)) sse ((x a) (y b)) ((x a) (y c)) sse
(x, y) a b) (x, y) a c) sse x, y) (a b) (a c).
(ii), (iii): Sao deixados como exerccio.
Proposicao 4.9 S (a a a) a = .
Demonstracao: Se z a entao, de a a a, inferimos
z = x, x, y a a para algum x, y a. ()
Suponha entao a ,= . Pelo axioma de regularidade aplicado a a (

a) ,= ,
existe c a (

a) tal que c (a (

a)) = . Observe que os elementos de

a (

a) sao conjuntos nao vazios, por (). Daqui, c ,= . Se c a, entao

c

a (isto e uma conseq uencia imediata da denicao de

a, e e deixado
como exerccio). Daqui , = c = c (

a), o que contradiz c (a (

a)) = .
Portanto c

a donde, por (), teremos que c = x ou c = x, y para
x, y a. Nos dois casos c a ,= , uma contradicao.
15
5 Relacoes em S
Nesta secao trataremos a teoria elementar de relacoes em S, utilizando os re-
sultados sobre produtos cartesianos provados na secao anterior.
Denicao 5.1 Introduzimos as notacoes seguintes:
rel(r) para (x)(x r (y)(z)(x = y, z)))
r e uma relacao (um conjunto de pares ordenados);
u r v para u, v) r
u esta em relacao r com v;
dom(r) para x : (y)(x r y)
(o domnio de r);
im(r) para y : (x)(x r y)
(a imagem de r);
r[z para u : u r (x)(y)(u = x, y) x z)
(r com domnio restrito a z);
r
1
para u : (x)(y)(u = x, y) y r x)
(a relacao inversa de r);
rz para y : (x)(x z x r y), isto e, im(r[z)
(a imagem de z por r);
r(z) para y : (u)((w)(z r w w = u) y u)
(o unico valor de r em z, se existir, ou em caso contrario).
Proposicao 5.2 (a) (rel(r) (s r)) rel(s); em particular, rel().
(b) (rel(r) rel(s)) rel(r s) rel(r s) rel(r s).
Demonstracao: (a) z s implica z r implica z = x, y) para algum x e y;
logo, rel(s).
(b) z r s implica z r ou z s; nos dois casos, z = x, y) para algum x, y.
Os outros casos sao similares.
Proposicao 5.3 Os meta-termos da Denicao 5.1 sao legitimados.
Demonstracao: dom(r): Por [A2], existe x : x

r (y)(x r y).
Provaremos que a condicao x

r pode ser eliminada. Com efeito, suponha

que (y)(x r y). Logo x, y) r, isto e, x, x, y r. Daqui x

r e
entao x

r.
im(r): A prova e analoga `a anterior.
r[z:

E legitimado por [A2].
r
1
: Por [A2] existe u : u im(r) dom(r) (x)(y)(u = x, y) y r x).
Provaremos que a condicao u im(r)dom(r) e implicada pela outra condicao.
Seja entao u satisfazendo: (x)(y)(u = x, y) y r x). Logo, u = x, y) tal
que y r x, donde y dom(r) e x im(r), e entao u = x, y) im(r) dom(r).
rz: Temos que rz = im(r[z), sendo portanto legitimado.
r(z): Por [A2], existe y : y

im(r) (u)((w)(z r w w = u) y u).

Como antes, veremos que a condicao de separacao y

im(r) e redundante.
Com efeito, suponha que y satisfaz (u)((w)(z r w w = u) y u), e seja
16
u satisfazendo (w)(z r w w = u) y u. Tomando w = u obtemos que z
r u, donde u im(r). Mas y u, portanto y

im(r).
Proposicao 5.4 (a) dom(r s) = dom(r) dom(s).
(b) dom(r s) dom(r) dom(s).
(c) dom(r) dom(s) dom(r s).
(d) im(r s) = im(r) im(s).
(e) im(r s) im(r) im(s).
(f ) im(r) im(s) im(r s).
Demonstracao: (a) Temos que x dom(r s) sse (y)(x (r s) y) sse (y)((x
r y) (x s y)) sse (y)(x r y) (y)(x s y) sse x dom(r) x dom(s) sse
x dom(r) dom(s).
(b)-(f): As provas sao analogas, e sao deixadas como exerccio.
Com relacao a r
1
temos as seguintes propriedades:
Proposicao 5.5 (a) (r
1
)
1
r; rel(r) r (r
1
)
1
.
(b) (r s)
1
= r
1
s
1
.
(c) (r s)
1
= r
1
s
1
.
(d) (r s)
1
= r
1
s
1
.
Demonstracao: (a) z (r
1
)
1
implica que z = x, y) tal que x (r
1
)
1
y. Mas x (r
1
)
1
y implica y r
1
x implica x r y, isto e, z = x, y) r.
Reciprocamente, se rel(r), seja z r; entao z = x, y) tal que x r y, e a prova
e como acima, revertendo as implicacoes.
(b) x, y) (r s)
1
sse y, x) r s sse (y, x) r) (y, x) s) sse
x, y) r
1
x, y) s
1
see x, y) r
1
s
1
.
(c) Analoga `a prova anterior.
(d) x, y) (r s)
1
sse y, x) r s sse (y, x) r) (y, x) , s) sse
x, y) r
1
x, y) , s
1
see x, y) r
1
s
1
.
Denicao 5.6 A composicao de r e s e denida como
r s
def
x, y) : (z)((x r z) (z s y)).
Proposicao 5.7 r s e legitimado em S.
Demonstracao: Provaremos que
rs = u : u dom(r)im(s)(x)(y)(z)((u = x, y))(x r z)(z s y)),
donde o resultado segue por [A2]. Assim, suponha que u = x, y) tal que x
r z, z s y para algum z. Logo x dom(r) e y im(s), donde u = x, y)
dom(r) im(s).
A composicao satisfaz as seguintes propriedades:
17
Proposicao 5.8 (a) r (s t) = (r s) (r t).
(b) r (s t) (r s) (r t).
(c) (r s) (r t) r (s t).
(d) (r s)
1
= s
1
r
1
.
(e) r (s t) = (r s) t
Demonstracao: (a) Temos que
x (r (s t)) y
see (z)((x r z) (z (s t) y))
see (z)((x r z) ((z s y) (z t y)))
see (z)(((x r z) (z s y)) ((x r z) (z t y)))
see (z)((x r z) (z s y)) (z)((x r z) (z t y))
see (x (r s) y) (x (r t) y)
see x ((r s) (r t)) y.
(b) Temos que
x (r (s t)) y
implica (z)((x r z) (z (s t) y))
implica (z)((x r z) ((z s y) (z t y)))
implica (z)(((x r z) (z s y)) ((x r z) (z t y)))
implica (z)((x r z) (z s y)) (z)((x r z) (z t y))
implica (x (r s) y) (x (r t) y)
implica x ((r s) (r t)) y,
lembrando que (z)( ) ((z) (z)). A recproca desta propriedade
logica nao e verdadeira em geral, donde nao vale em geral a igualdade em (b).
(c) A prova e analoga `a anterior.
(d) x (r s)
1
y sse y (r s) x sse (z)((y r z) (z s x)) sse (z)((z r
1
y) (x
s
1
z)) sse x (s
1
r
1
) y.
(e)

E deixada como exerccio.
A restricao satisfaz as seguintes propriedades:
Proposicao 5.9 (a) r[z = r (z im(r)).
(b) r[(a b) = (r[a) (r[b).
(c) r[(a b) = (r[a) (r[b).
(d) r[(a b) = (r[a) (r[b).
(e) (r s)[a = (r[a) s.
Demonstracao: Exerccio.
Finalmente, a imagem rz satisfaz as seguintes propriedades:
Proposicao 5.10 (a) r(a b) = ra rb.
(b) r(a b) ra rb.
18
(c) ra rb r(a b).
(d) (a b) (ra rb).
(e) (ra = ) (dom(r) a = ).
Demonstracao: (a) Temos que
y r(a b)
sse (x)((x r y) (x a b))
sse (x)((x r y) (x a)) (x)((x r y) (x b))
sse (y ra) (y rb)
sse y (ra rb).
(b) A prova e analoga, usando agora (x)( ) ((x) (x)).
(c) Analoga `a anterior.
(d) y ra implica (x)((x r y) (x a)) implica (x)((x r y) (x b))
implica y rb.
(e) y ra implica (x)((x r y) (x a)). Portanto, se (x r y) (x a), entao
x dom(r) a. Isto e, ra ,= implica dom(r) a ,= . Reciprocamente, se
x dom(r)a, entao x r y para algum y, e x a, donde (x)((x r y)(x a)).
Portanto y ra, isto e: dom(r) a ,= implica ra ,= .
Exemplo 5.11 Assumindo os n umeros naturais como indivduos, sejam
r = 1, 2), 1, 3), 2, 1), 2, 3), s = 2, 1), 3, 5).
Portanto,
dom(r) = 1, 2, im(r) = 1, 2, 3,
r(1) = 2, 3, r(3) = ,
s
1
= 1, 2), 5, 3), r s = 1, 1), 1, 5), 2, 5),
s r = 2, 2), 2, 3), r[2 = 2, 1), 2, 3),
im(r[2) = 1, 3 = r2, (r
1
)3 = 1, 2.
6 Relacoes de Ordem
Um tipo muito importante de relacoes e a classe das relacoes de ordem. Elas
ocorrem em quase todas as areas da matematica, sendo que o seu estudo cons-
titui, em si, uma area relevante dentro da Matematica.
Denicao 6.1 Introduzimos as notacoes seguintes:
ref(r, a) para (x)(x a (x r x))
(r e reexiva em a);
irr(r, a) para (x)(x a (x r x))
(r e irreexiva em a);
sim(r, a) para (x)(y)(((x a) (y a) (x r y)) (y r x))
(r e simetrica em a);
asim(r, a) para (x)(y)(((x a) (y a) (x r y)) (y r x))
(r e asimetrica em a);
19
anti(r, a) para (x)(y)(((x a) (y a) (x r y) (y r x)) (x = y));
(r e antisimetrica em a);
tran(r, a) para
(x)(y)(z)(((x a) (y a) (z a) (x r y) (y r z)) (x r z))
(r e transitiva em a);
con(r, a) para (x)(y)(((x a) (y a) (x ,= y)) ((x r y) (y r x)))
(r e conectada em a);
fcon(r, a) para (x)(y)(((x a) (y a)) ((x r y) (y r x)))
(r e fortemente conectada em a).
As denicoes usuais (r e reexiva, r e simetrica, etc.) sao obtidas considerando
a = dom(r)im(r)
def
F(r); assim, ref(r) denota ref(r, F(r)), sim(r) denota
sim(r, F(r)), etc. Sera muito util denir a relacao identidade sobre um conjunto
a, dada pelo termo I(a) = x, x) : x a.
Proposicao 6.2 O termo I(a) e legitimado em S.
Demonstracao: O termo s
def
z : z TT(a) (x)(z = x, x) (x a))
e legitimado por [A2]. Basta entao provar que (x)(z = x, x)(x a)) implica
z TT(a). Com efeito, z = x, x) implica z = x. Por outro lado, x a
implica x T(a), portanto z T(a), isto e, z TT(a). Logo I(a) = s,
sendo portanto legitimado.
Proposicao 6.3 Seja r uma relacao. As seguintes propriedades sao demons-
traveis em S:
(a) asim(r) irr(r).
(b) asim(r) anti(r).
(c) (sim(r) tran(r)) ref(r).
Demonstracao: (a) Seja x F(r); como r e asimetrica, entao (x r x) implica
(x r x), donde obtemos (x r x).
(b) Sejam x, y F(r) tais que (x r y)(y r x). Logo, obtemos (y r x), pois r e
asimetrica, donde deduzimos uma contradicao. Portanto (x, y F(r))asim(r)
implica ((x r y) (y r x)), e a posteriori ((x r y) (y r x)) (x = y), isto
e, ((x r y) (y r x)) (x = y).
(c) Suponha que x F(r). Se x dom(r), entao x r y para algum y F(r).
Como sim(r), entao y r x, donde (x r y)(y r x). Portanto x r x, pois tran(r).
Por outro lado, se x im(r), entao y r x para algum y F(r), e a prova e
analoga.
Podemos denir cinco tipos de ordens:
Denicao 6.4 Sejam r uma relacao e a um conjunto. Denimos o seguinte:
(a) qo(r, a) denota ref(r, a) tran(r, a) (r e uma quase ordem em a).
(b) op(r, a) denota ref(r, a) anti(r, a) tran(r, a) (r e uma ordem parcial em
a).
(c) os(r, a) denota anti(r, a) tran(r, a) fcon(r, a) (r e uma ordem simples
em a).
20
(d) ope(r, a) denota asim(r, a) tran(r, a) (r e uma ordem parcial estrita em
a).
(e) ose(r, a) denota asim(r, a) tran(r, a) con(r, a) (r e uma ordem simples
estrita em a).
(f ) qo(r) denota qo(r, F(r)), etc.
Se r satisfaz alguma das denicoes de ordem introduzidas na Denicao 6.4,
entao escreveremos x y ou ainda x < y (se r e irreexiva) no lugar de x r y,
quando nao existir risco de confusao.
Exemplos 6.5 (1) Dado um conjunto b, entao a = T(b) e parcialmente orde-
nado pela relacao x y sse x y b. Com efeito, e parcial, pois nem todo
par de subconjuntos x, y de b deve ser necessariamente comparavel pela relacao
de inclusao.
(2) O conjunto N dos n umeros naturais e ordenado pela relacao: n m sse n[m
(n divide a m). Com efeito, n n para todo n, pois n = 1.n, donde n[n. Por
outro lado, n[m e m[n signica: existem k, h em N tais que m = kn, n = hm,
portanto m = k(hm) = (kh)m. Se m = 0, entao n = h.0 = 0 = m. Se m ,= 0,
entao de m = (kh)m inferimos 1 = kh, e entao k = 1 = h, donde n = m.
Finalmente, se n m e m r, entao m = kn e r = hm para certos k, h N.
Portanto r = hm = h(kn) = (hk)n para hk N donde n[r, isto e, n r.
Observe que 1[n para todo n, pois n = n.1; logo 1 n para todo n, isto e, 1 e
o mnimo elemento de N com a ordem divide a. Por outro lado, 0 = 0.n para
todo n, e entao n[0 para todo n, isto e, n 0 para todo n. Daqui 0 e o maximo
elemento de N com a ordem divide a. Observe que a ordem nao e conectada:
2 , 3 e 3 , 2, pois 2 e 3 sao co-primos. Os n umeros primos positivos sao
os elementos minimais, isto e, se n p e p e primo, entao n = 1 (o mnimo
elemento com relacao a ) ou n = p. Reciprocamente, se p e minimal, entao
p deve ser necessariamente primo.
Proposicao 6.6 Em S temos o seguinte:
(a) op(r) qo(r).
(b) os(r) op(r).
(c) os(r) os(r
1
).
(d) qo(r) qo(s) qo(r s).
Demonstracao: (a) Imediato das denicoes.
(b) So falta provar a reexividade da r. Mas x F(r) implica ((x r x) (x r
x)), isto e, x r x, pois fcon(r).
(c)

E claro que tran(r) tran(r
1
). Com efeito, ((x r
1
y)(y r
1
z)) implica
((y r x) (z r y)) implica z r x (pois tran(r)) implica x r
1
z. Da mesma
maneira provamos que anti(r) anti(r
1
) e fcon(r) fcon(r
1
).
(d) Seja x F(r s), logo x F(r) F(s), donde ((x r x) (x s x)), pois
ref(r) ref(s). Portanto x (r s) x, isto e, ref(r s). Suponha agora que ((x
(r s) y) (y (r s) z)). Daqui obtemos ((x r y) (y r z)), donde x r z, pois
tran(r). Analogamente x s z, e entao x (r s) z; isto e, tran(r s).
21
Observe que a reuniao de duas quase-ordens nao resulta necessariamente numa
quase-ordem. Por exemplo
r = 1, 1), 2, 2), 1, 2), s = 2, 2), 3, 3), 2, 3)
sao duas quase-ordens, mas a uniao, embora reexiva, nao e transitiva. A
situacao muda se F(r) F(s) = .
Proposicao 6.7 S (qo(r) qo(s) (F(r) F(s) = )) qo(r s).
Demonstracao:

E claro que r s e reexiva. Suponha que ((x (r s) y) (y
(r s) z)). Como F(r) F(s) = , entao so vale uma das seguintes armacoes:
((x r y) (y r z)), ((x s y) (y s z)).
Nos dois casos, obtemos x (r s) z, pois tran(r) tran(s).
Proposicao 6.8 S ((r s) (s (aa)) ose(r, a) ose(s, a)) (r = s).
Demonstracao: Suponha que x s y mas (x r y). Como asim(s), entao
x ,= y, donde y r x, pois con(r, a). Portanto y s x, pois r s, o que contradiz
asim(s).
O signicado da proposicao precedente e o seguinte: uma ordem simples estrita
em a ordena todos os elementos de a numa ordem estrita, isto e: x ,< x para
todo x a. Portanto, se r, s sao duas ordens estritas simples em a tal que s
estende r, entao elas devem necessariamente coincidir, pois r ja ordenou todos
os elementos de a.
Introduziremos agora a importante nocao de boa ordem. Uma boa ordem
em a e uma ordem simples estrita r tal que todo subconjunto nao vazio de a
tem um elemento mnimo segundo r. De fato, a conectividade de r implicara a
transitividade e asimetria de r. Antes da denicao, analizaremos alguns exem-
plos.
Exemplos 6.9 (a) O conjunto N dos n umeros naturais e bem ordenado pela
relacao < usual (menor que). De fato, , = A N possui um elemento mnimo.
(b) N nao e bem ordenado pela ordem simples estrita > (maior que). Com
efeito, , = A N tem elemento mnimo com relacao a > signica que existe
n A tal que n > m para todo m A. Em particular, o proprio N deveria ter
um primeiro elemento relativo a >, isto e, deveria existir n N tal que n > m
para todo m N; mas isto nao e verdade (n ,> n + 1).
(c) Considere A = (n 1)/n : n N n ,= 0 1 ordenado pela relacao
< usual (em Q, o conjunto dos n umeros racionais). Logo, A e bem ordenado.
Com efeito,
(n 1)/n < (m1)/m sse m(n 1) < n(m1) sse
mn m < nmn sse m < n sse n < m.
22
Portanto, ,= B A tem primeiro elemento (n 1)/n, onde n e o mnimo m
tal que (m1)/m B. Se B = 1, entao claramente 1 e o primeiro elemento
de B.
(d) Seja A como no item (c). Logo, > (a ordem maior que de Q) nao e uma
boa ordem em A, pois B = A 1 nao tem primeiro elemento. Com efeito,
se x = (n 1)/n fosse mnimo, entao (n 1)/n > n/(n + 1) donde n > n + 1,
uma contradicao.
Denicao 6.10 Denimos o seguinte:
(a) min(x, r, a) denota x a (y)(y a (y r x)) (x e um elemento
r-minimal de a).
(b) pe(x, r, a) denota x a (y)((y a x ,= y) x r y) (x e um r-primeiro
elemento de a).
(c) bo(r, a) denota con(r, a) (b)((b a b ,= ) (x)min(x, r, b)) (r e uma
boa ordem em a).
Observacao 6.11 Um elemento minimal nao tem antecessores, enquanto que
um primeiro elemento precede todo outro elemento diferente dele mesmo. Se r
e asimetrica, entao todo primeiro elemento e minimal. Com efeito, seja x a
primeiro elemento de r. Se y a, entao (y r x) se y = x, pois r e irreexiva.
Se y ,= x, entao x r y, pois x e primeiro elemento. Logo (y r x), pois r e
asimetrica, e entao x e minimal. Observe que r = 1, 1) em a = 1 tem
trivialmente 1 como primeiro elemento, mas 1 nao e minimal, pois 1 r 1; vemos
que a hipotese de asimetria e fundamental. A recproca nao vale em geral: 1
e minimal em r = 1, 2) sobre a = 1, 2, 3, mas 1 nao e primeiro elemento,
pois (1 r 3). Se r e conectada e asimetrica, as duas nocoes coincidem. Com
efeito, se x e minimal e y ,= x, entao (y r x), pois x e minimal. Mas r e
conectada, portanto x r y. Daqui x e primeiro elemento.
Proposicao 6.12 S bo(r, a) (asim(r, a) tran(r, a)).
Demonstracao: Sejam x, y a tais que x r y, y r x. Logo, x, y nao tem
elemento minimal. Com efeito, y nao e minimal, pois x r y. Analogamente,
y r x implica que x nao e minimal; isto contraria o fato de r ser uma boa
ordem. Portanto, r deve ser asimetrica. Sejam agora x, y, z a tais que x r
y, y r z, (x r z). Como r e asimetrica, entao x ,= z. Logo, z r x, pois r e
conectada. Mas entao x, y, z nao tem elemento minimal: x r y implica que y
nao e minimal; y r z implica que z nao e minimal. Finalmente, z r x implica
que x nao pode ser minimal. Daqui, inferimos que r e transitiva.
Proposicao 6.13
(a) bo(r, a) (asim(r, a) con(r, a) (b)(b ,= b a (x)pe(x, r, b))).
(b) bo(r, a) a ,= (!x)pe(x, r, a). Aqui, a notacao (!x)(x) indica:
(x)((x) (y)((y) (y = x))) (existe um unico x tal que (x)).
(c) bo(r, a) b a bo(r, b).
23
Demonstracao: (a) Assuma bo(r, a); pela Proposicao 6.12, obtemos asim(r, a).
Claro que con(r, a), pela denicao de boa ordem. Se , = b a, entao existe
x b tal que min(x, r, b). Pela Observacao 6.11, pe(x, r, b). Reciprocamente,
suponha que (b)(b ,= b a (x)pe(x, r, b)), asim(r, a) e con(r, a). Logo,
con(r, a). Dado , = b a, seja x b tal que pe(x, r, b). Pela Observacao 6.11
obtemos min(x, r, b), pois asim(r, a).
(b) Se , = a, entao, de a a, obtemos (x)pe(x, r, a), pelo item (a). Sejam
x, y a tais que pe(x, r, a), pe(y, r, a). Se x ,= y, entao x r y, y r x. Mas
asim(r, a), pela Proposicao 6.12. Logo x = y.
(c) Suponha que bo(r, a) e b a.

E claro que con(r, b). Se ,= c b, entao
, = c a, donde min(x, r, c) para algum x c. Portanto bo(r, b).
Denicao 6.14 si(y, x, r) denota (x r y) (z)((x r z) (z = y (y r z)))
(y e um r-sucessor imediato de x).
ue(x, r, a) denota (x a) (y)(((y a) y ,= x) y r x) (x e um r- ultimo
elemento de a).
Proposicao 6.15 S pe(x, r, a) ue(x, r
1
, a).
Demonstracao: Imediata.
Proposicao 6.16 S (bo(r, a) (F(r) a) (x a) ue(x, r, a))
(!y)si(y, x, r).
Demonstracao: Por [A2] podemos formar b = y : y F(r)(x r y). Dado
que F(r) a, entao obtemos que b = y : x r y a. Pela Proposicao 6.13(c),
temos que bo(r, b). Como x nao e um ultimo r-elemento de a, entao b ,= .
Portanto, existe um unico r-primeiro elemento y de b, pela Proposicao 6.13(b).
Temos que x r y, pois y b. Por outro lado, se (x r z) e z ,= y, entao y r z, pela
denicao de b e a denicao de primeiro elemento. Portanto, y e um r-sucessor
imediato de x. Por outro lado, z e um r-sucessor imediato de x sse z e um
primeiro elemento de b. Portanto, y e unico.
7 Relacoes de Equivalencia
As relacoes de equivalencia sao utilizadas com frequencia na Matematica. Sao
relacoes reexivas, simetricas e transitivas. Dois exemplos basicos sao a relacao
de identidade e a relacao de paralelismo entre retas. Como veremos depois,
uma relacao de equivalencia num conjunto a classica os seus elementos de
acordo com algum criterio. Esta e uma ferramenta muito util nas construcoes
matematicas, pois permite simplicar os domnios, analizando as classes dos
objetos no lugar dos proprios objetos. Os objetos pertencentes a uma mesma
classe sao considerados identicos.
Denicao 7.1 equiv(r) denota rel(r) ref(r) sim(r) tran(r) (r e uma
relacao de equivalencia).
equiv(r, a) denota a = F(r) equiv(r) (r e uma relacao de equivalencia em
a).
24
Proposicao 7.2 (a) S equiv(r) (r r
1
= r).
(b) S qo(r) equiv(r
1
r).
Demonstracao: (a) Se x (r r
1
) y entao existe z tal que x r z, z r
1
y.
Daqui obtemos y r z e entao z r y, pois sim(r), donde x r y, pois tran(r). Isto
e, rr
1
r. Por outro lado, x r y implica (x r y)(y r
1
y), donde x (rr
1
)
y. Portanto r = r r
1
.
(b)

E imediato que r
1
r = x, y) : (x r y) (y r x). Daqui o resultado e
trivial.
Denicao 7.3 r[x] = y : x r y.
Dado que r[x] = y : y F(r) (x r y), entao r[x] e legitimado.

E imediato
que r[x] = rx. A notacao usual em Matematicas para r[x] e simplesmente
[x], isto e, r e subentendida.
Proposicao 7.4 S (x, y F(r) equiv(r)) (r[x] = r[y] (x r y)).
Demonstracao: Assuma r[x] = r[y], isto e, (x r z) (y r z). Como y r y,
entao x r y. Suponha agora x r y, e seja z tal que x r z. De sim(r) obtemos
y r x, e entao inferimos: (y r x), (x r z) implica y r z, pois tran(r). De x r y
provamos analogamente (y r z) (x r z). Isto e, r[x] = r[y].
Proposicao 7.5 S equiv(r) (r[x] = r[y] (r[x] r[y] = )).
Demonstracao: Suponha que r[x] ,= r[y]; se x , F(r) ou y , F(r) entao
claramente r[x] r[y] = . Se x, y F(r), entao seja z r[x] r[y]. Logo
(x r z) e (y r z), donde obtemos x r y e posteriormente, pela Proposicao 7.4,
r[x] = r[y], uma contradicao . Portanto, r[x] r[y] = .
Veremos a continuacao a estreita relacao entre particoes e relacoes de equiva-
lencia.
Denicao 7.6 par(, a) denota
(

= a) (b)(c)(((b ) (c ) b ,= c) b c = )
(x)(x (y)(y x))
( e uma particao de a).
Por exemplo, se a = 1, 2, 3, 4, 5, entao = 1, 4, 2, 3, 5 e uma particao
de a, enquanto que

1
= 1, 2, 3, 4,
2
= 1, 2, 2, 3, 4, 5
nao sao particoes de a (porque?). Observe que e a unica particao possvel do
conjunto .
Proposicao 7.7 S a ,= par(a, a).
25
Demonstracao: Temos que

a = a. Dado que nao existem b, c a
com b ,= c, entao a segunda condicao de par(, a) e trivialmente satisfeita.
Finalmente, seja x a; e claro que x = a. Dado que a ,= , entao existe
y a, e a terceira condicao de par(, a) e satisfeita por = a.
Um conceito importante entre particoes e a relacao mais na que. Intuitiva-
mente, uma particao
1
e mais na que
2
se todo elemento de
1
esta contido
em algum elemento de
2
, e dai a denominacao mais na resulta obvia. Por
exemplo, considere as seguintes particoes de a = 1, 2, 3, 4, 5:

1
= 1, 2, 3, 4, 5,
2
= 1, 2, 3, 4, 5,

3
= 1, 2, 3, 4, 5,
4
= 1, 2, 3, 4, 5.

E imediato que
2
e mais na que
1
e
4
, enquanto que
3
e mais na do que
as outras particoes. Por outro lado,
1
e
4
nao sao comparaveis pela relacao
mais na que.
Denicao 7.8 mf(
1
,
2
) denota
1
,=
2
(x)(x
1
(y)((y
2
)
(x y))) (a particao
1
e mais na do que a particao
2
).
Proposicao 7.9 Todo conjunto tem uma particao mais na do que todas as
outras particoes do conjunto.
Demonstracao: Seja = y : y T(a) (x)((x a) y = x).
Temos que e legitimado por [A2], e podemos escrever = x : x a.
Provaremos par(, a). Primeiro de tudo, temos

= a. Com efeito, seja
x

; logo, existe y tal que x y. Mas y = z com z a, pela
denicao de . Daqui, x y, y = z implica x = z e logo x a. Isto e,

a. Por outro lado, seja x a; logo y = x tal que x y, donde

x

, isto e, a =

. Sejam b, c com b ,= c. Logo b = x, c = y

tal que x, y a. Portanto, b ,= c implica x ,= y, e entao b c = . Finalmente,
b implica que b = x para algum x a; daqui x b e logo (z)(z b).
Isto prova que par(, a). Suponha agora que par(
1
, a) e
1
,= . Seja y ;
logo y = x com x a. Como

1
= a, entao existe z
1
tal que x z,
donde y = x z, isto e, mf(,
1
).
Vemos entao que
3
no exemplo acima e de fato a particao mais na sobre a.
Provaremos a continuacao que toda relacao de equivalencia sobre um con-
junto a origina uma particao sobre a.
Denicao 7.10 (r) = b : (x)(x F(r) b = r[x]).

E imediato que (r) = b : (b T(F(r))) (x)(x F(r) b = r[x]),

portanto (r) e legitimado por [A2]. O resultado procurado e o seguinte:
Proposicao 7.11 S equiv(r, a) par((r), a).
26
Demonstracao: Temos que equiv(r, a) implica equiv(r)(a = F(r)). Podemos
escrever (r) = r[x] : x a. Seja y

(r); logo existe x a tal que
y r[x], donde x r y, isto e, y a. Daqui

(r) a. Por outro lado, seja
x a. Logo (x r[x]) (r[x] (r)), donde x

(r). Isto e,

(r) = a.
Sejam r[x], r[y] (r). Se r[x] ,= r[y] entao r[x] r[y] = , pela Proposicao 7.5.
Finalmente, dado r[x] (r), temos que x r[x], isto e, (y)(y r[x]),
provando assim que par((r), a).
Podemos relacionar a inclusao de relacoes de equivalencia com a relacao mais
na que das particoes associadas.
Proposicao 7.12 S (equiv(r, a) equiv(s, a)) (r s mf((r), (s)).
Demonstracao: Assuma equiv(r, a)equiv(s, a). Suponha r s; como r ,= s,
existem x, y a tais que x s y mas (x r y). Desta maneira, y s[x] r[x]
e entao r[x] ,= s[x]. Seja z r[x]; portanto x r z, donde x s z, pois r s.
Daqui z s[x], e entao r[x] s[x]. Assim r[x] ,= s[w] para todo w a, pois
par((s), a). Daqui r[x] (r) (s) e entao (r) ,= (s). Seja y (r);
logo y = r[x] para algum x a, e entao r[x] s[x], com s[x] (s), pois
r s. Isto e, mf((r), (s)). Reciprocamente, suponha mf((r), (s)). Logo
(r) ,= (s). Se x r y entao y r[x]; mas r[x] s[z] para algum z, donde
y s[z], isto e, y s z. Mas x r[x] s[z], portanto x s[z], donde x s z. De
y s z obtemos z s y e entao x s y; logo r s. Finalmente, suponha que r = s.
Logo, r[x] = s[x] para todo x a, donde (r) = (s), contradicao. Portanto
r s.
Provaremos agora que uma particao origina uma relacao de equivalencia.
Denicao 7.13 r() = x, y) : (b)((b ) x, y b).

E imediato que r() e legitimado, pois

r() = z : z (
_
)(
_
)(x)(y)(z = x, y)(b)((b )x, y b)).
Proposicao 7.14 S par(, a) equiv(r(), a).
Demonstracao:

E imediato que par(, a) implica F(r()) = a. Se x a,
entao existe b tal que x b; daqui x r() x, isto e, ref(r(), a) . A prova
da simetria de r() e imediata. Sejam x, y a tais que x r() y, y r() z; entao
x, y b e y, z c para b, c . Logo y b c, donde b = c. Daqui x, z c,
c , e entao x r() z. Isto e, tran(r(), a), portanto equiv(r(), a).
Vamos agora relacionar particoes com relacoes de equivalencia. Provaremos
que, partindo de uma relacao de equivalencia r, entao a particao (r) e tal que
a relacao de equivalencia gerada, r((r)), coincide com r. Analogamente, a
relacao r() gerada por uma particao e tal que (r()) = .
Proposicao 7.15 S (par(, a) equiv(r, a)) ( = (r) r() = r).
27
Demonstracao: Assuma par(, a) equiv(r, a). Suponha = (r). De
equiv(r, a) obtemos x r y sse (z)(x, y r[z]). Mas b sse (z)(b = r[z]),
por hipotese. Logo
x r y sse (b)(x, y b b ) sse x r() y,
isto e, r = r(). Reciprocamente, suponha r = r(). Se b , entao existe
x a tal que x b. Portanto y b sse x r() y sse x r y sse y r[x].
Daqui b = r[x] (r). Por outro lado, seja r[x] (r). Como x a, entao
existe b tal que x b. Portanto b = r[x], como acabamos de provar. Logo
r[x] . Isto e, = (r).
Finalmente provaremos que a relacao mais na que e de fato uma ordem
parcial estrita. Considere PAR(a) = : par(, a). Temos que PAR(a) e
legitimado, pois
PAR(a) = : TT(a) par(, a)
Considere agora
<
a
= u : u PAR(a) PAR(a) (
1
)(
2
)(u =
1
,
2
) mf(
1
,
2
)
Temos que <
a
e legitimado por [A2], e
1
<
a

2
sse mf(
1
,
2
) para toda

1
,
2
PAR(a).
Proposicao 7.16 (a) S (
1
<
a

2
) (r(
1
) r(
2
)).
(b) S ope(<
a
, PAR(a)).
Demonstracao: (a) Sejam
1
,
2
PAR(a). Logo,

1
<
a

2
sse mf(
1
,
2
) sse
mf((r(
1
)), (r(
2
))) equiv(r(
1
), a) equiv(r(
2
), a)
(por 7.14, 7.11, 7.15) sse
r(
1
) r(
2
) (por 7.12).
(b) Sejam
1
,
2
PAR(a) tais que
1
<
a

2
; por (a) temos que r(
1
)
r(
2
). Se
2
<
a

1
entao r(
2
) r(
1
), uma contradicao. Logo, <
a
e
asimetrica. Se
1
<
a

2
,
2
<
a

3
, entao r(
1
) r(
2
) e r(
2
) r(
3
),
donde r(
1
) r(
3
). Portanto
1
<
a

3
, por (a). Isto e, <
a
e uma ordem
parcial estrita em PAR(a).
Exemplo 7.17 Fixemos k Z, onde Z denota o conjunto dos n umeros inteiros.
Denimos em Z a relacao seguinte:
nR
k
m sse k[(n m) sse existe z Z tal que n m = z.k .
28
Observe que n R
k
m sse n e m tem o mesmo resto na divisao por k. Com efeito,
assumamos que n R
k
m; logo, n m = z.k. Por outro lado, n = z
1
.k + r
1
,
m = z
2
.k +r
2
, onde 0 r
1
, r
2
< k. Se r
1
r
2
, entao
n m = (z
1
.k +r
1
) (z
2
.k +r
2
) = (z
1
z
2
).k + (r
1
r
2
) = z.k
onde 0 r
1
r
2
< k. Pela unicidade do algoritmo da divisao, temos que
r
1
r
2
= 0, donde r
1
= r
2
. Analogamente, se r
1
r
2
, entao
mn = (z
2
.k +r
2
) (z
1
.k +r
1
) = (z
2
z
1
).k + (r
2
r
1
) = (z).k
onde 0 r
2
r
1
< k. Pela unicidade do algoritmo da divisao, temos que
r
2
r
1
= 0, donde r
1
= r
2
. Reciprocamente, se n e m tem o mesmo resto na
divisao por k, entao n = z
1
.k +r
1
, m = z
2
.k +r
1
, portanto nm = (z
1
z
2
).k,
donde k[(nm), isto e, n R
k
m. Provaremos a seguir que R
k
e uma relacao de
equivalencia (observe que F(R
k
) = Z).
Se n Z, entao n n = 0 = 0.k, donde n R
k
n, isto e, R
k
e reexiva.
Se n R
k
m, entao n m = z.k, donde m n = (z).k, com z Z; isto e,
m R
k
n. Finalmente, assumamos que n R
k
m, m R
k
w. Logo, n m = z
1
.k,
mw = z
2
.k, donde nw = (nm)+(mw) = z
1
.k+z
2
.k = (z
1
+z
2
).k, com
z
1
+ z
2
Z. Daqui n R
k
w, e R
k
e uma relacao de equivalencia. O conjunto
(R
k
) e usualmente denotado por Z
k
. Observe que R
k
= R
k
para todo k Z.
Para ilustrar estas denicoes, considere k = 6; logo, os unicos restos possveis
da divisao de n por 6 sao: 0, 1,. . . , 5. Daqui inferimos que as unicas classes
de equivalencia possveis para R
6
sao n
def
R
6
[n], com 0 n 5, portanto
Z
6
= 0, . . . , 5, sendo que, para 0 n 5, n e o conjunto dos n umeros inteiros
m tais que o resto da divisao de m por 6 e n. Analogamente, Z
3
= 0, 1, 2,
onde agora n = m : o resto da divisao de m por 3 e n (n = 0, 1, 2). Observe
que, se 6[(n m), entao 3[(n m), pois 3[6; daqui, R
6
e mais na do que R
3
.
Dado que 3 = 1.3+0, 4 = 1.3+1, 5 = 1.3+2, entao R
6
[3] R
3
[0], R
6
[4] R
3
[1]
e R
6
[5] R
3
[2], donde
R
3
[0] = R
6
[0] R
6
[3], R
3
[1] = R
6
[1] R
6
[4], R
3
[2] = R
6
[2] R
6
[5].
Em geral, R
m
e mais na do que R
n
sse n[m. Temos portanto que R
0
produz a
particao mais na de Z, pois m[0 para todo m. Para vericar isto diretamente,
observe que n R
0
m sse n m = z.0 = 0 sse n = m, donde R
0
[n] = n
para todo n Z. Por outro lado, R
1
produz a particao menos na Z. Com
efeito, 1[n para todo n, donde R
n
e mais na do que R
1
.

E claro que n R
1
m sse 1[(n m), condicao que resulta verdadeira para todo n, m Z, e entao
R
1
[0] = Z.
8 Funcoes
O importante conceito de funcao, cuja denicao foi discutida ate nais do seculo
19, pode ser introduzido elegantemente na linguagem da TC. Informalmente,
uma funcao e uma relacao em que cada elemento do domnio tem associado
um unico elemento na imagem; isto nao proibe, e claro, que dois elementos
diferentes do domnio possam ter associados o mesmo elemento na imagem.
29
Denicao 8.1 fun(f) denota rel(f) (x)(y)(z)(((x f y) (x f z)) y =
z) (f e uma funcao).

E claro que fun(f) equivale a: rel(f) (x)(x dom(f) (!y)(x f y)).

Usaremos a notacao f(x) para indicar o unico y tal que x f y. Por exemplo, se
f = 1, 2), 2, 2), 3, 5), entao f(1) = 2, f(2) = 2, f(3) = 5. A notacao f(x)
(introduzida na Denicao 5.1) e legitimada pela Proposicao 5.3. A composicao
f g de duas funcoes f, g e denida de maneira que (f g)(x) = f(g(x)).
Isto signica que f g e a composicao (como relacoes) g f introduzida na
Denicao 5.6.
Lema 8.2 (a) S fun(f) (x)(y)((x f y) y = f(x)).
(b) S (fun(f) x dom(f)) (x f f(x)).
Demonstracao: (a) Assuma fun(f). Se x f y, provaremos:
z y (u)((w)((xf w) w = u) z u)
(lembrando que a formula `a direita do primeiro signica z f(x)).
Daqui, teremos, por [A1], que y = f(x). Com efeito, temos o seguinte:
fun(f), x f y, x f w implica w = y; x f y, w = y implica x f w, portanto
fun(f), x f y implica (w)(x f w w = y), donde fun(f), x f y, z y implica
(w)(x f w w = y)z y. Daqui obtemos (u)((w)((x f w) w = u)z
u), isto e: fun(f), x f y implica z y z f(x).
Por outro lado, x f y, (w)((x f w) w = u) implica (x f y) (x f u), donde,
usando fun(f), obtemos y = u. Daqui, provamos: fun(f), x f y, z f(x)
implica z y, isto e: fun(f), x f y implica z f(x) z y, portanto fun(f),
x f y implica y = f(x).
(b) Assuma fun(f) x dom(f). Provaremos que x f f(x). Com efeito,
fun(f), x f u implica u = f(x), por (a). Logo, fun(f), x f u implica x f
f(x). Portanto fun(f), (u)(x f u) implica x f f(x). Mas x dom(f) implica
(u)(x f u), portanto: fun(f), x dom(f) implica x f f(x).
Proposicao 8.3 (a) S (fun(f) fun(g)) ((x (g f) y) y = f(g(x))).
(b) S (fun(f)fun(g)x dom(g)g(x) dom(f)) (x (g f) f(g(x))).
Demonstracao: (a) Se x (g f) y, entao x g z, z f y para algum z. Pelo
Lema 8.2(a) obtemos z = g(x) e y = f(z), donde y = f(g(x)), pelas regras da
igualdade.
(b) Pelo Lema 8.2(b), temos que g(x) f f(g(x)), pois g(x) dom(f). Como
x dom(g), entao x g g(x), novamente por 8.2(b). Daqui obtemos: x g g(x),
g(x) f f(g(x)), e entao x (g f) f(g(x)), pela Denicao 5.6.
Vemos assim que f g
def
g f satisfaz a propriedade desejada x (f g) y sse
y = f(g(x)) (sob certas condicoes razoaveis estabelecidas na Proposicao 8.3(b)).
Uma propriedade fundamental e que a composicao de funcoes e uma funcao.
Proposicao 8.4 (a) S (fun(f) fun(g)) (fun(f g) fun(f g)).
(b) S (fun(f) fun(g) x dom(f g)) (f g)(x) = f(g(x)).
30
Demonstracao: (a) Sejam x, y, z tais que , x (f g) y, x (f g) z. Daqui
obtemos x f y, x g y, x f z, x g z. Como fun(f), fun(g), entao y = z,
donde fun(f g). Por outro lado, suponha que x (f g) y, x (f g) z. Pela
Proposicao 8.3(a) obtemos y = f(g(x)), z = f(g(x)), donde y = z e entao
fun(f g).
(b) Assuma fun(f), fun(g), x dom(f g). Pelo item (a) obtemos fun(f
g), x dom(f g), donde x (f g) ((f g)(x)), pelo Lema 8.2(b). Pela
Proposicao 8.3(a) obtemos (f g)(x) = f(g(x)).
Daqui em diante, quando nao houver risco de confusao, escreveremos f g no
lugar de f g, se f e g sao funcoes. Algumas das propriedades provadas na
Proposicao 5.10 podem ser fortalecidas, no caso em que f e funcao.
Proposicao 8.5 (a) S (f g)[z = f (g[z).
(b) S fun(f) (f
1
(ab) = f
1
(a)f
1
(b))(f
1
(ab) = f
1
(a)
f
1
(b)).
Demonstracao: (a)

E uma reformulacao da Proposicao 5.9(e).
(b) Assuma fun(f). Pela Proposicao 5.10(b),(c), basta provar
f
1
(a) f
1
(b) f
1
(a b),
e f
1
(a b) f
1
(a) f
1
(b).
Se x f
1
(a) f
1
(b), entao existem y a, w b tais que x f y, x f
w. Como fun(a), entao y = w, portanto y a b tal que x f y, donde
x f
1
(a b).
Seja agora x f
1
(a b). Logo, existe y a b tal que x f y, e entao
x f
1
(a). Se x f
1
(b), entao existe z b tal que x f z. Como fun(f),
obtemos y = z donde y b, uma contradicao. Portanto x f
1
(a) f
1
(b).

Denicao 8.6 inj(f) denota fun(f) fun(f

1
) (f e injetora).
Proposicao 8.7 (a) S (inj(f) x, y dom(f)) (f(x) = f(y) x = y).
(b) S (inj(f) x dom(f) y im(f)) (f
1
(y) = x y = f(x)).
(c) S (inj(f) x dom(f)) f
1
(f(x)) = x.
(d) S (inj(f) y im(f)) f(f
1
(y)) = y.
(e) S (inj(f) inj(g)) inj(f g).
(f ) S (inj(f) inj(g) dom(f) dom(g) = im(f) im(g) = )
inj(f g).
Demonstracao: (a) Assuma inj(f) x dom(f) y dom(f). Se f(x) =
f(y), entao obtemos que f(x) f
1
x, f(x) f
1
y. Mas fun(f
1
), portanto
x = y. Reciprocamente, x = y implica f(x) = f(y), pelas regras da igualdade.
(b) Assuma inj(f) x dom(f) y im(f). Como fun(f
1
) y dom(f
1
),
entao x = f
1
(y) implica y f
1
x, pelo Lema 8.2(b). Daqui, x f y e entao, pelo
Lema 8.2(a), obtemos y = f(x); isto e, x = f
1
(y) y = f(x). Simetricamente
provamos y = f(x) x = f
1
(y).
31
(c) Assuma inj(f) x dom(f). Logo f(x) im(f) e f(x) = f(x). Pelo item
(b) obtemos x = f
1
(f(x)).
(d) Analogo ao item (c).
(e) Imediato a partir da Proposicao 8.4 (a).
(f) x (f g) y, x (f g) z implica que (x f y) (x f z) ou (x g y) (x g z), mas
nao ambas simultaneamente. Daqui y = z, e fun(f g). Da mesma maneira
(lembrando que (f g)
1
= f
1
g
1
), x (f g)
1
y, x (f g)
1
z implica (x
f
1
y) (x f
1
z) ou (x g
1
y) (x g
1
z), mas nao ambas simultaneamente.
Daqui y = z, e fun((f g)
1
). Portanto inj(f g).
Denicao 8.8 (a) fun(f, a, b) denota fun(f) (dom(f) = a) (im(f) b)
(f e uma funcao de a em b).
(b) sobre(f, a, b) denota fun(f)(dom(f) = a)(im(f) = b) (f e uma funcao
sobrejetora de a em b).
(c) inj(f, a, b) denota inj(f) (dom(f) = a) (im(f) b) (f e uma funcao
injetora de a em b).
(d) bij(f, a, b) denota inj(f, a, b) sobre(f, a, b) (f e uma funcao bijetora de
a em b).
(e) a
b
= f : fun(f, b, a) (a
b
e o conjunto de todas as funcoes de b em a).
Observacao 8.9 Podemos a partir de agora utilizar a notacao usual f : ab
para denotar fun(f, a, b). De fato, utilizaremos as duas notacoes indistinta-
mente.
Proposicao 8.10 (a) S (fun(f, a, b) fun(g, b, c)) fun(g f, a, c).
(b) S inj(f, a, b) (bij(f, a, im(f)) bij(f
1
, im(f), a)).
(c) S bij(f, a, b) bij(f
1
, b, a).
(d) S (bij(f, a, b) bij(g, b, c)) bij(g f, a, c).
(e) S bij(f, a, b) ((f f
1
= I(b)) (f
1
f = I(a))).
(f ) S fun(f, a, b) ((I(b) f = f) (f I(a) = f)).
Demonstracao: (a) Notar que g f e utilizado para denotar g f, isto e, f g
(como relacoes). Assuma entao f : ab, g : bc. Daqui obtemos:
fun(f), dom(f) = a, im(f) b, fun(g), dom(g) = b, im(g) c.
Pela Proposicao 8.4(a) obtemos fun(g f). Por denicao de composicao,
dom(g f) dom(f), im(g f) im(g); isto e, dom(g f) a, im(g f) c.
Seja x a; pela Proposicao 8.3(b) temos que x (gf) (g(f(x)), pois a = dom(f)
e b = dom(g), donde x dom(f) f(x) dom(g). Daqui x dom(g f), isto
e, dom(g f) = a. Portanto fun(g f, a, c).
(b) Observe que dom(f
1
) = im(f), im(f
1
) = dom(f). Assuma inj(f, a, b).
Logo, temos o seguinte:
fun(f), fun(f
1
), dom(f
1
) = im(f), im(f
1
) = a.
Daqui obtemos imediatamente inj(f
1
, im(f), a), sobre(f
1
, im(f), a), isto e,
bij(f
1
, im(f), a). A formula bij(f, a, im(f)) e obtida trivialmente.
32
(c) Por (b) inferimos bij(f, a, b) bij(f
1
, b, a), pois im(f) = b.
(d) Assuma bij(f, a, b), bij(g, b, c). Daqui obtemos:
fun(f, a, b), fun(f
1
, b, a), fun(g, b, c), fun(g
1
, c, b).
Por (a) e pela Proposicao 5.8(d) obtemos fun(g f, a, c), fun((g f)
1
, c, a).
Daqui dom(g f) = a, im(g f) = c, fun(g f), fun((g f)
1
), e entao
bij(g f, a, c).
(e) Por (a) temos fun(f f
1
, b, b), fun(f
1
f, a, a). Seja x b; x f f
1
y
implica x f
1
z, z f y para algum z a. Daqui z f x, z f y e entao y = x, isto
e: (f f
1
)(x) = x para todo x b, donde f f
1
= I(b). Seja agora x a;
x f
1
f y implica x f z, z f
1
y para algum z b. Daqui z f
1
x, z f
1
y,
donde x = y, isto e: (f
1
f)(x) = x para todo x a. Portanto f
1
f = I(a).
(f) Por (a), fun(I(b) f, a, b) fun(f I(a), a, b). Seja x a; logo (I(b)
f)(x) = I(b)(f(x)) = f(x), donde I(b) f = f. Por outro lado, (f I(a))(x) =
f(I(a)(x)) = f(x), donde f I(a) = f.
Proposicao 8.11 (a) O termo a
b
e legitimado em S.
(b) a

= .
(c) a ,=
a
= .
(d) a
b
= a = b ,= .
(e) a
{x}
= x, y) : y a.
(f ) a b a
c
b
c
.
Demonstracao: (a) Claramente a
b
= f : f T(b a) fun(f, b, a),
legitimado portanto por [A2].
(b) a

T( a) = T() = . Por outro lado fun(, , a) e satisfeita tri-

vialmente, e entao a

= .
(c) Seja a ,= , e suponha que fun(f, a, ). Seja x a; logo, x dom(f),
portanto f(x) , uma contradicao.
(d) Assuma f a
b
. Se b ,= , seja x b; portanto f(x) a, donde a ,= ,
provando assim: a
b
,= (b ,= a ,= ). Mas b ,= a ,= equivale
a (a = b ,= ). Reciprocamente, suponha (a = b ,= ), isto e,
a ,= b = . Se a ,= , seja y a. Logo, e imediato que f = x, y) : x b
e legitimado, e fun(f, b, a). Daqui a
b
,= . Por outro lado, b = implica que
a
b
= , = , por (b). Portanto (a = b ,= ) a
b
,= .
(e) Seja b = x, y) : y a; e claro que b e legitimado, e b a
{x}
. Seja
f a
{x}
; como dom(f) = x, entao f(x) a tal que f = x, f(x)); daqui
f b.
(f) Imediato das denicoes.
9 Equipolencia
A nocao de equipolencia foi apontada por Cantor como um conceito fundamen-
tal, pois permite generalizar a nocao de n umero natural para cardinais. Essen-
cialmente, dois conjuntos sao equipolentes se existe uma bijecao entre eles, o
que equivale a armar que possuem o mesmo cardinal.
33
Denicao 9.1 a b denota (f)bij(f, a, b) (a e b sao equipolentes).
Exemplo 9.2 Sejam a = 1, 2, 3, b = 3, 4, 5. Entao
f = 1, 3), 2, 4), 3, 5), g = 1, 5), 2, 4), 3, 3)
sao duas bijecoes entre a e b, cada uma delas garantindo a b.
A intuicao por tras de a b e que a e b tem o mesmo n umero de elementos,
o que pode ser percebido nos exemplos em que a e b sao nitos (todas estas sao
nocoes por enquanto intuitivas, mas serao formalizadas em ZF).

E tambem
claramente intuitivo que um conjunto nito nao pode ser equipolente com um
subconjunto proprio. No caso de a ser innito, esta propriedade deixa de ser
verdadeira: o conjunto P dos n umeros naturais pares e um subconjunto proprio
do conjunto N dos n umeros naturais, embora f(n) = 2.n seja uma bijecao entre
N e P. Vemos assim que a parte e menor do que a totalidade nao tem mais
validade no caso innito.
Proposicao 9.3 (a) S a a.
(b) S (a b) (b a).
(c) S ((a b) (b c)) (a c).
Demonstracao: (a) Pode ser provado facilmente que a relacao I(a) intro-
duzida previamente `a Proposicao 6.2 e uma bijecao entre a e a.
(b), (c) Sao conseq uencias imediatas da Proposicao 8.10(c),(d), respectiva-
mente.
Os seguintes resultados serao uteis para a denicao da artimetica cardinal.
Proposicao 9.4 As seguintes formulas sao teoremas de S:
(a) ((a b) (c d) (a c = ) (b d = )) (a c b d).
(b) ((a b) (c d)) (a c b d).
(c) a b b a.
(d) a (b c) (a b) c.
(e) (a x a) (x a a).
(f ) (c)(d)((a c) (b d) (c d = )).
Demonstracao: (a) Sejam f, g tais que bij(f, a, b), bij(g, c, d). Por hipotese
temos que dom(f) dom(g) = , im(f) im(g) = , portanto inj(f g), pela
Proposicao 8.7(f).

E imediato provar bij(f g, a c, b d).
(b) Sejam f, g tais que bij(f, a, b), bij(g, c, d).

E imediato que h (ac)(bd)
dado por
h = x, y), f(x), g(y))) : (x a) (y c)
e legitimado, estabelecendo uma bijecao h(x, y)) = f(x), g(y)) entre a c e
b d.
(c)

E imediato que f(x, y)) = y, x) e uma bijecao entre a b e b a.
(d) f(x, y, z))) = x, y), z) e uma bijecao entre a (b c) e (a b) c.
34
(e) f
1
(y, x)) = y, f
2
(x, y)) = y sao bijecoes.
(f) Sejam c = a , d = b . Logo a c, b d, pelo item (e), e
c d = .
Os seguintes resultados serao utilizados para a exponenciacao cardinal.
Proposicao 9.5 Em S as seguintes formulas sao teoremas:
(a) ((a b) (c d)) (a
c
b
d
).
(b) (b c = ) (a
bc
a
b
a
c
).
(c) (a b)
c
a
c
b
c
.
(d) (a
b
)
c
a
bc
.
Demonstracao: (a) Se a
c
= entao a = e c ,= , donde b = e d ,= .
Logo b
d
= e entao a
c
b
d
. Suponha agora que a
c
,= . Sejam f, g tais que
bij(f, a, b), bij(g, c, d). Dada h a
c
, entao f h b
c
, pela Proposicao 8.10(a).
A partir dai, obtemos da mesma maneira f h g
1
b
d
. Denimos entao
uma funcao f

(h) = f h g
1
tal que f

: a
c
b
d
. Dado h

b
d
, entao
h = f
1
h

g e o unico elemento de a
c
tal que h

= f h g
1
= f

(h),
pela Proposicao 8.10(e),(f). Portanto f

e uma bijecao com inversa f

1
(h

) =
f
1
h

g.
(b) a
bc
= implica a = , b c ,= implica a = e: b ,= ou c ,= implica
a
b
= ou a
c
= implica a
b
a
c
= . Logo a
bc
a
b
a
c
. Suponha agora que
a
bc
,= . Dado f a
bc
, entao f[b, f[c) a
b
a
c
. Dena
h = f, f[b, f[c)) : f a
bc
,
legitimado por [A2].

E claro que h : a
bc
a
b
a
c
e uma funcao. Por outro
lado, se f
1
, f
2
) a
b
a
c
, entao f
1
f
2
a
bc
tal que h(f
1
h
2
) = f
1
, f
2
). Se
h(f) = f
1
, f
2
), entao f = f
1
f
2
, donde h
1
: a
b
a
c
a
bc
e uma funcao.
Daqui infere-se que bij(h, a
bc
, a
b
a
c
).
(c) Se (a b)
c
= entao a b = e c ,= , donde a = ou b = , e c ,= .
Daqui a
c
= ou b
c
= donde a
c
b
c
= , e entao (a b)
c
a
c
b
c
. Suponha
agora que (a b)
c
,= . Dada f (a b)
c
, considere
f
a
= x, y) : (z)(x, y, z)) f), f
b
= x, z) : (y)(x, y, z)) f).
Isto e, se
1
a
ab
e
2
b
ab
sao dadas por
1
(x, y)) = x e
2
(x, y)) = y
(as projecoes canonicas), entao f
a
=
1
f e f
b
=
2
f.

E claro que f
a
a
c
,
f
b
b
c
, h = f, f
a
, f
b
)) : f (a b)
c
e legitimado, e h : (a b)
c
a
c
b
c
e uma funcao. Dada f
1
, f
2
) a
c
b
c
, entao f = x, f
1
(x), f
2
(x))) : x c
e legitimado, f (a b)
c
, e h(f) = f
1
, f
2
). E claro que h(f

) = h(f) implica
f = f

, portanto fun(h
1
, a
c
b
c
, (a b)
c
) e assim bij(h, (a b)
c
, a
c
b
c
).
(d) a
bc
= implica a = , b c ,= implica a = , b ,= , c ,= implica a
b
= ,
c ,= implica (a
b
)
c
= . Logo (a
b
)
c
a
bc
. Suponha agora que a
bc
,= . Seja
f a
bc
. Para cada y c, seja
f
y
= x, z) : x, y), z) f.

E claro que f
y
e legitimado, f
y
a
b
, e f
y
(x) = f(x, y)). Alem disso, h
f
=
y, f
y
) : y c (a
b
)
c
, onde h
f
(y) = f
y
. Portanto h = f, h
f
) : f a
bc

35
e legitimado, e h : a
bc
(a
b
)
c
e uma funcao, onde h(f) = h
f
. Dada f

(a
b
)
c
, entao f(x, y)) = f

(y)(x) e uma funcao, f a

bc
, e h(f) = f

. Alem
disso, h(f
1
) = h(f
2
) implica f
1
= f
2
, portanto fun(h
1
, (a
b
)
c
, a
bc
) e assim
bij(h, a
bc
, (a
b
)
c
).
Observacao 9.6 Neste ponto da nossa exposicao sobre a Teoria Axiomatica
de Conjuntos assumiremos que o leitor ja assimilou o fato de que os enuncia-
dos dos teoremas, assim como as respectivas demonstracoes, sao realizados no
marco formal de ZF (ou de certos fragmentos, tais como S). Para simplicar
a exposicao, a partir daqui os enunciados e demonstracoes dos teoremas de ZF
serao feitos numa linguagem coloquial, omitindo os detalhes mais formais.
Antecipando a denicao de 2 = , , provamos o seguinte resultado util,
introduzindo a ideia que os subconjuntos de um conjunto a sao as funcoes
caractersticas sobre a.
Proposicao 9.7 Temos que T(a) 2
a
.
Demonstracao: Seja b a. Denimos a funcao g
b
: a2 pela regra: g
b
(x) =
se x b, e g
b
(x) = se x , b. Logo, h(b) = g
b
dene uma funcao
h : T(a)2
a
. Por outro lado, h(b) = h(c) implica g
b
= g
c
, isto e, g
b
(x) = g
b
(x)
para todo x a. Portanto: g
b
(x) = sse g
c
(x) = , donde x b sse x c.
Por [A1] obtemos b = c, e entao h e injetora. Por outro lado, se g 2
a
, considere
b = x : x a g(x) = . Logo b e legitimado por [A2], e claramente
h(b) = g. Daqui h e sobrejetora, e entao h e uma bijecao entre T(a) e 2
a
. Assim
T(a) 2
a
.
Vamos denir a continuacao o conceito de ser menor ou igual em termos de
tamanho (obviamente estes conceitos sao ainda difusos).
Denicao 9.8 a _ b denota (c)(c b a c).
Proposicao 9.9 (a) a b implica a _ b.
(b) a b implica a _ b.
(c) a _ a b.
(d) a _ b e b _ c implica a _ c.
Demonstracao: (a) Temos que a c com c = b b. Logo a _ b.
(b) A funcao I(a) produz: a c com c = a b. Logo a _ b.
(c)

E uma conseq uencia direta de (b).
(d) Suponha que a a
1
(via f) com a
1
b, e b b
1
(via g) com b
1
c. Logo
g f e uma bijecao de a em ga
1
c. Daqui a _ c.
O seguinte resultado, cuja demonstracao e mais complicada, foi conjecturado
por Cantor e provado independientemente por Schroder e Bernstein em 1890.
A seguinte prova e devida a Fraenkel e Whitaker.
36
Teorema 9.10 (Cantor-Schroder-Bernstein)
Se a _ b e b _ a, entao a b.
Demonstracao: Seja f uma bijecao de a em b
1
b, e g uma bijecao de b em
a
1
a. Observe que o resultado (a b) estara provado se encontramos um
conjunto d a tal que g[(b fd) e uma bijecao de b fd em a d. Com
efeito, nesse caso teriamos que h = (f[d) (g
1
[(a d)) e uma bijecao entre a
e b, como pode ser facilmente conferido usando a Proposicao 8.7(f). O nosso
objetivo e portanto achar um conjunto d com a propriedade mencionada acima.
Para isso considere o conjunto
u = c : c a g(b f(c)) a c.
Dado que c a sse c T(a), entao u e legitimado por [A2].
Fatos: (1) Dados x, y z, entao: x z y sse y z x, e x = z y sse
y = z x.
(2) Sejam z, y conjuntos. Se x y para todo x z, entao

z y.
(3) Se c
1
c
2
a, entao a g(b fc
1
) a g(b fc
2
).
(4)

u a g(b f

u) (onde u e deinido como acima).

Com efeito:
(1) Suponha que x z y. Seja w y; logo, w z, pois y z. Se w x, entao
w z y, isto e, w , y, uma contradicao. Portanto w , x, donde w z x e
entao y z x. Simetricamente, y z x implica x z y. Para a segunda
parte, suponha que x = z y; logo x z y e entao, pela primeira parte,
y z x. Seja w z x; se w , y, entao w z y = x. Mas w , x, por
hipotese. Esta contradicao mostra que w y, isto e: z x = y. A prova de
que y = z x implica x = z y e simetrica.
(2) Assuma que x y para todo x z, e seja w

z. Logo w x para algum

x z, pela denicao de

z. Mas x y, por hipotese; logo w y. Daqui

z y.
(3) Se c
1
c
2
a, entao fc
1
fc
2
b donde b f(c
2
) b f(c
1
). Por-
tanto
g(b f(c
2
)) g(b f(c
1
)) a
e entao a g(b fc
1
) a g(b fc
2
).
(4) Seja c u; logo g(b f(c)) a c e entao, por (1),
c a g(b f(c)). ()
Por outro lado

u a, por (2). Alem disso, c

u: com efeito, se x c
entao (x c) (c u) portanto x

u. De c

u a infere-se que
ag(b f(c)) ag(b f

u), por (3). Portanto c ag(b f

u)
para todo c u, por (), donde

u a g(b f

u), por (2). Isto conclui

a prova dos Fatos.
Considere w = a g(b f

u). Por (4) temos que

u w a, logo
w = a g(b f
_
u) a g(b fw),
37
por (3). Por (1) obtemos g(b fw) a w, isto e, w u. Daqui w

u,
donde w =

u. Isto e,
a g(b f
_
u) =
_
u.
Pela segunda parte de (1) obtemos g(b f

u) = a

u. Vemos assim que

d =

u satisfaz a propriedade requerida.

Proposicao 9.11 Se a _ b e c _ d, entao:
(i) Se b d = entao a c _ b d;
(ii) a c _ b d;
(iii) a
c
_ b
d
se nao e o caso que: a = b = c = e d ,= .
Demonstracao: Sejam f
1
e f
2
bijecoes de a em b
1
b e de c em d
1
d,
respectivamente.
(i) Temos que a c = (a c) c, com (a c) c = . Como b d = , entao
f
1
(a c) d
1
= . Portanto h = (f
1
[(a c)) f
2
e uma bijecao entre a c e
f
1
(a c) d
1
b d.
(ii) Pela Proposicao 9.4(b), a c b
1
d
1
b d.
(iii) a b
1
e c d
1
implicam que a
c
b
d
1
1
b
d
1
, pela Proposicao 9.5(a). A
prova estara terminada se encontrarmos uma injecao de b
d
1
em b
d
. O unico
caso em que isto nao e possvel e quando b
d
= e b
d
1
,= , e e por isso que
a hipotese adicional (nao e o caso que a = b = c = e d ,= ) foi colocada.
Com efeito, se b
d
= , entao d ,= e b = , pela Proposicao 8.11(d). Nesse caso
a = . Agora, se d
1
= (o que equivale a ter b
d
1
,= ), entao c = , donde
a = b = c = e d ,= , contrariando a nossa hipotese. Logo d
1
,= e entao
b
d
1
= , pela Proposicao 8.11(d). Ou seja: b
d
= implica b
d
1
= , e entao
a
c
= , donde a
c
_ b
d
. Suponha nalmente que b
d
,= . Os casos b
d
1
= ou
d = implicam trivialmente que a
c
_ b
d
. Suponha entao que b
d
1
,= e d ,= .
Dado que b
d
,= e d ,= , entao b ,= . Fixemos x
0
b. Para f b
d
1
e x d,
dena
h(f)(x) =
_
f(x) se x d
1
x
0
se x d d
1
.
Ou seja: h(f) = f x, x
0
) : x d d
1
. Claramente h(f) b
d
e entao
h : b
d
1
b
d
e uma funcao. Observe que f x, x
0
) : x d d
1
= (pois
x, y) f implica x d
1
implica x, y) , x, x
0
) : x d d
1
). Daqui
h(f) = h(g) implica f = g, isto e, h e injetora. Seja g e uma bijecao entre a
c
e b
d
1
1
(lembre que a
c
b
d
1
1
). Daqui h g e uma bijecao de a
c
em h(b
d
1
1
) b
d
,
isto e, a
c
_ b
d
.
Denicao 9.12 a b denota a _ b (b _ a).
Proposicao 9.13 (i) Nao e o caso que a a.
(ii) Se a b entao nao e o caso que b a.
(iii) Se a b e b c entao a c.
38
Demonstracao: (i) Pela Denicao 9.12, a a sse a _ a e nao e o caso que
a _ a, uma contradicao. Logo nao e o caso que a a.
(ii) Assuma a b; isto implica que a _ b e nao b _ a. Por outro lado, b a
equivale a b _ a e nao a _ b. Portanto nao podemos ter b a, pois a _ b, por
hipotese.
(iii) Assuma a b e b c. Logo a _ b e b _ c, donde a _ c. Se c _ a, entao
c _ b, contrariando b c. Portanto nao podemos ter c _ a, donde a c.
Estabeleceremos algumas relacoes entre _ e .
Proposicao 9.14 (i) Se a _ b entao nao b a.
(ii) Se a _ b e b c entao a c.
(iii) Se a b e b _ c, entao a c.
(iv) a _ b sse a b ou a b.
Demonstracao: (i) Pela Denicao 9.12, b a implica que nao a _ b. Portanto
a _ b implica b , a.
(ii) Assuma a _ b e b c. Daqui a _ b e b _ c, donde a _ c. Se c _ a entao
c _ b, contrariando b c. Portanto nao e o caso que c _ a, donde a c.
(iii) Assuma a b e b _ c. Como antes, obtemos a _ c. Se c _ a entao b _ a,
pois b _ c; mas isto contraria a b. Portanto c ,_ a, donde a c.
(iv) Assuma que a _ b. Se a , b entao, pela Denicao 9.12, inferimos que
b _ a ou a ,_ b. Daqui obtemos que b _ a e entao, pelo Teorema 9.10, a b.
provamos desta maneira que a _ b implica a b ou a b. Reciprocamente,
suponha que a b. Logo a _ b. Se a b, entao a _ b, pela Denicao 9.12.
Isto prova que a b ou a b implica a _ b.
Observe que o item (iv) da proposicao acima justica a denominacao intuitiva
de menor ou igual para a relacao _.
Teorema 9.15 (Cantor) a T(a).
Demonstracao: A funcao f(x) = x de a em T(a) e injetora, portanto
a _ T(a). Suponha que a T(a) via uma funcao g : aT(a). Considere
b = y : (y a) (y , g(y)).

E claro que b e legitimado por [A2], e b T(a). Como g e sobrejetora, deve

existir algum x a tal que g(x) = b. Portanto:
x g(x) sse x , g(x).
Daqui inferimos que nao pode existir uma tal g, isto e, a , T(a). Por outro
lado, observe que Teorema 9.10 pode ser refraseado como: a _ b implica (a , b
implica b ,_ a). Logo, de a _ T(a) e a , T(a) inferimos, pelo Teorema 9.10,
que T(a) ,_ a. Pela Denicao 9.12, a T(a).
39
10 Conjuntos Finitos
Estudaremos nesta secao os conjuntos nitos. A denicao intuitiva de conjunto
nito e a seguinte: um conjunto a e nito se a tem n elementos, para algum
n umero natural n. Esta ideia e correta, mas utiliza o conceito de n umeros
inteiros. Dedekind propos em 1888 uma denicao nao numerica extremamente
elegante: um conjunto a e nito se a nao e equipolente com nenhum subconjunto
proprio. Em outras palavras, os conjuntos nitos sao exatamente aqueles em
que a parte e menor do que o todo.

E evidente que esta denicao pode ser
facilmente introduzida em ZF. O problema que envolve esta denicao e que,
para provar que todo conjunto nito (no sentido de Dedekind) e nito (no
sentido usual), devemos usar o Axioma da Escolha [AE]. Este axioma, a ser
introduzido posteriormente, e o mais questionado dos axiomas da TC, existindo
inclusive TCs que rejeitam este princpio (de fato, na literatura sao diferenciados
os sistemas ZF e ZFC, sendo que ZFC consiste de ZF com o acrescimo do
Axioma da Escolha). Tarski propos em 1924 a seguinte denicao de nitude a
qual, embora seja menos intuitiva, tem a vantagem que nao requer [AE] para
provar a equivalencia com a denicao usual de nitude.
Denicao 10.1 (i) min(x, u) denota x u (y)(y u (y x))
(x e um elemento minimal de u).
(ii) max(x, u) denota x u (y)(y u (x y))
(x e um elemento maximal de u).
Por exemplo, se b = 1, 2, 3, 4 e u T(b), u = 1, 2, 4, 2, 2, 4, 1, 3,
entao 1, 2, 4 e 1, 3 sao os elementos maximais de u, enquanto que 2 e
1, 3 sao os elementos minimais de u. Por outro lado, seja b = N e
N
n
= N1, . . . , n1 = n, n+1, n+2, . . . (n N); u = N
n
: n N T(b).
Dado que N
n
N
m
se n > m, entao u nao tem elementos minimais. Esta e
a situacao que caracteriza os conjuntos b innitos, segundo a descoberta de
Tarski.
Denicao 10.2 (Tarski) fin(b) denota a formula
(u)((u T(b) (u ,= )) (z)min(z, u))
(b e nito se toda famlia nao vazia de subconjuntos de b possui um elemento
minimal).
As primeiras propriedades simples da nitude sao as seguintes:
Proposicao 10.3 (i) e nito.
(ii) x e nito.
(iii) Se b e nito e c b, entao c e nito.
(iv) Se c e nito entao c b e c b sao nitos.
Demonstracao: (i) Observe que T() = , portanto u = e a unica
famlia nao vazia de subconjuntos de .

E claro que e um elemento minimal
de u, portanto fin().
40
(ii) Temos que T(x) = , x. Logo, as unicas famlias nao vazias de
subconjuntos de x sao u
1
= , u
2
= x, e u
3
= , x.

E imediato que
todo conjunto da forma z tem um elemento minimal (o proprio z), portanto
u
1
e u
2
possuem elemento minimal. Finalmente, e o elemento minimal de u
3
.
Isto prova fin(x).
(iii) Assuma que b e nito, e seja c b. Seja u T(c), u ,= . Logo u T(b),
u ,= . Dado que fin(b), entao u possui um elemento minimal z. Daqui fin(c).
(iv) Suponha que c e nito. Para todo b temos que c b c e c b c. Pelo
item (iii) obtemos que fin(c b) e fin(c b).
A seguinte propriedade exige uma demonstracao um pouco mais complicada.
Proposicao 10.4 Se c e b sao nitos, entao c b e nito.
Demonstracao: Assuma fin(c) e fin(b). Seja u T(cb), u ,= . Provaremos
que u tem um elemento minimal. Considere
w = a : a c (d)((d b) a d u).
Temos que w ,= . Com efeito, seja z u. Dado que z = (z c) (z c), entao
a = z c e d = z c satisfazem: a c; d b (pois z c b); a d u. Logo
a e um elemento de w. Daqui w T(c), w ,= . Como c e nito, deve existir
a

w minimal. Logo
(1) a

w, a

c.
Considere agora
w
1
= d : d b (a

d u).
Por (1) temos que a

d u para algum d b, logo d w

1
. Portanto w
1
T(b),
w
1
,= . Como b e nito existe um elemento minimal d

w
1
, donde
(2) d

w
1
, d

b, a

u.
Provaremos que a

e um elemento minimal de u. Suponha que s u tal que

s a

. Daqui sa

c e sd

b. Dado que s a

, entao
(3) s = s (a

) = (s a

) (s d

).
Como s u obtemos que s a

w, e s a

. Dado que a

e minimal,
inferimos s a

= a

. Por (3) obtemos que a

(s d

) u, donde s d

w
1
.
Logo sd

= d

, pois d

e minimal. Usando (3) vemos que s = a

. Portanto
a

e um elemento minimal de u. Isto prova que c b e nito.

Corolario 10.5 Se b e nito, entao b x e nito.
Podemos denir um princpio de inducao para conjuntos nitos. Antes disso,
provaremos que existe uma caracterizacao da nitude em termos de conjuntos
maximais.
41
Proposicao 10.6 (a) Toda famlia nao vazia de subconjuntos de um conjunto
nito possui um elemento maximal.
(b) Se toda famlia nao vazia de subconjuntos de um conjunto b possui um
elemento maximal, entao b e nito.
Demonstracao: (a) Dado a nito, seja u T(a), u ,= . Considere v =
a x : x u. Claro que v e legitimado por [A2], v T(a), e v ,= (pois
u ,= ). Como a e nito, existe a x v minimal, onde x u. Provaremos que
x e maximal em u. Para isto, observe que
(1) para todo w, y a temos que: y w sse a w a y.
A prova e simples, e e deixada como exerccio. Suponha entao que x nao e
maximal em u. Logo, deve existir y u tal que x y. Por (1) obtemos
a y a x, onde a y v. Isto contradiz a minimalidade de a x em v,
portanto x e maximal.
(b) A prova e analoga `a do item anterior. Assim, considere u T(b), u ,= .
Logo
v = b x : x u
e uma famlia nao vazia de subconjuntos de b. Por hipotese, existe um elemento
maximal b x em v, com x u. Utilizando (1) vemos que x e minimal em u,
portanto b e nito.
Teorema 10.7 Seja (b) uma formula em que b ocorre livre e nem c nem x
ocorrem livres (outras variaveis podem ocorrer livres em ). Suponha o seguinte:
(i) c e nito;
(ii) ();
(iii) (x)(b)(((x c) (b c) (b)) (b x)).
Entao (c).
Demonstracao: Considere u = b : b c (b). Logo u T(c) e u ,=
pois u, pela hipotese (ii). Dado que c e nito, por (i), entao existe b u
maximal, pela Proposicao 10.6(a). Provaremos que b = c, e logo (c) como
queriamos. Por reducao ao absurdo, suponha que b ,= c. Como b c, deve
existir x c b. Por (iii), temos que (b x) e entao b x u, sendo que
b b x. Isto contradiz a maximalidade de b em u. Daqui b = c e (c).
Em particular, obtemos a seguinte formulacao conjuntista do princpio de inducao
para conjuntos nitos:
Teorema 10.8 Suponha o seguinte:
(i) c e nito;
(ii) w;
(iii) (x)(b)(((x c) (b c) b w) b x w).
Entao c w.
42
Demonstracao: Basta considerar no Teorema 10.7 a formula (b) como sendo
b w.
Observe que o Teorema 10.7 e uma conseq uencia do Teorema 10.8 considerando
w = b : (b T(c)) (b) (legitimado por [A2]). Daqui, os Teoremas 10.7
e 10.8 sao equivalentes. De fato, as propriedades (ii) e (iii) do Teorema 10.8
caracterizam os conjuntos nitos, como provaremos a seguir.
Proposicao 10.9 c e nito sse c pertence a todo w satisfazendo as condicoes
(ii) e (iii) do Teorema 10.8.
Demonstracao: Se c e nito, entao a conclusao vale pelo Teorema 10.8. Reci-
procamente, assuma que c w para todo w satisfazendo as condicoes (ii) e (iii)
do Teorema 10.8. Seja w o conjunto de todos os subconjuntos nitos de c (w
e legitimado por [A2]; conra!). Pela Proposicao 10.3(i) temos que w. Se
b w e x c entao b x w pelo Corolario 10.5. Portanto w satisfaz as
condicoes (ii) e (iii) do Teorema 10.8, donde c w. Isto e, c e nito.
Proposicao 10.10 Se c e nito e f e uma funcao com domnio c e imagem b,
entao b e nito.
Demonstracao: Seja w = a : (a c) fin(fa). Provaremos pelo Teo-
rema 10.8 que c w, donde im(f) = fc resultara ser nito. Observe que
c e f = (nito); entao w. Seja x c e a w; logo a x c.
Como f e funcao, entao fx = f(x), logo fx e nito, pela Propo-
sicao 10.3(ii). Daqui f(a x) = fa fx e nito, pela Proposicao 10.4,
e entao a x w. Pelo Teorema 10.8 temos que c w, portanto im(f) e
nito.
Proposicao 10.11 Se c e nito, entao T(c) e nito.
Demonstracao: Considere w = b : b c fin(T(b)). Temos que w.
Suponha b w e x c. Se x b entao b x w. Se x , b, entao b x c.
Dena
f = a, a x) : a T(b).
Temos que f e legitimado por [A2], e f e funcao com domnio T(b) (nito). Pela
Proposicao 10.10 temos que a imagem de f e nita. Seja z = T(bx) T(b).
Provaremos que im(f) = z. Com efeito, dado a T(b), temos que a x z,
pois x , b. Logo im(f) z. Por outro lado, se d z, entao x d, d x
T(b) e d = (d x) x. Daqui f(d x) = d, portanto d im(f).
Provamos entao que z = im(f) e nito. Mas T(b x) = z T(b), portanto
T(b x) e nito, pela Proposicao 10.4. Desta maneira b x w, donde
c w, isto e, T(c) e nito.
Proposicao 10.12 Se c e nito e todo x c e nito, entao

c e nito
43
Demonstracao: Considere w = b : b c fin(

b) (legitimado por [A2]).

Claramente w. Seja b w e x c. Logo x e nito, por hipotese, e

b e
nito, pela hipotese de inducao (b w).

E facil provar que
_
(b x) = (
_
b) x
(exerccio). Portanto

(bx) e nito, pela Proposicao 10.4, e entao bx

w (claramente b x c). Pelo Teorema 10.8 obtemos c w, isto e,

c e
nito.
Proposicao 10.13 Se T(c) e nito, entao c e nito.
Demonstracao: Seja b = x : x c (legitimado por [A2]). Como T(c) e
nito e b T(c), entao a Proposicao 10.3(iii) assegura que b e nito. Como todo
elemento de b e da forma x (portanto nito) entao a Proposicao 10.12 nos
garante que

b e nito. Mas e facil provar que

b = c. Com efeito: se y

b,
entao existe x c tal que y x, isto e, y = x donde y c. Reciprocamente,
se x c entao x x onde x b, portanto x

b. Logo, c e nito.
Proposicao 10.14 (i) Se c e nito e c b entao b e nito.
(ii) Se c e nito e b _ c entao b e nito.
Demonstracao: (i) Seja f uma bijecao de c em b. Como c e nito entao im(f)
e nito, pela Proposicao 10.10. Mas im(f) = b.
(ii) Se b _ c, entao b a onde a c. Se c e nito, entao a e nito. Logo a b
e a e nito, donde b e nito, pelo item (i).
A Lei de Tricotomia estabelece: para todo par de conjuntos c,b, temos que vale
uma e so uma das seguinte possibilidades: c b, b c, ou c b. Pode ser
provado que a Tricotomia equivale ao Axioma da Escolha. Porem, se um dos
conjuntos e nito, nao precisamos de [AE] para provar esta propriedade.
Proposicao 10.15 Se c e nito entao c b, b c, ou c b.
Demonstracao: Faremos inducao sobre os subconjuntos de c. Dado b, con-
sidere
w = a : a c ((a b) (b a) (a b)).
Claramente w pois, se b = , entao b e, se b ,= , entao b. Seja
a w e x c; queremos provar que a x w. O caso em que x a e obvio.
Assumamos que x , a. Como a w, entao temos tres casos:
Caso 1: a b. Logo, existe y b im(f), onde f e uma funcao injetora de a
em b. Portanto, g = f x, y) e uma funcao injetora de a x em b, donde
ax _ b. Daqui inferimos ax b ou ax b, pela Proposicao 9.14(iv).
Nos dois casos, a x w.
Caso 2: b a. Como a _ a x, entao b a x, pela Proposicao 9.14(iii).
Portanto a x w.
Caso 3: b a. Como a ax, entao a ax ou a ax. No primeiro
caso b a x; no segundo caso b a x. Nos dois casos a x w.
Em virtude do Teorema 10.8, c w, isto e, c b, b c, ou c b.
44
Corolario 10.16 Se c e nito e b nao e nito, entao c b.
Demonstracao: Temos que c b, b c ou c b. Os dois ultimos casos
implicam a existencia de uma bijecao f de a c em b. Mas a e nito, portanto
b = im(f) e nito, o que contradiz a hipotese. Logo, so pode ser c b.
Provaremos agora que um conjunto nito (no sentido Tarski) e um conjunto
nito (no sentido Dedekind). Como mencionamos anteriormente, toda prova
conhecida da armacao recproca precisa do [AE].
Denicao 10.17 Dedfin(c) denota (b)(b c c b)
(c e Dedekind-nito se nao e equipolente com nenhum subconjunto proprio).
Teorema 10.18 Se c e nito, entao c e Dedekind-nito.
Demonstracao: Seja c nito, e suponha que c nao e Dedekind-nito. Logo,
existe b c tal que c b (via uma bijecao f de c em b). Considere
u = a : a c fa a.
Como c c e fc = b c, entao c u, logo u ,= . Como c e nito e u T(c)
e nao vazio, existe um elemento minimal d em u. Dado que fd d e d e
minimal, entao
(1) fd , u.
Por outro lado fd d implica que existe x (dfd). Note que f(fd) fd.
Se f(x) f(fd), entao f(x) = f(y) com y fd. Mas f e injetora,
portanto f(x) = f(y) implica x = y, isto e, x fd, uma contradicao.
Logo f(x) fd f(fd), donde f(fd) fd. Daqui (e do fato de ter
fd d c) inferimos fd u, em contradicao com (1). Portanto a suposicao
inicial e falsa e entao c e Dedekind-nito.
Proposicao 10.19 Sejam c e b nitos.
(i) c b e nito.
(ii) c
b
e nito.
Demonstracao: (i) Sejam c e b nitos. Se c = ou b = entao c b = e
nito. Se c e b sao nao vazios, entao
c b =
_
a, a = c y : y b.
Dado que c c y, entao todo elemento de a e nito. Claramente a b,
donde a e nito. Pela Proposicao 10.12 o conjunto

a e nito, isto e, c b e
nito.
(ii) Temos que c
b
T(b c). Como b c e nito, pelo item (i), entao T(b c)
e nito, donde c
b
e nito.
45
11 Axiomas Finais de ZF. O Axioma da Escolha
Para denir a nocao de ordinal precisaremos de acrescentar axiomas adicionais
ao sistema S. A seguir completaremos a denicao do sistema ZF, estudando as
conseq uencias da incorporacao dos mesmos. O primeiro axioma a ser incorpo-
rado ao nosso sistema atual e o Axioma da Innidade, que assegura a existencia
de un conjunto innito.
Axioma da Innidade:
[A6] (w)(( w) (x)(x w x x w))
Por denicao temos que w, portanto
= w;
, = w;
, , , = , , w; etc.
Dado que x e logo xx so aparece num nvel posterior ao nvel em que foi
criado x, entao [A6] exige a existencia de uma seq uencia crescente innita de
nveis na estrutura cumulativa de tipos, sendo que w aparece so depois de todos
esses nveis. Este axioma e a primeira tentativa de armar que os nveis nao
tem m. Portanto, esta armacao pode ser aceita por alguns matematicos e re-
jeitada por outros.

E fundamental perceber que este axioma separa claramente
a Aritmetica (que pode ser realizada sem assumir a existencia de seq uencias
innitas) de outras disciplinas da Matematica avanzada, tais como Analise, que
fazem um uso essencial do Axioma da Innidade.
A seguir introduziremos um axioma importantssimo, o Axioma de Substi-
tuicao. Nao so obteremos o Axioma de Separacao como um corolario, senao
que poderemos assegurar a existencia de ordinais e cardinais transnitos.
Axioma de Substituicao: Seja (x, y) uma formula com x e y livres, mas
onde b nao ocorre livre (outras variaveis podem ocorrer livres em ). Seja z uma
variavel nova, e FUN

a formula (x)(y)(z)((x, y) (x, z) (y = z)).

[A7] FUN

(b)(y)(y b (x)(x a (x, y)))

A hipotese FUN

indica que dene uma funcao parcial, isto e: para cada x,

existe no maximo um y tal que (x, y). Assumindo FUN

, entao [A7] assegura

que o termo s dado por
s = y : (x)((x a) (x, y))
e legitimado; ele representa a imagem de a sob a funcao parcial denida por
(x, y); se o termo r dado por
r = x, y) : (x, y)
46
e legitimado, entao s e r(a) = im(r[a). Dado que r nao e necessariamente legi-
timado, devemos esperar que [A7] acrescente novos conjuntos. Observe que [A7]
e um esquema de axioma, denindo um axioma particular para cada formula
. Ele arma que, dado a, podemos substituir os seus elementos por outros
conjuntos, desde que coloquemos no maximo um conjunto para cada elemento
de a.
Em termos da teoria cumulativa de tipos, isto arma que os nveis nao tem
m. De fato, e a armacao mais forte em ZF nessa direcao. Assim, [A7] arma
que toda colecao de nveis colocados em correspondencia com os elementos de
um conjunto pode ser considerada como completada, portanto existem nveis
superiores. Mais precisamente, seja f(x) o nvel em que aparece y tal que
(x, y) (se nao existir y entao f(x) pode ser tomado como o primeiro nvel).
Logo, a colecao de nveis f(x) esta em correspondencia com os elementos de a,
portanto existe um nvel em que todos os y tais que (x, y) para algum x a
ja foram criados. Nesse nvel pode ser criado b = y : (x)((x a) (x, y)).
Observe que [A7] fornece um axioma para cada formula apropriada; isto
limita o poder de [A7], da mesma maneira que acontece con [A2]. Por outro
lado, [A2] e um caso particular de [A7]:
Proposicao 11.1 Seja (x) uma formula em que x ocorre livre mas b nao
ocorre livre. Logo,
[A7] (b)(x)(x b ((x a) (x))).
Em outras palavras, [A2] e implicado por [A7].
Demonstracao: Seja y uma variavel nova (isto e, y nao ocorre em (x) e
y ,= b). Considere (x, y) dada por
(x, y)
def
(x) (x = y).
Pelas regras da igualdade, provamos a formula
() (x)((x a) (x, y)) (y a) (y).
Por outro lado, e facil provar que (x, y) e (x, z) implica y = z. Logo FUN

donde, por [A7], inferimos que (b)(y)(y b (x)((x a) (x, y)). Por
() obtemos
(b)(y)(y b ((y a) (y))),
isto e, [A2].
Provaremos agora que o axioma [PR] pode ser deduzido dos axiomas [A3] e
[A7], conforme anunciado na Secao 2.
Proposicao 11.2 [A3], [A7] [PR].
Demonstracao: Primeiro obtemos o seguinte:
47
Fato 1: [A7] (c)(u)(u , c).
Com efeito, basta tomar
c
(x, y)
def
(x ,= x) (x = y) em [A7], e a uma
variavel qualquer (exerccio).
Fato 2: [A3], [A7] (d)(x)(x d (w)(w x (u)(u , w)).
Com efeito, basta tomar c como no Fato 1 e depois aplicar [A3] no conjunto c,
obtendo o conjunto d com as propriedades requeridas (exerccio).
Fato 3: Dados a e b considere a formula

a,b
(x, y)
def
((w)(w , x) y = a)
((w)(w x) (w)(w x (u)(u , w)) y = b).
Entao FUN

a,b
(exerccio).
Fato 4: Usando apenas logica classica temos que
(x)((w)(w x (u)(u , w))
a,b
(x, y)) (y = a y = b)
(exerccio).
Logo, pelo Fato 3 e por [A7] temos que
(z)(y)(y z (x)(x d
a,b
(x, y))).
Finalmente, tomando d como no Fato 2 obtemos, pelo Fato 4, que
(z)(y)(y z (y = a y = b)).

Denicao 11.3 O sistema ZF da Teoria de Conjuntos consiste do axioma

[A1] junto com os axiomas [A3]-[A7].
1
Uma vez que introduzimos a totalidade dos axiomas de TC, discutiremos o Ax-
ioma da Escolha ([AE]), que originou uma das principais discussoes dentro da
Teoria de Conjuntos. O sistema obtido de ZF acrescentando [AE] e usualmente
denotado por ZFC. Uma possvel formulacao de [AE] e a seguinte:
Axioma da Escolha:
[AE] ((x)(x z x ,= ) (x)(y)(((x, y z) (x ,= y))
x y = )) (u)(x)(v)(x z u x = v)
Isto e: dado um conjunto z cujos elementos sao nao vazios e dois a dois disjuntos,
entao existe um conjunto de escolhas u, que tem exatamente um membro em
comum com cada elemento de z. Observe que, embora u escolha um e-
lemento de cada membro de z, o axioma nada diz respeito `a existencia de um
procedimento efetivo para realizar esta escolha.
1
Dado que, pela Proposicao 11.1 o axioma [A2] e derivavel em ZF, continuaremos a utiliza-
lo no resto do texto, embora nao seja parte da axiomatica de ZF.
48
O carater altamente nao construtivo deste axioma foi alvo de crticas por
parte das escolas matematicas construtivistas. Porem, a quantidade de aplicacoes
fundamentais de [AE] dentro de TC como na Matematica em geral fazem de
[AE] um axioma praticamente imprescindvel. Em TC e necessario [AE], por
exemplo, para obter a Lei de Tricotomia para conjuntos. Existe uma serie de
importantes resultados matematicos relacionados com o Axioma de Escolha,
por exemplo: o Teorema de Hahn-Banach, o Teorema de Ideais Primos para

Algebras de Boole, a existencia de bases em espacos vetoriais, e o Teorema de

Tychono (o produto de espacos topologicos compactos e compacto). Estes
dois ultimos resultados sao de fato equivalentes a [AE], assim como os seguintes
Princpios:
Princpio da Boa Ordem: Todo conjunto admite uma boa ordem.
Lema de Zorn: Seja A um conjunto ordenado tal que todo subconjunto total-
mente ordenado (ou cadeia) B tem um limitante superior. Entao, A tem um
elemento maximal.
A nao-construtividade embutida em [AE] pode ser entendida atraves do
seguinte exemplo intuitivo, devido a Bertrand Russell:
Exemplo 11.4 Considere uma colecao z de pares de sapatos identicos. Nesse
caso, e possvel escolher sem problemas um unico elemento (sapato) de cada par
de sapatos de z, por exemplo atraves do algoritmo pegue apenas os sapatos
que correspondam ao pe direito. Por outro lado, se agora consideramos uma
colecao z

de pares de meias identicas (nao existindo nenhuma diferenca entre

a meia do pe direito e a do pe esquerdo), nao existe um metodo imaginavel
que permita escolher apenas uma meia de cada par de z

. Porem, o Axioma da
Escolha garante que e possvel fazer isto!
12 Introducao aos Ordinais
Embora os axiomas de ZF nao mencionam explicitamente a existencia dos nveis
da teoria cumulativa de tipos, eles sao fortes o suciente como para permitir
a sua denicao. Os ordinais permitirao indexar os nveis (alem de ter muitas
outras aplicacoes).
Denicao 12.1 (von Neumann) transi(x) denota
(y)(z)((y z) (z x) (y x))
(x e transitivo);
conec(x) denota (y)(z)(y, z x ((y z) (z y) (y = z)))
(x e conectado com relacao a );
ord(x) denota transi(x) conec(x)
(x e um ordinal);
x < y denota ord(x) ord(y) x y
(x e um ordinal menor que y);
x y denota ord(x) ord(y) (x < y x = y).
Teorema 12.2 Utilizando os axiomas [A1], [A2], [A4], [A5], [PR] provamos o
seguinte:
49
(i) Se x e ordinal e y x, entao y e ordinal.
(ii) e ordinal.
(iii) Se x e ordinal, entao x x e ordinal.
Demonstracao: (i) Fixe um ordinal x, e y x. Sejam u, v y. Como x e
transitivo e y x, entao u, v x. Como x e conectado com relacao a , entao
u v ou v u ou u = v. Daqui y e conectado. Para provar que y e transitivo
devemos utilizar o axioma da regularidade. Sejam entao u z, z y. Como
y x e x e transitivo, obtemos que u x. Logo, de conec(x) deduzimos: y u
ou y = u ou u y. Queremos eliminar as duas primeiras possibilidades.
Caso 1: y u. Temos entao: u z, z y, y u. Considere a = u, y, z
Logo:
y u a, z y a, u z a.
Logo, a ,= nao tem nenhum elemento disjunto com a, contrariando o axioma
da regularidade. Portanto, nao podemos ter y u.
Caso 2: y = u. Temos entao: u z, z y, y = u; isto e, y z, z y. Mas, na
Proposicao 3.6(2) provamos que [A5] implica: (a b b a). Portanto nao
podemos ter y = u.
Assim u y, donde transi(y). Daqui y e ordinal.
(ii) Todas as hipoteses sao falsas, logo e trivialmente um ordinal.
(iii) Seja y = x x. Observe que
() z y sse z x ou z = x.
Para provar que y e transitivo sejam u z e z y; queremos obter u y. Por
() temos dois casos a partir da hipotese z y:
Caso 1: z x. Logo u z, z x implica u x, pois transi(x). Daqui u y,
por ().
Caso 2: z = x. Logo u z, z = x implica u x. Portanto u y, por ().
Provamos assim transi(y). Para provar que y e conectado considere u y,
z y; queremos obter z u ou u z ou z = u. Por () inferimos a partir de
u, z y:
Caso 1: u x.
Caso 1.1: z x. Daqui u x, z x implica z u ou u z ou z = u, pois
conec(x).
Caso 1.2: z = x. Logo u x, x = z implica u z, donde z u ou u z ou
z = u.
Caso 2: u = x.
Caso 2.1: z x. Daqui z x, x = u implica z u, logo z u ou u z ou
z = u.
Caso 2.2: z = x. Logo u = x, x = z implica u = z, portanto z u ou u z
ou z = u.
Provamos entao que y e conectado, sendo portanto um ordinal.
Denicao 12.3 Introduzimos a notacao seguinte:
0 denota ;
50
1 denota ;
2 denota , ;
3 denota , , , ;
em geral, n denota 0, 1, 2, ..., n 1;
x + 1 denota x x (o sucessor de x).
Podemos provar agora a lei de tricotomia para ordinais (nao confundir com a lei
de tricotomia enunciada anteriormente!). Esta propriedade e de fundamental
importancia.
Teorema 12.4 Se x e y sao ordinais, entao: x y ou y x ou x = y.
Demonstracao: Provaremos primeiro o seguinte
Fato: Se x e y sao ordinais e x y, entao x y.
Com efeito: Seja z = y x. Logo z ,= , portanto existe u z tal que uz = ,
pelo axioma da regularidade. Logo u y, u , x. Como u z = , entao v u
implica v , z, isto e, v , y ou v x ou, equivalentemente, (v y v x). Ou
seja: v u implica (v y v x). Como y e transitivo e u y, entao v u
implica v y. Como tambem temos (v y v x), entao deduzimos v x.
Ou seja: v u implica v x, donde u x. Por outro lado, seja w x; como
x y, entao w y. Dado que u y e y e conectado, entao u = w ou u w
ou w u. Se u = w, entao de w x inferimos u x, contradicao (u y x).
Se u w entao: u w, w x implica u x (pois x e transitivo), contradicao.
Portanto so podemos ter w u. Assim: w x implica w u, donde x u.
Desta maneira u = x. Como u y, entao x y, provando o Fato.
Sejam entao x e y ordinais.

E muito simples provar que z = x y e tambem
um ordinal (exerccio). Se z ,= x e z ,= y, entao z x e z y, donde z x e
z y, pelo Fato. Daqui z x y, isto e, z z, contradicao. Logo z = x ou
z = y. Se z = x, entao x y. Se x = y, vale a tricotomia. Se x y, entao
x y, pelo Fato, donde vale a tricotomia. O caso z = y e similar.
Corolario 12.5 (Paradoxo de Burali-Forti) O termo x : ord(x) nao
e legitimado.
Demonstracao: Suponha que denimos On = x : ord(x). Provaremos
que On e um ordinal, portanto On On, uma contradicao. Com efeito, pelo
Teorema 12.2(i) obtemos que On e transitivo. Pelo Teorema 12.4 inferimos que
On e conectado. Daqui ord(On).
Desde o ponto de vista da teoria cumulativa de tipos, esperamos ter so um
ordinal em cada nvel (isto sera provado depois). Logo, On nao poderia ser
jamais completado.
Denicao 12.6 Usaremos as letras gregas , , , etc., eventualmente com
subndices (mas nao , , as quais sao reservadas para denotar formulas),
como variaveis para indicar ordinais. Alem disso,
()() denotara ()(ord() ());
()() denotara ()(ord() ()), e
51
: () denotara : ord() ().
A denicao da quanticacao () e () e correta, pois existem ordinais.
Denicao 12.7 suc(x) denota ord(x) ((y)(x = y + 1) (x = 0))
(x e zero ou um ordinal sucessor);
lim(x) denota ord(x) suc(x)
(x e um ordinal limite);
int(x) denota suc(x) (y)(y < x suc(y))
(x e um enteiro nao negativo).
Se x e um ordinal sucessor da forma x = y + 1, entao y x, pela denicao
de y + 1. Pelo Teorema 12.2(i), temos que y e tambem um ordinal. Portanto
y +1 e um ordinal sse y e um ordinal. Nao existe razao para considerar 0 como
sucessor ou limite, mas ele e incluido no conjunto dos sucessores. Observe que
vale a seguinte propriedade:
[LIM] lim(x) ord(x) (x ,= 0) (y)(y x y + 1 x).
Com efeito, lim(x) implica ord(x) e ord(x)((y)(x = y +1)x ,= 0). Logo
ord(x), x ,= 0 e (y)(x ,= y + 1). Seja y x; como ord(y), entao ord(y + 1)
donde, por tricotomia, y + 1 < x ou y + 1 = x ou x < y + 1. Nao podemos ter
x = y+1. Por outro lado, x < y+1 implica: x = y (portanto x x, contradicao)
ou x y (portanto x y e y x, contradicao). Logo y+1 < x, isto e, y+1 x.
Reciprocamente, suponha ord(x), x ,= 0, (y)(y x y+1 x). Se x = y+1,
entao y x, donde y + 1 x, isto e, x x, contradicao. Logo x ,= y + 1 para
todo y donde x e ordinal limite.
Provaremos que um princpio fraco de inducao matematica para os inteiros e
valido no sistema S (lembre da Denicao 3.5).
Teorema 12.8 (Inducao Matematica) Para cada formula da linguagem
de ZF, temos que:
S ((0) ()(() ( + 1))) ()(int() ()).
Demonstracao: Suponhamos que a conclusao do princpio de inducao e falsa;
provaremos que a hipotese e falsa. Assim, assumamos que existe um ordinal
tal que int() (). Observe que, dados ordinais e , entao sse
= ou sse + 1. Portanto, por [A2] podemos criar o conjunto
y = : () = : ( + 1) ().
Por outro lado y ,= , pois y. Pelo axioma da regularidade existe
0
y tal
que
0
y = . Dado que
0
e int(), entao suc(
0
). Com efeito:
0
=
implica int(
0
), logo suc(
0
). Por outro lado,
0
< implica suc(
0
), pela
denicao de int(). Dado que suc(
0
), entao
Caso 1:
0
= 0. Daqui (0), pois
0
y.
Caso 2:
0
=
1
+1 para algum
1
(que resulta ser um ordinal, pela observacao
apos a Denicao 12.7). Como
1

0
e
0
y = , entao
1
, y. Daqui (
1
),
pois
1
. Isto e: (
1
) (
1
+ 1).
52
Vemos que cualquer dos casos acima contraria a hipotese do princpio de inducao.

O princpio de inducao 12.8 e mais fraco do que a inducao utilizada freq uente-
mente em matematicas, pois 12.8 e restrito `as propriedades dos inteiros que po-
dem ser expressadas mediante formulas da linguagem. O conjunto das formulas
e enumeravel, enquanto que o conjunto das propriedades dos inteiros positivos
e o conjunto T(N), que nao e enumeravel.
Queremos provar que a colecao dos inteiros e um conjunto. Isto sera provado
a partir do axioma do innito (de fato, o seguinte teorema e equivalente a [A6]).
Teorema 12.9 Seja Z o sistema composto dos axiomas [A1]-[A6] mais [PR],
isto e, Z e obtido de ZF substituindo o axioma de substituicao [A7] pelos a-
xiomas [A2] e [PR]. Logo
Z (y)(z)(z y int(z)).
Demonstracao: Pelo axioma [A6] existe um conjunto w tal que 0 w e se
x w entao x+1 w. Considere a formula (x) dada por x w. Por inducao
matematica obtemos:
(x)(int(x) x w).
Portanto inferimos que int(x) sse (x w) int(x) para todo x. Por otro lado,
de [A2] deduzimos
(y)(x)(x y ((x w) int(x))).
Isto signica que existe y = x : (x w) int(x) = x : int(x).
Denicao 12.10 denota z : int(z)
(o conjunto dos inteiros nao negativos).
Teorema 12.11 (i) Z ord().
(ii) Z lim().
Demonstracao: (i) Considere y x e x . Logo y x e int(x); daqui y
e um ordinal (pois y x e x e um ordinal), e y < x. Logo suc(y). Se z y,
entao z x, logo suc(z). Daqui int(y), isto e, y . Isto prova que e
transitivo. Sejam agora x, y . Logo ord(x) e ord(y). Pela lei de tricotomia
para ordinais obtemos x y ou y x ou x = y. Isto prova que e conectado
para .
(ii) Observe que ,= 0, pois 0 . Alem disso e um ordinal, por (i).
Claramente
(y)(int(y) int(y + 1)),
isto e, (y)(y (y +1 )). Pela propriedade [LIM] obtemos que e um
ordinal limite.
53
13 Inducao e Recursao Transnita
Introduziremos a seguir a importante nocao de fecho transitivo de um conjunto,
que sera utilizada para provar que a relacao de pertinencia e bem fundada.
O fato de ser bem fundada permitira a introducao de denicoes e demon-
stracoes por recursao transnita em ZF, uma poderosa ferramenta na teoria de
conjuntos.
Denicao 13.1 FT(x) denota y : (z)(x z transi(z) y z)
(FT(x) e o fecho transitivo de x).
Por denicao, FT(x) e o menor conjunto transitivo z tal que x z, isto e, FT(x)
e a intersecao de todos os conjuntos transitivos z tais que x z. Ele e formado
intuitivamente da maneira seguinte: dado x, procuramos nos nveis anteriores
os elementos y de x, e recomecamos o processo, isto e, procuramos os elementos
z de y, e depois os elementos w de z etc., obtendo o historico de x atraves
destas componentes.

E claro que precisamos provar a existencia de FT(x)
para todo x. Ela e garantida pelos axiomas da innidade e da substituicao.
Enunciamos este resultado, omitindo a demonstracao.
Teorema 13.2 Em ZF o termo FT(x) e legitimado, isto e:
Z (x)(w)(y)(y w (z)(x z transi(z) y z)).
Podemos agora denir a classe de formulas a partir das quais podemos fazer
inducao, isto e, as formulas (x, y) que expressam relacoes bem fundadas.
Denicao 13.3 Seja (x, y) uma formula onde x e y ocorrem livres. BF()
denota
(x)((x ,= (v)(v x (z)(z x (z, v))))
(u)(x u (w, y)(y u (w, y) w u)))
(a relacao (x, y) e bem fundada).
A primeira parte da formula anterior arma que todo conjunto nao vazio deve
ter um elemento -minimal; intuitivamente, nao temos -ciclos nem -cadeias
descendentes innitas, isto e: nao podemos ter (x, x
1
), (x
1
, x
2
), ..., (x
n
, x)
nem
(x
1
, x), (x
2
, x
1
), (x
3
, x
2
), . . . , (x
n
, x
n1
), . . . .
A segunda parte arma que todo conjunto pode ser estendido a um conjunto
u que e -fechado, isto e: todo conjunto -relacionado com um membro de u
deve pertencer a u.
Proposicao 13.4 Em ZF provamos que as relacoes x < y e x y sao bem
fundadas.
Demonstracao: Nas duas relacoes, a primeira parte e uma conseq uencia direta
do axioma da regularidade. A segunda parte segue do Teorema 13.2, tomando
u como sendo FT(x). Com efeito: seja y x; se x z e z e transitivo, entao
y z. Logo y FT(x), donde x FT(x). Se y FT(x) e w y, considere z
54
transitivo tal que x z. Logo y z, donde w z, pois z e transitivo. Daqui
w FT(x), portanto FT(x) satisfaz as condicoes requeridas.
Podemos agora legitimar a nocao de prova por -inducao transnita, assumindo
que e bem fundada. Assim, para provar que (y)(y) basta assumir a ver-
dade de (z) para todos os -antecessores z de y. A hipotese de inducao e
(z)((z, y) (z)).
Teorema 13.5 (Inducao Transnita) Em S provamos o seguinte:
[BF() (y)((z)((z, y) (z)) (y))] (y)(y).
Demonstracao: Suponha que (y)(y) e falsa e BF() e verdadeira. Encon-
traremos v
0
tal que
(1) (z)((z, v
0
) (z)) (v
0
),
contrariando a hipotese do teorema. Seja entao v tal que (v); ele existe,
pela suposicao (y)(y). Como BF(), podemos estender v a um conjunto
-fechado u, isto e:
(2) (v u) (z u (w, z) w u).
Considere u

= z : (z u) (z), legitimado por [A2]. Como v u, entao

v u

, portanto u

,= . Pela primeira parte de BF() existe um elemento

v
0
de u

que e -minimal. Logo, xe z tal que (z, v

0
); isto implica z , u

,
pois v
0
e -minimal em u

, portanto z , u ou (z). Dado que v

0
u (pois
v
0
u

) e (z, v
0
), entao z u, por (2). Daqui (z), provando desta maneira:
(z, v
0
) (z) para todo z. Como v
0
u

, entao (v
0
). Desta maneira
provamos (1) como queriamos.
As provas por inducao transnita sao importantes, mas sao mais uteis quando
combinadas com a denicao por recursao transnita. Suponha que queremos
denir a soma de ordinais de maneira a ter
+0 = ;
() + ( + 1) = ( +) + 1;
+ =

<
( +) se e um ordinal limite.
Embora +1 e

sejam operacoes conhecidas, vemos que a segunda e a terceira

clausula de () utilizam + nos dois lados da denicao. Usualmente este tipo de
denicao circular seria rejeitada. Porem, devemos observar que os ordinais do
lado direito utilizam + em ordinais menores aos do lado esquerdo (o membro
a ser denido). Podemos pensar que, xado , denimos sucessivamente +
para ordinais cada vez maiores, utilizando os valores + com < . O
Teorema da Denicao por Recursao Transnita estabelece que, partindo de uma
relacao (x, y) bem fundada, entao podem ser realizadas este tipo de denicoes
55
que utilizam os -antecessores, e a denicao e unica. Ou seja, podemos denir
novas operacoes por inducao sobre uma relacao bem fundada. Observe que
a denicao (), embora consista de varias clausulas, elas podem ser juntadas
numa so clausula mediante disjuncao de conjuncoes. Assim uma denicao pode
ser pensada como sendo introduzida por uma formula. Isto coincide com a ideia
de denicao de funcoes por recursao: se h(

x) e g(x, y;

x) sao funcoes recursi-

vas de n umeros naturais, entao podemos denir por recursao sobre x a funcao
f(x;

x) (onde

x consiste de parametros) da maneira seguinte:
f(0;

x) = h(

x);
f(x + 1;

x) = g(f(x;

x), x;

x).
Desta maneira f e denida a partir de g, que utiliza o valor anterior de f.
Deniremos um analogo (mais geral) para TC, onde agora g utilizara todos os
valores anteriores de f.
Denicao 13.6 Seja G(x
1
, ..., x
n
, y) uma formula com ao menos x
1
,..., x
n
, y
livres. Denimos
G

x
1
, ..., x
n
) = z : (y)((w)(G(x
1
, ..., x
n
, w) y = w) (z y)).
Isto e, G

x
1
, ..., x
n
) e o unico y tal que G(x
1
, ..., x
n
, y) (se existir), ou em caso
contrario. Logo G

x
1
, ..., x
n
) e sempre um conjunto.
Denicao 13.7 Seja F(x
1
, ..., x
n
, y) uma formula com ao menos x
1
, ..., x
n
, y
livres, e (u, v) com u, v livres. Denimos
ANT(F, x
1
, ..., x
n
, (u, v)) = z, x
2
, x
3
, ..., x
n
), F

z, x
2
, ..., x
n
)) : (z, x
1
).
O termo ANT(F, x
1
, ..., x
n
, (u, v)) dene o conjunto dos valores de F previos
a x
1
(a variavel de recursao).
Lema 13.8 Se (u, v) e bem fundada, entao ANT(F, x
1
, ..., x
n
, (u, v)) e le-
gitimado em ZF.
Estabeleceremos a seguir o teorema de recursao transnita. A partir de agora
G(x, x
1
, ...., x
n
, y) e uma formula denindo uma operacao que e iterada na
variavel x
1
, com x
2
,..., x
n
como parametros para denir uma operacao y =
F

x
1
, ...., x
n
). Em ANT(F, x
1
, ..., x
n
, (u, v)) estao disponveis os valores an-
teriores de F, e permanecem no primeiro lugar de G na iteracao, da mesma
maneira que e feito na denicao da funcao recursiva
f(x + 1;

x) = g(f(x;

x), x;

x).
Teorema 13.9 (Recursao Transnita) Sejam G(x, x
1
, ..., x
n
, y) e (u, v)
formulas. Entao existe uma formula F(x
1
, ..., x
n
, y) tal que
BF((u, v)) (x
1
)[(!y)F(x
1
, ..., x
n
, y) (y)(F(x
1
, ..., x
n
, y)
y = G

ANT(F, x
1
, ..., x
n
, (u, v)), x
1
, x
2
, ..., x
n
))]
e demonstravel em ZF.
56
Veremos a seguir dois exemplos de aplicacao do princpio de denicao por re-
cursao transnita: a funcao de posto e a hierarquia cumulativa de von Neumann.
Denicao 13.10 (x) =

(y) + 1 : y x
((x) e o posto de x).
Proposicao 13.11 Em ZF provamos o seguinte:
(i) (x) e denido para todo conjunto x.
(ii) (x) e um ordinal para todo conjunto x.
(iii) Se e um ordinal, entao () = .
(iv) se x y, entao (x) < (y).
Demonstracao: (i) Usaremos o principio de recursao transnita. Para isto,
considere (u, v) como sendo u v; logo, a relacao (isto e, a relacao ) e bem
fundada, pela Proposicao 13.4. Seja G(X, x
1
, y) a formula
G(X, x
1
, y)
def
(x
1
= x
1
) (y =
_
w + 1 : w im(X)).
Logo, a operacao F(x, y) denida no Teorema 13.9 satisfaz:
F

x) = G

ANT(F, x, ), x) =
_
w + 1 : w im(ANT(F, x, )).
Por outro lado:
ANT(F, x, ) = z, F

z)) : z x
donde im(ANT(F, x, )) = F

z) : z x. Daqui
F

x) =
_
F

z) + 1 : z x.
Isto signica que a operacao F e a funcao posto.
(ii) Considere a formula (x) dada por ord((x)). Provaremos por inducao
transnita sobre a relacao que (x) e verdadeira para todo x. Assim xemos
y, e suponhamos que
(z)(z y ord((z))
(a hipotese de inducao) e verdadeira. Queremos provar que (y) e um ordinal.
Se z y, entao ord((z)), logo ord((z) + 1). Alem disso, (y) =

(z) + 1 :
z y, logo x (y) sse existe z y tal que x (z)+1. Sejam entao x (y)
e w x; logo w x e x (z) + 1 para algum z y, e (z) + 1 e um ordinal
(portanto e transitivo). Daqui w (z) + 1 e entao w (y). Logo, (y) e
transitivo. Se u, v (y), entao u (z) + 1 e v (z

) + 1 para z, z

y.
Dado que (z) + 1 e (z

) + 1 sao ordinais, entao u e v sao ordinais, portanto

u v ou v u ou u = v, pela lei de tricotomia para ordinais. Daqui (y) e
conectado, sendo portanto um ordinal.
(iii) Considere (x) a formula (ord(x) x = (x)). Provaremos por inducao
transnita sobre a relacao bem fundada < que (x) vale para todo x. As-
sumamos entao, xado y, a hipotese de inducao (z)(z < y (z)), isto e,
(z)[(ord(z) ord(y) z y) (ord(z) z = (z))]
57
ou, equivalentemente,
() (z)[(ord(y) ord(z) z y) z = (z)].
Queremos provar que (ord(y) y = (y)). Suponha entao que y e um ordinal.
Logo, se z y entao z e um ordinal, e vale a hipotese de () para z, portanto
z = (z). Daqui
(y) =
_
(z) + 1 : z y =
_
z + 1 : z y.
Seja x (y); logo x z + 1 para algum z y. Temos dois casos:
(a) x z. Logo x z, z y implica x y (pois y e um ordinal portanto e
transitivo).
(b) x = z. Logo x = z, z y implica x y.
Vemos que em todos os casos x (y) implica x y, donde (y) y. Suponha
agora que x y; logo x x +1 tal que x y, donde x (y). Isto e, y (y),
portanto y = (y) como queriamos provar.
(iv) Seja x y. Como (x) (x) + 1 e x y, entao (x)

(z) + 1 : z
y = (y). Dado que (x) e (y) sao ordinais, pelo item (ii), entao inferimos
que (x) < (y).
Denicao 13.12 A Hierarchia Cumulativa de von Neumann e denida da
maneira seguinte:
1

=
_
<
T(1

) =
_
T(1

) : < .
Exemplo 13.13 Aplicando a denicao acima temos que
1
0
=

T(1

) : < 0 =

= ;
1
1
=

T(1

) : < 1 =

T(1
0
) =

T() =

= ;
1
2
=

T(1

) : < 2 =

T(1
0
), T(1
1
) =

, ,
= , ;
1
3
=

T(1

) : < 3 =

T(1
0
), T(1
1
), T(1
2
)
=

, , , , , , , = , , , , .

Teorema 13.14 Em ZF provamos o seguinte:

(i) 1

e denido para todos os ordinais .

(ii) Seja um ordinal. Logo 1

e transitivo, e 1
+1
= T(1

).
(iii) Seja um ordinal limite. Logo 1

<
1

.
(iv) Seja um ordinal. Entao x 1

sse (x) < .

(v) (x)()(x 1

) (aqui, denota um ordinal).

Demonstracao: (i) Aplicaremos o principio de recursao transnita 13.9. Con-
sidere a formula
G(X, x
1
, y)
def
(x
1
= x
1
) (y =
_
T(w) : w im(X)).
58
A operacao F(x, y) denida por recursao transnita sobre a partir de G
satisfaz o seguinte:
F

x) =
_
T(w) : w im(ANT(F, x, )).
Mas im(ANT(F, x, )) = F

y) : y x, logo
F

x) =
_
T(F

y)) : y x.
Se e um ordinal, entao < sse , logo F

) representa 1

sobre os
ordinais , isto e, 1

esta legitimado para todo ordinal .

(ii) Faremos inducao transnita sobre a relacao < e a seguinte formula:
(x)
def
ord(x) (transi(1
x
) 1
x+1
T(1
x
)).
Fixado um ordinal y, assuma que a hipotese de inducao e verdadeira, isto e,
(z)(z < y (z)) ou, equivalentemente,
() (z)(z y (transi(1
z
) 1
z+1
T(1
z
)))
(pois, se y e ordinal, entao z < y sse z y). Queremos provar que 1
y
e transi-
tivo e 1
y+1
T(1
y
). Pela denicao de 1
y
temos que
() x 1
y
sse x T(1
z
) para algum z y sse x 1
z
para algum z y.
Fato 1: Seja u transitivo e w u. Logo w u.
Com efeito, se z w, entao: z w, w u, transi(u) implica z u, isto e:
z w implica z u. Daqui w u, provando o Fato 1.
Seja entao x 1
y
e w x. Por () temos que x 1
z
para algum z y.
Dado que w x, entao w 1
z
. Por () temos que 1
z
e transitivo, e w 1
z
,
logo w 1
z
, pelo Fato 1. Portanto w 1
y
, por (). Isto signica que 1
y
e
transitivo se y e um ordinal. Falta provar que 1
y+1
T(1
y
). Por () temos que
1
z+1
T(1
z
) para todo z y, logo 1
z+1
= T(1
z
) para todo z y (a inclusao
T(1
z
) 1
z+1
e imediata da Denicao 13.12). Logo
1
y+1
=

T(1
z
) : z y + 1 =

(T(1
z
) : z y T(1
y
))
=

(1
z+1
: z y T(1
y
)).
Seja x 1
y+1
; logo x u tal que u 1
z+1
: z y T(1
y
), pela denicao
de

. Temos dois casos:

(a) u = T(1
y
). Logo, x T(1
y
).
(b) u = 1
z+1
para algum z y. Provaremos primeiro o seguinte
Fato 2: Se e sao ordinais, entao < + 1 implica 1

.
Com efeito, se < , entao: implica . Logo, se w 1

, entao
w T(1

) para algum , pela Denicao 13.12. Daqui w T(1

) onde
, portanto w 1

, isto e, 1

. O caso = e obvio. Isto prova o

Fato 2.
59
Continuando com o caso (b), temos que x u = 1
z+1
, onde z y. Logo existe
w z +1 tal que x T(1
w
), pela Denicao 13.12. Mas w z +1, z y implica
w y, pois y e ordinal. Daqui w < y + 1 e entao 1
w
V
y
, pelo Fato 2. Dado
que x T(1
w
), entao x 1
w
, donde x 1
y
, isto e, x T(1
y
).
Vemos que os dois casos (a) e (b) nos levam `a conclusao de que x T(1
y
).
Portanto 1
y+1
T(1
y
). Desta maneira provamos (y) a partir da hipotese de
inducao. Logo, (x) vale para todo x, isto e: 1

e transitivo e 1
+1
= T(1

),
se e um ordinal.
(iii) Seja um ordinal limite. Por (ii) temos que
1

=
_
T(1

) : < =
_
1
+1
: < .
Se < entao + 1 < , por [LIM], donde 1

e 1
+1
1

, pelo Fato
2. Portanto 1

T(1

) e 1
+1
T(1

). Isto signica que existem os conjuntos

a = 1

: < = x : x T(1

) ()( < x = 1

),
b = 1
+1
: < = x : x T(1

) ()( < x = 1
+1
).
Dado que < implica 1

, entao

a 1

, pela denicao de

. Por
outro lado, como < implica + 1 < entao b a, donde 1

b

a,
isto e, 1

a como queriamos.
(iv) Considere (x)
def
()(x 1

(x) < ) (aqui, e uma variavel de

ordinais). Provaremos por inducao sobre que (x) vale para todo x. Seja y,
e suponhamos que
(HI) (z)(z y (z)).
Queremos provar que vale (y). Fixemos entao um ordinal .
Parte 1: (y 1

(y) < ).
Assumamos que y 1

. Se z y, entao z 1

, pois 1

e transitivo por (ii).

Por (HI) temos que (z) < , portanto (z) +1 . Suponha que existe z y
tal que = (z) + 1. Logo, por (ii)
y 1

= 1
(z)+1
= T(1
(z)
).
Daqui y 1
(z)
; mas z y, logo z 1
(z)
, e (z) e um ordinal. Por (HI)
obtemos que (z) < (z), uma contradicao. Logo (z) +1 < para todo z y.
Portanto
(y) =
_
(z) + 1 : z y
donde (y) . Suponha que = (y). Dado que y 1

, entao existe
tal que y T(1

), pela Denicao 13.12. Dado que = (y), entao existe

z y tal que (z)+1. Mas y T(1

), entao y 1

, e z y, donde z 1

.
Por (HI) temos que (z) < . Por outro lado provamos que (z) + 1, e
entao temos dois casos:
(a) (z): logo (z) e (z) , contradicao.
60
(b) = (z): logo (z) e = (z), contradicao.
Os dois casos nos levam a uma contradicao, portanto (y) < . Isto conclui a
prova da Parte 1.
Parte 2: ((y) < y 1

).
Assumamos que
(y) =
_
(z) + 1 : z y < .
Suponha que y , 1

=

T(1

) : < . Aplicando a denicao de

obtemos:
( ) para todo < existe z y tal que z , 1

pois y , T(1

) sse y , 1

. Por hipotese (y) < donde, por (), existe z y

tal que z , 1
(y)
. Dado que z y e (z) < (z) + 1 entao, por (HI), temos que
z 1
(z)+1
. Mas z y implica (z) < (y), pela Proposicao 13.11(iv). Logo
(z)+1 < (y)+1, donde 1
(z)+1
1
(y)
, pelo Fato 2. De z 1
(z)+1
obtemos
z 1
(y)
, uma contradicao. Portanto y 1

. Provamos desta maneira a Parte

2, obtendo portanto (y). Por inducao transnita temos que (x) vale para
todo x.
(v) Dado x, entao (x) e um ordinal, portanto (x) + 1 e tambem um ordinal,
e (x) < (x) + 1. Pelo item (iv) inferimos que x 1
(x)+1
.
O teorema anterior e a armacao mais forte que podemos fazer em ZF com
relacao `a teoria cumulativa de tipos. Provamos desta maneira que os objetos
que estudamos na linguagem (reprsentados pelas variaveis livres) pertencem de
fato a uma estrutura cumulativa. O ordinal (x)+1 indica o nvel da hierarquia
em que o conjunto x aparece pela primeira vez; portanto o seu posto (x) de-
nota exatamente o nvel em que ele e concebido. Por outro lado, 1

e a colecao
de todos os conjuntos que apareceram antes do nvel . Logo 1
+1
1

consiste
dos conjuntos criados no nvel . O fato que (x) + 1 = Min : x 1

e
facil de ser provado. Com efeito:
(a) (x) < (x) + 1 implica x 1
(x)+1
;
(b) x 1

implica (x) < implica (x) + 1 .

Assim, 0 aparece no nvel 1 (pois o nvel 0 e vazio); 1 e concebido no nvel 1 (isto
e, (1) = 1 1), logo so aparece no nvel 2; em geral, n e concebido no nvel
(n) = n n, portanto aparece pela primeira vez no nvel seguinte n + 1. Ja
aparece no nvel +1, pois ele e criado no nvel (innito), enquanto que
1

consiste de todos os conjuntos que apareceram em nveis nitos. Em geral,

se e um ordinal, entao e concebido no nvel , logo aparece no nvel +1,
isto e: 1
+1
1

. Cada nvel (diferente do nvel 0) contem exatamente

um ordinal, e cada ordinal denota um nvel. Neste sentido forte, os ordinais
descrevem os nveis da hierarquia cumulativa de tipos.
61
14 Aritmetica Ordinal
Continuaremos estudando nesta secao os ordinais. Primeiro de tudo provaremos
que os ordinais sao exatamente os conjuntos bem ordenados, dai a denominacao
de ordinais. Lembremos da Denicao 6.10 que bo(r, x) denota que r e uma boa
ordem em x, e min(v, r, u) denota v u (w)(w u (w r v)) (v e um
elemento r-minimal de u). Introduzimos a seguinte notacao:
Denicao 14.1 bf(r, x) denota (u)(u x u ,= (v)min(v, r, u)
(r e bem fundada sobre x)
Usando esta denicao, e imediato que bo(r, x) bf(r, x) con(r, x), em que
con(r, x) denota que r e conectada em x (lembre da Denicao 6.1). Como foi
provado nas Proposicoes 6.12 e 6.13, uma boa ordem r em x equivale a uma
ordem estrita r em x tal que todo subconjunto de x nao vazio tem r-primeiro
elemento.
Lema 14.2 Seja E(x) = y, z) : y, z x y z. Em S vale o seguinte:
(i) Se x e um ordinal, entao E(x) e uma boa ordem em x.
(ii) Se r e bem fundada em z, entao (x, y)
def
(x, y z) (x r y) e bem
fundada (lembre da Denicao 13.3).
Demonstracao: (i) Se x e um ordinal, entao y E(x) z sse y < z para todo
y, z x. Dado que y < z e uma relacao bem fundada, entao E(x) e bem
fundada em x. Se y, z x entao y e x sao ordinais. Pela lei de tricotomia para
ordinais temos que E(x) e conectada em x.
(ii) Seja r bem fundada em z, e considere (x, y)
def
(x, y z) (x r y). Se
x ,= , queremos provar o seguinte:
() ( v x)( w x)(w z v z (w r v),
pois (w, v) [w z v z (w r v)]. Considere u = xz z. Se u = ,
entao tomando v x arbitrario (estamos assumindo que x e nao vazio) obtemos
() trivialmente, pois v , z. Se u ,= entao, dado que u z, temos que existe
v u (portanto v x) tal que (w r v) para todo w u, pois r e bem fundada
em z. Seja w x; se w z e v z, isto e, se w z, entao inferimos w u,
donde (w r v). Isto prova (), e logo (x, y) satisfaz a primeira metade da
denicao de relacao bem fundada. Para a segunda metade, seja x arbitrario;
queremos provar que existe u tal que
() x u ( w, y)(y u (w, y) w u).
Se x = , entao u = satisfaz trivialmente (). Se x ,= considere
u = x w : w z ( y z)(wr y).
Temos que u ,= e x u. Sejam w e y tais que y u e (w, y), logo: y, w z
e w r y. Daqui w u, pela denicao de u, portanto vale () e entao (x, y) e
bem fundada.
62
Lema 14.3 Em ZF provamos o seguinte: se bf(r, z), entao existe
h(x) = h(y) : y z y r x
para todo x z.
Demonstracao: Usaremos recursao transnita para denir os conjuntos h(x).
Considere a formula
G(X, x
1
, y)
def
(x
1
= x
1
) (y = im(X)).
Seja F(x, y) a operacao denida a partir de G(X, x
1
, y) por recursao transnita
na relacao bem fundada (x, y)
def
(x, y z) (x r y) (temos que (x, y) e
bem fundada pelo Lema 14.2(ii)). Por denicao
ANT(F, x, (u, v)) = y, F

y)) : (y, x)
portanto, xado x z,
F

x) = G

ANT(F, x, (u, v)), x)

= im(ANT(F, x, (u, v))
= F

y) : (y, x)
= F

y) : x, y z y r x
= F

y) : y z y r x.
Desta maneira, F(x, y) representa a operacao h(x) desejada para todo x z.
Teorema 14.4 (Caracterizacao dos Ordinais) Em ZF prova-se: se r e uma
boa ordem em z, entao existe um ordinal tal que
h : z, h(x) = h(y) : y z y r x
e um isomorsmo de conjuntos bem ordenados, isto e: h e uma bijecao tal que:
x r y sse h(x) < h(y). O ordinal e o isomorsmo h sao unicos.
Demonstracao: Seja r uma boa ordem em z; logo, bf(r, z) donde existe h(x)
para todo x z, pelo Lema 14.3. Seja
r

= (r[z) y, z) : y z
lembrando que r[z = x, y) : x z x r y. Provaremos que r

e bem
fundada em z + 1. Seja entao u z + 1, u ,= .
Caso 1: u z. Como bf(r, z), existe v u tal que (w r v) para todo w u.
Pela construcao de r

, temos que (w r

v) para todo w u pois r coincide

com r

em z z.
Caso 2: u = z u
1
tal que u
1
z. Se u
1
= entao v = z satisfaz: v u
e (w r

v) para todo w u. Se u
1
,= entao u
1
z e nao vazio, logo existe
v u
1
tal que (w r v) para todo w u
1
. Como (z r

v), pela construcao de

63
r

, entao (w r

v) para todo w u.
Isto prova que bf(r

, z + 1). Pelo Lema 14.3 inferimos que existe

h

(x) = h

(y) : (y z + 1) (y r

x)
para todo x z + 1.
Fato 1: h

(x) = h(x) para todo x z.

Com efeito: seja (x)
def
(x z h

(x) = h(x)). Fixemos y tal que

(HI) (w)((w, y) (w)),
onde (u, v)
def
(u, v z)(u r v) e uma relacao bem fundada, pelo Lema 14.2(ii).
Suponhamos que y z; logo, pela construcao de r

:
h

(y) = h

(w) : (w z + 1) (w r

y)
= h

(w) : w z w r y
= h

(w) : (w, y).

Por (HI) temos que (w) para todo w tal que (w, y). Como (w, y) implica w
z, entao obtemos que h

(w) = h(w) para todo w tal que (w, y). Daqui h

(y) =
h(y). Por inducao transnita sobre (x, y) inferimos que (x) e verdadeira para
todo x como queriamos, provando o Fato 1.
A partir do Fato 1 e da denicao de r

obtemos
h

(z) = h

(y) : (y z + 1) (y r

z) = h

(y) : y z = h(y) : y z.
Seja
def
h

(z). Provaremos que e um ordinal. Seja x h(y), y z. Logo

x = h(w) tal que w z, pelas denicoes de h(y) e (w, y), portanto x ;
daqui e transitivo. Sejam h(x), h(y) . Como x, y z, entao y = x ou
y r x ou x r y. Se x = y entao h(x) = h(y). O caso em que y r x implica
h(y) h(x). Se x r y entao h(x) h(y). Vemos assim que e conectado. Daqui
obtemos que e um ordinal, portanto h(x) e um ordinal para todo x z, e
e bem ordenado pela relacao E() = <, pelo Lema 14.2(i). A propriedade x r
y sse h(x) < h(y) e imediata, logo h : z e um isomorsmo de conjuntos
bem ordenados. Para provar a unicidade de , suponha que z, r) e isomorfo
a , <) via g : z para um outro ordinal . Logo g h
1
: e um
isomorsmo.
Fato 2: Sejam e ordinais, e f : un isomorsmo, isto e: f e uma
bijecao tal que < sse f() < f() para todo , . Logo f() = f() :
< , donde f() = para todo .
Com efeito, se < < , entao f() f(). Por outro lado, seja f();
entao = f() para , pois f e sobrejetora. Daqui f() < f() implica <
, e entao = f() com < , isto e: f() = f() : < . Considerando a
formula
(x)
def
x f(x) = x
entao e agora muito simples provar por inducao sobre que (x) vale para
todo x (exerccio!), concluindo a prova do Fato 2.
64
Temos que g h
1
: e um isomorsmo. Pelo Fato 2, g h
1
(x) = x
para todo x . Mas g h
1
e sobrejetora, portanto = , e g h
1
= I().
Daqui g = h (compondo `a direita com h). Isto mostra que e h sao unicos
para cada z, r).
Pelo Lema 14.2(i) vemos que todo ordinal e bem ordenado pela relacao <.
Reciprocamente, pelo Teorema 14.4, se z e um conjunto bem ordenado por uma
relacao r entao existe um unico ordinal e um unico isomorphismo h : z
de conjuntos bem ordenados tal que z, r) , <). O ordinal associado com
z, r) e dito o tipo ordinal de z, r). Observe que o tipo ordinal de z depende
da relacao r: com efeito, z pode possuir duas estruturas de boa ordem r
1
e r
2
nao isomorfas, de maneira a ter associados dois tipos ordinais,
1
para z, r
1
) e

2
para z, r
2
) com
1
,=
2
.
Exemplo 14.5 Considere em N a estrutura usual r
1
de boa ordem: n r
1
m
sse n < m. Logo, h
1
: N dada por h
1
(n) = n e o unico isomorsmo de
N, r
1
) em , <) tal que e o tipo ordinal de N, r
1
). Por outro lado, considere
a seguinte relacao r
2
em N:
n r
2
m se n, m > 0 e n < m;
n r
2
0 para todo n > 0.
Isto e: r
2
coincide com a boa ordem usual < para todos os n umeros naturais
positivos, e 0 e colocado como r
2
- ultimo elemento de N.

E muito simples ver
que r
2
e uma boa ordem em N (conferir!). Considere h
2
: N +1 dada por
h
2
(n) =
_
n 1 se n > 0
se n = 0
.
Temos que h
2
e um isomorsmo entre N, r
2
) e + 1, <) (conferir!), portanto
+ 1 e o tipo ordinal de N, r
2
), sendo que ,= + 1. Isto mostra que o tipo
ordinal de um conjunto bem ordenado depende da boa ordem especicada.
Denicao 14.6 Sejam e ordinais. Denimos a soma ordinal + como
sendo
+ =
_

_
se = 0
( +) + 1 se = + 1

<
( +) se e limite ordinal
.
Para provar que a soma esta bem denida, precisamos introduzir uma relacao
bem fundada apropriada.
Lema 14.7 Considere a formula
(u, v)
def
(ord(u) ord(v)) [(z)(v = z + 1 u = z) (lim(v) u v)].
65
Entao (u, v) e uma relacao bem fundada.
Demonstracao: Seja x ,= . Pelo axioma da regularidade, existe v x tal
que ( z x)(z , v). Logo, v ,= z + 1 para todo z x, e entao nao vale
(z)(v = z + 1 u = z) para todo u x. Se v e um ordinal limite entao, dado
que z , v para todo z x, inferimos que nao vale (lim(v) u v) para todo
u x. Desta maneira obtemos: u x (u, v), donde
x ,= ( v x)( w x)(w, v).
Para provar a segunda parte da Denicao 13.3 de relacao bem fundada, seja
x arbitrario, e considere u = FT(x), o fecho transitivo de x. Seja y u e w
tal que (w, y). Se z e um conjunto transitivo tal que x z entao y z, pois
y FT(x). Dado que (w, y), entao w y (e uma conseq uencia direta da
denicao de ), logo w z (pois z e transitivo). Daqui w FT(x) = u, donde
(u)(x u ( w, y)(y u (w, y) w u)).
Isto prova que (u, v) e uma relacao bem fundada.
Lema 14.8 Seja b um conjunto de ordinais, isto e: (x)(x b ord(x)).
Logo

b e um ordinal.
Demonstracao: Seja a =

b. Considere x a e y x. Logo, existe z b
tal que x z. Por hipotese z e um ordinal, e y x, x z; portanto y z
com z b, donde y a. Isto mostra que a e transitivo. Por outro lado, sejam
x, y a; logo existem z, w b tais que x z e y w. Por hipotese z e w sao
ordinais, logo x e y sao ordinais. Portanto x = y ou x y ou y x pela lei
de tricotomia para ordinais. Isto prova que a e conectado para , portanto a e
um ordinal.
Proposicao 14.9 A soma ordinal esta bem denida em ZF, isto e, para cada
ordinal e , existe um unico conjunto + denido de acordo com a De-
nicao 14.6.
Demonstracao: Para provar que a soma ordinal esta bem denida usaremos
recursao transnita sobre a relacao bem fundada (u, v) do Lema 14.7. Con-
sidere a seguinte formula:
G(X, x
1
, x
2
, y)
def
[x
1
= 0y = x
2
] [(z)(x
1
= z+1)y = (

im(X))+1]
[lim(x
1
) y =

im(X)].
Logo, denimos por recursao transnita sobre (u, v) uma operacao F(x
1
, x
2
, y).
Temos que, se x
1
e um ordinal, entao
ANT(F, 0, x
2
, (u, v)) = w, x
2
), F

w, x
2
)) : (w, 0) = ,
ANT(F, z + 1, x
2
, (u, v)) = w, x
2
), F

w, x
2
)) : (w, z + 1)
66
= z, x
2
), F

z, x
2
)),
ANT(F, x
1
, x
2
, (u, v)) = w, x
2
), F

w, x
2
)) : (w, x
1
)
= w, x
2
), F

w, x
2
)) : w x
1

segundo o caso: x
1
= 0, x
1
= z +1 ou x
1
e um ordinal limite, respectivamente.
Obtemos assim em cada caso:
im(ANT(F, 0, x
2
, (u, v))) = ,
im(ANT(F, z + 1, x
2
, (u, v))) = F

z, x
2
),
im(ANT(F, x
1
, x
2
, (u, v))) = F

w, x
2
) : w x
1
,
respectivamente. Portanto, se e sao ordinais, entao
F

0, ) = G

ANT(F, 0, , (u, v)), 0, ) = ,

F

+ 1, ) = G

ANT(F, + 1, , (u, v)), + 1, ) = (

, )) + 1
= (F

, )) + 1,
F

, ) = G

ANT(F, , , (u, v)), , ) =

, ) :
segundo o caso: = 0, = + 1 ou e um ordinal limite, respectivamente.
Desta maneira F

, ) = + e denido de acordo com 14.6; isto e, sempre

podemos denir o conjunto +.
Proposicao 14.10 Sejam e ordinais. Entao + e um ordinal.
Demonstracao: Considere a formula
(x)
def
ord(x) (z)(ord(z) ord(z +x)).
Provaremos por inducao sobre (u, v) (Lema 14.7) que (x) vale para todo x;
logo teremos que + e um ordinal para todo ordinal e . Seja y um con-
junto satisfazendo
(HI) (w)((w, y) (w)).
Queremos provar que vale (y). Suponhamos entao que y e um ordinal, e seja
z um ordinal. Provaremos que z +y e um ordinal. Temos tres casos:
(a) y = 0. Logo z +y = z, portanto z +y e um ordinal.
(b) y = w + 1. Logo temos que (w, y), portanto vale (w), por (HI). Como y
e um ordinal e w y, entao w e um ordinal, logo ord(z) ord(z +w). Mas z e
um ordinal, portanto z+w e um ordinal. Daqui inferimos que z+y = (z+w)+1
e um ordinal.
67
(c) y e um ordinal limite. Se w y entao vale (w, y), donde vale (w) por
(HI). Dado que w y implica que w e um ordinal, entao, como antes, obtemos
que z +w e um ordinal para todo w y. Pelo Lema 14.8 deduzimos que
z +y =
_
z +w : w y
e um ordinal.
Portanto, em todos os casos possveis temos que z +y e um ordinal, provando
que (HI) implica ord(y) (z)(ord(z) ord(z +y)), isto e, (y). Por inducao
transnita inferimos que (x) vale para todo x.
Proposicao 14.11 Sejam , e ordinais. Entao < implica que + <
+.
Demonstracao: Considere a formula
(x)
def
ord(x) (y)(y < x (z)(ord(z) (z +y < z +x))).
Por inducao sobre a formula (u, v) do Lema 14.7 provaremos que (x) vale
para todo x. Suponha que temos
(HI) (w)((w, x) (w)).
Queremos provar (x). Suponha que x e um ordinal.
(1) Se x = 0 entao y < x e falso para todo y, portanto
(y)(y < x (z)(ord(z) (z +y < z +x)))
e trivialmente verdadeiro.
(2) Se x = w + 1, considere y < x e z um ordinal.
(2.1) Se y = w entao z +w < (z +w) + 1 = z + (w + 1) = z +x.
(2.2) Se y w entao, dado que (w, x), obtemos (w) por (HI), portanto
z +y < z +w (pois y < w). Mas z +w < z +x (caso 2.1), logo z +y < z +x.
(3) Se x e um ordinal limite, seja y < x e z um ordinal. Como (z+y) (z+(y+
1)) (caso 2.1) e y+1 x, pois x e limite, entao z+y

z+w : w x = z+x.
Em todos os casos temos que (y)(y < x (z)(ord(z) (z + y < z + x))) e
verdadeiro. Portanto (HI) implica (x) donde (x) vale para todo x.
Proposicao 14.12 + ( +) = ( +) + para todo ordinal , e .
Demonstracao: Considere a formula
(z)
def
ord(z) ( x, y)(ord(x) ord(y) ((x +y) +z = x + (y +z))).
Por inducao na relacao (u, v) do Lema 14.7 provaremos que (x) vale para
todo x. Seja z tal que
(HI) (w)((w, z) (w)).
68
Suponha que z e ordinal, e sejam x, y ordinais.
(1) Se z = 0, entao (x +y) +z = x +y = x + (y +0) = x + (y +z).
(2) Se z = w + 1, entao temos (w, z), donde vale (w) por (HI). Daqui
(x +y) +z = (x +y) + (w + 1) = ((x +y) +w) + 1
=
HI
(x + (y +w)) + 1 = x + ((y +w) + 1)
= x + (y + (w + 1)) = x + (y +z).
(3) Se z e limite, entao provaremos primeiro os seguintes
Fatos: Seja ordinal limite.
(a) Se x + tal que + entao existe < tal que x + ( +).
(b) + e um ordinal limite.
Com efeito, seja x + tal que + . Logo + tal que .
De < + inferimos que + < + ( + ), pela Proposicao 14.11. Logo
x +(+) para algum , provando o item (a). Para provar (b), observe
que + =

+ : e nao vazio. Seja u + , logo u +
para algum . Daqui u + 1 ( + ) + 1 = + ( + 1), onde + 1 .
Assim u + 1 +, donde + e um ordinal limite, por [LIM]. Isto conclui
a demonstracao dos Fatos.
Por causa dos Fatos(b) obtemos que y+z e um ordinal limite, e pelos Fatos(a)
x + (y +z) =
_
x +w : w y +z
_
x + (y +w) : w z.
Alem disso, se w z entao (y +w) (y +z) pela Proposicao 14.11, logo:
u x + (y +w) para w z implica u x +w

com w

y +z
implica u

x +w : w y +z,
donde
_
x + (y +w) : w z
_
x +w : w y +z
e assim
x + (y +z) =
_
x +w : w y +z =
_
x + (y +w) : w z.
Mas, para todo w z temos que (w, z) e satisfeita, logo vale (w) por (HI),
donde x + (y +w) = (x +y) +w para todo w z. Portanto
x+(y +z) =
_
x+(y +w) : w z =
_
(x+y)+w : w z = (x+y)+z.
Acabamos de provar que (HI) implica (z). Por inducao transnita obtemos
que (z) vale para todo z.
Lema 14.13 Seja um ordinal limite. Entao =

.
Demonstracao: Seja x ; logo, x+1 . Portanto x x+1 com x+1 ,
donde x

. Daqui obtemos que

. Reciprocamente, seja x

;
logo x y para algum y ; dado que e transitivo, entao x . Portanto

. Desta maneira, temos que =

.
69
Proposicao 14.14 Seja um ordinal. Vale o seguinte:
(i) 0 + = .
(ii) +1 = + 1.
Demonstracao: (i) Por inducao na relacao (u, v) do Lema 14.7, provaremos
que (x)(x), onde
(x)
def
ord(x) (0 +x = x).
Seja x um conjunto satisfazendo
(HI) (z)((z, x) (z)).
Assuma que x e um ordinal. Temos tres casos para analizar:
(a) x = 0. Logo 0 +x = 0 +0 = 0 = x.
(b) x = z + 1. Logo (z, x) e ord(z), portanto 0 +z = z, por (HI). Daqui
0 +x = 0 + (z + 1) = (0 +z) + 1 = z + 1 = x.
(c) x e um ordinal limite. Se z x, entao (z, x) e ord(z), portanto 0 +z = z,
por (HI). Daqui
0 +x =
_
0 +z : z x =
_
z : z x =
_
x = x
pelo Lema 14.13. Vemos que nos tres casos possveis 0 +x = x. Portanto (HI)
implica (x) donde, por inducao transnita, obtemos que (x) e verdadeira
para todo x.
(ii) Temos que 1 = 0 + 1, pela denicao de 1. Logo
+1 = + (0 + 1) = ( +0) + 1 = + 1.

Deniremos agora o produto de ordinais.

Denicao 14.15 Sejam e ordinais. Denimos o produto ordinal como
sendo
0 = 0;
( + 1) = ( ) +;
=

<
se e ordinal limite.
Como foi feito com a soma ordinal, podemos provar que pode ser denido,
e e um ordinal. A relacao funcional G(X, x
1
, x
2
, y) utilizada para denir
F(x
1
, x
2
, y) tal que F

, ) = e dada neste caso por

G(X, x
1
, x
2
, y)
def
[x
1
= 0y = 0][(z)(x
1
= z+1)y = (

im(X))+x
2
]
[lim(x
1
) y =

im(X)]
(conra os detalhes!).
70
Proposicao 14.16 Seja um ordinal. Logo 0 = 0.
Demonstracao: Por inducao na relacao (u, v) do Lema 14.7, provaremos que
(x)(x), onde
(x)
def
ord(x) (0 x = 0).
Seja x um conjunto satisfazendo
(HI) (z)((z, x) (z)).
Assuma que x e um ordinal. Temos tres casos para analizar:
(a) x = 0. Logo 0 x = 0 0 = 0.
(b) x = z + 1. Logo (z, x) e ord(z), portanto 0 z = 0, por (HI). Daqui
0 x = 0 (z + 1) = (0 z) +0 = 0 +0 = 0.
(c) x e um ordinal limite. Se z x, entao (z, x) e ord(z), portanto 0 z = 0,
por (HI). Daqui
0 x =
_
0 z : z x =
_
0 : z x =
_
0 = 0.
Vemos que nos tres casos possveis 0 x = 0. Portanto (HI) implica (x) donde,
por inducao transnita, obtemos que (x) e verdadeira para todo x.
Proposicao 14.17 Seja um ordinal. Entao 1 = = 1 .
Demonstracao: Por inducao na relacao (u, v) do Lema 14.7, provaremos que
(x)(x), onde
(x)
def
ord(x) (1 x = x).
Seja x um conjunto satisfazendo
(HI) (z)((z, x) (z)).
Assuma que x e um ordinal. Temos tres casos para analizar:
(a) x = 0. Logo 1 x = 1 0 = 0 = x.
(b) x = z + 1. Logo (z, x) e ord(z), portanto 1 z = z, por (HI). Daqui
1 x = 1 (z + 1) = (1 z) +1 = z +1 = z + 1 = x.
(c) x e um ordinal limite. Se z x, entao (z, x) e ord(z), portanto 1 z = z,
por (HI). Daqui
1 x =
_
1 z : z x =
_
z : z x =
_
z = z
pelo Lema 14.13. Daqui 1 x = x em todos os casos. Assim (HI) implica
(x) donde, por inducao transnita, inferimos que (x)(x). A segunda parte
e provada diretamente:
x 1 = x (0 + 1) = (x 0) +x = 0 +x = x
pelo Lema 14.14(i).
71
Proposicao 14.18 Se > 0 e e ordinal limite, entao e um ordinal
limite.
Demonstracao: Por denicao temos que
=
_
: ,
portanto ,= 0. Seja x ; logo x para algum , donde
x +1 ( ) +1. Dado que < 1 sse = 0 entao, pela lei de tricotomia dos
ordinais, temos dois casos para serem analizados:
(a) = 1. Logo
( ) + 1 = ( ) +1 = ( ) + = ( + 1).
Mas + 1 , pois e e ordinal limite. Daqui x + 1 .
(b) 1 < . Pelo Lema 14.14(ii) e a Proposicao 14.11 inferimos:
( ) + 1 = ( ) +1 < ( ) + = ( + 1).
Daqui x + 1 ( + 1) onde + 1 , pois e e um ordinal limite.
Portanto x + 1 . Nos dois casos possveis para obtemos: x
implica x+1 . Isto prova que e um ordinal limite, pela propriedade
[LIM] (introduzida logo apos a Denicao 12.7).
Por inducao transnita pode ser provado o seguinte:
Proposicao 14.19 Sejam , e ordinais. Em ZF vale o seguinte:
(a) ( +) = ( ) + ( ).
(b) ( ) = ( ) .
Deniremos agora a exponenciacao ordinal.
Denicao 14.20 Sejam e ordinais. A exponenciacao ordinal

e denida
da maneira seguinte:

0
= 1;

+1
=

se e ordinal limite e 0 < ;

= 0 se e ordinal limite e = 0.
Podemos provar como antes que a denicao acima e legitimada em ZF por re-
cursao transnita em (u, v) (Lema 14.7) utilizando
G(X, x
1
, x
2
, y)
def
[x
1
= 0y = 1] [(z)(x
1
= z+1)y = (

im(X)) x
2
]
[lim(x
1
) x
2
,= 0 y =

im(X)]
[lim(x
1
) x
2
= 0 y = 0]
para denir uma operacao F(x
1
, x
2
, y) tal que F

, ) =

(conra os deta-
lhes!). Por inducao transnita pode ser provado o seguinte:
72
Proposicao 14.21 Sejam , e ordinais. Em ZF valem as seguintes pro-
priedades:
(a)

e um ordinal.
(b)
1
= .
(c) Se > 0 entao 0

= 0.
(d) 1

= 1.
(e)
+
=

.
(f ) (

.
Observacao 14.22 Se bem as operacoes de soma, produto e exponenciacao
ordinal possuem propriedades analogas `as propriedades das mesmas operacoes
numericas, existem algumas diferencias notorias. Certas asimetrias (nao comu-
tatividade da soma e o produto, por exemplo) aparecem por causa das proprias
denicoes, feitas por recursao transnita numa so das variaveis. Podemos
destacar os seguintes exemplos em que as operacoes sao mal comportadas:
1 + = ,= +1; logo a soma ordinal nao e comutativa.
2 = ,= 2, logo o produto ordinal nao e comutativo.
(1 +1) = 2 = ,= (1 ) + (1 );
logo o produto ordinal nao e distributivo `a direita da soma ordinal.
15 Cardinais
Finalmente estudaremos a nocao de n umero cardinal. Os cardinais foram in-
troduzidos originalmente por Frege e Russell para indicar o tamanho dos
conjuntos. A ideia intuitiva e que dois conjuntos a e b tem o mesmo tamanho
(ou seja, o cardinal de a e igual ao cardinal de b) se existe uma bijecao entre
eles, isto e, se sao equipolentes. Portanto a denicao natural de cardinal de um
conjunto a, denotado por
=
a, e a colecao de todos os conjuntos b equipolentes
com a. Isto e, a partir da relacao de equivalencia (equipolencia), denimos
=
a = b : a b.
Portanto o cardinal de um conjunto a, na concepcao de Frege e Russell, e a classe
de equivalencia de a na relacao . O problema que apresenta esta denicao e
que
=
a e uma classe propria, isto e, o cardinal de a nao pode ser legitimado em
ZF (nem em ZFC); se
=
a fosse legitimado, podemos provar que

=
a e o conjunto
de todos os conjuntos, uma contradicao. A solucao para este problema e denir
o cardinal de um conjunto a partir da teoria de ordinais. A denicao e feita
de maneira a escolher um conjunto (ordinal) equipolente a x; de fato, o ordinal
escolhido sera o menor ordinal equipolente com x. Como ja parece evidente, a
teoria de cardinais faz um uso pesado do Axioma da Escolha [AE]. A partir de
[AE] poderemos provar a Lei de Tricotomia que estabelece que a relacao _ e
total entre conjuntos (isto e, dados x e y, entao x _ y ou y _ x), assim como
73
demonstrar que todo conjunto e similar a um ordinal (o teorema da boa ordem:
todo conjunto x admite uma boa ordem). Na primeira parte desta exposicao
nao utilizaremos [AE], mas ele devera ser considerado posteriormente, fato que
sera oportunamente informado. Comecamos reformulando a nocao de conjunto
nito, agora utilizando a representacao dos n umeros naturais em ZF.
Denicao 15.1 FIN(x) denota (n)(n x n)
(x e n-nito);
INFIN(x) denota FIN(x)
(x e innito);
ENUM(x) denota x
(x e enumeravel).
Antes de provar as seguintes propriedades precisamos do seguinte resultado.
Lema 15.2 Seja um inteiro. Entao + 1.
Demonstracao: Seja um inteiro, e f : + 1 dada por f(x) = x; logo
f e injetora, portanto _ +1, pela denicao de _. Provaremos por inducao
matematica que (x)(x), onde
(x)
def
int(x) (x , x + 1).

E imediato que 0 , 1 = 0+1, portanto vale (0). Suponha que vale (y); para
provar (y+1), suponha que y+1 e um inteiro, logo y e um inteiro, pois y y+1,
portanto y , y +1. Suponhamos que existe uma bijecao f : y +1(y +1) +1;
daqui inferimos que f[y e uma bijecao entre y e ((y + 1) + 1) f(y).
Fato: Seja z um conjunto, e v z + 1. Portanto (z + 1) v z.
Com efeito, se v = z entao (z + 1) v = z, e a equipolencia e imediata. Por
outro lado, se v z entao denimos g : ((z + 1) v)z como g(u) = u se
u ,= z, e g(z) = v.

E claro que g e uma bijecao; isto conclui a prova do Fato.
Vemos entao que, por um lado, f[y e uma bijecao estabelecendo que y ((y +
1) + 1) f(y) enquanto que, por outro lado, ((y + 1) + 1) f(y) y + 1,
em virtude do Fato; portanto y y +1, uma contradicao. Daqui obtemos que
y+1 , (y+1)+1. Desta maneira (y) implica int(y+1) y+1 , ((y+1)+1),
isto e, provamos que (y) (y + 1). Por inducao matematica obtemos que
(x)(int(x) (x)) ou, equivalentemente, (x)(x), isto e, , + 1 para
todo inteiro . Como _ + 1, entao deduzimos que + 1 para todo
inteiro .
Proposicao 15.3 (i) Em S vale o seguinte: se x e y sao inteiros, entao x _ y
sse x y.
(ii) Em Z vale o seguinte: e innito.
Demonstracao: (i) Provaremos por inducao matematica que para todo x vale
(x), onde
(x)
def
int(x) (y)(int(y) (x _ y x y)).
74

E imediato que (0) e verdadeira (conra!). Seja x tal que (x) e verdadeira.
Para provar (x+1), assuma que x+1 e um inteiro; logo x e um inteiro, donde
() (y)(int(y) (x _ y x y))
pois vale (x). Suponha que y e um inteiro tal que x +1 _ y. Como x x +1
(pelo Lema 15.2), entao x y; por () inferimos que x < y (nao poderiamos
ter x = y, senao x y, o que contradiz x y), portanto x + 1 y. Logo (x)
implica (x +1). Por inducao matematica obtemos que (x) vale para todo x,
provando assim a primeira metade de (i). A outra implicacao e imediata: x y
implica x _ y para todo ordinal x e y.
(ii) Suponhamos que e n-nito, isto e, existe um inteiro n tal que n.
Daqui inferimos que n e n n + 1, pelo Lema 15.2, logo n + 1. Mas
n+1 = n +1, logo n+1 _ (pois n +1 ). Portanto n+1 _ , n+1
implica n + 1 n + 1, uma contradicao. Daqui obtemos que e innito.
Denicao 15.4 inic() denota ord() ()( < ( , ))
( e um ordinal inicial).
Pela Proposicao 15.3(i) vemos que todo ordinal n-nito n e um ordinal inicial:
se n entao _ n e n _ , donde n e n . Pela tricotomia dos
ordinais inferimos que = n, e entao ,< n. Por 15.3(ii) e pela denicao de
e imediato que e tambem um ordinal inicial. Por outro lado, e simples provar
que
+ 1 + 2 + = 2 3
junto com

2

3

etc.
(conra!). Pode ser provado que nenhuma das operacoes sobre ordinais consegue
produzir um ordinal inicial superior a partir de . Para superar esta barreira
devemos considerar o conjunto das partes T(x); uma maneira possvel e atraves
da funcao aleph de Hartogs:
Denicao 15.5 (x) denota : _ x
(o aleph de x).
Proposicao 15.6 Em ZF provamos que (x) e legitimado, e (x) e um ordinal
inicial para todo conjunto x.
Demonstracao: Dado um conjunto x, considere o seguinte conjunto:
z = r : (y)(y x r y y bo(r, y)).
Dado que z T(x x), entao z e legitimado por [A2]. Por outro lado, lem-
brando que F(r) denota o conjunto dom(r)im(r), considere a seguinte formula:
75
isom(r, )
def
(h)(bij(h, F(r), ) (x)(y)(x, y F(r)
(((x r y) h(x) < h(y)))).
O teorema de caracterizacao dos ordinais prova que se r e uma boa ordem sobre
a = F(r), entao (!)isom(r, ) (onde (!) indica existencia e unicidade). Logo,
a formula
(r, )
def
bo(r, F(r)) isom(r, )
satisfaz a condicao FUN

do axioma de substituicao [A7], portanto existe o

conjunto
b = : (r)(r z (r, )) = : (r)(r z isom(F(r), ).
Pela denicao de z e dado que (!)isom(F(r), ) para todo r z, sendo que
F(r) x, vemos que b = (x), portanto o conjunto (x) e legitimado para todo
conjunto x. Para provar que (x) e um ordinal basta provar que e transitivo,
pois (x) e um conjunto de ordinais. Considere entao (x) e < . Logo:
e _ x, donde _ x. Daqui (x) e (x) e transitivo, sendo
portanto um ordinal. Suponha que existe < (x) tal que (x) . Dado
que (x), entao obtemos que _ x, donde (x) _ x. Daqui (x) (x),
uma contradicao. Logo (x) e um ordinal inicial.
Observe que, se e um ordinal, entao (), pois _ . Portanto < ().
Isto signica que, para cada ordinal , existe um ordinal inicial () maior do
que . Pelo Teorema de Cantor-Schroder-Bernstein () deve ser o seguinte
ordinal inicial. Com efeito, suponha que e um ordinal inicial diferente de
() tal que < . Pela lei de tricotomia para ordinais temos que < () ou
() < . Suponhamos que < (), logo () e entao _ . Por outro
lado, < implica donde _ . Pelo Teorema de Cantor-Schroder-
Bernstein inferimos que , sendo que < e e um ordinal inicial,
contradicao. Portanto () < , isto e: () e o mnimo ordinal inicial maior
que .
Denicao 15.7 Por recursao transnita denimos a seguinte seq uencia de or-
dinais iniciais innitos:

0
= ;

+1
= (

);

<

se e um ordinal limite.
Como foi feito anteriormente, podemos provar que a denicao por recursao
transnita 15.7 e legitimada em ZF, e que

e um ordinal inicial innito para

todo ordinal (conferir!). Reciprocamente, por inducao transnita podemos
provar que se e ordinal inicial innito, entao existe um ordinal tal que
=

. Logo: inic() INFIN() ()( =

) e um teorema em ZF.
Denicao 15.8 Um cardinal e um ordinal inicial.
76
Portanto, todo cardinal innito e da forma

para algum ordinal . Uma

notacao alternativa para

. Por inducao transnita podemos provar o

seguinte resultado, que utilizaremos para denir as operacoes aritmeticas entre
cardinais:
Proposicao 15.9 Em ZF vale o seguinte: Se e um cardinal e , entao
( ).
Se e um ordinal, entao para todo ordinal : implica que _ ,
portanto (). Desta maneira existe por [A2] o conjunto
a

= : () = : .
Temos que , portanto a

,= . Daqui inferimos que existe o conjunto

=
=

: .
O conjunto
=
e dito o cardinal de . Pode ser provado que
=
e um cardinal, e
que =
=
se e um cardinal. Se x e um conjunto e x para algum ordinal
entao x sse para todo ordinal , portanto existe
=
x
def

: x =
=
.
Denicao 15.10 Seja x um conjunto. O cardinal de x e denido como
=
x =
_
_
_

: x se x para algum ordinal

em caso contrario
.
Teorema 15.11 (Princpio da Boa Ordem) Em ZFC (isto e, em ZF mais o
axioma da escolha) provamos o seguinte: todo conjunto x admite uma boa ordem
r em x.
Daqui temos que para todo conjunto x existe
=
x =

: x. Com
efeito, se x e um conjunto, entao existe uma boa ordem r em x; pelo teorema
de caracterizacao dos ordinais existe um unico ordinal isomorfo a x, r); em
particular x . Pela Denicao 15.10 obtemos que
=
x =

: x.
Devemos observar que, de fato, o axioma da escolha e equivalente ao princpio
da boa ordem. Por outro lado, o cardinal de um conjunto e determinado pelas
diferentes possibilidades que existem para denir uma boa ordem r em x; cada
r determina um ordinal isomorfo a x, r), portanto o mnimo desses ordinais
corresponde `a unica boa ordem sobre x que o faz um cardinal.
Proposicao 15.12 Seja b um conjunto e um ordinal tal que b _ . Con-
sidere a seguinte relacao em b: x r y sse f(x) < f(y) onde f e uma funcao
injetora de b em . Logo r e uma boa ordem em b tal que, se e o tipo ordinal
de b, r), entao .
77
Demonstracao:

E imediato que r e uma boa ordem em b, pois r e computada
a partir da copia fb de b em na relacao de boa ordem . Seja h : b o
isomorsmo entre b e o tipo ordinal de b dado por
h(x) = h(y) : y r x = h(y) : f(y) < f(x).
Logo, h(x) < h(y) sse x r y sse f(x) < f(y). Denimos uma funcao g :
dada por g() = f(x) onde x e o unico elemento de b tal que = h(x). Logo g
e uma funcao satisfazendo
= h(x) < h(y) = sse g() = f(x) < f(y) = g()
portanto g e um isomorsmo entre e g. Logo g() = para todo
(pelo Fato 2 na demonstracao do Teorema 14.4) e entao .
Corolario 15.13 Sejam b e c conjuntos. Em ZFC vale o seguinte: se b c
entao
=
b
=
c.
Demonstracao: Seja x
=
b =

: b. Queremos provar que x
=
c =

: c. Seja entao um ordinal equipolente com c, e considere
f : c uma bijecao. Logo f[b e uma bijecao entre b e fb , donde b _ .
Considere o ordinal da Proposicao 15.12. Logo b donde x , pois
x
=
b. Mas , portanto x . Provamos assim que x
=
c, e entao
=
b
=
c,
donde
=
b
=
c.
Denicao 15.14 Uma famlia de conjuntos indexada por um conjunto I e um
conjunto
(x
i
)
iI
= i, x
i
) : i I
onde x
i
e um conjunto para cada i I. Mais formalmente, uma famlia (x
i
)
iI
e uma funcao x : Ia tal que I e a sao conjuntos, com I ,= . Se i I
entao x(i) e denotado por x
i
. Por outro lado,

iI
x
i
denota o conjunto
z
_
a : (i)(i I z x
i
).
Isto e,

iI
x
i
=

im(x). O produto cartesiano de (x

i
)
iI
e dado por

iI
x
i
= f : fun(I,
_
iI
x
i
) (i)(i I f(i) x
i
).
Denicao 15.15 Seja (
i
)
iI
uma famlia indexada de cardinais.
(i) A soma cardinal

iI

i
e o cardinal construdo da maneira seguinte: se
(a
i
)
iI
e uma famlia de conjuntos dois a dois disjuntos (isto e, a
i
a
j
= se
i ,= j) tal que
=
a
i
=
i
para todo i I entao e o cardinal do conjunto

iI
a
i
.
Se I = 0, 1 escreveremos
0

1
.
(ii) O produto cardinal

iI

i
e o cardinal construdo da maneira seguinte:
se (a
i
)
iI
e uma famlia de conjuntos tal que
=
a
i
=
i
para todo i I entao e
o cardinal do conjunto

iI
a
i
. Se I = 0, 1 escreveremos
0

1
.
(iii) Se , sao cardinais, denimos a exponenciacao cardinal

como sendo
o cardinal dado pelo cardinal do conjunto x
y
, onde
=
x = e
=
y = .
78
Vemos que sem o axioma da escolha nao podemos assegurar que existem estas
operacoes para I innito, pois nada garante a existencia dos conjuntos a
i
tais
que
=
a
i
=
i
para todo i I nem a existencia da soma e o produto cardinal. O
axioma da escolha nos assegura que estas operacoes existem e sao bem denidas,
isto e, independem dos conjuntos escolhidos para a sua realizacao. Observemos
que

e um caso particular de produto cardinal, em que I = e

i
=
para todo i . Algumas propriedades das operacoes entre cardinais sao as
seguintes (no caso em que a propriedade requer do axioma da escolha, isto e
indicado acrescentando ([AE]) no incio do enunciado).
Proposicao 15.16 As operacoes entre cardinais satisfazem as propriedades
seguintes:
(i) = , = .
(ii) ( ) = ( ) , ( ) = ( ) .
(iii) Se entao e .
(iv) ( ) = ( ) ( ).
(v) ([AE]) (

iI

i
) =

iI
(
i
).
(vi) ([AE]) Se
i
= para todo i I, entao

iI

i
=
=
I .
(vii) e o cardinal do ordinal +, e e o cardinal do ordinal .
Suponha que e um cardinal. Estamos interessados em encontrar o mnimo
cardinal tal que existe uma particao de em pedacos de cardinalidade es-
tritamente menor do que . Esse cardinal mnimo e a conalidade de , e sera
denotado cf(). No caso em que e um cardinal tal que cf() = dizemos que
e regular. Por exemplo, nao pode ser particionado numa quantidade nita
de subconjuntos nitos; para cobrir todo por uma particao de subconjuntos
nitos precissamos de subconjuntos; portanto e um cardinal regular.
Denicao 15.17 Sejam e ordinais.
cf denota (f)(fun(f, , ) =

im(f))
( e conal em ).
cf() denota

: cf
(a conalidade de ).
Dado que cf implica que (donde + 1) entao C

= : cf
+1, portanto C

e legitimado por [A2]. Por outro lado cf , portanto

C

,= e entao existe cf() para todo ordinal . Se cf e f :

tal que

im(f) = entao, para cada existe tal que f(),
pela denicao de

. Ou seja, para cada existe tal que < f().
Em outras palavras, a imagem de f nao e limitada em , portanto f e uma
seq uencia em (indexada por ) convergendo a (a convergencia e dada pela
uniao

). Observe que se = +1 entao cf() = 1. Com efeito, 1 cf (+1)

via f(0) = .
Proposicao 15.18 Sejam e ordinais limites. Em ZF vale o seguinte:
(i) cf e uma relacao transitiva.
(ii) cf() e um cardinal.
79
Denicao 15.19 Seja um cardinal. Dizemos que e regular se cf() = .
Em caso contrario, isto e, se cf() < , entao e dito singular.
Proposicao 15.20 Em ZFC vale o seguinte:
(i) e regular.
(ii)
+1
e regular para todo .
(iii) Se e um ordinal limite entao cf(

) = cf().
Observe que, pela proposicao anterior, cf(

) = cf() = . Por exemplo,

pode ser atingido pela seq uencia

0
<
1
<
2
<

provando que

e singular. Tambem temos que cf(

) = , considerando,
por exemplo, a seq uencia

0
<

1
<

2
<

.
Finalmente, discutiremos brevemente a Hipotese do Contnuo (HC). Temos
duas maneiras para passar de um cardinal a outro superior: considerar () >
ou, pelo teorema de Cantor, considerar 2

> . A Hipotese do Contnuo arma

o seguinte:
(HC) 2

0
=
1
.
Dado que R 2

0
entao (HC) arma que todo subconjunto de R nao enu-
meravel e equipolente com R, isto e, nao existem subconjuntos de R de cardi-
nalidade intermediaria entre
0
e a cardinalidade de R. Portanto (HC) arma
que 2

e () coincidem no primeiro valor

0
. A Hipotese Generalizada do
Contnuo (HGC) arma que estas funcoes coincidem em todo cardinal . Em
outras palavras, para cada cardinal innito nao existe um cardinal estrita-
mente entre e 2

. Em termos da funcao temos que (HGC) arma que

(HGC) 2

=
+1
para todo ordinal . Com a ajuda de (HGC) resolvemos todas as questoes
acerca das potencias cardinais:
Teorema 15.21 Assumamos (HGC). Em ZFC temos que

e determinado,
sendo que
(i)

=
+1
se ;
(ii)

se

< cf(

);
(iii)

=
+1
se cf(

.
Em 1936 Kurt Godel demonstrou que, se a teoria ZF e consistente, entao ZFC
com o acrescimo de (HC) e consistente. Por outro lado, Cohen demonstrou em
1964 (mediante a tecnica de forcing) que, se a teoria ZF e consistente, entao
ZFC com o acrescimo da negacao de (HC) tambem e consistente, portanto a
80
Hipotese do Contnuo e indecidvel na teoria ZFC. Tambem foi provado por
Cohen que, se a teoria ZF e consistente, entao ZF com o acrescimo da negacao
de [AE] tambem e consistente. Vemos assim que, em particular, tanto ZF
com o acrescimo de [AE] quanto ZF com o acrescimo da negacao de [AE] sao
consistentes, desde que ZF seja consistente. Assim, ambas teorias de conjuntos
sao validas, e a inclusao do Axioma da Escolha ou da sua negacao acaba sendo
uma questao de escolha.
Devemos observar, nalmente, que os famosos teoremas de incompletude de
Godel se aplicam a ZF, portanto existem sentencas de ZF que sao indecidveis
em ZF. Em particular, se ZF e consistente, entao ZF nao pode provar a sua
propria consistencia.
References
[1] C.A. di Prisco, Una Introduccion a la Teora de Conjuntos, Colecao
CLE, vol. 20, (UNICAMP), 1997.
[2] F.R. Drake, Set Theory: an Introduction to Large Cardinals,
North Holland, 1974.
[3] H.B. Enderton, Elements of Set Theory, Academic Press, 1977.
[4] T. Jech, Set Theory, Springer Verlag (segunda edicao), 2002.
[5] P. Suppes, Axiomatic Set Theory, Dover, 1972.
81