Professional Documents
Culture Documents
Introduo
nN
um elemento
B. A funo
s:NN
injetiva.
Matemtica.
1 6= s(n)
para todo
no conjunto
X N tal que 1 X
n X s(n) X ), ento X = N.
D. Se um subconjunto
(isto ,
N,
tal que
s(X)
n N.
nN
N o conjunto
n
signica que
um nmero natural.
As armaes A, B, C e D so os axiomas de Peano.
I.
A notao
escreveremos
Os
nmeros
matemtico,
naturais
modelo
constituem
um
operao de contagem.
o processo que torna mais precisa a noo de quantidade; esse processo (a contagem) pressupe portanto o
conhecimento da sequncia numrica.
nmeros naturais so
1, 2, 3, 4, 5, . . .
Sabemos que os
A totalidade desses
N e que chamaremos de
N = {1, 2, 3, 4, 5, . . .}
Portanto
1, 2, 3, 4, 5, . . .
Deve-se a Giuseppe Peano (1858-1932) a constatao
de que se pode elaborar toda a teoria dos nmeros naturais a partir de quatro fatos bsicos, conhecidos atualmente como os axiomas de Peano.
o conjunto
Noutras palavras,
priedades fundamentais, das quais resultam, como consequncias lgicas, todas as demais armaes verdadeiras
que se podem fazer sobre esses nmeros.
Comearemos com o enunciado e a apreciao do signicado dessas quatro proposies fundamentais a respeito dos nmeros naturais.
D'.
N,
se trs, etc.
sucessor de
que temos um sistema de numerao, o qual nos permite representar, mediante o uso apropriado dos smbolos
0, 1, 2, 3, 4, 5, 6, 7, 8
9,
II.
OS AXIOMAS DE PEANO
oito.
tomos do universo?)
Um matemtico prossional, em sua linguagem direta
e objetiva, diria que o conjunto
n,
teremos ento
4 = s(3), 5 = s(4), etc. Assim, por exemplo, a igualdade 2 = s(1) signica apenas que estamos usando o
smbolo 2 para representar o sucessor de 1. A sequncia
tural
gozam de
Ento 1
P , mas todos os demais nmeros
P.
no goza da propriedade
1 2 3 4 5
s(n)
gozar de P im-
III.
dada a propriedade
O AXIOMA DA INDUO
Ele
1,
s:NN
a funo
N = {1, 2, 3, . . .} mas
s(n) = n + 2.
modicada, pondo-se
Por-
tanto, o diagrama
1 3 5 2 4 6
exibe uma funo injetiva
verdade que todo nmero
partir de
1,
s : N N para a qual no
natural n pode ser obtido,
de passar de
para
um subconjunto
s(X) X ,
X N
ou seja, quando
X.
o prprio
N que contm
N.
O papel fundamental do axioma da induo na teoria dos nmeros naturais e, mais geralmente, em toda
a Matemtica, resulta do fato de que ele pode ser visto
como um mtodo de demonstrao, chamado o Mtodo
P.
nmeros naturais so demonstradas por induo. Comecemos com um exemplo bem simples.
Exemplo 1. Entre os axiomas de Peano no consta ex-
n,
Seja
essa
escrevamos
a armao
1 6= s(1),
particular,
n (da qual
s(n)) chama-se
hiptese de induo.
n X s(n) X ,
X
dos nmeros
Seja
contm o nmero
e indutivo. Logo
chama-se indutivo
propriedade
s(k).
funes
f :NY
f : X Y
exige-se em
xX
um
y = f (x) Y .
dados:
1. o valor
f (1);
f (n).
f (s(n))
quando se
f (n)
n.
para
Associatividade.
(k n) p.
foi
pode determinar
f (n),
para os quais se
n X s(n) X .
tem-se X = N.
f :NY
1X
Logo, pelo
cujo domnio o
Comutatividade.
Lei do Corte.
f (n)
k+n=n+k
k (n p) =
k n = n k.
k+n=k+pn=p
kn=kp
n = p.
Distributividade.
k (n + p) = k n + k p.
k + (n + p) = (k + n) + p
O leitor
n.
V.
IV.
ADIO E MULTIPLICAO DE
ORDEM
NMEROS NATURAIS
k + 1 = s(k);
S2.
assim:
S2'.
k + (n + 1) = (k + n) + 1.
k + n de dois
n.
maneira:
1 k = k;
P2.
(n + 1) k = n k + k .
O produto
nk
escreve-se tambm
vezes
n < p,
ento
logo
m<n
ou ento
n < m.
n,
ou
m.
nk
e l-se n vezes
igual
igual a
Entre
n , p N.
m<n
m < p.
n+1
A primeira delas a
P1.
que denimos.
Teorema 1 (Transitividade). Se
p = n + r,
m < p.
m < n
transitividade.
Demonstrao. Se
k,
1<m
para todo
m 6= 1.
seja com-
Mostremos, a
dessas possibilidades.
m < n,
VI.
BOA ORDENAO
sabemos que
n.
Dado o subconjunto
a
a A
x A.
tural
A N,
a x,
quando
N.
n N, indicaremos com In
o conjunto dos nmeros naturais p tais que 1 p n.
Assim, I1 = {1}, I2 = {1, 2}, I3 = {1, 2, 3}, etc.
As propriedades da relao de ordem m < n, demonsDe agora em diante, dado
m < n, m = n
m, n N, qualquer
n < m exclui as outras
das armaes
ou
duas.
m < n e m = n, ento
seria m = m + p, donde m + 1 = m + p + 1 e, cortando
m, concluiramos que 1 = p + 1, um absurdo, pois 1
no sucessor de p. Portanto m < n (e analogamente,
n < m) incompatvel com m = n. Do mesmo modo, se
tivssemos m < n e n < m, ento teramos n = m + p
e m = n + k , do que resultaria n = n + k + p, logo
n + 1 = n + k + p + 1 e, cortando n, concluiramos que
1 = k + p + 1, um absurdo.
Demonstrao. Se tivssemos
n+1
so nmeros
consecutivos.
Teorema 4. No existem nmeros naturais entre
porm, uma propriedade de suma importncia que vlida para a ordem entre os nmeros naturais, mas sem
equivalente para nmeros inteiros, racionais ou reais.
Teorema 6 (Princpio da Boa Ordenao). Todo sub-
mitir que
1
/ A,
n < p < n + 1,
p = n + k e n + 1 = p + r, logo n + 1 = n + k + r.
Cortando n, obteramos 1 = k + r . Por denio, isto
signicaria k < 1, o que absurdo, pois j vimos que
k 6= 1 k > 1.
teramos
A. O menor elemento de
A, cuja existncia queremos provar, dever ser da forma
n + 1. Devemos pois encontrar um nmero natural n tal
que n + 1 A e, alm disso, todos os elementos de A
so maiores do que n, logo maiores do que 1, 2, . . . , n.
Noutras palavras, procuramos um nmero natural n tal
que In N A e n + 1 A. Com esse objetivo, consimente o menor elemento de
deramos o conjunto
X = {n N : In N A}.
Portanto,
n + 1.
AN
conjunto no-vazio
n tais
A so maiores do que n. Como
1
/ A, sabemos que 1 X . Por
naturais pertencem a
X,
ou seja, temos
X 6= N.
Pelo
no indutivo, isto
n+1
/ X . Isto
A so maiores do que
n mas nem todos so maiores do que n + 1. Como no h
nmeros naturais entre n e n + 1, conclumos que n + 1
pertence a A e o menor elemento de A.
, deve existir algum
n X
tal que
n+p
mp < np.
seja, quando
elementos.
conjunto indutivo
A recproca da monotonicidade a Lei do Corte para
desigualdades:
m < n.
contm
mp < np
X N
n X n + 1 X , ou
contm o nmero
a, ento
a.
f : N N
uma funo
que
a,
X . Seja b
b > a, podemos escrever
de b, tem-se necessaria-
pela frmula
f (k) = nk ,
Assim, a su-
Seja
(Princpio
da
Induo
Generalizado).
goza da propriedade
2. se um nmero natural
to seu sucessor
VII.
n+1
P;
goza da propriedade
tambm goza de
en-
P.
gozam da propriedade
P.
2n + 1 < 2n , para todo n 3. Esta armao, que falsa para n = 1 ou n = 2, vale quando
n = 3. Supondo-a vlida para um certo n 3, mostremos
que da decorre sua validez para n + 1.
Com efeito,
2(n+1)+1 = (2n+1)+2 < 2n +2 < 2n +2n = 2n+1 . (Na
provar que
para
n + 1,
n.
A justicativa de um
X
n N,
X,
ento
n X.
n pertencem
N.
X 6= N,
do conjunto
Exemplo 3. Usando a desigualdade
2n + 1 < 2n ,
que
n 3, podemos demonstrar
n 5, empregando novamente
n2 < 2n
para todo
Observao. Se um conjunto
no pertencesse a
n = 1,
f :
goza da pro-
1, a hiptese
1
/ X
Noutras
1 X.
Assim, ao utilizar
da Boa Ordenao.
X N
contm o nmero 1.
Toda propriedade
dene um subconjunto
X N,
X N
P.
(E re-
X .)
Corolrio.
Toda
n1 > n2 >
sequncia
estritamente
decrescente
duo). Seja
turais. Dado
n,
ento
implicar que
verdadeira para
X=N
da Induo, logo
n,
antes de
n + 1.
demonstr-lo para
naturais.
Vejamos dois
desses sosmas.
Aplicaremos agora o Segundo Princpio da Induo
para demonstrar um fato geomtrico.
No exemplo a
Ora, 1
certamente pequeno. E se
lados.
um polgono
P,
de
n,
agonais internas.
Ela
decompe
tos
HH
HH
H
HH
H
HH
H
HH
HH
H
P2
P se
P1 , n2 3 decompem P2 e uma foi usada para separar P1 de P2 .
Portanto d = n1 3 + n2 3 + 1 = n1 + n2 5. Como
n1 + n2 = n + 2, resulta que d = n 3. Isso completa a
As
P1
HH
um conjunto nito
verdadeiro se
mentos, seja
n1 3
Observaes.
cujo domnio
Isso obviamente
Supondo a
f :X Y
n eleX com
P (1) P (2).)
O perigo de fazer generalizaes apressadas relativamente a asseres sobre nmeros naturais ca evidenciado com o seguinte exemplo.
Exemplo 7. Considere o polinmio
p (n) = n2 n + 41
Semelhantemente, a expresso
fornece primos para
VIII.
delas decompem
demonstrao.
f : X Y,
constante.
agrupam assim:
X,
vale a implicao
n 3.
n lados.
P , de n
no vai
no bem denida.)
gulos justapostos.
pequeno,
n+1
NMEROS CARDINAIS
Vamos agora mostrar como se usam os nmeros naturais para contar os elementos de um conjunto nito.
O Princpio da Induo ser essencial. Lembremos que,
dado
tanto
elementos. O conjunto
quando existe
nN
tal que
possiu
elementos.
f : In In
In .
Evidente-
uma contagem
In .
Os dez ltimos
X,
bijeo, ento
m, n N,
se
: Im In
uma
nmeros mpares seguidos dos nmeros pares divisveis por 4 em ordem decrescente e, por m,
os pares no divisveis por 4 em ordem crescente.
X = N e dena s : X X
s(n) = n + 2 se n no divisvel por 4 e
s(n) = n 2 se n for mltiplo de 4. Mostre que
s : X X cumpre os axiomas A, B e C mas no
Noutras palavras, tome
D.
o conjunto
X ?,
pondo
m = n.
do conjunto-padro
Exerccios
fornecem
cardinais.
A adio de nmeros naturais se relaciona com a cardinalidade dos conjuntos por meio da seguinte proposio.
estipulando que
f (1) = 3
f (1) = 1, f (2) = 5
2f (n).
que
X N
4. Seja
a N
tal que
X = {n N :
n a}.
5. Prove, por induo, que
12 + 22 + + n2 =
n(n + 1)(2n + 1)
.
6
n 6 lados, o nmero
n.
n +
1.) Conclua da que
1, 2, 3 3, 4 4, 5 5, . . . decrescente a
desigualdade potncia
Se
f : Im X e g : In Y
so bijees, denimos uma bijeo h : Im+n X Y
por h(x) = f (x) se 1 x m e h(x) = g(x m) se
m + 1 x m + n, o que conclui a demonstrao.
f : N N sabendo
f (n + 2) = 3f (n + 1)
a sequncia
f : N N
f (n + 1) = 5f (n) + 1.
para f (n).
(1 + a)n > 1 + na
9. Para todo
quando
1 + a > 0.
geral
que
(m + n)(1 + 1)
e aplique em seguida
m + n = n + m.
S N, no-vazio, limitado superiork tal que para todo natural x S , x k . Mostre que S possui um maior
elemento. (Isto , existe m S tal que x m,
para todo x S .)
11. Um conjunto
n primeiros nmeros
mpares n , ou seja, que 1+3+5+ +(2n1) =
n2 .
p
p+1
p+n
p+n+1
+
+ +
=
p
p
p
p+1
Este resultado comumente conhecido por Teo-
pn+1 = pn + 2qn
que
(b)
(a)
par.
n,
vale
1+
1
1
1+
1
2
1+
1
3
1
1 +
n + 1.
n
n
2) /2 e
pn o inteiro mais prximo de(1 +
qn o inteiro mais prximo de 2(1+ 2)n /4.
mdc (pn , qn ) = 1;
C.
No suporte
esto encaixados
A, B
discos cujos
dimetros, de baixo para cima, esto em ordem estritamente decrescente. Mostre que possvel, com
2n 1
o suporte
B,
usando o suporte
como auxiliar,
1 1
1
1
1
1
1 +
=
+
+ +
.
2 3
200
101 102
200
16. Determine
An
se
A=
1 2
2 4
.
2n < n!,
22. Considere
para
n 4.
retas em um plano.
para
n 3.
Mostre que o