Documentos de Académico
Documentos de Profesional
Documentos de Cultura
"!$#%& '
*( ) +-,/. 01+$243/5246/798
: ;"<>=@?9A@BDC@E@?
Os nmeros naturais constituem um modelo matemtico, uma escala padro, que nos
permite a operao de contagem. A seqncia desses nmeros uma livre e antiga criao do
esprito humano. Comparar conjuntos de objetos com essa escala abstrata ideal o processo
que torna mais precisa a noo de quantidade; esse processo (a contagem) pressupe portanto
o conhecimento da seqncia numrica. Sabemos que os nmeros naturais so 1, 2, 3, 4, 5,
A totalidade desses nmeros constitui um conjunto, que indicaremos com o smbolo e que
chamaremos de conjunto dos naturais. Portanto = {1, 2, 3, 4, 5,}.
Evidentemente, o que acabamos de dizer s faz sentido quando j se sabe o que um
nmero natural. Faamos de conta que esse conceito nos desconhecido e procuremos
investigar o que h de essencial na seqncia 1, 2, 3, 4, 5 .
Deve-se a Giussepe 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. Noutras palavras, o conjunto
dos nmeros naturais possui quatro
propriedades fundamentais, das quais resultam, como conseqncias lgicas, todas as
afirmaes verdadeiras que se podem fazer sobre esses nmeros.
Comearemos com o enunciado e a apreciao do significado dessas quatro proposies
fundamentais a respeito dos nmeros naturais.
A.
B.
C.
D.
A partir da, retomamos a palavra para dizer que o sucessor de 1 chama-se "dois", o
sucessor de dois chama-se "trs", etc. Nossa civilizao progrediu ao ponto em 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 e 9, todos os nmeros naturais. Alm disso, nossa linguagem
tambm fornece nomes para os primeiros termos da seqncia dos nmeros naturais.
(Nmeros muito grandes no tm nomes especficos, ao contrrio dos menores como "mil
novecentos e noventa e oito". Quem sabe, por exemplo, o nome do nmero de tomos do
universo?)
Voltando a usar a notao s(n) para o sucessor do nmero natural n, teremos ento 2
= s(1), 3 = s(2), 4 = s(3), 5 = s(4), etc. Assim, por exemplo, a igualdade 2 = s(1) significa
apenas que estamos usando o smbolo 2 para representar o sucessor de 1. A seqncia dos
nmeros naturais pode ser indicada assim:
s
s
s
s
s
1
2
3
4
5
As flechas ligam cada nmero ao seu sucessor.
Nenhuma flecha aponta para 1, pois este nmero no sucessor de nenhum outro. O
diagrama acima diz muito sobre a estrutura do conjunto dos nmeros naturais.
Um dos axiomas de Peano, o ltimo, possui claramente uma natureza mais elaborada
do que os demais. Ele conhecido como o axioma da induo. Faremos dele uma anlise
detida, acompanhada de comentrios.
O significado informal do axioma D que todo nmero natural pode ser obtido a
partir de 1 por meio de repetidas aplicaes da operao de tomar o sucessor. Assim, por
exemplo, 2 o sucessor de 1, 3 o sucessor do sucessor de 1, etc. Para se entender melhor o
axioma da induo util examinar o exemplo, no qual
= {1, 2, 3,} mas a funo s :
modificada, pondo-se s(n) = n + 2. Ento, se comearmos com 1 e a este nmero
s
s
s
s
s
s
1
3
5
4
6
vez, qual a receita que d o valor f(n) para todo n . Basta que se tenha conhecimento dos
seguintes dados:
(1) O valor f (1);
(2) Uma regra que permita calcular f (s(n)) quando se conhece f (n).
Esses dois dados permitem que se conhea f (n) para todo nmero natural n. (Diz-se
ento que a funo f foi definida por recorrncia.) Com efeito, se chamarmos de X o conjunto
dos nmeros naturais n para os quais se pode determinar f (n), o dado (1) acima diz que 1 X
e o dado (2) assegura que n X s(n) X. Logo, pelo axioma da induo, tem-se
X= .
Obs. : Uma funo f :
Y cujo domnio o conjunto dos nmeros naturais chama-se uma
seqncia ou sucesso de elementos de Y. A notao usada para uma tal seqncia (y1,
y2,,yn,), onde se usa yn em vez de f(n) para indicar o valor da funo f no nmero n.
O elemento yn .
] ]
c G ?O=@A L S
possui um
Teorema 6. (Princpio da Boa Ordenao.) Todo subconjunto no-vazio A
menor elemento.
Demonstrao: Sem perda de generalidade, podemos admitir que 1 A, pois caso contrrio
1 seria evidentemente o menor elemento de 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 A e n + 1
A. Com esse objetivo, consideramos o conjunto
X = {n ; In A}.
Portanto, X o conjunto dos nmeros naturais n tais que todos os elementos de A so maiores
do que n. Como estamos supondo que 1 A, sabemos que 1 X. Por outro lado, como A no
vazio, nem todos os nmeros naturais pertencem a X, ou seja, temos X . Pelo axioma D,
vemos que o conjunto X no indutivo, isto , deve existir algum n X tal que n + 1 X
Isto significa que todos os elementos de 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.
constante a partir de um
Teorema 8. Toda funo montona no-crescente f:
certo ponto. ( Isto , existe n0 tal que f(n) = f(n0), para todo n n0.)
Demonstrao: Seja n0 o menor elemento do conjunto X = {f(1), f(2), , f(n),}. Ento n >
n0 f(n) f(n0) (porque a funo f no-crescente) o que acarreta que f(n) = f(n0) (porque
f(n0) o menor elemento de X).
h h
Corolrio: Toda seqncia decrescente n1 > n2 > de nmeros naturais finita. Com efeito,
do contrrio, pondo f(k) = nk, obteramos uma funo estritamente decrescente f : .
P1
P2
Observaes:
1.
2.
Vamos agora mostrar como se usam os nmeros naturais para contar os elementos de
um conjunto finito. O Princpio da Induo ser essencial. Lembremos que, dado n ,
escrevemos In = {p ; p n}, portanto
In = {1, 2, , n}.
Uma contagem dos elementos de um conjunto no-vazio X uma bijeo
f : In X. Podemos pr x1 = f(1), x2 = f(2),, xn = f(n) e escrever
X = {x1, x2,xn}. Diz-se ento que X possui n elementos. O conjunto X chama-se um conjunto
finito quando existe n tal que X possui n elementos.
Um exemplo bvio de conjunto finito In. Evidentemente, a funo identidade f: In
In uma contagem dos elementos de In.
Um exemplo de conjunto infinito o proprio conjunto dos nmeros naturais, pois
nenhuma funo f : In pode ser sobrejetiva, no importa qual n se tome. De fato, dada f,
tomamos k = f(1) + f(2) ++ f(n) e vemos que k > f(x) para todo x In, logo k f(In), e f no
sobrejetiva.
A fim de que no haja ambigidade quando se falar do nmero de elementos de um
conjunto finito X, necessrio provar que todas as contagens de X fornecem o mesmo
resultado. Noutras palavras, dado o conjunto X, os nmeros naturais m, n e as bijees f : Im
X, g : In X, devemos mostrar que se tem m = n. Comeamos observando que se f e g so
bijees, ento = g1 f : Im In tambm uma bijeo. Basta portanto provar o seguinte:
(n + 1) 2f (n).
4. Seja X um conjunto indutivo no-vazio. Mostre que existe a tal que X = {n ;
n a}.
n(n + 1)(2n + 1)
5. Prove, por induo, que 12 + 2 2 + ... + n 2 =
.
6
6. Num polgono com n 6 lados, o nmero de diagonais maior do que n.
7. Prove, por induo que [(n + 1)/n]n < n, para todo n 3. (Sugesto: Observe que (n +
2)/(n + 1) < ( n + 1)/n e eleve ambos os membros desta desigualdade potncia n + 1.)
Conclua da que a seqncia 1, 2 , 3 3 , 4 4 , 5 5 ,... decrescente a partir do terceiro termo.
8. Prove, por induo a desigualdade de Bernoulli: (1 + a)n > 1 + na quando 1 + a > 0.
9. Para todo n
, ponha
(n + 1) 2
xn =
e prove, por induo que se tem
n( n + 2)
n
xn <
n+2
n + 1
. Conclua, a partir da, que a seqncia de termo geral
crescente.
n +1
n
3
n
n + 2
Sugesto: observe que x n +1 =
xn .
n +1 n + 3
10. Use a distributividade de duas maneiras diferentes para calcular (m + n )(1 + 1) e
aplique em seguida a Lei do Corte para obter uma nova prova de que m + n = n + m.
que 1 + 3
1 1 1
1
1
1
1
1
.
+ + .. +
=
+
+ ... +
2 3 4
199 200 101 102
200
1 2
16. Determine An se A =
2 4
17. Demonstre,
usando
o
Princpio
da
Induo
Finita,
p
p
1
p
n
p
n
1
+
+
+
+
+
+ ... +
=
.
p p
p p
Este resultado comumente conhecido por Teorema das Colunas. (Por qu?).
p
1 3 7
18. Considere a seqncia , , ,..., n ,..., onde
1 2 5
qn
p n +1 = p n + 2q n e q n +1 = p n + q n . Demonstre que
a) m.d.c (pn, qn) = 1;
que
b)
(1 + 2 ) n
2
e qn o inteiro mais prximo de
(1 + 2 ) n .
2
4