Você está na página 1de 4

Cap tulo 7 Axioma da innidade n umeros naturais

O axioma da innidade e, ao lado do vazio, um axioma que garante a exist encia de um conjunto espec co. No caso, de um conjunto innito. H a v arias formas de apresentar o axioma da innidade. Uma delas enuncia a exist encia do conjunto dos n umeros naturais, conforme a concep c ao de von Neuman. Outra forma, utilizada aqui, e enunciar a exist encia de um conjunto do qual deduzimos a exist encia (e denimos) do conjunto dos n umeros naturais. A terceira simplesmente enuncia a exist encia de um conjunto innito (embora ainda n ao tenhamos denido o que e um conjunto innito), e a constru c ao do conjunto dos n umeros naturais torna-se um pouco mais complicada e utiliza o axioma da substitui c ao, semelhante ao que ser a feito na constru c ao dos ordinais. Na deni c ao dos n umeros naturais atribu da a von Neumann, pensamos em um n umero natural como o conjunto dos n umeros naturais menores que ele. Assim, o 0 e o conjunto dos n umeros naturais menores que 0. Como n ao existe n umero natural menor que 0, ent ao 0 ser a representado pelo conjunto vazio. O n umero 1 e o conjunto formado pelos n umeros menores que 1. Ou seja, 1 e o conjunto {0}, que e igual a {}.. O n umero 2 e o conjunto {0, 1}, ou seja, o conjunto {, {}}, e assim por diante. Note que o n umero 3, que e o conjunto {0, 1, 2}, pode ser escrito como {0, 1}{2}, assim como 1 = {0} e 2 = {0} {1}. Ou seja, o sucessor de um n umero natural n e o resultado de acrescentarmos o pr oprio n ao conjunto n. Isto e, n + 1 = n {n}. Isso justica a seguinte deni c ao de sucessor: Deni c ao 7.1 Dado um conjunto x, denimos x+ como x {x}. Isto e, y (y x+ (y x y = x)) Quando um conjunto possui o vazio como elemento, e e fechado pela opera c ao de sucessor, ent ao dizemos que tal conjunto e indutivo, conforme segue a deni c ao. Deni c ao 7.2 Dizemos que um conjunto x e indutivo se, e somente se, x e, para + todo y , se y x ent ao y x. O axioma da innidade nada mais diz que a exist encia de algum conjunto indutivo. 43

44

CAP ITULO 7. AXIOMA DA INFINIDADE NUMEROS NATURAIS

Axioma 8 (da innidade) Existe um conjunto indutivo. x( xy (y x y + x)) Note que um conjunto indutivo precisa possuir o vazio e todos os sucessores obtidos a partir do vazio. Ou seja, um conjunto indutivo precisa conter o conjunto dos n umeros naturais (conforme ser a provado no teorema ??, parte (b)), mas pode ter elementos a mais. Usando o teorema 5.2 e os axiomas da separa c ao, das partes e da innidade, denimos o conjunto dos n umeros naturais da seguinte forma: Deni c ao 7.3 Denimos o conjunto dos n umeros naturais que ser a denotado por como o seguinte conjunto: = {x P (I ) : x e indutivo}

