Professional Documents
Culture Documents
Conjuntos e Fundamentos
sc
u
Fernando Ferreira
Universidade de Lisboa
ra
Janeiro de 2011
Chapter 1
nh
o
Estruturas de
Dedekind-Peano
Defini
c
ao 1. Uma estrutura de Dedekind-Peano e um triplo (N, S, 0) em que
N e um conjunto, S e uma func
ao de N para N e 0 e um elemento de N de tal
modo que:
1. x N (S(x) 6= 0).
sc
u
0 X x N (x X S(x) X) X = N.
A condic
ao (3) denomina-se de princpio de inducao.
ra
Teorema (Recurs
ao de Dedekind). Seja (N, S, 0) uma estrutura de DedekindPeano, X um conjunto, a X e f : X 7 X uma func
ao. Ent
ao existe
uma (
unica) func
ao h : N 7 X tal que h(0) = a e, para todo m N ,
h(S(m)) = f (h(m)).
Como iremos ver, este teorema permite mostrar que duas quaisquer estruturas de Dedekind-Peano sao isomorfas. Nesta conformidade, a menos de
isomorfismo, existe (quanto muito) apenas uma u
nica estrutura de DedekindPeano. Tambem iremos ver que a axiomatica da teoria dos conjuntos permite
mostrar a existencia de uma estrutura de Dedekind-Peano. A esta u
nica (a
menos de isomorfismo) estrutura chamamos a estrutura dos n
umeros naturais
e denotamos o seu domnio por N. Naturalmente, designa-se S(0) por 1, S(1)
por 2, e assim sucessivamente.
Fixe-se n um n
umero natural. Tomando X = N, a = n e f = S no teorema de recurs
ao de Dedekind, existe hn : N 7 N tal que hn (0) = n e, para
todo m N, hn (S(m)) = S(hn (m)). Que funcao e esta? Calculemos alguns
valores: hn (0) = n, hn (1) = hn (S(0)) = S(hn (0)) = S(n), hn (2) = hn (S(1)) =
S(hn (1)) = S(S(n)), etc. Intuitivamente, hn (k) e a soma de n com k, i.e.,
1
Estruturas de Dedekind-Peano
nh
o
Proposi
c
ao 1 (Lei associativa da adicao). Para todos os n
umeros naturais m,
n e k, m + (n + k) = (m + n) + k.
Demonstra
c
ao. Sejam m e n n
umeros naturais. Vamos demonstrar, por
induc
ao em k, que k N (m + (n + k) = (m + n) + k).
Caso base: Se k = 0, ent
ao m + (n + 0) = m + n = (m + n) + 0. Estas duas
igualdades justificam-se por (i) da definicao de adicao.
Passo de induc
ao: Seja k arbitrario e, assuma-se (por hip
otese de induc
ao)
que m + (n + k) = (m + n) + k. Entao:
=
m + ((n + k) + 1)
(m + (n + k)) + 1
((m + n) + k) + 1
(m + n) + (k + 1)
sc
u
m + (n + (k + 1))
ra
Estruturas de Dedekind-Peano
m + 1 = n r + 1 = n m = r.
Mas isto e imediato pela segunda propriedade das estruturas de DedekindPeano. A asserc
ao de existencia, n 6= 0 m(m + 1 = n) demonstra-se
facilmente por induc
ao em n. O caso base e trivial. O passo de inducao nem
sequer utiliza a hip
otese de inducao pois a tese de inducao e claramente verdadeira: n + 1 6= 0 m (m + 1 = n + 1).
Exerccio 1. Mostre que, para quaisquer n
umeros naturais m e n:
1. 0 + m = m.
2. (m + 1) + n = (m + n) + 1.
nh
o
De maneira an
aloga ao caso da adicao, podemos definir com a ajuda do
teorema da recurs
ao a operacao de multiplicacao:
i. n 0 = 0, e
ii. n (m + 1) = (n m) + n.
sc
u
Proposi
c
ao 4. Para todos os naturais n e m, n m = 0 n = 0 m = 0.
Demonstra
c
ao. Admitamos que n 6= 0 e m 6= 0. Pela Proposicao 3, existem
naturais l e r tais que n = l + 1 e m = r + 1. Vem:
nm = nS(r) = nr + n = nr + S(l) = S(nr + l) 6= 0.
Proposi
c
ao 5 (Lei distributiva da multiplicacao em relacao `a adicao). Para
todos os n
umeros naturais m, n e k, m (n + k) = m n + m k.
Nota
c
ao. Observe-se que n
ao coloc
amos nem m n nem m k entre parentesis
pois, como e habitual, d
a-se precedencia `
as multiplicac
oes em relaca
o a
`s adic
oes.
ra
Demonstra
c
ao. Sejam m e n n
umeros naturais. Vamos demonstrar, por
induc
ao em k, que k N (m (n + k) = m n + m k).
Caso base: Se k = 0, ent
ao m (n + 0) = m n = m n + 0 = m n + m 0.
Todas estas igualdades se justificam por meio das definicoes.
Passo de induc
ao: Seja k arbitrario e, assuma-se (por hip
otese de induc
ao)
que m (n + k) = m n + m k. Entao:
m (n + (k + 1))
m ((n + k) + 1)
m (n + k) + m
(m n + m k) + m
m n + (m k + m)
m n + m (k + 1)
onde utiliz
amos a propriedade associativa da adicao na pen
ultima igualdade.
Estruturas de Dedekind-Peano
nh
o
Defini
c
ao 2. Para n
umeros naturais n e m dizemos que n e menor do que m,
e escreve-se n < m se existe um n
umero natural k 6= 0 tal que n + k = m.
Exerccio 4. Mostre que, para quaisquer n
umeros naturais m, n e k:
1. m < m + 1.
2. m < n + 1 m < n m = n.
Proposi
c
ao 6 (Tricotomia). Para todos os n
umeros naturais m e n ou se
tem m < n, ou m = n ou n < m. Alem disso, os casos s
ao mutuamente
incompatveis.
sc
u
Demonstra
c
ao. Fixemos m. Vamos demonstrar que m < n m = n n < m
vale para todo o n
umero natural n por inducao em n.
Caso base: Este e o caso em que n = 0. Neste caso, se m e 0, entao e claro
que m = n. Por outro lado, se m 6= 0, entao n < m.
ra
Passo de induca
o: Seja n arbitrario e, assuma-se (por hip
otese de induc
ao)
que m < n m = n n < m. Se m < n, como n < n + 1 sai, por transitividade,
m < n + 1. Se n = m, ent
ao m < n + 1. Resta ver o caso em que n < m.
Ent
ao, n + (k + 1) = m para certo n
umero natural k. Se k = 0, sai m = n + 1.
Suponhamos que k 6= 0. Ent
ao m = n + (k + 1) = (n + 1) + k, donde n + 1 < m.
claro que os tres casos acima sao mutuamente incompatveis.
E
Uma ordem total (estrita) e uma relacao binaria anti-reflexiva, transitiva e
tricot
omica. Mostr
amos acima que a relacao < numa estrutura de DedekindPeano e uma relac
ao de ordem total. A seguinte lei e fundamental:
Proposi
c
ao 7 (Lei do corte para a multiplicacao). Para quaisquer n
umeros
naturais m, n e k com k 6= 0, se m k = n k ent
ao m = n.
Demonstra
c
ao. Nas condicoes da hipotese da proposicao, admitamos que
mk = nk e que m 6= n. Por tricotomia, sem perda de generalidade podemos
supor que m < n. Tome-se r 6= 0 tal que n = m+r. Vem mk = nk = (m+r)k =
mk + rk. Logo, pela lei do corte para a adicao, sai rk = 0. Isto contradiz a
Proposic
ao 4.
Exerccio 5. Para todos n, m, r N, se n < m ent
ao n + r < m + r e, caso
r 6= 0, n r < m r.
Chapter 2
nh
o
Princpio do mnimo
Dados n
umeros naturais n e m, escrevemos n m para abreviar a disjuncao
n < m n = m.
sc
u
Proposi
c
ao 8 (Princpio da inducao completa). Seja X um conjunto de n
umeros
naturais. Suponhamos que para todo o n
umero natural n se tem a condic
ao
(m < n(m X)) n X (condicao de progressao). Ent
ao X = N.
ra
Demonstra
c
ao. Admitamos, com vista a um absurdo, que X e um subconjunto pr
oprio de N. Isto quer dizer que N \ X e nao vazio. Pelo princpio do
mnimo N \ X tem um elemento mnimo n. Logo, m < n(m X). Pela
condic
ao de progress
ao conclui-se que n X, o que e absurdo.
Exerccio 6. Mostre que todo o subconjunto n
ao vazio e majorado de N tem
elemento m
aximo.
Chapter 3
nh
o
Teorema da recurs
ao de
Dedekind
ra
sc
u
func
ao de F. Daqui sai que S(n) dom(h).
satisfaz as condicoes desejadas. A parte
Por construc
ao, a func
ao (total) h
da unicidade do teorema da recursao argumenta-se facilmente por inducao.
por vezes, u
E,
til enunciar o teorema da recursao numa forma mais geral, na
qual o valor da func
ao no sucessor dum dado n
umero nao depende apenas do
valor da func
ao no n
umero mas tambem do proprio n
umero em si:
Corol
ario 1. Seja (N, S, 0) uma estrutura de Dedekind-Peano, X um conjunto,
a X e f : X N 7 X uma func
ao. Ent
ao existe uma (
unica) func
ao
h : N 7 X tal que h(0) = a e, para todo m N , h(S(m)) = f (h(m), m).
Demonstra
c
ao. Esta vers
ao do teorema da recursao poder-se-ia mostrar de
modo an
alogo ao pr
oprio teorema da recursao. Aqui mostramos que e um
6
Teorema da recurs
ao
corol
ario do teorema da recursao. Considere-se a funcao f 0 : X N 7 X N
definida por f 0 (x, n) = (f (x, n), S(n)). Pelo teorema da recursao existe uma
func
ao h0 : N 7 X N tal que h0 (0) = (a, 0) e h0 (S(n)) = f 0 (h0 (n)). Note-se
que a func
ao h0 e da forma n
(h01 (n), h02 (n)), onde h01 : N 7 X e h02 : N 7 N .
0
0
0
Ou seja, h (n) = (h1 (n), h2 (n)) para todo n N . Tem-se pois:
0
h (0) = a
01
h2 (0) = 0
h01 (S(n)) = f (h01 (n), h02 (n))
0
h2 (S(n)) = S(h02 (n))
nh
o
Por induc
ao, mostra-se facilmente que h02 (n) = n, para todo n N . E, por
definic
ao, h01 (0) = a e h01 (S(n)) = f (h01 (n), h02 (n)) = f (h01 (n), n). Logo a funcao
0
h1 tem as propriedades desejadas.
A unicidade demonstra-se directamente por inducao.
Exerccio 7. Defina, por recurs
ao, a func
ao factorial n
de Dedekind-Peano qualquer.
n! numa estrutura
sc
u
Demonstra
c
ao. Pelo teorema da recursao aplicado `a estrutura (N1 , S1 , 01 ),
existe uma func
ao f : N1 7 N2 tal que f (01 ) = 02 e, para todo n N1 ,
f (S1 (n)) = S2 (f (n)). Analogamente, pelo teorema da recursao aplicado agora
a estrutura (N2 , S2 , 02 ), existe uma funcao g : N2 7 N1 tal que g(02 ) = 01 e,
`
facil de ver, por inducao em n,
para todo m N2 , g(S2 (m)) = S1 (g(m)). E
que para todo n N1 se tem g(f (n)) = n. I.e., g f = idN1 . Analogamente,
f g = idN2 . Assim, f e uma bijeccao.
A parte da unicidade e consequencia do teorema da recursao.
ra
Exerccio 8. (Recurs
ao completa) Seja n um n
umero natural. Define-se [n] :=
{k N : k < n}. Dado X um conjunto, uma sequencia finita de elementos
de X e uma func
ao s : [n] 7 X. Denota-se por X <N o conjunto de todas as
sequencias finitas de elementos de X. Tome-se f : X <N 7 X uma func
ao.
Mostre que existe uma (
unica) func
ao h : N 7 X tal que, para todo n N,
h(n) = f (hh(0), . . . , h(n 1)i).
Chapter 4
nh
o
Racionais positivos
Denotamos por N+ o conjunto dos n
umeros naturais nao nulos.
Proposi
c
ao 9. Considere-se a seguinte relaca
o bin
aria em N+ N+ definida
por (n, m) (k, r) se, e somente se, n r = k m. Esta relac
ao e uma relac
ao
n
de equivalencia e a classe de equivalencia de (n, m) denota-se por m
.
Deixamos a demonstrac
ao desta proposicao como exerccio. Definimos o
conjunto Q+ dos n
umeros racionais positivos como sendo o conjunto N+ N+ /
das classes de equivalencia da relacao . Distinguimos o seguinte elemento de
Q+ : denotamos por 1Q+ a classe de equivalencia 11 .
sc
u
ra
n
k
nr + km
+ :=
m r
mr
nk
n k
:=
m r
mr
Estamos a definir estas operacoes em Q+ `a custa das operacoes em N+ . Mas,
claro, temos que verificar que as definicoes nao dependem dos representantes.
Mais precisamente, temos que verificar que se (n, m) (n0 , m0 ) e (k, r) (k 0 , r0 )
ent
ao (nr + km, mr) (n0 r0 + k 0 m0 , m0 r0 ) e (nk, mr) (n0 k 0 , m0 r0 ). Deixamos
estas verificac
oes como exerccios.
Geralmente omitimos o subscrito Q+ da expressao 1Q+ .
Proposi
c
ao 10. As operac
oes de adic
ao e multiplicac
ao em Q+ s
ao comutativas
e associativas, vale a lei do corte para a adic
ao e, alem disso, a multiplicaca
o
e distributiva em relac
ao `
a adic
ao. Tem-se tambem que 1 e elemento neutro
para a operac
ao de multiplicac
ao e que todo o elemento de Q+ tem inverso
+
+
multiplicativo: a Q b Q (a b = 1).
Demonstra
c
ao. As demonstracoes sao muito simples, reduzindo-se `as propriedades dos n
umeros naturais. Vamos apenas verificar que todo o elemento
n
de Q+ tem inverso multiplicativo, seja dado a = m
um elemento arbitrario de
m
+
Q . Pondo b = n obtem-se o que se quer.
8
Racionais positivos
f
E
acil de ver que o inverso multiplicativo dum elemento e u
nico. O inverso
multiplicativo de a denota-se por a1 ou, um pouco abusivamente, por a1 .
Exerccio 10. Mostre que em Q+ se tem a lei do corte para a multiplicac
ao,
i.e., para todos a, b, c Q+ , ac = bc a = b.
Defini
c
ao 3. Dados elementos a e b de Q+ , dizemos que a < b se existe c Q+
tal que a + c = b.
Proposi
c
ao 11. A relaca
o < em Q+ e uma ordem total.
nh
o
n
Demonstra
c
ao. Mostra-se facilmente o seguinte. Dados n, m, l, r N+ , a = m
l
e b = r , tem-se que a < b se, e somente se, n r < l m. A totalidade da ordem
e uma consequencia imediata deste facto.
Exerccio 11. Dados a, b, c Q+ com a < b mostre que a+c < b+c e ac < bc.
Exerccio 12. Dados a, b Q+ com a < b, mostre que b1 < a1 .
A seguinte injecc
ao explica por que razao podemos considerar os n
umeros
naturais n
ao nulos como elementos de Q+ .
ra
sc
u
Proposi
c
ao 12. A func
ao j : N+ 7 Q+ definida por j(n) := n1 e injectiva e
verifica as seguintes propriedades: j(1) = 1, j(n + m) = j(n) + j(m), j(n m) =
j(n) j(m) e n < m j(n) < j(m).
Chapter 5
nh
o
A insufici
encia dos n
umeros
racionais
ra
sc
u
A insuficiencia dos n
umeros racionais
11
Este resultado j
a era conhecido dos Pitagoricos, os quais se surpreenderam com
o facto da hipotenusa de um triangulo rectangulo isosceles ser incomensuravel
com os catetos.
Proposi
c
ao 13. A equac
ao x2 = 2 n
ao tem soluc
ao racional.
Demonstra
c
ao. Suponhamos, com vista a um absurdo, que existe um par
m, n N+ tal que m2 = 2n2 . Tome-se um par m, n N+ nas condicoes acima
tal que o valor m + n e mnimo. Note-se que n < m e que m < 2n. Facilmente
se ve que o par 2n m, m n tambem satisfaz a igualdade acima. Como a
soma destes dois valores e n, isto contradiz a condicao de minimalidade do par
m, n.
nh
o
O facto da curva y = x2 n
ao intersectar o eixo racional de cota 2, ainda que
intersecte os eixos de cota 1 e 4, ilustra a insuficiencia dos n
umeros racionais
para modelar a noc
ao intuitiva de contnuo.
Defini
c
ao 4. Diz-se que uma ordem total satisfaz o princpio do supremo se
todo o seu subconjunto n
ao vazio e majorado tem supremo.
sc
u
ra
No pr
oximo captulo vamos construir os n
umeros reais positivos R+ . Terminamos este captulo mostrando rigorosamente que em Q+ nao vale o princpio
do supremo. Seja Y := {a Q+ : a2 < 2}. Este conjunto e majorado mas
n
ao tem supremo. Com efeito, admitamos por absurdo que Y tem supremo
m. Poder-se-
a dar o caso de m2 < 2? Neste caso, por continuidade da funcao
2
x
x no ponto m, existiria a Y tal que m < a (veja-se o exerccio 15), o que
contradiria o facto de m ser majorante de Y . Poder-se-a dar o caso de 2 < m2 ?
Novamente por continuidade da funcao x
x2 no ponto m, haveria a Q+
tal que a
/ Y e a < m. Mas, entao, concluir-se-ia que a seria um majorante
de Y , contradizendo o facto de m ser o mnimo de tais majorantes. Resta a
alternativa m2 = 2 que, como vimos, e impossvel.
Chapter 6
nh
o
Cortes de Dedekind
Dado um conjunto A munido duma ordem total <, diz-se que um subconjunto
X de A e um segmento inicial de A se, sempre que a, b A com a < b e b X
ent
ao a X.
Defini
c
ao 5. Um corte inferior de Dedekind em Q+ ou, simplesmente, um
corte de Dedekind, e um segmento inicial de Q+ , n
ao vazio, majorado e sem
m
aximo. Designa-se por R+ o conjunto dos cortes de Dedekind.
sc
u
ra
Proposi
c
ao 14. Dados X e Y cortes de Dedekind, diz-se que X < Y se X e
um subconjunto pr
oprio de Y . A relac
ao de < e uma relac
ao de ordem total
entre cortes de Dedekind.
Demonstra
c
ao. Claramente < e anti-reflexiva e transitiva. Resta ver que e
tricot
omica. Sejam X e Y cortes de Dedekind distintos. Sem perda de generalidade, seja a X \ Y . Vamos ver que Y X, o que demonstra o pretendido.
12
Cortes de Dedekind
13
nh
o
Demonstra
ao. Seja C um conjunto majorado de cortes de Dedekind. Vamos
S c
claro
ver que
C
:=
{a Q+ : X C (a X)} e um corte de Dedekind. E
S
+
que C e um segmento inicial de Q que nao tem maximo. Por hipotese, existe
um corte de Dedekind Z tal que, para todo XS C se tem X Z. Tome-se
claro que todos os elementos de C sao majorados por c.
b Q+ \ Z. E
S
O facto de C ser o supremo de C e imediato.
Exerccio 21. Um subconjunto C de R+ diz-se afastado de zero se existe I R+
tal que, para todo X C, I < X. Mostre que todo o conjunto, n
ao vazio,
afastado de zero tem nfimo.
A teoria da ordem dos cortes de Dedekind e muito simples, como vimos. A
aritmetizac
ao de R+ e a sua relacao com a ordem requerem, por outro lado,
algum trabalho.
Proposi
c
ao 16. Sejam X e Y cortes de Dedekind. Definem-se:
X + Y := {a + b : a X e b Y }
sc
u
X Y := {a b : a X e b Y }
Ent
ao X + Y e X Y s
ao cortes de Dedekind.
ra
f
Demonstra
c
ao. E
acil mostrar que X + Y e X Y sao conjuntos nao vazios,
majorados e sem m
aximo. Vamos ver que X + Y e um segmento inicial de Q+ .
Sejam a X, b Y e c < a + b. Pretendemos ver que c X + Y . Dividimos
em dois casos. Em primeiro lugar, supomos que c X. Tome-se Q+ com
< c e Y . Vem c = c0 + , para certo c0 Q+ . Ora, c0 < c, donde c0 X.
Sai c X + Y . Agora estudamos o caso em que c
/ X. Como a X, vem
a < c. Seja d com a + d = c. Ora, a + d = c < a + b e, portanto, d < b. Sai
d Y . Logo, c = a + d X + Y . Resta ver que X Y e segmento inicial de Q+ .
Sejam a X, b Y e c < a b. Ora, c = a (c a1 ) < a b. Logo, c a1 < b e,
portanto, c a1 Y . Logo c X Y .
Necessitamos agora do seguinte resultado. Intuitivamente, o resultado afirma
que h
a elementos nos cortes de Dedekind e fora destes tao proximos quanto se
queira:
Demonstra
c
ao. Dados X e nas condicoes do lema, tome-se m N+ tal que
1
1
umeros naturais positivos k tais
m < e m X. Considere-se o conjunto dos n
k
que m
/ X. Como X e majorado, este conjunto e nao vazio e, consequentemente, tem elemento mnimo k0 . Claro que k0 = r + 1, para certo r N+ .
r
Tomamos a = m
e b = r+1
m .
Cortes de Dedekind
Exerccio 22. Mostre que
14
2 = 2.
Estamos em condic
oes de relacionar a ordem com a aritmetica:
Proposi
c
ao 17. Sejam X e Y cortes de Dedekind. Ent
ao
X < Y Z R+ (X + Z = Y ).
nh
o
Demonstra
c
ao. Suponhamos que X + Z = Y . Claramente, X Y . Resta
mostrar que Y \ X 6= . Tome-se e Z. Pelo Lema 1, existem b X e
c Q+ \ X tais que c < b + e. Vem que b + e X + Z = Y . Porem, b + e
/ X.
Argumentemos a direcc
ao contraria. Suponhamos que X < Y . Considere-se
o conjunto W := {a Q+ : c X (c + a Y )}. Este conjunto e um segmento
(ver
inicial de Q+ , n
ao vazio e majorado. Tome-se Z o corte de Dedekind W
exerccio acima). E
obvio que X + Z Y . Tome-se agora b Y , com vista a
mostrar que b X + Z. Dividimos em dois casos: b X ou b
/ X. Deixamos
o primeiro caso ao leitor. Assuma-se, pois, que b Y \ X. Tome-se b0 Y com
b < b0 e seja Q+ tal que b0 = b + . Pelo Lema 1, existem d X e e Q+ \ X
tais que e < d + . Como d X e b
/ X, vem d < b. Entao existe a Q+ tal
que b = d + a. Para terminar com a demonstracao basta argumentar que a Z.
Para ver isto, tome-se c X. Vem:
c + a < e + a < (d + ) + a = (d + a) + = b + = b0 Y.
sc
u
Logo, a W . Como b0 n
ao e maximo de Y , conclui-se facilmente que a nao e
m
aximo de W . Logo, a Z.
Proposi
c
ao 18. As operac
oes de adic
ao e multiplicac
ao em R+ s
ao comutativas
e associativas, vale a lei do corte para a adic
ao e, alem disso, a multiplicaca
o
e distributiva em relac
ao `
a adic
ao. Tem-se tambem que 1R+ e elemento neutro
para a operac
ao de multiplicac
ao e que todo o elemento de R+ tem inverso
multiplicativo.
ra
Demonstra
c
ao. A verificac
ao das propriedades comutativas e associativas e
imediata. A lei do corte para a adicao e consequencia da Proposicao 17. Com
efeito, suponhamos que X 6= Y , com vista a mostrar que X + Z 6= Y + Z (onde
X, Y e Z s
ao cortes de Dedekind). Sem perda de generalidade, X < Y . Pela
Proposic
ao 17, existe um corte de Dedekind W tal que Y = X + W . Pelas
associatividade e comutatividade da adicao sai Y + Z = (X + Z) + W . Usando
mais uma vez a Proposic
ao 17, conclui-se que X + Z < Y + Z e, portanto,
X + Z 6= Y + Z.
Vamos agora estudar a propriedade distributiva. Sejam X, Y e Z cortes de
Dedekind. E
obvio que X (Y + Z) (X Y ) + (X Z). A inclusao contraria
ve-se do seguinte modo. Tome-se um elemento arbitrario d de (X Y ) + (X Z).
Necessariamente d = ab + a0 c, com a, a0 X, b Y e c Z. Sem perda de
generalidade, a0 a. Logo d ab + ac = a(b + c) X (Y + Z). Como
X (Y + Z) e um segmento inicial, sai d X (Y + Z).
Deixa-se como exerccio mostrar que 1R+ e elemento neutro para a multiplicac
ao. Finalmente, vamos ver que todo o elemento de R+ tem inverso multiplicativo. Seja X um corte de Dedekind. Se X e racional da forma aR+ , com
a Q+ , ent
ao e f
acil de ver que X Y = 1R+ , com Y := (a1 )R+ . Consideremos,
pois, o caso em que X e um corte irracional. Tome-se Y := {a1 : a Q+ \ X}.
Cortes de Dedekind
15
nh
o
A seguinte injecc
ao explica por que razao podemos considerar os n
umeros
racionais positivos como elementos de R+ .
ra
sc
u
Proposi
c
ao 19. A func
ao j : Q+ 7 R+ definida por j(a) := aR+ e injectiva
e verifica as seguintes propriedades: j(1) = 1, j(a + b) = j(a) + j(b), j(a b) =
j(a) j(b) e a < b j(a) < j(b).
Chapter 7
nh
o
N
umeros reais
Tendo introduzido os n
umeros reais positivos atraves dos cortes de Dedekind,
vamos neste captulo definir todos os reais. A forma como o vamos fazer tambem
se poderia aplicar para definir os inteiros Z a partir dos naturais positivos N+ ,
ou para definir os racionais Q a partir dos racionais positivos Q+ .
Proposi
c
ao 20. Considere-se a relac
ao bin
aria em R+ R+ definida por
(X, Y ) (W, Z) se, e somente se, X + Z = W + Y . Esta relac
ao e uma
relac
ao de equivalencia.
sc
u
Demonstra
c
ao. Deixamos as propriedades reflexiva e simetrica como exerccio.
Para demonstrar a propriedade transitiva, admita-se que (X, Y ) (W, Z) e
(W, Z) (U, V ). Ent
ao, X + Z = W + Y e W + V = U + Z. Somando ambos
os membros de cada equac
ao ficamos com X + Z + W + V = W + Y + U + Z.
Utilizando a propriedade comutativa e a lei do corte podemos concluir que
X + V = U + Y , i.e., (X, Y ) (U, V ).
O conjunto R dos n
umeros reais e, por definicao, o conjunto R+ R+ /
das classes de equivalencia da relacao . A classe dum par (X, Y ), com X e
Y cortes de Dedekind, denota-se por [(X, Y )] ou, simplesmente, por [(X, Y )].
Intuitivamente, [(X, Y )] representa o n
umero real X Y . Distinguimos dois
elementos em R: o elemento 0R := [(1, 1)] e o elemento 1R := [(2, 1)].
ra
N
umeros reais
17
XW + Y Z + X 0 Z + Y 0 W = W (X + Y 0 ) + Z(Y + X 0 ) e,
X 0 W + Y 0 Z + XZ + Y W = W (X 0 + Y ) + Z(Y 0 + X).
Como, por hip
otese, X + Y 0 = X 0 + Y sai a primeira equivalencia. A outra
equivalencia e an
aloga.
Para tornar a notac
ao mais simples vamos, a partir de agora, omitir por
vezes o subscrito R dos elementos 0R e 1R . Pelo contexto sera claro de que 0 ou
1 se trata.
Proposi
c
ao 21. O conjunto R com os elementos 0 e 1, munido das operac
oes
de adic
ao e multiplicac
ao, e um corpo, i.e.:
2. x (x + 0 = x).
3. x y (x + y = 0).
4. x, y (x + y = y + x).
nh
o
1. x, y, z ((x + y) + z = x + (y + z)).
5. x, y, z (x (y z) = (x y) z).
6. x (x 1 = x).
7. x, y (x y = y x).
sc
u
8. x, y, z (x (y + z) = x y + x z).
9. 0 6= 1.
10. x (x 6= 0 y (x y = 1)).
ra
Demonstra
c
ao. As demonstracoes sao simples e deixamo-las como exerccios.
Vamos apenas verificar (3), (6) e (10). Seja dado x = [(X, Y )] um elemento
claro que [(X, Y )] + [(Y, X)] = [(X + Y, Y + X)] = [(0, 0)] =
arbitr
ario de R. E
0R . Quanto a (6), dado x = [(X, Y )], note-se que x 1 = [(X, Y )] [(2, 1)] =
[(2X + Y, X + 2Y )] = [(X, Y )] = x. Vamos agora verificar (10). Suponhamos
que x = [(X, Y )], x 6= 0R . Entao, ou X < Y ou Y < X. Suponhamos que
se tem o primeiro caso (o segundo e similar). Neste caso, existe um corte de
Dedekind Z tal que Y = X + Z. Tome-se um corte de Dedekind W tal que
Z W = 1 e defina-se y := [(1, W + 1)] Nao e difcil de verificar que x y = 1.
N
umeros reais
18
c. Se x e y s
ao reais positivos, ent
ao tambem o s
ao x + y e x y.
Demonstra
c
ao. A primeira alnea e imediata e a segunda decorre da observac
ao de que [(X, Y )] = [(Y, X)] (e da tricotomia entre cortes de Dedekind).
Admitamos que x = [(X, Y )] e y = [(W, Z)] sao n
umeros reais positivos. Vese facilmente que x + y tambem e positivo. Estudemos a multiplicacao. Por
hip
otese, Y < X e Z < W . Pela Proposicao 17, existem U, V R+ tais que
X = Y + U e W = Z + V . Observe-se que x y = [(XW + Y Z, XZ + Y W )] e
que:
XW + Y Z = (Y + U )(Z + V ) + Y Z = Y Z + Y V + U Z + U V + Y Z e
nh
o
XZ + Y W = (Y + U )Z + Y (Z + V ) = Y Z + U Z + Y Z + Y V.
Usando a Proposic
ao 17, sai imediatamente que XZ + Y W < XW + Y Z, i.e.,
que o nmero real x y e positivo.
Proposi
c
ao 22. Diz-se que o n
umero real x e menor do que o n
umero real y
(escreve-se x < y) se y x e um n
umero real positivo. A relac
ao bin
aria <
entre n
umeros reais e uma relac
ao de ordem total e, alem disso, tem as seguintes
propriedades:
11. x, y, z (y < z x + y < x + z).
sc
u
Demonstra
c
ao. O facto da relacao binaria ser uma ordem total sai imediatamente do lema anterior: (a) justifica a anti-reflexividade; (c) a transitividade
e (b) a tricotomia. A primeira alnea acima e trivial enquanto que a outra e
consequencia de (c).
Um corpo munido duma ordem total que verifique as propriedades (11) e
(12) denomina-se de corpo ordenado.
Exerccio 26. Mostre que num corpo ordenado se tem as seguintes propriedades:
1. x 6= 0 0 < x2 e 0 < 1.
ra
Teorema 1 (N
umeros reais). O corpo ordenado dos reais satisfaz o princpio
do supremo.
Demonstra
c
ao. Verifica-se facilmente que a funcao k : R+ 7 R dada por
X
[(X + 1, 1)] preserva a ordem. Alem disso, a imagem de k e constituda
exactamente pelos n
umeros reais positivos. Assim, k e um isomorfismo de ordem
entre R+ e os reais positivos. Note-se que os restantes reais ou sao o elemento
0R ou s
ao menores do que 0R (os denominados reais negativos).
Se S e um conjunto de reais positivos, o supremo existe por causa do isomorfismo de ordem k e da Proposicao 15. Se S tem n
umeros reais positivos, este
caso reduz-se facilmente ao anterior. Se S nao tem n
umeros positivos tem-se
N
umeros reais
19
nh
o
Terminamos este captulo com a demonstracao do teorema do valor intermedio de Bolzano. Recorde-se que uma funcao real f definida no intervalo
real fechado [0, 1] e contnua em todos os pontos se
a [0, 1] R+ R+ x [0, 1] (|x a| < |f (x) f (a)| < ).
sc
u
Demonstra
c
ao. Considere-se X := {x [0, 1] : f (x) < 0}. Este conjunto e
n
ao vazio e majorado. Logo, tem supremo a. Se f (a) < 0 entao a < 1 e, pela
continuidade de f em a, tem-se f (x) < 0 numa vizinhanca de a. Em particular,
f (x) < 0 para valores x com x > a. Isto contradiz o facto de a ser majorante de
X. Se f (a) > 0 ent
ao 0 < a e, pela continuidade de f em a, ter-se-ia tambem
f (x) > 0 numa vizinhanca de a. Daqui conclui-se que a nao e o mnimo dos
majorantes de X. Portanto, f (a) = 0.
Exerccio 28. Seja (xn )nN uma sucess
ao crescente (i.e., n m xn xm )
e majorada de n
umeros reais. Mostre que o conjunto {xn : n N} tem supremo
e a sucess
ao (xn )nN converge para esse supremo.
ra
Chapter 8
nh
o
A unicidade dos n
umeros
reais
sc
u
ii. (n + 1) x = (n x) + x.
ra
A func
ao (n, x)
n x n
ao e uma operacao do corpo, visto que n nao tem
que ser elemento do corpo em questao. As propriedades do exerccio acima nao
se podem, com correcc
ao, denominar de propriedades distributiva e associativa.
O mesmo se passa com as seguintes propriedades:
Exerccio 31. Dados x, y elementos dum corpo mostre que, para todo n N,
se tem n (x + y) = (n x) + (n y) e n (x y) = (n x) y.
A correspondencia generaliza-se facilmente aos n
umeros inteiros negativos:
se n e um inteiro negativo, define-se n x como sendo ((n) x).
Exerccio 32. Mostre que num corpo ordenado K se tem, para todo o n N+ ,
0K < n 1K .
A unicidade dos n
umeros reais
21
e
um
monomorfismo
de
corpos.
para K dada por m
m K
nh
o
A demonstrac
ao e simples. Observe que esta proposicao permite ver o corpo
Q como subcorpo de facto o mais pequeno subcorpo dum corpo K de
caracterstica zero (diz-se que Q e o corpo primo de K). Aos elementos de K
n
1K , com n Z e m N+ , chamamos os racionais de K. Tambem
da forma m
n
.
se denotam estes elementos por m
Defini
c
ao (Propriedade Arquimediana). Um corpo ordenado K diz-se Arquimediano se, para todo x K, existe m N+ tal que x < m.
Proposi
c
ao 24. Todo o corpo ordenado que satisfaz o princpio do supremo e
Arquimediano.
sc
u
Demonstra
c
ao. Seja K um corpo nas condicoes da proposicao. Vamos ver
que se x e majorante de N+ entao x 1 tambem o e. Com efeito, se x 1 nao
e majorante de N+ , ent
ao existe n N+ tal que x 1 < n. Sai, x < n + 1 o
que mostra que x tambem n
ao e majorante de N+ . Desta discussao conclui-se
+
que se N e majorado ent
ao n
ao tem supremo. Como K satisfaz o princpio do
supremo, conclui-se que N+ n
ao e majorado.
Seja agora x K. Ent
ao x nao majora N+ . Por tricotomia, existe m N+
tal que x < m. Como se queria.
Lema 3. Num corpo ordenado Arquimediano h
a sempre n
umeros racionais estritamente entre elementos distintos.
ra
Demonstra
c
ao. Como observacao preliminar note-se que para todo o elemento
positivo w dum corpo ordenado Arquimediano K, existe n N+ tal que 0K <
1
+
1
< n.
n < w. Isto sai imediatamente do facto de existir n N tal que w
Sejam x e y elementos dum corpo ordenado K com x < y. Podemos supor,
sem perda de generalidade, que x > 0. Visto que y x > 0, tome-se m N+
1
tal que m
< y x. Pela propriedade Arquimediana, seja n N+ mnimo
n
tal que mx < n. Logo, n 1 mx. Por um lado sai x < m
. Por outro,
n
1
x
+
<
x
+
(y
x)
=
y.
Como
se
queria.
m
m
Exerccio 33. Seja K um corpo ordenado e A e B subconjuntos de K. Suponha
que sup A e sup B existem.
1. Seja A + B := {x + y : x A y B}. Mostre que sup(A + B) existe e
que e igual a sup A + sup B.
2. Suponha que A e B apenas tem elementos positivos. Defina-se A B :=
{xy : x Ay B}. Mostre que sup(AB) existe e e igual a sup Asup B.
Estamos preparados para demonstrar o seguinte resultado fundamental:
A unicidade dos n
umeros reais
22
nh
o
Demonstra
c
ao. Seja K um corpo ordenado que satisfaz o princpio do supremo.
Vamos ver que R+ e K + s
ao isomorfos (K + e o conjunto dos elementos positivos de K). Para ver isso, considere-se a aplicacao : R+ 7 K + definida
por X
sup{q 1K : q X}. Note-se que, dado X um corte de Dedekind,
o supremo anterior faz sentido, pois trata-se do supremo dum conjunto ma
jorado em K. E
obvio que e injectiva. Seja dado x K + . Considere-se
+
facil de ver que X e um segmento inicial de Q+ .
X := {q Q : q 1K < x}. E
Pela propriedade Arquimediana de K, X e majorado e nao vazio. Pelo Lema
3, sai que este segmento n
ao tem maximo. Logo, X e um corte de Dedekind.
Vamos ver que (X) = x, ou seja, que sup{q 1K : q X} = x. Claro que
o primeiro elemento n
ao excede o segundo. Suponhamos, com vista a um absurdo, que sup{q 1K : q X} = y < x. Pelo Lema 3, existe r Q+ tal que
y < r 1K < x. Logo, r X. Isto da origem a uma contradicao.
facil de ver que se X < Y entao
Sejam X e Y cortes de Dedekind. E
(X) < (Y ). Usando o exerccio anterior, tem-se:
(X + Y ) = sup{q 1K + r 1K : q X r Y } =
sup{q 1K : q X} + sup{r 1K : r Y } = (X) + (Y ).
ra
sc
u
Ve-se, de modo an
alogo, que (X Y ) = (X) (Y ). Claramente, estende-se
a um isomorfismo entre R e K.
Deixamos a unicidade do isomorfismo ao cuidado do leitor.
Chapter 9
nh
o
Equipot
encia
Defini
c
ao 6. Dois conjuntos X e Y dizem-se equipotentes ou equinumericos e
escreve-se X =c Y se existir uma func
ao f : X 7 Y bijectiva.
sc
u
Nas condic
oes acima tambem se diz que X e Y tem a mesma cardinalidade.
Um exemplo importante de equipotencia e o seguinte. Dados conjuntos X e Y
denota-se por Y X o conjunto de todas as funcoes de X para Y . Em particular,
{0, 1}X e o conjunto de todas as funcoes de X para o conjunto {0, 1}. O conjunto
de todos os subconjuntos de X, tambem chamado o conjunto das partes de X
e denotado por P(X) e equipotente a {0, 1}X via a bijeccao que a cada Z X
faz corresponder a sua func
ao caracterstica Z : X 7 {0, 1}:
1 se x Z
Z (x) :=
0 se x
/Z
O seguinte resultado e
obvio:
Proposi
c
ao 25. Para todos os conjuntos X, Y e Z tem-se:
(a) X =c X;
(b) X =c Y Y =c X;
ra
(c) X =c Y Y =c Z X =c Z.
Defini
c
ao 7. Diz-se que um conjunto X tem cardinalidade menor ou igual que
Y , e escreve-se X c Y , se existir uma injecc
ao de X para Y . Diz-se que X
tem cardinalidade estritamente menor que Y , e escreve-se X <c Y , se X c Y
e X n
ao e equipotente a Y .
Exerccio 34. Mostre que, para todo o conjunto X, X c P(X).
Os dois resultados seguintes sao claros:
Proposi
c
ao 26. Sejam dados conjuntos X e Y . Tem-se que X c Y se, e
somente se, existe um subconjunto Z de Y equipotente a X.
Proposi
c
ao 27. Para todos os conjuntos X, Y e Z tem-se:
(a) X c X;
23
Equipotencia
24
(b) X c Y Y c Z X c Z.
Segue-se um teorema importante e de demonstracao nao trivial:
Teorema de Cantor-Schr
oder-Bernstein. Sejam dados conjuntos X e Y .
Se X c Y e Y c X ent
ao X =c Y .
Demonstra
c
ao. Sejam f : X 7 Y e g : Y 7 X injeccoes. Definem-se, por
recurs
ao, subconjuntos Xn de X e subconjuntos Yn de Y da seguinte forma: por
um lado, X0 = X, Xn+1 = g[f [Xn ]]; por outro lado, Y0 = Y e Yn+1 = f [g[Yn ]].
Tem-se:
e
Yn f [Xn ] Yn+1 ,
nh
o
Xn g[Yn ] Xn+1
para todo o n
umero natural n. As propriedades acima mostram-se, cada qual,
por induc
ao. Consideremos a primeira propriedade. O caso base e claro. Quanto
ao passo de induc
ao, observe-se que, por hipotese de inducao, se infere Xn+2 =
g[f [Xn+1 ]] g[f [g[Yn ]]] = g[Yn+1 ] e g[Yn+1 ] = g[f [g[Yn ]]] g[f [Xn ]] = Xn+1 .
A segunda propriedade verifica-se analogamente. Temos, pois, as seguintes inclus
oes:
X0 g[Y0 ] X1 g[Y1 ] X2 g[Y2 ] X3 . . .
sc
u
ra
Equipotencia
25
Proposi
c
ao 28. Sejam dados conjuntos X e Y com X 6= . Ent
ao, X c Y
se, e somente se, existe uma sobrejecc
ao de Y para X.
Demonstra
c
ao. Seja X 6= e f : X 7 Y uma injeccao. Fixe-se x0 X.
Defina-se g : Y 7 X da seguinte forma:
x se f (x) = y
g(y) :=
x0 se nao existe x X tal que f (x) = y
nh
o
sc
u
Exerccio 36. N
ao e necess
ario apelar ao axioma da escolha para obter uma
func
ao escolha para N. Porque?
ra
Chapter 10
nh
o
Finitude e infinitude
Dado n um n
umero natural, denota-se por [n] o conjunto {i N : i < n}. Note
que [0] = .
Defini
c
ao 8. Um conjunto X diz-se finito se existir n N tal que X =c [n].
Caso contr
ario, diz-se que X e infinito.
sc
u
Demonstra
c
ao. Claro que m 6= 0. Se m 1
/ imf nao ha nada a demonstrar.
Caso contr
ario, tome-se r [n] com f (r) = m1. Dado que f nao e sobrejectiva,
tome-se k [m] com k
/ imf . Faz-se uma troca, definindo g : [n] 7 [m 1] da
seguinte forma:
f (x) se x 6= r
g(x) :=
k
se x = r
ra
Proposi
c
ao 29. Sejam n, m N com m < n. N
ao h
a injecc
oes de [n] para
[m].
Demonstra
c
ao. Suponhamos, com vista a um absurdo, que existem n
umeros
naturais n, m com m < n e uma funcao injectiva f : [n] 7 [m]. Pelo princpio
do mnimo, tome-se n0 o menor natural com a propriedade acima. Claro que
n0 6= 0. Ora, f [n0 1] e uma injeccao de [n0 1] para [m] que nao e sobrejectiva,
pois f (n0 1)
/ imf [n0 1] . Pelo Lema 4, m 6= 0 e existe uma injeccao de
[n0 1] em [m 1]. Note que m 1 < n0 1. Isto contradiz a minimalidade
de n0 .
Corol
ario 2. Para n, m N tem-se:
(a) m = n se, e somente se, [m] =c [n].
26
Finitude e infinitude
27
nh
o
Demonstra
c
ao. Seja n N e X [n]. Basta mostrar que X e finito e de
cardinalidade menor ou igual a n. Este resultado demonstra-se facilmente por
induc
ao em n. O caso n = 0 e obvio. Admitamos que X [n + 1]. Entao,
X \ {n} [n]. Por hip
otese de inducao, X \ {n} e finito e de cardinalidade
menor ou igual a n. O resultado segue-se da observacao que antecede esta
proposic
ao.
Os tres exerccios que se seguem pedem para se mostrar propriedades muito
elementares dos conjuntos finitos.
sc
u
ra
Demonstra
c
ao. Basta ver que, para todo n N, sempre que f : [n] 7 [n]
e injectiva ent
ao e sobrejectiva. Com efeito, se f nao fosse sobrejectiva, entao
n 6= 0 e (pelo Lema 4) existiria uma injeccao de [n] em [n 1], o que contradiz
a proposic
ao 29.
Esta formulac
ao do princpio dos cacifos nao e a mais conhecida. Geralmente, formula-se o princpio do seguinte modo: dados conjuntos finitos com
n + 1 elementos e n elementos, respectivamente, entao nao existe uma aplicacao
injectiva do primeiro no segundo. Alternativamente, se X e um conjunto finito
e x X ent
ao n
ao existe uma injeccao de X em X \ {x}. Note-se que esta
formulac
ao e equivalente ao princpio tal como o formulamos no teorema acima
(basta notar que uma tal injeccao, quando considerada como aplicacao em X,
n
ao e sobrejectiva).
Exerccio 40. Seja X um conjunto finito e f : X 7 X uma sobrejecc
ao.
Mostre que f e injectiva.
Finitude e infinitude
28
nh
o
Esta func
ao est
a bem definida, e injectiva mas nao e sobrejectiva, visto que
f (0)
/ img.
Conclui-se imediatamente que Z, Q e R sao infinitos `a Dedekind.
Proposi
c
ao 31. Um conjunto X e infinito se, e somente se, N c X.
sc
u
Demonstra
c
ao. J
a vimos que se N c X entao X e infinito `a Dedekind. Logo
e infinito. Reciprocamente, suponhamos que X e infinito. Informalmente, o
argumento e simples. Como X 6= , tome-se a0 X. Como X \ {a0 } 6=
(visto que X e infinito), tome-se a1 X \ {a0 }. Seguidamente toma-se a2
X \ {a0 , a1 }. E por a a fora ... Claramente, a funcao de N em X dada por
n
an e uma func
ao injectiva.
Note que o argumento acima utiliza o axioma da escolha. A forma rigorosa
de p
or o argumento e a seguinte. Fixe-se X uma funcao de escolha para X.
Define-se por recurs
ao completa a funcao f : N 7 X do seguinte modo:
f (n) = X (X \ {f (0), . . . , f (n 1)}).
Corol
ario 3. Um conjunto e infinito se, e somente se, e infinito `
a Dedekind.
ra
Chapter 11
nh
o
Numerabilidade
Defini
c
ao 9. Um conjunto X diz-se numeravel se for equipotente a N.
Exerccio 42. Mostre que Z e numer
avel.
Proposi
c
ao 32. Um subconjunto de N e finito ou numer
avel.
sc
u
Demonstra
c
ao. Seja X N. Se X e limitado entao e finito (pois e subconjunto de um conjunto finito). Caso X seja ilimitado, define-se por recursao a
func
ao f : N X em que f (0) = min X e f (n + 1) = min{k X : f (n) < k}.
Por definic
ao, f (n) < f (n + 1) e, portanto, f e injectiva. Logo, N c X. Pelo
teorema de Cantor-Schr
oder-Bernstein, conclui-se que X =c N.
Corol
ario 4. Se X c N, ent
ao X e finito ou numer
avel.
Proposi
c
ao 33 (Cantor). N N e numer
avel.
Demonstra
c
ao. A seguinte sucessao e uma bijeccao entre N e N N:
(0, 0), (0, 1), (1, 0), (0, 2), (1, 1), (2, 0), (0, 3), (1, 2), (2, 1), (3, 0), (0, 4), . . .
ra
Corol
ario 5. O produto cartesiano de dois conjuntos numer
aveis e numer
avel.
29
Numerabilidade
30
e
uma
sucess
a
o
de
conjuntos
numer
a
veis,
ent
ao
n nN
S
X
e
numer
a
vel.
nN n
Demonstra
c
ao. Para cada n N escolha-se uma bijeccao fn de N em Xn .
Imediatamente,
tem-se que (n, m)
fn (m) e uma sobrejeccao de N N em
S
X
.
n
nN
nh
o
Exerccio 44. O leitor atento deve ter observado que, no argumento acima, se
utiliza o axioma da escolha. Explicite o seu uso.
{x1 , . . . , xn }
ra
sc
u
Chapter 12
nh
o
A cardinalidade do
continuum
O seguinte argumento de diagonalizac
ao e famoso:
Proposi
c
ao 35. O conjunto {0, 1}N n
ao e numer
avel.
Demonstra
c
ao. Suponhamos, com vista a um absurdo, que existe uma bijecc
ao f de N em {0, 1}N . Considere-se a sucessao d {0, 1}N definida por:
d(n) := 1(f (n))(n). Visto que f e sobrejectiva existe n0 N tal que f (n0 ) = d.
Sai, d(n0 ) = 1 (f (n0 ))(n0 ) = 1 d(n0 ), o que e absurdo.
ra
sc
u
O pr
oximo passo consiste em mostrar que R =c {0, 1}N . Daqui se conclui que
R n
ao e um conjunto numer
avel. Considere-se a funcao x
{q Q : q < x}.
muito f
E
acil de ver que esta funcao e uma injeccao de R em P(Q). Logo,
R c P(Q) =c P(N), pois Q =c N. Ora, P(N) e equipotente ao seu conjunto
de func
oes caractersticas {0, 1}N . Portanto, R c {0, 1}N . Pelo teorema de
Cantor-Schr
oder-Bernstein, basta agora mostrar que {0, 1}N c R. Isto pode
ser feito de v
arias maneiras. Aqui optamos por um argumento que nao e o mais
simples mas que exibe um conjunto importante de n
umeros reais: o conjunto
tern
ario de Cantor.
Seja 2<N o conjunto de todas as funcoes cujo domnio e da forma [n], para
algum n N, e cujo conjunto de chegada e {0, 1}. Aos elementos de de
2<N chamam-se sequencias binarias (finitas) e, muitas vezes, denotam-se por
h(0), (1), . . . , (n 1)i. O n
umero n e o comprimento da sequencia e
escreve-se comp() = n. Dada 2<N , definem-se as seguintes sequencias de
comprimento n + 1:
0 := h(0), (1), . . . , (n 1), 0i e
1 := h(0), (1), . . . , (n 1), 1i;
Note-se que estas sequencias binarias sao obtidas a partir de por concatenacao
do elemento 0, respectivamente, do elemento 1. Note, finalmente, que ha uma
u
nica sequencia de comprimento 0, por vezes denotada por h i. Com esta
notac
ao podemos a descrever o conjunto ternario de Cantor.
Dado um intervalo [a, b], fechado e limitado de R (com a < b), sejam
ba
esq([a, b]) := [a, a + ba
3 ] e dir([a, b]) := [b 3 , b] (respectivamente, o primeiro
31
A cardinalidade do continuum
32
Ch1i = [ 23 , 1];
Ch0,0i = [0, 91 ],
Ch0,1i = [ 29 , 13 ] Ch1,0i = [ 23 , 79 ],
Ch1,1i = [ 89 , 1];
C 0 = [0, 1];
C 1 = [0, 31 ] [ 23 , 1];
nh
o
C 2 = [0, 19 ] [ 29 , 13 ] [ 23 , 79 ] [ 98 , 1];
sc
u
T
etc. O conjunto tern
ario de Cantor e, por defini
cao, C := nN C n .
T
Dado {0, 1}N , define-se C 0 () := nN Ch(0),(1),...,(n1)i . Note-se
que C 0 () e a intersecc
ao duma sucessao de intervalos fechados encaixados cujos
comprimentos tendem para 0. Pelo princpio do encaixe, C 0 () e um conjunto
singular. Seja C() o seu u
nico elemento, i.e., C 0 () = {C()}. Vamos argumentar que a aplicac
ao
C() e uma injeccao de {0, 1}N em C (e, portanto,
em R).
Tomem-se , {0, 1}N com 6= . Entao existe um elemento mnimo
n N tal que (n) 6= (n). Sem perda de generalidade, (n) = 0 e (n) = 1.
Note-se que, por minimalidade de n, (0) = (0), . . . (n 1) = (n 1). Vem:
C() Ch(0),...,(n1),(n)i = C0 = esq(C ); e
C() Ch(0),...,(n1),(n)i = C1 = dir(C );
ra
Mostr
amos, pois, o seguinte resultado:
Proposi
c
ao 36. R =c {0, 1}N . Em particular, R n
ao e numer
avel.
Chapter 13
nh
o
O teorema de Cantor
O seguinte resultado, tambem devido a Cantor, generaliza o teorema 35.
Teorema de Cantor. Para qualquer conjunto X, X 6=c P(X).
Demonstra
c
ao. Admitamos, com vista a um absurdo, que existe uma bijeccao
f de X em P(X). Considere-se o conjunto Z := {x X : x
/ f (x)}. Como
Z P(X), pela sobrejectividade de f existe x0 X tal que f (x0 ) = Z. Agora:
x0 f (x0 ) x0 Z x0
/ f (x0 ),
sc
u
ra
e isto n
ao acaba aqui pois, pelo teorema de Cantor, P(P (N)) tem cardinalidade superior a P (N), etc, etc. Tambem se pode perguntar se, para
conjutos infinitos X, h
a cardinalidades estritamente entre X e P(X) (a resposta e independente dos axiomas de ZFC). Ou, se dado um conjunto X, ha
uma cardinalidade imediatamente a seguir `a cardinalidade de X (a resposta e
afirmativa, em ZFC). Ou se
Terminamos este captulo com uma generalizacao do teorema de Cantor.
Na demonstrac
ao desta generalizacao usamos `a saciedade o axioma da
Q escolha.
Recorde-se que, dada uma famlia de conjuntos (Yi )iI , o conjunto iI Yi e,
por definic
ao, o conjunto de todas as funcoes com domnio I tais que, para
todo i I, (i) Yi . Frequentemente, os elementos de (Yi )iI sao denotados
por (yi )iI , onde e dada por (i) = yi .
33
O teorema de Cantor
34
Proposi
c
ao 37 (Teorema da cardinalidade de Konig). Dadas famlias (Xi )iI
e (Yi )iI de conjuntos tais que Xi <c Yi , para todo i I, ent
ao
[
Y
Xi <c
Yi .
iI
iI
sc
u
nh
o
Demonstra
c
ao. Tome-se (fi )iI uma famlia de injeccoes fi : Xi 7 Yi e uma
famlia (yi )iI tal que yi Yi \ imfi , para todo S
i I (estas famlias existem por
hip
otese e pelo axioma da escolha). Dado x iI Xi e j I define-se:
fj (x) se x Xj
g(x, j) :=
yj
caso contrario
S
Q
Para cada x iISXi , a famlia
g(x, j) e um elemento de SiI Yi .
Q g(x) : j
Vamos ver que g : iI Xi 7 iI Yi e uma injeccao. Sejam x, x0 iI Xi
com x 6= x0 . Se existe j I tal que x, x0 Xj entao, pela injectividade de
fj , tem-se g(x, j) = fj (x) 6= fj (x0 ) = g(x0 , j) e, portanto, g(x) 6= g(x0 ). Caso
contr
ario, x est
a nalgum Xj e x0
/ Xj . Neste caso, g(x0 , j) = yj
/ imfj e
0
0
g(x, j) = fj (x) imf
.
Logo,
g(x,
j)
=
6
g(x
,
j)
e,
igualmente,
g(x)
=
6
g(x
).
Sj
Q
Mostr
amos que iI Xi c iI YS
.
Suponhamos
agora,
com
vista
a um
i
Q
absurdo, que existe uma bijeccao h : iI Xi 7 iI Yi . Para cada j I,
considere-se a func
ao hj : Xj 7 Yj definida por x
h(x)(j). Por hipotese,
hj n
ao e sobrejectiva (axioma da escolha). Seja entao (yi )iI uma famlia tal
que yi YS
cao,
i \ imhi , para todo i I (axioma da escolha). Ora, por suposi
existe x iI Xi tal que h(x) = (yi )iI . Tome-se j I tal que x Xj . Vem,
yj = h(x)(j) = hj (x) imhj , o que contradiz a escolha de yj .
ra
Chapter 14
nh
o
Aritm
etica cardinal, sem
cardinais...
ra
sc
u
A noc
ao de cardinalidade e uma nocao que exige alguma delicadeza de tratamento num desenvolvimento rigoroso em teoria dos conjuntos. O que e, em
geral, o cardinal dum conjunto? Que objecto e este? Intuitivamente, o cardinal
dum conjunto e aquilo que e comum a todos os conjuntos equipotentes a esse
conjunto. Na pr
atica matem
atica, este aquilo que e comum aos objectos que
est
ao mutuamente em relac
ao sob uma determinada relacao de equivalencia e a
pr
opria classe de equivalencia do objecto. Mas tal pressupoe que a dada relacao
de equivalencia esteja definida num determinado conjunto, o que nao e o caso
com a noc
ao de equipotencia. Com efeito, esta nocao aplica-se a todos os conjuntos e, como veremos mais tarde, nao e possvel aglomerar todos os conjuntos
num conjunto.
Desde que se tenham os n
umeros naturais, o problema da cardinalidade
dum conjunto finito tem solucao simples: o cardinal de um conjunto finito
X e o (
unico) n
umero natural n tal que X =c [n]. Para alem disto, dada
a import
ancia dos conjuntos N e R, adopta-se a terminologia de dizer que os
conjuntos numer
aveis tem cardinalidade 0 e que os conjuntos equipotentes ao
continuum tem cardinalidade c. A solucao para o problema de dar um sentido
objectual `
as v
arias cardinalidades consiste no desenvolvimento duma teoria geral
de n
umeros que estenda a teoria dos n
umeros naturais: os n
umeros ordinais de
von Neumann. Mais tarde, iremos desenvolver esta teoria e, para isso, sera
necess
ario formular a axiom
atica da teoria dos conjuntos ZFC (notavelmente o
axioma da substituic
ao).
No entrementes, a noc
ao de cardinalidade vai sempre aparecer no contexto
duma asserc
ao de tal modo que, convenientemente reinterpretada, a assercao nao
fala de cardinalidades mas apenas de equipotencia e nocoes afins. Um exemplo
ilustra este modus operandi. Informalmente, dadas cardinalidades e , a cardinalidade produto, denotada por , e a cardinalidade do produto cartesiano
A B, onde A e B tem cardinalidade e , respectivamente. Subjacente ao
uso do produto de cardinalidades esta a seguinte nocao de congruencia:
(a) Se A =c A0 e B =c B 0 entao A B =c A0 B 0 .
Claro que se tem a seguinte lei: = . Encaramos esta lei como dizendo
35
Aritmetica cardinal
36
o seguinte:
(b) A B =c B A, para quaisquer conjuntos A e B.
sc
u
1. + 0 =
nh
o
Observe-se aquilo que realmente se esta a passar: `a lei que diz que o produto
de duas cardinalidades n
ao depende da ordem dos factores subjaz a propriedade
(a), enquanto que a lei propriamente dita e uma forma de dizer (b). Neste entendimento, n
ao faz sentido falar da cardinalidade de X isoladamente, mas ja
faz sentido dizer (p. ex.) que a cardinalidade dum conjunto X e estritamente
menor que a cardinalidade dum conjunto Y . O discurso sobre cardinalidades
faz sentido no contexto de assercoes (convenientes), ainda que por enquanto nao
faca sentido fora delas. Diz-se, em filosofia, que e um discurso sincategorem
atico
sobre cardinalidades. Vamos pois, neste captulo, interpretar as assercoes sobre
cardinais deste modo sincategorematico (o que pressupoe que se possam interpretar desta forma). Por exemplo, o teorema de Cantor-Schroder-Bernstein tem
a seguinte formulac
ao: = , para e cardinais.
A soma das cardinalidades e e a cardinalidade de A B, onde A e B
s
ao conjuntos disjuntos e tem cardinalidades e , respectivamente. Note-se
que dados conjuntos A e B e sempre possvel obter conjuntos disjuntos com as
mesmas cardinalidades (respectivas): p. ex., {0} A e {1} B (ao conjunto
({0}A)({1}B) d
a-se o nome de uni
ao disjunta de A com B e denota-se por
A ] B). Com estas noc
oes de soma e produtos de cardinais e facil de ver que as
seguintes asserc
oes sobre cardinalidades se podem interpretar do modo elptico
atr
as descrito e, quando sujeitas a esta interpretacao, sao sempre verdadeiras:
2. 0 = 0
3. 1 =
4. 2 = +
5. + ( + ) = ( + ) +
6. + = +
7. ( ) = ( )
ra
8. =
9. ( + ) = +
10. + +
11.
Aritmetica cardinal
37
12. ( ) =
13. + =
14. ( ) =
15. 6= 0
16.
nh
o
(d) 0 + 0 = 0 e 0 0 = 0 .
sc
u
(e) 0 + n = 0 e, se n 6= 0, 0 n = 0 .
(f ) c + c = c e c c = c.
(g) c + n = c e, se n 6= 0, c n = c.
(h) c + 0 = c 0 = c.
ra
Demonstra
c
ao. A alnea (a) sai da Proposicao 32. (b) e uma reformulacao
do facto de que R =c {0, 1}N . Por (b), (c) diz que N <c 2N , o que ja sabemos.
0 0 = 0 e a Proposic
ao 33. Por outro lado, 0 0 + n 0 + 0 = 20
0 0 = 0 . Isto demonstra o resto de (d) e a primeira parte de (e). Para a
segunda parte de (e), note-se que 0 0 n 0 0 = 0 . A segunda parte
de (f) sai do seguinte: c c = 20 20 = 20 +0 = 20 = c. A primeira parte de
(f) assim como (g) e (h) concluem-se agora facilmente.
Resta mostrar a alnea (i). Sem perda de generalidade, podemos supor que
B e R R. Considere-se a projeccao
P := {x R : y R (x, y) A}.
Aritmetica cardinal
38
Proposi
c
ao 39. Os seguintes conjuntos tem cardinalidade c:
1. O conjunto dos n
umeros irracionais.
2. O conjunto dos n
umeros transcendentes (um n
umero real diz-se transcendente se n
ao e um n
umero algebrico).
3. O conjunto de todos os subconjuntos infinitos de N.
4. O conjunto de todas as func
oes contnuas de R para R.
nh
o
Demonstra
c
ao. O conjunto dos racionais Q e numeravel. Logo, pela u
ltima
alnea da proposic
ao anterior, o conjunto complementar R \ Q dos n
umeros
irracionais tem cardinalidade c. De igual modo se demonstram as alneas (2)
e (3), pois como j
a vimos tanto o conjunto dos n
umeros algebricos como o
conjunto de todos os subconjunto finitos de N sao numeraveis.
O argumento para justificar a propriedade (4) e diferente. Considere-se a
aplicac
ao que a cada func
ao contnua f de R para R faz corresponder a sua
restric
ao f Q ao conjunto Q dos n
umeros racionais. Esta aplicacao e injectiva
pois se duas func
oes contnuas coincidem num subconjunto denso de R, entao
s
ao iguais. Logo, a cardinalidade do conjunto de todas funcoes contnuas de
R para R e menor ou igual `
a cardinalidade de RQ . Ora, esta cardinalidade e
0
0 0
0 0
0
c = (2 ) = 2
= 2 = c. A desigualdade oposta e trivial.
Exerccio 47. Mostre que a cardinalidade de todas as funco
es de R para R e
2c .
sc
u
Proposi
c
ao 40 (Lei da absorcao). Sejam e cardinais n
ao nulos, o segundo
dos quais infinito. Ent
ao
+ = = .
ra
+ + = 2 = ,
Chapter 15
nh
o
Opera
c
oes cardinais
infinit
arias
sc
u
Proposi
c
ao 41. Seja (Ai )iI uma
S famlia de conjuntos em que
P cada Ai tem
cardinalidade i . Ent
ao a uni
ao iI Ai tem cardinalidade iI i .
S
Demonstra
c
ao. Note-se que ha uma sobrejeccao de iI ({i} Ai ) sobre
S
(i, x), onde i I e x Ai o elemento
iI Ai : basta associar a cada
S elemento S
x. Logo, pela Proposic
ao 28, iI Ai c iI ({i} Ai ).
ra
Proposi
c
ao 42. Seja I um conjunto de cardinalidade e sejam (i )iI , (i )iI
famlias de cardinais. Ent
ao:
P
P
(a) i I (ki i ) iI i iI i ;
P
(b)
iI i = , se i I (i = ).
Demonstra
c
ao. Considerem-se famlias de conjuntos (Xi )iI e (Yi )iI tais
que, para cada i I, Xi tem cardinalidade i e Yi tem cardinalidade i . Suponhamos, tambem, que Xi c Yi . Fixemos (atraves do axioma da escolha) uma
facil de ver que a aplicacao (i, x)
famlia de injecc
oes fi : Xi 7 Yi . E
(i, fi (x))
S
S
(onde xi Xi ) e uma injecc
ao de iI ({i} Xi ) em iI ({i} Yi ). Este argumento demonstra a primeira alnea da proposicao. Para argumentar a segunda
parte
da proposic
ao, seja X um conjunto de cardinalidade . Temos que ver que
S
({i}
X)
e
equipotente
a I X. Ora, estes conjuntos sao o mesmo.
iI
P
Exerccio 48. Mostre que nN n = 0 . Conclua que na primeira alnea da
proposic
ao anterior n
ao se pode substituir a desigualdade pela desigualdade
estrita <.
P
P
Exerccio 49. Mostre a seguinte lei distributiva: iI i = iI ( i ).
39
Operac
oes cardinais infinit
arias
40
Q
Q
O produto de cardinalidades iI i e a cardinalidade do conjunto iI Ai ,
onde cada Ai tem cardinalidade i . Note-se, novamente, que esta definicao
apenas faz sentido na presenca do axioma da escolha.
nh
o
Proposi
c
ao 43. Seja I um conjunto de cardinalidade , sejam (i )iI , (i )iI
famlias de cardinais seja um cardinal. Ent
ao:
Q
Q
(a) i I (ki i ) iI i iI i ;
Q
(b) iI i = , se i I (i = );
Q
Q
(c) ( iI i ) = iI i ;
P
Q
(d) iI i = iI i .
Demonstra
c
ao. Apenas vamos argumentar a u
ltima alnea, ja que os argumentos n
ao s
ao difceis. Consideremos uma famlia (Xi )iI de conjuntos tal
que, para cada i I, Xi tem cardinalidade i ;Qconsidere-se tambem um conjuto
Z de cardinalidade . Pretendemos ver que iI Z Xi =c Z iI ({i}Xi ) . Ora,
e f
acil de ver que a aplicac
ao que a uma famlia (fi )iI S
de funcoes (cada qual
uma func
ao de Xi para Z) faz corresponder a funcao de iI ({i} Xi ) para Z
definida por (i, x)
fi (x) (onde x Xi ), e a bijeccao desejada.
Q
Exerccio 50. Mostre que nN\{0} n = 20 .
sc
u
ra
Chapter 16
nh
o
A teoria de Zermelo
O princpio n
ao restrito de compreensao que permite passar sempre duma propriedade bem-determinada `
a sua extensao e inconsistente. O princpio diz que
a cada propriedade bem-determinada P (x) se pode associar a sua extensao
{x : P (x)}, que e o conjunto que verifica a seguinte condicao (lei da concrec
ao):
z {x : P (x)} P (z),
sc
u
ra
41
A teoria de Zermelo
42
nh
o
Na teoria de Zermelo tem-se, pois, propriedades que nao tem extensao, i.e.,
propriedades P (x) para as quais nao existe um conjunto z tal que, para todo
x, x z P (x). Dito de outro modo, a expressao {x : P (x)} nao esta
sempre bem definida. A uma propriedade bem-determinada que nao tem extens
ao d
a-se o nome de classe pr
opria. Assim, a proposicao anterior diz que a
classe de Russell (i.e., a classe dada pela formula x
/ x) e uma classe propria.
Em geral, falamos em classes como outro modo de falar em propriedades bemdeterminadas. Note-se, que neste modo de falar, todo o conjunto e uma classe,
nomeadamente a classe que advem da propriedade de pertencer a esse conjunto.
` classes que n
As
ao tem extens
ao chamamos, como ja fizemos, classes proprias.
Exerccio 52. Mostre que a classe de todos os conjuntos (a denominada classe
universal) e uma classe pr
opria.
sc
u
Como dissemos, a nossa teoria e uma teoria pura de conjuntos: tudo e conjunto. O que s
ao ent
ao as classes proprias? Sao, como dissemos, um modo de
tecnicamente, um modo de falar
falar em propriedades bem-determinadas. E,
na metalinguagem. Na linguagem da teoria dos conjuntos nao se referem propriedades (n
ao se quantificam), apenas se referem conjuntos. Que dizer entao
do enunciado do axioma da separacao? Ele diz que para cada propriedade P (x)
se tem o seguinte: para todo o conjunto y existe o conjunto {x y : P (x)}.
Mais precisamente, trata-se dum esquema de axiomas:
yzx(x z x y P (x)),
ra
A teoria de Zermelo
43
yzx(x z x y (x)),
nh
o
um para cada f
ormula (x) da linguagem formal da teoria dos conjuntos (possivelmente com par
ametros). Trata-se de um n
umero infinito de axiomas, enunciados (metalinguisticamente) por meio da formalizac
ao da linguagem objecto
(a linguagem da teoria dos conjuntos e uma linguagem formal).
Quando falamos sobre classes, e conveniente tomar certas liberdades notacionais. Dada uma classe C (i.e., uma formula C(x)), escrevemos a C para
dizer C(a). De igual modo, falamos na classe complementar C c (a classe associada `
a f
ormula C(x)) assim como na uniao e interseccao de duas classes.
Com estas liberdades notacionais, o axioma da separacao pode formular-se assim: Dado um conjunto y e uma classe C, entao a classe y C e um conjunto.
Note-se que, para conseguir formar um conjunto por separacao, e mister ter a
priori um conjunto y para separar. Os proximos axiomas dao um acervo basico
de tais conjuntos.
Antes de entrarmos nos pr
oximos quatro axiomas, devemos discutir um pequeno ponto. Nas formulac
oes usuais da logica, supoe-se sempre que ha pelo
menos um objecto no domnio do discurso. No nosso caso, este requisito diz
que h
a pelo menos um conjunto. Seja ele z. Entao, pelo axioma da separacao,
podemos formar o conjunto {x z : x 6= x}. Este conjunto nao e mais do que o
conjunto vazio, denotado por (
unico, por extensionalidade). Em formulacoes
menos usuais, existe explicitamente um axioma que garante a existencia do
conjunto vazio. N
ao o faremos aqui, pelas razoes supras.
sc
u
A noc
ao de par ordenado pode definir-se em teoria dos conjuntos a partir
da noc
ao de par acima. Uma possvel maneira de o fazer e a seguinte, devida a
Kazimierz Kuratowski:
Defini
c
ao 10. Dados x e y define-se o par ordenado (x, y) como sendo o conjunto {{x, y}, {x}}.
ra
Proposi
c
ao 45. Se (x, y) = (z, w) ent
ao x = z e y = w.
Demonstra
c
ao. Suponhamos que {{x, y}, {x}} = {{z, w}, {z}}. Ha dois casos
a considerar: x = y ou n
ao. No caso afirmativo, vem {{x}} = {{z, w}, {z}}.
Logo, {z, w} = {z} e, por conseguinte, z = w. Sai {{x}} = {{z}} e, sucessivamente, {x} = {z}, x = z. Logo, x = y = z = w. No caso em que x 6= y, tem-se
necessariamente {x, y} = {z, w} e z 6= w. Como {x} e singular e {z, w} nao e,
infere-se que {x} = {z}. Logo x = z. Ora, y {x, y} = {z, w} = {x, w}. Vem
y = w.
4. O axioma da uni
ao diz que dado um conjunto z existe um conjunto cujos
elementos s
ao exactamente os elementos de elementos de z. Em smbolos,
existe o conjunto {x : v(v z x v)}. S
Pelo axioma da extensionalidade
este conjunto e u
nico. Denotamo-lo por z.
S
O conjunto {x, y} denota-se habitualmente por x y.
A teoria de Zermelo
44
Exerccio 53. Mostre que a classe de todos os conjuntos singulares e uma classe
pr
opria.
Uma func
ao f e um conjunto de pares ordenados com a seguinte propriedade:
(x, y) f (x, z) f y = z.
O domnio da func
ao f , denotado por domf , e o conjunto {x : y (x, y) f }.
Note-se que este conjunto existe por separacao, pois e o conjunto
SS
{x
f : y (x, y) f }.
sc
u
nh
o
ra
A teoria de Zermelo
45
{0}. O n
umero 2 e o conjunto {0, 1}, o 3 e o conjunto {0, 1, 2}, etc. Em geral,
o sucessor do n
umero n e o conjunto n {n}. O seguinte axioma garante que
todos estes n
umeros se podem aglomerar num conjunto:
6. O axioma do infinito diz que existe um conjunto I que tem o conjunto
vazio como elemento e que, sempre que tem um elemento x entao tambem
tem o elemento x {x}. I.e., existe um conjunto I tal que
I x(x I x {x} I).
Um conjunto que verifica a condicao acima diz-se indutivo com respeito a
e`
a operac
ao x
x {x}. Nesta terminologia, o axioma do infinito diz
que existe um conjunto indutivo.
nh
o
f
E
acil de ver que podemos tomar a interseccao de todos os conjuntos indutivos. Com efeito, fixe-se I um conjunto indutivo. A interseccao procurada
o conjunto
obtem-se agora por separac
ao. E
{x I : X(X e indutivo x X)}.
Denote-se por S(x) o conjunto x {x}. Podemos ver S como uma funcao de
para , nomeadamente como o conjunto de pares ordenados {(x, y) :
y = x {x}}.
sc
u
Lema 6. Se x e y x ent
ao y x.
Demonstra
c
ao. Vamos mostrar que X := {x : y(y x y x)}
e um conjunto indutivo, o que nos resolve o problema. Claramente, X.
Suponhamos que x X. Seja y S(x). Se y x entao y x e, a fortiori,
y S(x). Caso y = x, tem-se imediatamente, y S(x).
Exerccio 56. Mostre que se x ent
ao x .
Proposi
c
ao 46. O triplo (, S, ) e uma estrutura de Dedekind-Peano.
ra
Demonstra
c
ao. Claro que S(x) 6= , pois x S(x). A terceira propriedade
das estruturas de Dedekind-Peano e imediata. Finalmente, suponhamos que
x, y e S(x) = S(y). Suponhamos, com vista a um absurdo, que x 6= y.
Como y S(y) sai y x {x}. Logo, y x. Pelo lema anterior, y x. Por
um argumento simetrico, tambem se conclui que x y. Logo x = y.
Chapter 17
nh
o
A teoria ZFC
sc
u
ra
Por vezes, convem considerar operacoes restritas a uma certa classe. Nao
se perde generalidade por considerar o domnio da operacao o universo inteiro,
pois uma operac
ao definida apenas numa sub-classe do universo pode estenderse facilmente a todo o universo (p. ex., fazendo corresponder o conjunto vazio
aos conjuntos fora da sub-classe dada). Tambem se podem considerar operacoes
bin
arias (poli
adicas, em geral), tais como x, y
{x, y} ou x, y
x y.
7. O axioma da substitui
c
ao diz que dada uma operacao x
F (x) e
um conjunto A, a imagem F [A], constituda pelos elementos que sao da
forma F (x) para algum x A, e um conjunto. Assim, o axioma permite
formar o conjunto {y : x A (y = F (x))} ou, noutra notacao, o conjunto
{F (x) : x A}. Dito de outro modo (o qual explica o nome do axioma):
se se substituir cada elemento x dum dado conjunto A por F (x) obtem-se
ainda assim um conjunto.
Nas condic
oes das hip
oteses do axioma da substituicao, podemos formar o
conjunto {z A F [A] : xy(z = (x, y) y = F (x))}. De facto, este conjunto
e uma func
ao: aquela que a cada elemento x de A faz corresponder o elemento
F (x). Note-se que esta func
ao existe porque o axioma da substituicao garante
que F [A] e um conjunto. Se nos permitirmos liberdades de expressao, podemos
46
A teoria ZFC
47
nh
o
Proposi
c
ao 47. Seja x
F (x) uma operac
ao e C uma classe pr
opria. Suponhamos que F e injectiva em C. Ent
ao F [C] tambem e uma classe pr
opria.
Demonstra
c
ao. Suponhamos, com vista a um absurdo, que se pode formar o
conjunto
z := {y : x(C(x) F (x) = y)}.
sc
u
Defina-se a operac
ao y
G(y) que, nos elementos y do conjunto z faz corresponder o u
nico elemento x de C tal que F (x) = y (nos restantes conjuntos faz
corresponder o conjunto ). Pelo axioma da substituicao, G[z] e um conjunto.
Mas os elementos de G[z] s
ao exactamente os elementos que estao na classe C.
Isto contradiz a hip
otese de que C e uma classe propria.
Ser
a que podem existir conjuntos x tais que x x? Ou, mais geralmente,
conjuntos x, y0 , y1 , . . . , yn1 em crculo x y0 y1 . . . yn1 x? Como
iremos discutir mais tarde, o seguinte axioma espelha a denominada visao cumulativa do universo dos conjuntos. Alem disso, impede os casos patologicos
referidos:
8. O axioma da funda
c
ao diz que dado um conjunto nao vazio x existe um
elemento y x tal que x y = . Numa forma mais mnemonica: todo o
conjunto n
ao vazio tem um elemento minimal para a relacao .
ra
A teoria ZFC
48
nh
o
O axioma das escolhas dependentes, de sigla DC, e o postulado que diz que,
dados X um conjunto, a X e P X X tais que x Xy X [(x, y) P ],
ent
ao existe uma func
ao f : 7 X tal que:
f (0) = a n [(f (n), f (n + 1)) P ].
sc
u
Demonstra
c
ao. Admita-se AC. Sejam dados X, a X e P X X tais que
x Xy X[(x, y) P ]. Pelo axioma da escolha, tome-se X uma funcao
escolha para X. Define-se f : X por recursao do seguinte modo: f (0) = a
e f (n + 1) = X ({y X : (f (n), y) P }). Claramente, f satisfaz os requisitos
pretendidos.
Suponhamos agora DC e admitamos o antecedente de AC . Tome-se X =
Y e defina-se a relac
ao Q X X por
Q := {((n, y), (m, z)) X X : m = n + 1 (m, z) P }.
ra
A teoria ZFC
49
Com os resultados de G
odel ficou ainda em aberto a possibilidade de ZF
demonstrar o axioma da escolha. Apenas na sequencia dos trabalhos de Cohen em 1963, inventor duma tecnica de construcao de modelos da teoria dos
conjuntos conhecida por metodo do forcing, se demonstrou (atraves de modelos
simetricos) que as teorias
ZF + AC , ZF + AC + DC, ZF + DC + AC
ra
sc
u
nh
o
s
ao teorias consistentes relativamente a ZF.
As demonstrac
oes destes resultados requerem tecnicas de Logica Matematica
e n
ao cabem numa introduc
ao `a teoria dos conjuntos.
Chapter 18
nh
o
Boas ordens
Defini
c
ao 11. Uma boa ordem e uma ordem total estrita (X, <) tal que todo
o subconjunto n
ao vazio de X tem mnimo para a relaca
o .
O conjunto dos n
umeros naturais munido da ordem usual (que, nos n
umeros
naturais de von Neumann, e dada pela relacao de pertenca) constitui uma boa
ordem. Para todo o n
umero natural de von Neumann n , n munido da
relac
ao de pertenca e uma boa ordem finita. Dada uma boa ordem (X, <) e
dado
/ X, podemos definir a seguinte boa ordem em X {}:
sc
u
x y : (x, y X x < y) (x X y = ).
A relac
ao <G e uma boa ordem, denominada de ordem de Godel em X X.
ra
f
Demonstra
c
ao. E
acil de ver que <G e uma ordem total. Seja Z um subconjunto n
ao vazio de X X. Considere-se o seguinte subconjunto nao vazio de
X:
{w X : x, y ((x, y) Z max(x, y) = w)}.
Boas ordens
51
nh
o
Proposi
c
ao 50. Seja (X, <) uma boa ordem e I um segmento inicial proprio
de X (i.e., I n
ao e todo o X). Ent
ao existe y X tal que I = X<y .
Demonstra
c
ao. Como I ( X, tome-se y0 o elemento mnimo de X \ I. Vamos
argumentar que I = X<y0 . Se x
/ I, vem y0 x por minimalidade de y0 . Logo,
x
/ X<y0 . Reciprocamente, se y0 x, nao se pode ter x I pois entao viria
y0 I por definic
ao de segmento inicial.
sc
u
Exerccio 68. Seja (X, <) uma boa ordem que tenha elementos limite. Seja
x o menor elemento limite de X. Mostre que X<x e, de forma natural, uma
estrutura de Dedekind-Peano.
Defini
c
ao 12. Sejam (X, <) e (Y, ) duas boas ordens. Diz-se que uma func
ao
f : X 7 Y e estritamente crescente se,
x, x0 X(x < x0 f (x) f (x0 )).
N
ao e difcil de argumentar que se f e estritamente crescente entao f e injectiva
e tem-se mesmo o bicondicional x, x0 X(x < x0 f (x) f (x0 )).
ra
Proposi
c
ao 51. Seja f : X 7 X uma funca
o estritamente crescente duma boa
ordem (X, <) para si pr
opria. Ent
ao, para todo x X, x f (x).
Demonstra
c
ao. Admitamos, com vista a um absurdo, que existe x X tal
que f (x) < x. Tome-se x0 mnimo nestas circunstancias. Seja y0 = f (x0 ). Note
que y0 < x0 e, por monotonicidade estrita, f (y0 ) < y0 . Ora, isto contradiz a
minimalidade de x0 .
Corol
ario 8. Seja (X, <) uma boa-ordem e f : X 7 X uma func
ao estritamente crescente. Ent
ao imf n
ao est
a contida num segmento inicial pr
oprio de
X.
Defini
c
ao 13. Um isomorfismo entre boas ordens (X, <) e (Y, ) e uma bijecc
ao f : X 7 Y estritamente crescente. Duas boas ordens (X, <) e (Y, )
dizem-se isomorfas se existir um isomorfismo entre elas, e escreve-se (X, <) =o
(Y, ), ou simplesmente X =o Y desde que as boas ordens estejam implcitas.
Corol
ario 9. Nenhuma boa ordem e isomorfa a um seu segmento inicial pr
oprio.
Chapter 19
nh
o
Indu
c
ao e recurs
ao
transfinita
Como j
a vimos, existem princpios de inducao e recursao na estrutura dos
n
umeros naturais. As boas ordens sao estruturas para as quais estes princpios,
devidamente adaptados, tambem se aplicam.
Proposi
c
ao 52 (Princpio da inducao transfinita). Seja (X, <) uma boa ordem
e Z um subconjunto de X. Se, para todo o elemento x X, se tiver o condicional
(y < x (y Z)) x Z (condicao de progressao), ent
ao Z = X.
sc
u
Demonstra
c
ao. A demonstracao e analoga ao princpio da inducao completa
em , usando a existencia de mnimos de conjuntos nao vazios.
ra
Demonstra
c
ao. Considere-se o conjunto Z dos elementos z X para os quais
existe uma func
ao z de domnio X<z {z} tal que
z (x) = F (z X<x , x),
Induc
ao e recurs
ao transfinita
53
nh
o
sc
u
(b) Se x e y s
ao conjuntos transitivos ent
ao x y tambem e transitivo.
(c) Se x e um conjunto transitivo ent
ao P(x) tambem e transitivo.
S
(d) Se cada elemento dum conjunto X e transitivo, ent
ao X e transitivo.
ra
Defini
c
ao 15. SFixe-se x um conjunto. Define-se por recurs
ao T C0 (x) = x
e T Cn+1 (x)
=
T
C
(x).
O
fecho
transitivo
de
x,
denotado
por T C(x), e o
n
S
conjunto n T Cn (x).
S
O Corol
ario
atrves da operacao x
x. Intuitivamente,
S 10 eSaqui
S usado
SSS
T C(x) e x x
x
x . . . constitudo pelos elementos de x, os
elementos dos elementos de x, os elementos dos elementos dos elementos de x
e por a adiante. Rigorosamente, dado um conjunto x, se denotarmos por f a
func
ao que
umero natutal n faz corresponder o conjunto T Cn (x), entao
S a cada n
T C(x) e
imf .
Proposi
c
ao 53. Dado um conjunto x, T C(x) e um conjunto transitivo tal que
x T C(x). Alem disso, se z e um conjunto transitivo tal que x z, ent
ao
T C(x) z.
Demonstra
c
ao. Claramente, x T C(x). Seja y T C(x)Se considere-se
w y. Para algum n tem-se y T Cn (x). Logo w T Cn (x), i.e.,
w T Cn+1 (x) e, portanto, w T C(x). Para a segunda parte, demonstrase facilmente, por induc
ao em n, que T Cn (x) z, para todo n . Logo,
T C(x) z.
Chapter 20
nh
o
sc
u
(c) Se e s
ao ordinais, ent
ao e um ordinal.
Note que todo o elemento de e um ordinal e que o proprio e um ordinal.
Dado um ordinal , podemos considerar a relacao {(x, y) : x y} em
, a que chamamos a relac
ao de pertenca em .
Proposi
c
ao 55. Um ordinal munido da relaca
o de pertenca constitui uma boa
ordem.
ra
Demonstra
c
ao. Seja dado um ordinal. A relacao de pertenca em e
anti-reflexiva pelo axioma da fundacao e e tricotomica por definicao de ordinal.
Para ver que e uma ordem total basta ver que e uma relacao transitiva. Sejam
x, y, z com x y e y z. Pelo axioma da fundacao nao se pode ter x = z.
Logo, por definic
ao de ordinal, x z ou z x. Novamente pelo axioma da
fundac
ao, z x e impossvel. Resta x z.
Finalmente, temos que ver que todo o subconjunto nao vazio X de tem
elemento mnimo para a relac
ao de pertenca. Pelo axioma da fundacao, seja
x X tal que x X = . Vamos ver que x e o elemento mnimo de X para a
relac
ao de pertenca. Tome-se y X com y 6= x. Visto que x X = , nao se
pode ter y x. Resta x y, como se queria.
Corol
ario 11. Todo o elemento dum ordinal e um ordinal.
Demonstra
c
ao. Seja um ordinal e x . Como e um conjunto transitivo
e a relac
ao de pertenca em e transitiva, x e um conjunto transitivo. Por sua
vez, o facto de que x e subconjunto de claramente implica que quaisquer dois
elementos de x s
ao compar
aveis com respeito `a relacao de pertenca.
54
55
nh
o
Demonstra
c
ao. Sejam e ordinais diferentes. Se , entao pelo lema
anterior, . Se , vem . Caso contrario, $ e $ .
Ora, e um ordinal. Logo, pelo lema anterior, vem e .
Vem , o que e impossvel pelo axioma da fundacao.
Corol
ario 12. Se 6= ent
ao 6=o .
Demonstra
c
ao. Sem perda de generalidade, . Sai $ . Claramente,
e um segmento inicial pr
oprio de e, portanto, nao e isomorfo a .
sc
u
Seja Ord a classe dos ordinais. Pelo que vimos, a relacao de pertenca em
Ord tem as propriedades de ordem total. Comummente, para ordinais e ,
escreve-se < em vez de . Pelo Lema 7, tem-se se, e somente
se, . Note que, `
a semelhanca dos ordinais de von Neumann finitos, cada
ordinal coincide com o conjunto dos seus predecessores, i.e., = { : < }.
S
Exerc
ao X e um ordinal. Mostre
S cio 71. Se X e um conjunto de ordinais ent
que X e o menor dos ordinais que majoram X (dito de outro modo,
S todo o
conjunto X de ordinais tem supremo sendo este supremo o ordinal X).
Proposi
c
ao 57 (Burali-Forti). A classe Ord e uma classe pr
opria.
Demonstra
c
ao. Se Ord fosse um conjunto entao, pelo que vimos, Ord seria
um ordinal de von Neumann. Viria Ord Ord, o que contradiz o axioma da
fundac
ao.
ra
Corol
ario 13. Seja C uma classe de ordinais tal que ( < C()).
Ent
ao C e uma classe pr
opria.
Demonstra
ao. Suponhamos que C e um conjunto z. Vamos ver que o
S c
conjunto z e constitudo por todos os ordinais, o que e um absurdo. Com
efeito, dado um ordinal
S qualquer, tome-se tal que < e C(). Logo,
z. Sai z.
Corol
ario 14. Seja dada uma operac
ao x
F (x) com valores nos ordinais.
Fixe-se A um conjunto. Ent
ao x A (F (x) < ).
Demonstra
c
ao. Pelo axioma da substituicao pode formar-se o conjunto F [A]
dos ordinais da forma F (x), com x A. Pelo corolario anterior, existe um
ordinal que majora este conjunto.
Lema 8. Seja C uma sub-classe n
ao vazia da classe dos ordinais. Ent
ao C tem
elemento mnimo.
56
Demonstra
c
ao. Tome-se em C. Se e elemento mnimo de C, ja temos o
que queremos. Caso contr
ario, considere-se o conjunto nao vazio {x : C(x)}.
Este conjunto tem elemento mnimo como subconjunto da boa ordem . Este
elemento mnimo e o elemento desejado.
O seguinte resultado e consequencia imediata do Lema 8:
Proposi
c
ao 58 (Princpio da inducao transfinita nos ordinais). Seja C uma
classe de ordinais. Se
(Condic
ao de Progress
ao)
ent
ao C e a classe de todos os ordinais.
nh
o
Os ordinais s
ao de tres tipos. Existe o ordinal 0. Ha, tambem, os ordinais
sucessores, i.e., ordinais da forma S() para algum ordinal . Os restantes
ordinais s
ao os ordinais limite.
Exerccio 72. Seja um ordinal limite. Mostre que sup = . O que se passa
quando n
ao e ordinal limite?
u
E
til ter o princpio da inducao transfinita nos ordinais na seguinte forma:
Corol
ario 15. Seja C uma classe de ordinais. Se
1. C(0)
sc
u
2. (C() C(S()))
Demonstra
c
ao. Basta observar que as condicoes acima implicam a condicao
de progress
ao.
Proposi
c
ao 59 (Princpio da recursao transfinita nos ordinais). Seja w,
F (w, ) uma operac
ao bin
aria bem-determinada. Ent
ao existe uma operacao
ra
H() = F (H , ),
onde H e a func
ao que se obtem ao se restringir a operac
ao dada por H ao
conjunto .
Observa
c
ao. Note que H e uma func
ao gracas ao Axioma da Substituic
ao.
Demonstra
c
ao. Dado que cada ordinal e uma boa ordem, pelo princpio da
recurs
ao transfinita para boas ordens, existe uma u
nica funcao h de domnio
tal que, para todo < :
h () = F ((h ) , ) = F (h , ),
au
ltima igualdade justificada pela unicidade das funcoes h . Definimos, pois,
uma operac
ao
h . Agora toma-se simplesmente a operacao H hS() ().
57
nh
o
Corol
ario 16. Fixe-se um conjunto a e sejam z,
G(z, ) e w,
H(w, )
operac
oes. Ent
ao existe uma operacao
F () definida nos ordinais tal que:
= a
F (0)
F (S()) = G(F (), )
F ()
= H(F , ), se e ordinal limite
ra
sc
u
Demonstra
c
ao. Basta aplicar a Proposicao 59 `a operacao J definida assim:
se = 0
a
G(w(), ) se e da forma S()
w, J
H(w, )
se e ordinal limite
Chapter 21
nh
o
Aritm
etica ordinal
Proposi
c
ao 60 (Soma ordinal). Existe uma operaca
o bin
aria ,
definida nos ordinais e tomando valores nos ordinais tal que:
=
+0
+ S() = S( + )
+
= sup{ + : < }, se e ordinal limite
sc
u
Demonstra
c
ao. Define-se a soma ordinal por recursao transfinita em , com
par
ametro . Dado que a operacao x
sup x nao esta definida sempre (faz
sentido
apenas
em
conjuntos
de
ordinais),
devemos
substituir a terceira clausula
S
por { + : < }. Nestas circunstancias, temos uma definicao correcta por
recurs
ao transfinita. Agora, a posteriori, ve-se (imediatamente) por inducao
transfinita, que esta operac
ao toma afinal sempre valores nos ordinais.
Adoptamos as terminologias usuais. Assim, 1 e por definicao S(0). Vem,
claramente, S() = + 1, para qualquer ordinal . Note que a soma ordinal
n
ao e comutativa. Por exemplo, 1 + = sup{1 + n : n } = 6= + 1.
Vamos ilustrar o metodo da demonstracao por inducao transfinita com a
propriedade associativa da adicao dos n
umeros ordinais.
Lema 9. Sejam , e ordinais tais que < . Ent
ao, + < + .
ra
Demonstra
c
ao. Fixemos e . Vamos demonstrar, por inducao transfinita
em , o condicional < + < + . O caso = 0 e trivial. Se = S()
e < , ent
ao < ou = . No primeiro caso, por hipotese de inducao
transfinita, + < + < S( + ) = + S() = + . No segundo caso,
+ = + < S( + ) = + S() = + .
Resta discutir o caso em que e ordinal limite. Ora, se < entao existe
tal que < < . Por hip
otese de inducao transfinita, + < + . Por
definic
ao de soma ordinal, + + . Isto mostra o que se quer.
Aritmetica ordinal
59
nh
o
onde a segunda igualdade se justifica por hipotese de inducao transfinita. Suponhamos agora que e ordinal limite e que, para todo < se tem
( + ) + = + ( + ).
sc
u
ra
Proposi
c
ao 62 (Produto ordinal). Existe uma operac
ao bin
aria ,
definida nos ordinais e tomando valores nos ordinais tal que:
= 0
0
( + 1) = ( ) +
Demonstra
c
ao. Fixemos e , este u
ltimo nao nulo. Vamos demonstrar, por
induc
ao transfinita em , o condicional < < . O caso = 0
e trivial. Se = + 1 e < , entao < ou = . No primeiro caso, por
hip
otese de induc
ao transfinita, < < ( ) + = ( + 1) = .
No segundo caso, < ( ) + = ( + 1) = .
Resta discutir o caso em que e ordinal limite. Ora, se < entao existe
tal que < < . Por hipotese de inducao transfinita, < . Por
definic
ao de produto ordinal, . Isto mostra o que se quer.
Aritmetica ordinal
60
nh
o
< ( + ) = + < +
onde se tem a igualdade acima por hipotese de inducao transfinita. Pela arbitrariedade de e pela definic
ao de produto ordinal, sai ( + ) + .
Reciprocamente, tome-se ao arbitrario tal que < . Vamos ver que
+ ( + ). Dada a arbitrariedade de e a definicao de soma ordinal
(atendendo a que e ordinal limite), sai a outra desigualdade. Entao, dado
que < , por definic
ao de produto ordinal, tome-se < tal que < .
Sai,
+ < + = ( + ) < ( + )
sc
u
ra
Proposi
c
ao 64 (Exponenciacao ordinal). Existe uma operac
ao bin
aria ,
definida nos ordinais (com > 1) e tomando valores nos ordinais tal que:
0
= 1
+1 =
Nos dois seguintes exerccios, considere que se define 1 como sendo 1, que
0 e 1 e que, para 6= 0, 0 e 0.
0
Chapter 22
nh
o
A esta func
ao d
a-se o nome de func
ao colapso da boa ordem (X, <).
Exerccio 85. Considere uma boa ordem com tres elementos. Calcule a func
ao
de colapso desta boa ordem.
sc
u
Demonstra
c
ao. Vejamos que im f e um conjunto transitivo. Seja v im f e
u v. Tem-se ent
ao que v = f (x), para certo x X. Visto que u f (x), sai
que u = f (z) com z < x. Logo, u im f . Vamos agora ver que quaisquer dois
elementos u, v im f s
ao -comparaveis. Ora, u = f (x) e v = f (z), para certos
x, z X. Se u 6= v, ent
ao x 6= z e, portanto, x < z ou z < x. No primeiro caso,
u v. No segundo, v u.
claro que se x e y s
E
ao elementos de X com y < x, entao f (y) f (x).
ra
Note que uma boa ordem nao pode ser isomorfa a dois ordinais distintos. Portanto, podemos definir uma operac
ao que a cada boa ordem (X, <)
faz corresponder o u
nico ordinal ord(X, <) a ela isomorfa. Esta operacao
(X, <)
ord(X, <) goza das seguintes propriedades:
(X, <) =o ord(X, <)
Corol
ario 17. Duas boas ordens s
ao isomorfas, ou uma delas e isomorfa a um
segmento inicial pr
oprio da outra.
Demonstra
c
ao. Dadas duas boas ordens, cada uma delas e isomorfa a um
ordinal. Se os ordinais forem o mesmo, entao as boas ordens sao isomorfas.
Caso contr
ario, um dos ordinais e um segmento inicial do outro, o que implica
que uma das boas ordens e isomorfa a um segmento inicial da outra.
61
62
Corol
ario 18. Seja (X, <) uma boa-ordem e Y X. Ent
ao o conjunto Y
munido da boa-ordem induzida por < e isomorfo a (X, <) ou a um segmento
inicial de (X, <).
Demonstra
c
ao. A boa-ordem (X, <) nao pode ser isomorfa a um segmento
inicial pr
oprio de Y . Um tal isomorfismo seria naturalmente uma aplicacao
estritamente crescente de X num segmento inicial proprio de X, o que contradiz
a Proposic
ao 51. O resultado sai pelo corolario anterior.
O seguinte resultado e agora imediato.
nh
o
Corol
ario 19. Sejam Y um conjunto e um ordinal tais que Y . Ent
ao
existe tal que =c Y .
O seguinte resultado de ZF e importante pois assegura que ha ordinais infinitos n
ao numer
aveis.
sc
u
f
Demonstra
c
ao. E
acil de argumentar que a classe C de todas as boas ordens
da forma (Z, <) com Z X e um conjunto: note-se que um tal par esta em
P(X)P(X X). Logo, pelo axioma da substituicao, {ord(Z, <) : (Z, <) C}
e um conjunto de ordinais, digamos HX . Como Ord e uma classe propria, tomese
/ HX . Vamos ver que nao e equipotente a nenhum subconjunto de X.
Suponhamos, por absurdo, que existe Z X tal que Z =c . Atraves duma
bijecc
ao entre Z e , podemos transportar a boa-ordem de para X, obtendo
a uma boa-ordem isomorfa < (ou seja ord(Z, <) = ). Logo, estaria em HX ,
o que e absurdo.
ra
Chapter 23
nh
o
sc
u
Defini
c
ao 17. Um ordem parcial diz-se completa para cadeias se toda a cadeia
tem supremo.
S
Seja dado um conjunto A e S P(A). Ve-se facilmente que S e o
supremo de S quando consideramos P(A) munido da ordem parcial . Em
particular, P(A) munido da ordem parcial e completo para cadeias. Outro
exemplo u
til de ordem parcial completa para cadeias e o seguinte. Dada (X, )
uma ordem parcial, considere-se Cadeias(X, ), ou simplesmente Cadeias(X),
o conjunto de todas as cadeias de X. Entao, Cadeias(X) munido da ordem
parcial e uma ordem completa para cadeias. Isto decorre do facto da uniao
duma cadeia de cadeias ser uma cadeia.
Exerccio 86. Verifique a u
ltima afirmac
ao acima.
Defini
c
ao 18. Seja (X, ) uma ordem parcial. Uma func
ao f : X 7 X diz-se
uma expans
ao se, para todo x X, x f (x).
ra
Note-se que toda a ordem parcial completa para cadeias tem elemento mnimo
(o supremo do conjunto vazio), que abaixo denotamos por .
Lema 14 (Iterac
ao transfinita). Seja (X, ) uma ordem parcial completa para
cadeias e f : X 7 X uma expans
ao. Ent
ao existe uma operac
ao
It()
definida nos ordinais e com valores em X tal que:
=
It(0)
It( + 1) = f (It())
It()
= sup{It() : < }, se e ordinal limite
Alem disso, se ent
ao It() It().
Demonstra
c
ao. A definic
ao de It seria uma consequencia imediata do teorema
de recurs
ao transfinita nos ordinais excepto pelo facto da terceira clausula nao
ter de estar definida a priori. Porem, a seguinte definicao pode, evidentemente,
ser feita:
63
It(0)
=
It( + 1) =
It()
=
It()
=
64
f (It())
sup{It() : < }, se e ordinal limite e
este supremo existir
, caso contrario
nh
o
ra
sc
u
Chapter 24
nh
o
sc
u
Demonstra
c
ao. Admitamos, com vista a um absurdo, que nao ha cadeias
maximais em X. Ent
ao, C Cadeias(X) C 0 Cadeias(X) [C ( C 0 ].
Pelo axioma da escolha, existe uma funcao f : Cadeias(X) 7 Cadeias(X)
tal que C ( f (C), para toda a cadeia C de X. Ora, como sabemos, o conjunto
Cadeias(X) munido da ordem e um conjunto completo para cadeias e, e
claro, f e uma expans
ao neste conjunto completo para cadeias. Pelo teorema
do ponto fixo de Zermelo, f tem um ponto fixo. Isto e absurdo.
ra
Demonstra
c
ao. Pelo teorema anterior, seja C uma cadeia maximal de X.
Tome-se x um majorante de C. Claramente, x e elemento maximal de X.
Proposi
c
ao 67 (Princpio da boa ordenacao). Todo o conjunto pode ser bem
ordenado.
Demonstra
c
ao. Sem perda de generalidade, podemos supor que X e infinito.
Considere-se o conjunto F de todas as funcoes injectivas da forma f : 7 X,
com < h(X), onde h(X) e o n
umero de Hartogs de X. Claro que (F, )
e uma ordem
parcial.
Para
al
e
m
disso, se C e uma cadeia de funcoes de F,
S
a uni
ao C ainda e uma funcao injectiva e o seu domnio e claramente um
segmento inicial de h(X). Por definicao de n
umero de Hartogs, este segmento
inicial n
ao pode ser todo o h(X). Argumentamos, portanto, que toda a cadeia
de (F, ) tem majorante. Pelo lema de Zorn, esta ordem tem um elemento
f
maximal f : 7 X. E
acil de argumentar que imf = X: com efeito, se nao
fosse, tomava-se um elemento x0 X \ imf ; entao a funcao f {(, x0 )} de
65
66
domnio + 1 (note-se que + 1 < h(X), pois h(X) e ordinal limite) estaria
em F; isto entra em contradic
ao com a maximalidade de f .
Agora, dado que o elemento maximal f e uma bijeccao entre um ordinal e
X, conclui-se que X pode ser bem-ordenado.
Exerccio 87. Mostre que a teoria Z juntamente com o princpio da boa ordenac
ao demonstra o axioma da escolha.
Proposi
c
ao 68 (Comparabilidade das cardinalidades). Dados conjuntos X e
Y , ent
ao X c Y ou Y c X.
nh
o
Demonstra
c
ao. Pelo teorema anterior, podemos munir X e Y de boas ordens.
Ora, como sabemos, as boas ordens ou sao isomorfas ou uma delas e isomorfa a
um segmento inicial da outra. O resultado sai agora trivialmente.
O axioma da escolha e necessario para demonstrar qualquer dos quatro teoremas acima. Com efeito:
Teorema (Equival
encias ao axioma da escolha). Na teoria ZF os seguintes
princpios s
ao equivalentes:
1. Axioma da escolha.
sc
u
ra
facil mostrar
Demonstra
c
ao. Viu-se que (1) (2) (3) (4) (5). E
que (4) (1). Logo, basta ver que (5) (4). Seja X um conjunto qualquer.
Por (5), X c h(X) ou h(X) c X, onde h(X) e o n
umero de Hartogs de X.
Por definic
ao de h(X) n
ao se tem o segundo caso. Logo, X c h(X), i.e., existe
uma injecc
ao de X no ordinal h(X). Entao, claramente que X pode ser bem
ordenado.
Chapter 25
nh
o
O axioma da escolha na
pr
atica matem
atica
sc
u
ra
Dado w um n
umero real e X um subconjunto de R, diz-se que w e ponto
aderente de X se > 0x X |x w| < . Na presenca de AC , esta nocao
e equivalente a dizer que existe uma sucessao (xn )n de elementos de X a
convergir para w. Com efeito, admitamos que w e ponto aderente de X. Entao,
1
. Por AC , existe f : 7 X tal que, para todo
n x X |x w| < n+1
1
n , |f (n) w| < n+1 . Claro que a sucessao xn = f (n), de elementos de X,
converge para w. A implicac
ao contraria e imediata e nao necessita do axioma
da escolha.
67
O axioma da escolha na pr
atica matematica
68
1. () = 0 e (R) = +.
nh
o
2. se (Xn )n
S e uma sucess
P ao de subconjuntos mutuamente disjuntos de R,
ent
ao ( n Xn ) = n (Xn ).
3. se a, b R com a b, entao ([a, b]) = b a.
4. se a R e X R, ent
ao (X) = (a + X), onde a + X = {a + x : x X}.
sc
u
ii. se X Y R, ent
ao (X) (Y ).
ra
Demonstra
c
ao. A primeira propriedade e consequencia da -aditividade de
(e do facto de que () = 0). A segunda propriedade sai da anterior: com efeito,
se X Y , ent
ao (Y ) = (X (Y \X)) = (X)+(Y \X) (X). Finalmente,
argumentemos (iii). Seja (Xn )n uma sucessao crescente
de
S de subconjuntos
S
R. Defina-se Y0 = X0 e Yn+1 = Xn+1 \ Xn . Note-se que n Xn = n Yn e
que esta u
ltima uni
ao e disjunta. Vem:
S
S
P
Pn
( n Xn ) = (
i=0 (Yi ) =
Sn n Yn ) = n (Yn ) = supn
supn ( i=0 Yi ) = supn (Xn ),
onde se utiliza o facto de que cada Xn e a uniao dos Yi , com i n.
O axioma da escolha na pr
atica matematica
69
sc
u
nh
o
por recurs
ao transfinita, a seguinte funca
o
= A {R \ U : U A}
= (B
S ) {R \ X : X (B ) }
=
e ordinal limite
< B , se
ra
B de
est
a definida
O axioma da escolha na pr
atica matematica
70
nh
o
sc
u
ra
Demonstra
c
ao. Seja V um espaco vectorial. Seja I o conjunto de todos os
subconjuntos X de V linearmente independentes. Vamos ver que I munido da
ordem parcial estar contido esta nas condicoes de aplicacao do lemaSde Zorn.
Com efeito, seja C uma cadeia de elementos de I. Vamos
e um
S ver que C S
conjunto linearmente independente. Sejam x1 , . . . , xn C. Dado que C e
uma cadeia, existe X C tal que {x1 , . . . , xn } X. Daqui sai que qualquer
combinac
ao linear nula de x1 , . . . , xn tem necessariamente todos os coeficientes
nulos. Pelo lema de Zorn, existe B I maximal. Pelo lema anterior, B e base
de V .
Como se sabe, todo o corpo tem um fecho algebrico. Este resultado necessita,
em geral, do axioma da escolha. A demonstracao mais comum deste resultado
usa o lema de Zorn. Porem, para ilustrar uma tecnica importante, mas menos
conhecida do que o lema de Zorn, vamos mostrar este resultado atraves duma
recurs
ao transfinita ao longo duma boa-ordem.
O axioma da escolha na pr
atica matematica
71
nh
o
= K
K0
K+1 = K+
K
= lim< K , se e ordinal limite
ra
sc
u
Nesta definic
ao, K+ e a extensao algebrica (discutida acima) de K em que o
polin
omio p (X) tem razes. Seja dado < ordinal limite. Entao, (K )< e
uma cadeia de corpos (dada atraves de monomorfismos adequados) e, portanto,
faz sentido falar no seu limite directo lim< K (intuitivamente, lim< K e
a uni
ao de todos os corpos (K )< ).
Por recurs
ao transfinita, mostra-se que cada corpo K e uma extensao
= lim
e uma
algebrica de K. Tome-se agora K
K . Pelo discutido, K
<
e algebricamente fechado. Por resulextens
ao algebrica de K. Resta ver que K
tados da teoria dos corpos, basta ver que todo o polinomio de grau positivo com
Ora, um tal polinomio e um certo p (X),
coeficientes em K tem razes em K.
para algum < . Por construcao, o polinomio p (X) tem razes em K+1 e,
portanto, em K.
Esta demonstrac
ao mostra tambem que apenas se usa o axioma da escolha
para obter uma boa ordem do anel de polinomios K[X]. Uma tal boa-ordenacao
e autom
atica se K for finito ou numeravel. Esta observacao generaliza-se: como
iremos ver no pr
oximo captulo, se K tiver uma boa-ordenacao, entao K[X]
tambem tem uma boa-ordenacao (sem invocar o axioma da escolha). Portanto,
ZF demonstra que todo o corpo bem ordenavel tem fecho algebrico.
Os exemplos anteriores descrevem aplicacoes do axioma da escolha na area
da
algebra abstracta. Como j
a observamos, em algebra o axioma da escolha e
frequentemente usado atraves do lema de Zorn. Isso acontece, p. ex., em algebra
comutativa, onde existem resultados sobre a existencia de ideais maximais. No
exemplo seguinte, vamos ilustrar novamente o uso do lema de Zorn.
Defini
c
ao 19. Seja X um conjunto. Um filtro sobre X e um conjunto F de
subconjuntos de X que satisfaz as seguintes condic
oes:
1. X F e
/ X;
2. se F, G F ent
ao F G F;
3. se F F e F G X ent
ao G F.
O axioma da escolha na pr
atica matematica
72
Dado um elemento a de um dado conjunto X, o conjunto de todos os subconjuntos de X de que a e elemento constitui um filtro. Aos filtros deste tipo
chamam-se filtros principais. Outro exemplo importante de filtro e o seguinte.
Dado um conjunto infinito X, o conjunto dos subconjuntos co-finitos (i.e., de
complementar finito) de X forma um filtro.
Um conjunto n
ao vazio C de subconjuntos de X diz-se que tem a propriedade
de intersecc
ao finita (PIF) se toda a interseccao finita de elementos de C e nao
f
vazia. E
acil de ver que se C tem a PIF entao
F := {F X : C1 , . . . , Ci C (C1 Ci F )}
e um filtro.
nh
o
Defini
c
ao 20. Um ultrafiltro U sobre X e um filtro sobre X com a seguinte
propriedade: para qualquer subconjunto Z de X, ou Z U ou X \ Z U.
Os filtros principais s
ao ultrafiltros. Como iremos ver, na presenca do axioma
da escolha, h
a ultrafiltros que nao sao principais.
Proposi
c
ao 70. Seja F um filtro sobre X. F e um ultrafiltro se, e somente
se, n
ao est
a contido propriamente em nenhum filtro.
sc
u
Demonstra
c
ao. Suponhamos que F e um ultrafiltro e seja F 0 um filtro tal
0
que F F . Seja Z F 0 . Nao se pode ter X \ Z F pois, caso contrario,
X \ F F 0 o que implicaria que F 0 . Visto que F e um ultrafiltro, vem
Z F. Dada a arbitrariedade de Z, demonstrou-se que F = F 0 .
Reciprocamente, suponhamos que F e um filtro que nao esta contido pro
priamente em nenhum filtro. Seja dado Z X. Admitamos que X \ Z
/ F. E
0
f
acil de ver que F {Z} tem a PIF. Seja F um filtro tal que F {Z} F 0 .
Por hip
otese, F 0 = F. Logo, Z F.
ra
Demonstra
c
ao. Seja X um conjunto e F um filtro sobre X. Considere-se
o conjunto P de todos os filtros sobre X que contem F. Podemos munir este
facil de argumentar que
conjunto de filtros da ordem parcial estar contido. E
a uni
ao duma cadeia de filtros ainda e um filtro. Pelo lema de Zorn, P tem
elemento maximal. Um tal elemento maximal e um ultrafiltro.
Considere-se o filtro dos conjuntos co-finitos de (o chamado filtro de
Frechet). Pelo teorema anterior, este filtro esta contido num ultrafiltro. Claramente, este ultrafiltro n
ao e principal. Assim, o teorema do ultrafiltro garantenos a existencia de ultrafiltros nao principais sobre .
Exerccio 92. Seja F um filtro sobre X e seja G X tal que G
/ F. Ent
ao
existe um ultrafiltro U que contem F e tal que G
/ U. [Sugest
ao: mostre que
F {X \ G} tem a PIF.]
Chapter 26
nh
o
N
umeros al
efes
Defini
c
ao 21. Um n
umero cardinal, ou simplesmente um cardinal, e um ordinal que n
ao e equipotente a nenhum ordinal inferior.
Exerccio 93. Mostre que todo o cardinal infinito e um ordinal limite.
sc
u
Demonstra
c
ao. Seja um ordinal. O cardinal h() tem a propriedade pretendida (por tricotomia, a alternativa seria h() , o que conduz a um absurdo).
.
ra
Defini
c
ao 22. Seja um cardinal. Denota-se por + o menor cardinal que e
maior que . A + d
a-se o nome de cardinal sucessor de .
Claro que + e h().
X e um cardinal.
S
Demonstra
c
ao. VistoSque X e um conjunto de S
ordinais, X e um ordinal.
Suponhamos que < X. Ora, como sabemos, X e o supremo ordinal do
conjunto
S X. Logo, existe um cardinal X tal que < . Isto acarreta
6=c X.
73
definida nos
N
umeros alefes
0
+1
74
=
= +
nh
o
Proposi
c
ao 72. Para todo o cardinal infinito , existe um (necessariamente
u
nico) ordinal tal que = .
Demonstra
c
ao. Seja o menor ordinal tal que . Admitamos, com
vista a um absurdo, que < . Claro que 6= 0. Tambem nao se pode ter
= + 1, pois nem se pode ter < (por definicao de +1 ), nem se pode
ter (por minimalidade de ). Resta estudar o caso em que e um
ordinal limite. Neste caso, existe < com < , novamente contradizendo
a minimalidade de .
O seguinte resultado e fundamental para a aritmetica cardinal:
Teorema (Produto de al
efes). Para todo o ordinal tem-se =c .
ra
sc
u
Demonstra
c
ao. Claramente, c . Vamos mostrar, por inducao
tranfinita em , que c . O caso = 0 e sabido. Tome-se 6= 0
e admita-se, por hip
otese de inducao transfinita, que c , para
todo < . Consideremos a boa ordem de Godel <G no produto Cartesiano
. Vamos argumentar que todo o segmento inicial proprio desta boa ordem
tem cardinalidade estritamente inferior a . Evidentemente, isto mostra que
Ord( , <G ), concluindo-se Ord( , <G ) e, portanto,
c . Seja (, ) um elemento ao arbtrio de e considere-se
= max(, ). Note-se que + 1 < . Pela definicao de ordem de Godel,
e claro que o segmento inicial de determinado por (, ) esta contido
no produto Cartesiano ( + 1) ( + 1). Sem perda de generalidade (pois
6= 0), podemos supor que e um ordinal infinito. Seja tal que + 1 =c .
Necessariamente, < . Assim, o segmento inicial para a boa ordem de Godel
determinado por (, ) tem cardinalidade inferior ou igual a =c (aqui
portanto, estritamente inferior a
usamos a hip
otese de induc
ao transfinita). E,
. Como se queria.
O desenvolvimento dos n
umeros alefes acima efectuou-se em ZF. De agora
em diante vamos necessitar do axioma da escolha. Como sabemos, em ZFC todo
o conjunto pode ser bem ordenado e toda a boa ordem e isomorfa a um ordinal.
Portanto, podemos efectuar a seguinte definicao:
Defini
c
ao 23. A cardinalidade de um conjunto x, denotada por Card(x), e o
menor ordinal equipotente a x.
N
umeros alefes
75
Card(x) =c x
x =c y se, e somente se, Card(x) = Card(y)
sc
u
nh
o
A operac
ao x
Card(x) associa a cada conjunto x um representante
Card(x) da sua classe de equipotencia. Com esta definicao, ja se pode falar
literalmente em cardinalidades e nao apenas no contexto de certas assercoes.
Por exemplo, a igualdade cardinal = , que anteriormente interpretamos
como significando que x y =c y x para todos os conjuntos x e y, tem agora
o sentido literal que passamos a explicar. Dados cardinais e define-se o
cardinal como sendo Card( ) e, com esta definicao de produto cardinal,
claro que se tem a lei = . Consideracoes analogas aplicam-se `as outras
operac
oes aritmeticas: + define-se como sendo Card( ] ) e como sendo
a cardinalidade do conjunto de todas as funcoes de para . O mesmo se passa
com operac
oes infinit
arias sobre cardinais.
H
a um ponto subtil de linguagem para o qual e necessario chamar a atencao.
Quando afirmamos que, para todo o cardinal infinito , se tem = e
a interpretamos literalmente, esta afirmacao e verdadeira por causa do teorema do produto das alefes (e da Proposicao 72). Note-se que esta justificacao
n
ao necessita do axioma da escolha. Porem, quando a interpretamos como
afirmando que, para todo o conjunto infinito x, x x =c x, entao a justificac
ao desta asserc
ao invoca o axioma da escolha: x =c Card(x) e, como
Card(x) Card(x) =c Card(x), vem x x =c x.
Os n
umeros cardinais s
ao ordinais mas a aritmetica cardinal difere radicalmente da aritmetica ordinal, ou seja, para cardinais (portanto, ordinais) e ,
o produto cardinal de por e (em geral) diferente do produto ordinal de
por , ainda que se costume usar a mesma notaca
o para um e para outro, viz.
. O contexto deve permitir decidir qual a aritmetica em causa. Geralmente
reservam-se as letras min
usculas do meio do alfabeto grego (, , , , etc)
para denotar cardinais e, nestas circunstancias, temos em mente a aritmetica
cardinal. Esse tambem e o caso quando usamos a notacao dos alefes.
ra
O seguinte resultado e u
til:
Proposi
c
ao 73. Seja um cardinal infinito e ( ) uma famlia de cardinais
n
ao nulos. Considere-se := sup{ : < }. Ent
ao,
X
= .
<
P
claro que P
Demonstra
c
ao. P
E
P < < = . Para
Pver o recproco,
note-se que = < 1 <
;
note-se
tamb
e
m
que
< majora
P
cada
e
que,
portanto,
.
Assim,
como
ambos
e sao
<
P
que o seu produto , que e o maior dos dois (ver Corolario 6),
< , saiP
e tambem < .
Exerccio 96. Seja (i )iI uma famlia de cardinais
tal que a cardinalidade de
P
I e infinita e sup{i : i I}. Mostre que iI i = sup{i : i I}.
N
umeros alefes
76
2 = +1
A hip
otese do contnuo e uma particularizacao de HGC:
Hip
otese do contnuo (HC):
20 = 1
nh
o
o que e um absurdo.
<
sc
u
F
ormula de Hausdorff. Para todo e , tem-se +1
= +1 .
Demonstra
c
ao. Note-se que ambos os cardinais infinitos e +1 sao
+1
(2 ) = 2 = 2 +1 .
ra
=
+1
.
<+1
+1
= card(
)
= +1 .
<+1
<+1
Chapter 27
nh
o
O universo cumulativo
Defini
c
ao 24 (Hierarquia cumulativa). Define-se, por recurs
ao transfinita nos
ordinais, a seguinte operac
ao
V :
=
V0
V+1 = P(V
S )
V
=
e ordinal limite
< V , se
sc
u
Proposi
c
ao 74. Para ordinais e , tem-se as seguintes propriedades:
1. xy (x V y x < (y V )).
2. V V .
3. V e um conjunto transitivo.
ra
Demonstra
c
ao. A primeira propriedade demonstra-se por inducao transfinita
em . Os casos em que e 0 ou sucessor sao imediatos. Suponhamos que e
ordinal limite. Por hip
otese, x V e, portanto, x V para certo < . Por
hip
otese de induc
ao transfinita, existe < tal que y V . Claro que < .
A segunda propriedade tambem se demonstra por inducao transfinita em .
S
o o caso sucessor n
ao e trivial. Seja + 1. Basta estudar o caso em que
. Ora, por hip
otese de inducao transfinita, tem-se V V . Agora, basta
mostrar que V V+1 . Tome-se x V . Com vista a mostrar que x V ,
tome-se y x ao arbtrio. Por (1), existe < tal que y V . Por hipotese
de induc
ao transfinita, y V . Como se queria.
A terceira propriedade sai imediatamente das duas primeiras.
Exerccio 99. Seja ZF a teoria ZF sem o axioma da fundac
ao. Mostre
que ZF adicionado com a postulado x (x V ) demonstra o axioma da
fundac
ao.
Corol
ario 20. Para todo o ordinal , V+1 .
Demonstra
c
ao. A demonstracao e por inducao transfinita em . O caso 0
e imediato, pois V1 = {0}. Se, por hipotese de inducao transfinita, V+1
77
O universo cumulativo
78
S
ent
ao, por (3) da proposic
ao anterior, V+1 . Conclui-se que {}
V+1 , i.e., + 1 V+2 . Considere-se agora um ordinal limite. Por hipotese
de induc
ao transfinita, < ( V+1 ). Logo, < ( V ), ou seja,
V . Portanto, V+1 .
Exerccio 100. Mostre que, para todo ,
/ V .
nh
o
Do corol
ario acima conclui-se que a classe V contem todos os ordinais e,
consequentemente, e uma classe propria. Vamos ver, de seguida, que a teoria
ZF demonstra que a classe V e todo o universo dos conjuntos. Juntamente com
o exerccio 99, isto mostra que em ZF o axioma da fundacao e equivalente a
dizer que x (x V ). Antes, porem, e conveniente demonstrar o seguinte
lema que diz que o axioma da fundacao tambem e verdadeiro para classes:
Lema 20. Seja C uma classe n
ao vazia. Ent
ao existe um elemento y C tal
que y C = .
Demonstra
c
ao. Tome-se x C. Seja z = T C({x}), i.e., z e o fecho transitivo
do conjunto singular {x}. Note-se que z e um conjunto transitivo e x z. Pelo
axioma da separac
ao, z C e um conjunto. Note-se que este conjunto e nao
vazio. Logo, pelo axioma da fundacao, existe y z C tal que y z C = .
Como y z (visto que z e transitivo), vem y C = .
Proposi
c
ao 75 (Princpio da -inducao). Seja C uma classe e admitamos que
x((z x (z C)) x C),
sc
u
(Condic
ao de Progress
ao)
ent
ao C e a classe universal.
Demonstra
c
ao. Admitamos, com vista a um absurdo, que a classe complementar C c e n
ao vazia. Pelo lema anterior, existe x C c tal que xC c = . Por
outras palavras, se z x ent
ao z C. Pela condicao de progressao conclui-se
que x C, o que e absurdo.
Teorema (Universo cumulativo). Para todo o conjunto x, existe um ordinal
tal que x V .
ra
Demonstra
c
ao. Seja x um conjunto ao arbtrio e admitamos que, para todo
z x, existe tal que z V . Entao, podemos definir uma operacao que, a cada
elemento z de x, faz corresponder o menor n
umero ordinal tal que z V .
Pelo axioma da substituic
ao, estes n
umeros ordinais formam um conjunto e,
portanto, podemos tomar um ordinal que os majore a todos. Temos, pois,
z(z x z V ), ou seja, x V . Logo, x V+1 . O resultado sai por
-induc
ao.
O teorema anterior mostra que todo o conjunto aparece numa certa etapa V
da hierarquia cumulativa. O primeiro ordinal tal que x V e, obviamente,
um ordinal sucessor. Denota-se por cota(x) o menor ordinal tal que x V+1 .
Note-se que cota() = , para os ordinais .
Exerccio 101. Mostre que, para todo o x, cota(x) = sup{cota(y) + 1 : y x}.
Contents
1
2 Princpio do mnimo
nh
o
1 Estruturas de Dedekind-Peano
3 Teorema da recurs
ao de Dedekind
4 Racionais positivos
5 A insufici
encia dos n
umeros racionais
10
6 Cortes de Dedekind
12
7 N
umeros reais
16
20
9 Equipot
encia
23
10 Finitude e infinitude
26
11 Numerabilidade
29
12 A cardinalidade do continuum
31
13 O teorema de Cantor
33
ra
sc
u
8 A unicidade dos n
umeros reais
14 Aritm
etica cardinal, sem cardinais...
35
15 Opera
c
oes cardinais infinit
arias
39
16 A teoria de Zermelo
41
17 A teoria ZFC
46
18 Boas ordens
50
19 Indu
c
ao e recurs
ao transfinita
52
54
21 Aritm
etica ordinal
58
79
80
61
63
65
25 O axioma da escolha na pr
atica matem
atica
67
26 N
umeros al
efes
73
27 O universo cumulativo
77
ra
sc
u
nh
o
O universo cumulativo