Exercício 2.30. Discuta se a seguinte afirmação é correta:
“O axioma do infinito afirma a existência dos números naturais.”
“O axioma do infinito afirma a existência dos números naturais.”
Passo 1
O enunciado pede que eu discuta se a afirmação abaixo é correta:
“O axioma do infinito afirma a existência dos números naturais.”
“O axioma do infinito afirma a existência dos números naturais.”
Vou listar claramente o que a frase contém e o que preciso discutir:
- A afirmação menciona “o axioma do infinito” (uma frase típica de teoria de conjuntos).
- A afirmação diz que esse axioma “afirma a existência dos números naturais”.
O objetivo é dizer se isso é verdadeiro, falso ou impreciso, e explicar por quê.
Passo 2
Vou escrever uma formulação padrão do axioma do infinito e explicar cada parte. Uma forma usual do axioma do infinito (em ZF) é:
O que isso diz, em palavras simples:
- Existe um conjunto
tal que -
— o conjunto vazio pertence a (este será o “zero” na construção); - se
pertence a então o sucessor também pertence a .
Explicação didática: o axioma garante um conjunto que contém o “zero” e é fechado sob a operação sucessor (adicionar o próprio conjunto como elemento). Tal conjunto é chamado de conjunto indutivo. Isso garante a existência de pelo menos um conjunto infinito (pois se você aplica sucessor repetidas vezes obtém infinitos elementos).
-
Passo 3
Como, a partir desse axioma, se constrói a ideia dos números naturais? Primeiro, define-se em teoria dos conjuntos os “números” da maneira padrão de von Neumann:
-
é . - O sucessor de um conjunto
é .
Assim:
Mostro passo a passo os dois primeiros:
-
. -
. -
.
Cada “número” é um conjunto construído com a regra sucessor acima.
Passo 4
Agora: a partir do axioma do infinito (que dá um conjunto indutivo
), como obtemos o conjunto dos naturais
? A construção padrão é tomar a interseção de todos os subconjuntos de
que são indutivos. Formalmente, se
então define-se
Raciocínio intuitivo:
é o menor conjunto indutivo contido em
— contém exatamente os elementos que são forçados a estar em todo conjunto indutivo. Sobre por que isso é um conjunto: como
existe, a sua potência
existe (axioma do conjunto das partes) e, por esquema de separação, pode-se formar o conjunto
de subconjuntos de
que são indutivos; a interseção de uma família de subconjuntos de
é um subconjunto de
definível por uma propriedade, portanto é um conjunto. (Não preciso entrar em todos os detalhes técnicos aqui, mas é suficiente saber que, em ZF, a construção é legítima.)
Passo 5
Propriedades de
e relação com os axiomas de Peano:
-
porque todo subconjunto indutivo contém . - Se
então porque cada conjunto indutivo é fechado por sucessor, logo a interseção também é. - Pode-se verificar que a operação sucessor em
é injetora e que não é sucessor de nenhum elemento de ; com isso obtém-se os axiomas essenciais de Peano (existência de zero, fechadura do sucessor, injetividade do sucessor, princípio da indução aparece porque é a menor indutiva).
Portantocomporta-se como o conjunto dos números naturais e satisfaz (em sentido técnico) as versões formais dos axiomas de Peano dentro da teoria dos conjuntos.
Passo 6
Agora volto à frase original e faço a análise fina:
- Sentido literal: o axioma do infinito não diz "existe o conjunto chamado
" em palavras humanas; diz que existe um conjunto indutivo. Então, tomado estritamente ao pé da letra, afirmar que o axioma “afirma a existência dos números naturais” é uma simplificação. - Sentido matemático/prático: com os demais axiomas usuais de ZF, esse axioma fornece exatamente a ferramenta necessária para construir um conjunto
que tem todas as propriedades que se espera dos números naturais. Logo, na prática matemática, o axioma do infinito é o que permite provar que existe um modelo (um conjunto) que podemos chamar de “os números naturais”.
Conclusão parcial: a afirmação é verdadeira no espírito matemático (temosa partir do axioma), mas é imprecisa na formulação literal.
Passo 7
Observações finais úteis (didáticas e motivacionais):
- Algumas apresentações de axiomas simplesmente postulam a existência de um objeto chamado
; outras, mais conceitualmente, postulam a existência de um conjunto indutivo e derivam por interseção. As duas abordagens são equivalentes em força (dentro de ZF). - Em outras fundações (por exemplo, teorias que já tomam
primitivo), a existência dos naturais é um axioma separado; a diferença é mais de estilo formal do que de conteúdo matemático. - Em termos de prova de prova: se o teu objetivo na prova for justificar por que os naturais existem na teoria dos conjuntos, diz que o axioma do infinito garante um conjunto indutivo e, por interseção dos indutivos, constrói-se
que satisfaz os axiomas de Peano.
Resposta
A afirmação é imprecisa: o axioma do infinito não declara literalmente “existem os números naturais”, mas afirma a existência de um conjunto indutivo (um conjunto que contém
e é fechado por sucessor); a partir desse conjunto, com os axiomas de ZF, constrói‑se o conjunto
que representa os números naturais.