Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Matemática
Grupo de Análise Matemática – UFC
1. Axiomas de Peanos
Existem um conjunto não-vazio N, chamado conjunto dos números naturais, e uma função
s : N → N com as seguintes propriedades:
(P 1) s é injetiva.
(P 2) Existe um elemento 1 ∈ N \ s(N), chamado número um.
(P 3) Conclui-se que X = N sempre que um subconjunto X ⊂ N cumprir as condições:
(C4) 1 ∈ X e
(C5) s(X) ⊂ X (ou seja, n ∈ X ⇒ s(n) ∈ X).
1.1. Consequências.
Qual é o Problema? Observe que em ambos os lados dessas igualdades ocorre o uso implícito
da possibilidade de selecionar sequência de funções. Com efeito, seja F(X) o conjunto formado
por todas as funções de X em X. No caso em que X = N, note que associados aos números
1, 2, 3, . . . , temos respectivamente as seguintes funções em F(N):
1 ↔ s1 = s, 2 ↔ s2 = s ◦ s, 3 ↔ s3 = s ◦ s ◦ s, . . .
Da mesma forma, tem-se a seguintes funções em F(X):
1 ↔ f 1 = f, 2 ↔ f 2 = f ◦ f, 3 ↔ f 3 = f ◦ f ◦ f, . . .
O problema é que tal escolha não está a priori contemplada nos axiomas de Peano. Em verdade,
em um certo sentido, conjuntos de funções possuem uma natureza delicada e, portanto, não é
óbvio que se possa em geral selecionar de forma precisa sequência de elementos.
Proposição 3.1. Seja (P ) uma propriedade e suponha que tenhamos provado que:
(A) O número 1 goza da propriedade (P );
(B) Se um número natural n goza da propriedade (P ), então seu sucessor s(n) também
goza da propriedade (P ).
Então, todo número natural n ∈ N goza da propriedade (P ).
Demonstração. Seja X = n ∈ N : (P )n . Condição (A) implica que 1 ∈ X. Agora, seja
n ∈ X. Então, por (B) concluímos que n + 1 ∈ X. Pelo Axioma (P 3) segue que N = X.
Portanto, todo número n ∈ N goza da propriedade (P ).
4. Operação de Adição
A função ϕι obtida pelo Teorema 2.2 viabilizou a definção formal por indução da n-ésima
função iterada (composição de funções) da função s. Agora, usaremos essas iteradas afim de
explorar operações em N.
m + n := sn (m)
Demonstração. Exercício.
4
5. Relação de Ordem
Demonstração. Exercício.
6. Multiplicação
Demonstração. Exercício.
Referências
[1] Elon Lages Lima, Curso de Análise Vol. 1, Projeto Euclides.
[2] R. Dedeking, Was sind und was sollen die Zahlen? (What are and what should the numbers be?), Brauns-
chweig: Vieweg.