Você está na página 1de 6

AXIOMAS DE PEANO E OS NMEROS NATURAIS

Hugo Felipe Gequelim [Bolsista PICME/CNPq], Ronie Peterson Dario [Orientador]1


1

Departamento Acadmico de Matemtica


Campus Sede
Universidade Tecnolgica Federal do Paran - UTFPR
Avenida Sete de Setembro, 3165 - Curitiba-PR, Brasil - CEP 80230-901
hugogequelim@hotmail.com, ronie@utfpr.edu.br

Resumo - Por meio da Teoria Axiomtica dos Conjuntos apresentamos uma construo do conjunto dos nmeros
naturais como modelo para a axiomtica de Peano. Depois de apresentarmos os axiomas de Peano, desenvolvemos
a parte inicial da teoria elementar dos nmeros naturais. O texto apresentado de maneira elementar, visando sua
utilizao pelo aluno de graduao.
Palavras-chave: Nmeros Naturais, Axiomas de Peano, Induo Matemtica.
Abstract - In this note we present the set of the natural numbers as a model to the Peano Axioms, by means of
the Axiomatic Set Theory. Using the Peano Axioms we present the first part of the elementary number theory. Our
approach is more elementary than usual.
Keywords: Natural Numbers, Peano Axioms, Induction.

INTRODUO
Invariavelmente, um estudante de matemtica se depara com a teoria elementar dos nmeros. Muitas vezes, consiste de uma disciplina na qual ele tem a oportunidade de aprender a
aritmtica bsica do conjunto dos nmeros naturais e dos nmeros inteiros. Necessariamente,
tudo comea com a teoria elementar dos conjuntos e com uma mnima introduo da lgica
matemtica. usual admitir a existncia do conjunto dos nmeros naturais

N = {0, 1, 2, . . .},
j munido das duas operaes de adio e multiplicao. A partir disto, admitem-se as propriedades das operaes e a teoria prossegue abordando a divisibilidade e culminando nas aplicaes das congruncias.
J o conjunto dos nmeros inteiros algumas vezes apresentado formalmente, ou seja,
obtido via uma construo terica. Isto feito introduzindo uma relao de equivalncia no
conjunto dos pares ordenados de nmeros naturais. Sendo assim, um nmero inteiro definido
como um conjunto, a saber, uma classe de equivalncia (para mais detalhes veja [1]). O mesmo
ocorre com o conjunto dos nmeros racionais, em que um nmero novamente definido como
um conjunto. Mais precisamente, um nmero racional tambm uma classe de equivalncia,
desta vez obtida por uma relao de equivalncia introduzida no conjunto dos pares ordenados
de nmeros inteiros, tendo a segunda entrada no nula.

Contudo, como descrito no primeiro pargrafo, a construo do conjunto dos nmeros


naturais muitas vezes no abordada. O que se faz ,quando se faz, admitir alguns conceitos primitivos (nmero natural, por exemplo) e listar alguns axiomas: afirmaes admitidas
como verdadeiras, sem demonstraes. No caso dos nmeros naturais, um conjunto mnimo
de axiomas dado pelos conhecidos Axiomas de Peano. A partir destes, demonstram-se as
propriedades dos nmeros naturais, incluindo as propriedades da adio e da multiplicao.
Uma construo do conjunto dos nmeros naturais, hoje considerada a padro (no entanto
raramente abordada na graduao), devida a Neumann1 . Um nmero natural definido como
um conjunto, em analogia outras construes de conjuntos numricos. Neste trabalho, apresentamos essa construo de maneira breve, utilizando uma linguagem elementar. Objetivamos
assim mostar que a construo dos nmeros naturais tambm pode ser apresentada ao aluno de
graduao sem maiores percalos, definindo nmero natural tambm como conjunto. Depois
de apresentada a construo, verificamos que o conjunto obtido serve de modelo para a axiomtica de Peano. A partir dos axiomas, demonstramos as primeiras propriedades dos nmeros
naturais.
METODOLOGIA
O incio deste trabalho consistiu do estudo da teoria elementar (e um pouco da axiomtica)
dos conjuntos, juntamente com alguma lgica matemtica. Feito isso, foi possvel abordar
diretamente o foco principal do trabalho, que consiste da construo do conjunto dos nmeros
naturais e no seu entendimento como modelo para a axiomtica de Peano.
OS NMEROS NATURAIS E OS AXIOMAS DE PEANO
A axiomatizao definitiva do conjunto dos nmeros naturais foi feita em 1889, quando
o matemtico italiano Giuseppe Peano (1858-1932) publicou seu livro "Arithmetices Principia: Nova Methodo Exposita". Neste livro, ele enunciou alguns axiomas sobre nmeros
naturais, que ficaram posteriormente conhecidos como os Axiomas de Peano. Para estud-los,
precisamos inicialmente admitir trs conceitos primitivos"(sem definio). So eles: zero
(denotado por 0), nmero natural e a noo de sucessor de um nmero natural. Sendo n um
nmero natural, vamos denotar por s(n) o seu sucessor. Assim, os Axiomas de Peano podem
ser listados da maneira seguinte.
(A1 )
(A2 )
(A3 )
(A4 )