onde I e o conjunto indutivo determinado pelo axioma da innidade. Notemos que a intersec c ao e permitida porque a fam lia de subconjunts de I que s ao indutivos n ao e vazia, dado que pelo menos o pr oprio conjunto I e indutivo. Agora, resta-nos mostrar que o pr oprio conjunto e indutivo, e que segue da deni c ao que ele e o menor conjunto indutivo que existe. Fica como exerc cio provar a partir do teorema seguinte que a deni c ao de n ao depende da escolha de I . Teorema 7.4 (a) e um conjunto indutivo. (b) Se A e um conjunto indutivo ent ao A. Demonstra c ao: Seja I o conjunto indutivo dado pelo axioma da innidade. Vamos provar que e indutivo. Primeiro, provemos que . De fato, se A e um subconjunto de I que e indutivo, ent ao A. Logo pertence ` a intersec c ao de todos os subconjuntos indutivos de I . Agora, suponha que x . Isso signica que x A, para todo A suconjunto indutivo de I . Mas isso implica que x+ A, para todo A I indutivo. Logo, x+ A, provando a parte (a) do teorema. Agora provemos a parte (b). Seja A um conjunto indutivo. Repetindo o argumento do par agrafo anterior, conclu mos que A I e indutivo. Como A I I , temos, pela deni c ao de , que todo elemento de tamb em pertence a A I . Ou seja, A I e, portanto, A. Observe que segue da demonstra c ao do Teorema 7.4, que a deni c ao de independe da escolha do conjunto indutivo I . Para vericarmos isso, tome J qualquer outro conjunto indutivo e dena A = {x P (J ) : J e indutivo}. A demonstra c ao do Teorema 7.4 pode ser aplicada para A, no lugar de , e conclu mos que A e indutivo e, pelo item (b) (aplicado duas vezes) temos que A e A. O teorema da extens ao nos garante, ent ao, que A = . Agora vericaremos por que conv em chamarmos de conjunto dos n umeros naturais. Primeiro, vamos enunciar os axiomas de Peano, sobre n umeros naturais. Adotamos como conceitos primitivos zero e sucessor de. S ao esses os axiomas:

45 1. Zero e um n umero natural. 2. O sucessor de um n umero natural e um n umero natural. 3. N umeros naturais distintos nunca t em o mesmo sucessor. 4. Zero n ao e sucessor de qualquer n umero natural. 5. Se uma propriedade vale para zero e, valendo para um dado n umero natural, tamb em vale para o seu sucessor imediato, ent ao valer a para todos os n umeros naturais. O quinto axioma de Peano e o que conhecemos como princ pio da indu c ao nita. Uma formaliza c ao precisa dos axiomas de Peano, usando l ogica de primeira ordem, e a seguinte: introduzimos 0 (zero) como uma constante e s (sucessor de) como um s mbolo funcional un ario da linguagem. O primeiro e o segundo axioma tornam-se desnecess arios. O terceiro e o quarto axioma s ao respectivamente xy ((x = y ) (s(x) = s(y ))) e x((s(x) = 0)). O quinto axioma torna-se um esquema de axiomas, em que, para cada f ormula P , a f ormula
0 s(x) (Px x(P Px ) xP

e um axioma. O pr oximo teorema diz que o conjunto serve como dom nio de um modelo para + os axiomas de Peano, interpretando 0 como e s(n) como n . Teorema 7.5 O conjunto satisfaz os axiomas de Peano, identicando zero com o conjunto vazio e o sucessor de x com x+ . Demonstra c ao: Os dois primeiros axiomas seguem do fato de ser indutivo. Para provarmos o terceiro axioma, suponhamos, por absurdo, que x = y e x+ = y + . Temos que x x+ , logo, pela hip otese, x y + . Como y + = y y , e x = y , ent ao x y . Analogamente provamos que y x, contradizendo o axioma da regularidade 1 (Teorema 6.1). O quarto axioma segue do fato que x x+ , logo, n ao podemos ter, para nenhum x, x+ = . e Para provarmos o princ pio da indu c ao nita, seja P uma f ormula tal que Px + x ao verdadeiros. Usando o axioma da separa c ao, considere A o conjunto x(P Px s {x : P }. Pela hip otese sobre P e f acil vericar que A e indutivo. Logo, pelo Teorema 7.4, parte (b), temos que A, provando que todo elemento de satisfaz P.
Na verdade, o uso do axioma da regularidade facilita a demonstra c ao, mas n ao e necess ario, uma vez que o conjunto e seus elementos satisfazem o axioma da regularidade, sem precisarmos assumi-lo. Voltaremos nesse assunto quando falarmos sobre n umeros ordinais.
1

46

CAP ITULO 7. AXIOMA DA INFINIDADE NUMEROS NATURAIS

Exerc cios:
1. Prove, a partir dos axiomas de Peano, os seguintes teoremas: (a) Todo n umero natural e diferente do seu sucessor. (b) Zero eou nico n umero natural que n ao e sucessor de algum n umero natural. 2. Prove que e um conjunto transitivo, isto e, se x ent ao x . 3. Prove que, para todo n , n ou = n. 4. A uni ao de dois conjuntos indutivos e necessariamente um conjunto indutivo? Justique sua resposta. 5. Prove que, para todos n, m , se m n ent ao n m.