Exercício 2.24. Qual é o papel conceitual do axioma do infinito na construção dos números naturais?
Passo 1
O enunciado pede uma explicação conceitual: “Qual é o papel do axioma do infinito na construção dos números naturais?”
Informações dadas (apenas o que o enunciado exige):
Informações dadas (apenas o que o enunciado exige):
- Deve-se explicar o papel conceitual do axioma do infinito.
- Não há dados numéricos ou figuras adicionais.
Passo 2
Escrever o axioma do infinito de forma clara (essa é a afirmação que vamos usar). Uma forma usual é: existe um conjunto
tal que
Explicando devagar:
é o conjunto vazio (que tomamos como o número
na construção de von Neumann); a operação
é o sucessor de
. O axioma afirma, portanto, que existe pelo menos um conjunto que contém
e é fechado pelo operador sucessor.
Passo 3
Mostrar como, a partir desse axioma, se constrói o conjunto dos naturais. Primeiro definimos “conjunto indutivo”:
O axioma do infinito garante a existência de pelo menos um conjunto indutivo
. Então definimos
(o conjunto dos naturais, na construção de von Neumann) como a interseção de todos os conjuntos indutivos:
Essa definição pega “o menor” conjunto indutivo possível, isto é, o conjunto formado exatamente pelos elementos que obrigatoriamente têm de estar em todo conjunto indutivo.
Passo 4
Verificar propriedades úteis de
. Primeiro,
é indutivo (a interseção de conjuntos indutivos é indutiva), e portanto
e
. Segundo,
é minimal: se
é qualquer conjunto indutivo então
pela definição de interseção. Isso é essencial:
contém só os elementos que se obtêm começando em
e aplicando sucessores finitas vezes.
Passo 5
Mostrar como disso surge o princípio da indução, que é central para os naturais. Seja
uma propriedade tal que:
-
é verdadeira; - para todo
, se então .
Considere o conjunto
. Pelas hipóteses,
e
é fechado por sucessor, logo
é indutivo. Pela minimalidade de
(Passo 4) segue
. Portanto
vale para todo
. Esta é a forma formal do princípio da indução — e ele depende diretamente de termos garantido a existência de
como o menor conjunto indutivo.
Passo 6
Mostrar que, com
definido, as propriedades essenciais dos naturais (axiomas de Peano) são satisfeitas. Esquematicamente:
- Existe um elemento
(tomado como ) em . - O sucessor está bem definido:
mapeia em . -
não é sucessor de ninguém: não existe tal que , porque não contém elementos. - O operador sucessor é injetor: se
então . (Rápida justificativa: e, removendo elementos redundantes, obtém-se etc.; a construção de von Neumann garante a injetividade.) - Princípio da indução: já demonstrado no Passo 5.
Esses pontos mostram que, conceitualmente,
fornece exatamente a estrutura dos naturais cuja existência e propriedades desejadas são garantidas pelo axioma do infinito.
Passo 7
Dar exemplos concretos (para “ver” os elementos). Na construção de von Neumann:
e assim por diante. Isso ajuda a visualizar por que
realmente adiciona “um” ao conjunto que representa o número.
Passo 8
Explicar conceitualmente o que o axioma do infinito garante e o que falharia sem ele. Conceitos-chave:
- Existência de um conjunto infinito “real” (existência atual de infinitos elementos), não apenas a possibilidade de formar infinitas sequências potencialmente.
- Base formal para definir
e, a partir daí, provar o princípio da indução dentro da teoria dos conjuntos. - Sem o axioma do infinito, na teoria ZF não é possível provar que existe qualquer conjunto indutivo; teorias sem este axioma podem ter apenas modelos finitos e, portanto, não podem construir os naturais como um conjunto infinito. Em outras palavras: o axioma do infinito é o que introduz a noção de infinito “real” necessária para os naturais.
Passo 9
Resumo prático — o que responder numa prova (versão curta e direta, mas correta): o axioma do infinito assegura a existência de um conjunto indutivo; tomando a interseção de todos os conjuntos indutivos obtém-se
, o menor conjunto que contém
e é fechado por sucessor. Assim o axioma do infinito fornece a existência do conjunto dos números naturais e fornece a base formal para o princípio da indução e para a verificação dos axiomas de Peano dentro da teoria dos conjuntos.
Resposta
O axioma do infinito garante a existência de um conjunto indutivo; tomando a interseção de todos os conjuntos indutivos obtém‑se
, o menor conjunto que contém
e é fechado pelo sucessor
; assim o axioma fornece formalmente o conjunto dos números naturais, permite provar o princípio da indução e estabelece as propriedades essenciais (axiomas de Peano) dos naturais.