0 (zero) um nmero natural e no sucessor de um nmero natural2 .


Todo nmero natural tem um nico sucessor, que tambm um nmero natural.
Se dois nmeros naturais tem o mesmo sucessor, ento eles so iguais entre si.
Se um subconjunto X dos nmeros naturais possui o elemento zero e tambm o sucessor
de todos os elementos de X, ento X igual ao conjunto dos nmeros naturais.

Tendo os axiomas e os conceitos primitivos, faz sentido falar no conjunto dos nmeros
naturais como usual. Pode causar estranheza o axioma A4 , que denomianado Axioma da
Induo. Simbolicamente, ele estabelece que se X e se valem as duas condies:
(i) 0 X;
(ii) Para todo n, se n X, ento s(n) X;
ento X = .

1
2

John von Neumann, 1903-1957


A axiomatizao original comea com 1 no lugar de 0.

O axioma A4 torna-se mais aceitvel aps a construo explcita dos naturais, como veremos. A patir desse axioma, demonstra-se o Princpio da Induo Matemtica, que enunciaremos
no Teorema 1, a frente. Com este teorema desenvolveremos a parte inicial da teoria dos nmeros
naturais.
A CONSTRUO DO CONJUNTO DOS NMEROS NATURAIS
Assumir um nmero natural como um conceito primitivo, ou como uma simples noo
vaga de grandeza, um tanto incmodo. Deve ser possvel definir explicitamente um nmero
natural por meio de um conjunto, obtendo um anlogo s outras construes de conjuntos numricos como em [1]. Para isso foram construdos os modelos da axiomtica de Peano. Neste
contexto, um modelo consiste de uma tripla (A, 0, s), onde A um conjunto infinito, 0 um
elemento de A e s uma definio designada ao sucessor de um elemento de A. Desta forma,
construir um conjunto dos nmeros naturais significa obter um modelo para os axiomas de
Peano, isto , via teoria dos conjuntos, obter uma definio de zero, de nmero natural e de
sucessor, que satisfaa os axiomas. Existe uma noo de equivalncia entre dois modelos, que
no abordaremos aqui. Uma discusso mais aprofundada neste ponto pode ser vista no livro de
Halmos [2]. Neste trabalho, ficaremos satisfeitos obtendo apenas um modelo, segundo o qual o
conjunto A ser chamado de conjunto dos nmeros naturais.
A primeira definio a ser feita de um elemento 0 (zero). Neste contexto, faz sentido
definir zero como o conjunto vazio, isto ,
0 = .
O prximo passo definir o sucessor do conjunto x como
s(x) = x {x}.
Veja como obter nmero 1, definido ento como o sucessor do zero:
1 = s(0) = s() = {} = {} = {0}.
Na sequncia, obtm-se o 2, como sucessor do 1. Desta forma:
2 = s(1) = 1 {1} = {0} {1} = {0, 1}.
Seguindo este processo, informalmente podemos dizer que um nmero natural n definido como o conjunto dos nmeros naturais menores que n.
Temos assim uma noo para 0 e uma definio de sucessor que parece funcionar. Os
nmeros naturais so obtidos via aplicao da funo sucessor. Contudo, falta formalizar o
conjunto dos nmeros naturais. Para isso, existe uma dificuldade que reside justamente na teoria dos conjuntos. Apenas com a teoria elementar dos conjuntos, que a teoria padro ensinada
na graduao, no possvel completar a construo formal dos nmeros naturais. Isto ocorre,
essencialmente, pela impossibilidade em admitir a existncia de um conjunto infinito na teoria
elementar. Numa tentativa de corrigir este problema e paradoxos como o de Russel, surgiu a
Teoria Axiomtica dos Conjuntos, hoje a mais aceita pela matemtica moderna. Constri-se
toda uma teoria dos conjuntos a partir de uma lista de Axiomas, conhecida como Axiomas
de Zermelo-Fraenkel. O mais conhecido certamente o Axioma da Escolha. Contudo,
nos interessa diretamente o Axioma da Infinitude, com o qual podemos obter o conjunto
dos nmeros naturais. Antes de enunci-lo, precisamos da noo de conjunto sucessor: um
conjunto A um conjunto sucessor quando: 0 A e vale a condio: n A s(n) A.

Assim, um conjunto sucessor A deve conter o sucessor de qualquer elemento de A.


Axioma da Infinitude Existe um conjunto que contem 0 e o sucessor de cada um de
seus elementos.
Em essncia, o Axioma da Infinitude afirma que existe um conjunto sucessor. Define-se
ento o conjunto dos nmeros naturais como a interseo de todos os conjuntos sucessores.
Pelo Axioma da Infinitude, o conjunto dos nmeros naturais no vazio. Por definio, 0 .
Justifica-se assim a notao conhecida = {0, 1, 2, . . .}. Resta observar que realmente trata-se
de um modelo para a axiomtica de Peano. Mas isto imediato. Por definio, 0 . O
sucessor de cada nmero natural tambm um nmero natural, tambm por definio. Ainda,
se s(x) = s(y), ento x {x} = y {y}. Isto implica diretamente que x y e y x.
Segue que x = y. Finalmente, basta lembrar que est contido em todo conjunto sucessor
para justificar a validade do axioma A4 , da induo.
Agora que apresentamos a construo terica dos nmeros naturais, retomaremos a teoria
geral. A partir do axioma da induo podemos demonstrar o Princpio da Induo Matemtica.

N
N

Teorema 1 (Princpio de Induo Matemtica) Seja P (n) uma sentena aberta3 sobre o nmero natural n. Se valem as duas condies:
(i) P (0) verdadeira;
(ii) Para todo n, se P (n) verdadeira, ento P (s(n)) verdadeira;
ento P (n) verdadeira para todo n .

Demonstrao Seja S = {n
: P (n) verdadeira}. Vamos mostrar que S = . Da
hiptese (i) temos que 0 S. Supondo que n S, temos que P (n) verdadeira. Por (ii),
P (s(n)) verdadeira. Logo, s(n) S. Assim, n S implica s(n) S. Pelo Axioma A4 ,
S = . Logo, P (n) verdadeira, para todo n .


importante ressaltar que podemos estender o princpio da induo para afirmaes que
so verdadeiras somente a partir de outro nmero natural que no o zero. A demonstrao deste
teorema mais geral pode ser consultada em [[3], Teorema 1.3.1, p. 8].
Por exemplo, podemos provar por induo que 2n > n2 , para todo n 5. Para tal,
basta demonstrarmos que a afirmao verdadeira para n = 5 e, supondo P (n) verdadeira,
mostrarmos que P (s(n)) tambm verdadeira, para todo n 5.
O Teorema 1 ser utilizado na demonstrao de todos os resultados na sequncia. O
primeiro fato a ser demonstrado que qualquer nmero natural difere de seu sucessor.

N, s(n) 6= n.
Demonstrao Seja S = {a N : s(a) 6= a}. Basta mostrarmos que S = N. O axioma A1
Teorema 2 Para todo n

garante que 0 S. Se a S, ento s(a) 6= a. Pelo axioma A3 temos que s(s(a)) 6= s(a).
Logo, s(a) S, sempre que a S. Pelo Teorema 1, podemos garantir que qualquer nmero
natural ser diferente de seu sucessor.

Nas duas prximas sees estudaremos as operaes de adio e de multiplicao.

Trata-se de uma afirmao que, a priori, no sabemos se verdadeira ou falsa.

ADIO
Para definirmos a adio de dois nmeros naturais comeamos definindo a adio de
qualquer natural com 0 (zero), a adio de qualquer natural com 1 (um) e a adio de um
natural com o sucessor de outro natural. Essas definies representam um ponto de partida,
como os axiomas, a partir dos quais podemos estender a definio e demonstrar as propriedades
da operao. Definiremos, para quaisquer nmeros naturais a e b, as somas elementares abaixo,
utilizando o smbolo +" para representar a operao de adio.
(i) a + 0 = a

(ii) a + 1 = s(a)

(iii) a + s(b) = s(a + b).

Trata-se de uma definio recursiva. No primeiro item, estamos admitindo a existncia de


um elemento neutro para a adio, isto , um nmero que pode ser somado a qualquer nmero
natural n resultando no prprio n.
Teorema 3 (Propriedadades da Adio) Para todos a, b, c

N, tem-se:

(1) (Associatividade) a + (b + c) = (a + b) + c.
(2) (Comutatividade) a + b = b + a.
(3) (Cancelamento) a + b = a + c b = c.
(4) (Integridade) a + b = 0 a = b = 0.
Demonstrao (1) Fixaremos a e b e utilizaremos induo sobre c. Se c = 0, ento a+(b+0) =
a + b = (a + b) + 0, pela definio (i) da adio. Supondo (a + b) + c = a + (b + c) e utilizando a
definio (iii) da adio, temos (a+b)+s(c) = s([(a+b)+c]) = s([a+(b+c)]) = a+s(b+c),
que por sua vez igual a a + (b + s(c)). Pelo Princpio da Induo Matemtica (Teorema 1),
temos que a + (b + c) = (a + b) + c.
(2) Induo sobre a. Se a = 0, ento 0 + b = b = b + 0. Supondo a + b = b + a, temos, pelo
axioma A2 , que s(a + b) = s(b + a), o que implica em s(a) + b = b + s(a). Pelo Princpio da
Induo Matemtica (Teorema 1), tem-se a + b = b + a.
(3) Novamente induo sobre a. Se a = 0, ento 0 + b = 0 + c, implicando em b = c.
Suponha que a + b = a + c implique em b = c. Assumindo s(a) + b = s(a) + c, temos que
s(a + b) = s(a + c). Pelo axioma A3 , a + b = a + c. Assim, novamente Teorema 1, a + b = a + c
implica em b = c.
(4) Supondo b 6= 0, conclumos que b = s(x), para algum x , ou seja, 0 = a + b =
a + s(x) = s(a + x). Mas isto impossvel, pois pelo axioma A1 , zero no sucessor de
um nmero natural. Logo, b = 0. Note que isto implica diretamente que a = 0, concluindo a
demonstrao.


MULTIPLICAO
A multiplicao tambm definida de maneira recursiva. Utilizaremos o smbolo "
para representar a operao de multiplicao.
(i) a 0 = 0

(ii) a 1 = a

a s(b) = a b + a.

A multiplicao a b tambm pode ser representada simplesmente por ab.

Teorema 4 (Propriedadades da Multiplicao) Para todos a, b, c

N, tem-se:

(1) (Associatividade) a(bc) = (ab)c.


(2) (Comutatividade) ab = ba.
(3) (Distributividade) a(b + c) = ab + ac.
(4) (Integridade) Se ab = 0, ento a ou b = 0.
Demonstrao (1) Usando agora induo em c. Se c = 0, ento a(b 0) = 0 = (ab) 0.
Supondo a(bc) = (ab)c, temos, pela terceira definio da multiplicao, que a(b s(c)) =
a(bc + b). Pela propriedade distributiva, isto igual a abc + ab. Tambm temos pela definio
(iii) da multiplicao que (ab) s(c) = abc + ab. Logo, a(b s(c)) = (ab) s(c). Por Induo
Matemtica (Teorema 1), a(bc) = (ab)c para todo a, b, c .
(2) Por induo sobre a. Se a = 0, constatamos que 0 b = 0 = b 0. Supondo que ab = ba,
temos que s(a)b = ab+a = ba+a. Pela lei do cancelamento da adio, ab = ba. Por Induo
Matemtica (Teorema 1), ab = ba para todo a, b .
(3) Novamente induo sobre a. Se a = 0, temos que 0 (b + c) = 0 = 0 b + 0 c.
Supondo a(b + c) = ab + ac e utilizando a terceira definio da multiplicao temos que
s(a) (b + c) = a(b + c) + (b + c), que igual a ab + ac + b + c. Por sua vez, isto igual a
(ab + b) + (ac + c), o que nos leva a b s(a) + c s(a). Pelo Teorema 1, a(b + c) = ab + ac.
(4) Supondo que a seja diferente de 0, temos que a ser o sucessor de algum x . Podemos
ento escrever 0 = ab, que por sua vez s(x) b = bx + b. Assim bx + b = 0. Pelo item 4 do
teorema anterior, bx = b = 0. Repetindo o processo para b, chegamos que ax = a = 0. Logo,
ab = 0 implica em a ou b = 0.


CONCLUSES
A construo dos nmeros naturais, do ponto de vista da teoria dos conjuntos, compreenssvel a um aluno em incio de graduao. Contudo, a construo depende da teoria axiomtica dos conjuntos, que um (grande) curso a parte. Isto dificulta um pouco, mas no impede,
a exposio completa da construo formal. Entender ao menos as ideias principais da maneira
exposta neste trabalho, de fundamental importncia na estruturao do conhecimento matemtico de um aluno de graduao. Conhecer a construo, alm da axiomtica de Peano, torna
mais consistente o conhecimento do conjunto dos nmeros naturais e por consequncia, confere
mais segurana aos estudos posteriores.
AGRADECIMENTOS
Agradeo ao CNPq pela viabilizao da bolsa de estudos e ao professor Ronie Peterson
Dario, pela orientao neste trabalho.
REFERNCIAS
[1] FERREIRA, J.A Construo dos Nmeros. Coleo Textos Universitrios, Sociedade Brasileira de Matemtica, Rio de Janeiro, 2011.
[2] HALMOS, P. R.Teoria Ingnua dos Conjuntos, Cincia Moderna, Rio de Janeiro, 2001.
[3] HEFEZ, A. Elementos de Aritmtica, SBM, Rio de Janeiro, 2011.
[4] SCHEINERMAN, E. R. Matemtica Discreta: uma introduo, Cengage Learning, So
Paulo, 2011.