Documente Academic
Documente Profesional
Documente Cultură
INTRODUO
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 N e que
chamaremos de conjunto dos naturais. Portanto N = {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 N 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.
2. OS AXIOMAS DE PEANO
N, chamado o sucessor de n.
B.
A funo s : N N injetiva.
C.
D.
nmero natural.
B'.
contm o sucessor de cada um de seus elementos, ento esse conjunto coincide com N, isto ,
contm todos os nmeros naturais.
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:
1 s 2 s 3 s 4 s 5 s
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 N dos nmeros naturais.
3. O AXIOMA DA INDUO
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 N = {1, 2, 3,} mas a funo s : N N
modificada, pondo-se s(n) = n + 2. Ento, se comearmos com 1 e a este nmero aplicarmos
repetidamente a operao de tomar o "sucessor" (nesta nova acepo) obteremos s(1) = 3, s(3)
= 5, s(5) = 7, etc., e nunca chegaremos a qualquer nmero par. Portanto, o diagrama
1 s 3 s 5 s 2 s 4 s 6 s
exibe uma funo injetiva s : N N para a qual no verdade que todo nmero
natural n pode ser obtido, a partir de 1, mediante repetidas aplicaes da operao de passar
de k para s(k).
Dentro de um ponto de vista estritamente matemtico, podemos reformular o axioma
da induo do seguinte modo: Um subconjunto X N chama-se indutivo quando s(X) X, ou
verdade
O valor f (1);
(2)
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 = N.
Obs. : Uma funo f : N Y cujo domnio o conjunto dos nmeros naturais chamase 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 .
4. ADIO E MULTIPLICAO DE NMEROS NATURAIS
kn=nk
k+n=k+pn=p e kn=kpn=p
Distributividade: k (n + p) = k n + k p.
Omitiremos as demonstraes destes fatos. O leitor pode consider-las como exerccios
sobre o mtodo da induo.
5. ORDEM
que existe p N tal que n = m + p. Neste caso, diz-se tambm que n maior do que m e
escreve-se n > m para exprimir que se tem m < n. A notao m n significa que m < n ou m =
n. Por definio, tem-se portanto m < m + p para quaisquer m, p N. Em particular, m < m +
1. Segue-se tambm da definio que 1 < n para todo nmero natural n 1.
Com efeito, pelo axioma C, n 1 implica que n sucessor de algum nmero natural m,
ou seja, n = m + 1 = 1 + m, logo n > 1. Assim, 1 o menor dos nmeros naturais.
Provaremos a seguir as propriedades bsicas da relao de ordem
m < n que definimos. A primeira delas a transitividade.
Teorema 1. (Transitividade.) Se m < n e n < p, ento m < p.
Demonstrao: Se m < n, n < p ento n = m + k, p = n + r, logo p = (m + k) + r = m
+ (k + r), portanto m < p.
Outra importante propriedade de relao de ordem que, dados dois nmeros naturais
diferentes m, n, ou se tem m < n ou ento n < m. Esta propriedade pode ser reformulada de
outra maneira, como segue.
Diremos que os nmeros naturais m, n so comparveis quando se tem m = n, m < n ou
n < m. Podemos ento enunciar o seguinte teorema.
Teorema 2. (Comparabilidade.) Todo nmero natural n comparvel com qualquer
nmero natural m.
Demonstrao: Isto se prova por induo. O nmero 1 comparvel com qualquer
outro nmero natural pois j sabemos que 1 < m para todo m 1.
Suponhamos agora que o nmero n seja comparvel com todos os nmeros naturais.
Mostremos, a partir da, que n + 1 tambm tem essa propriedade. Com efeito, seja m N
tomado arbitrariamente. Sabemos que se tem
m < n, m = n ou n < m. Examinemos cada uma dessas possibilidades:
Se for m < n ento m < n + 1 por transitividade, pois sabemos que n < n + 1.
Se for m = n, ento m < n + 1.
Se for n < m ento m = n + p. Neste caso, h duas possibilidades. Ou se tem p = 1,
donde m = n + 1, ou ento p > 1, logo p = 1 + p', e da m = (n + 1) + p' e conclumos que n +
1 < m. Em qualquer hiptese, vemos que n + 1 comparvel com qualquer nmero natural m.
Por induo, fica provada a comparabilidade de quaisquer nmeros naturais m, n.
A comparabilidade dos nmeros naturais complementada pela proposio abaixo.
Teorema 3. (Tricotomia.) Dados m, n N, qualquer das afirmaes m < n,
m = n, n < m exclui as outras duas.
6. BOA ORDENAO
(2)
tambm goza de P.
Ento todos os nmeros naturais maiores do que ou iguais a a gozam da propriedade
P.
Exemplo 2. Vejamos uma situao simples onde se emprega o Princpio da Induo
Generalizado. Trata-se de provar que 2n + 1 < 2n, para todo n 3. Esta afirmao, (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 primeira desigualdade, usamos a hiptese de induo.)
Exemplo 3. Usando a desigualdade 2n + 1 < 2n, qua acabamos de provar para n 3,
podemos demonstrar que n2 < 2n para todo n 5, empregando novamente o Princpio da
Induo Generalizado. Com efeito, vale 5 2 < 25 pois 25 < 32. Supondo vlida a desigualdade
n2 < 2n para um certo valor de n
5, da segue-se que (n + 1)2 = n2 + 2n + 1 < 2n + 2n + 1 (pela hiptese de induo) <
2n + 2n (pelo exemplo anterior) = 2n + 1. Portanto P(n) P(n + 1). Pelo Princpio de Induo
Generalizado, segue-se que P(n) vale para todo
n 5. Evidentemente, a desigualdade n2 < 2n falsa para n = 1, 2, 3, 4.
O teorema abaixo contm outra aplicao do Princpio da Boa Ordenao.
Teorema 8. Toda funo montona no-crescente f: N N constante a partir de um
certo ponto. ( Isto , existe n0 N 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).
Corolrio: Toda seqncia decrescente n1 > n2 > de nmeros naturais finita. Com
efeito, do contrrio, pondo f(k) = nk, obteramos uma funo estritamente decrescente f : N
N.
ento n X.
O segundo Princpio da Induo afirma que um conjunto X N com a propriedade (I)
coincide com N.
Demonstrao: Com efeito, supondo, por absurdo, que X N, isto , que N X
, seja n o menor elemento do conjunto N X, ou seja, o menor nmero natural que no
pertence a X. Isto quer dizer que todos os nmeros naturais menores do que n pertencem a X.
Mas ento, pela propriedade (I), n pertence a X, uma contradio. Segue-se que N X = e
X = N.
Obs. : Se um conjunto X N goza da propriedade (I), para que um nmero natural n
no pertencesse a X seria necessrio que existisse algum nmero natural r < n tal que r X.
Em particular, se n = 1, como no existe nmero natural menor do que 1, a hiptese 1 X no
pode ser cumprida. Noutras palavras, (I) j contm implicitamente a afirmao de que 1 X.
Assim, ao utilizar o Segundo Princpio da Induo, no preciso estipular que X contm o
nmero 1.
Toda propriedade P que se refira a nmeros naturais define um subconjunto X N, a
saber, o conjunto dos nmeros naturais que gozam da propriedade P. (E reciprocamente, todo
conjunto X N define uma propriedade referente a nmeros naturais, a saber, a propriedade
de pertencer a X.) Deste modo, "propriedade" e "conjunto" so noes equivalentes. Por isso,
natural que o Segundo Princpio da Induo possua a formulao seguinte, onde ele aparece
como o
Teorema 10: (Segundo mtodo de demonstrao por induo.) Seja P uma
propriedade referente a nmeros naturais. Dado n N, se a validade de P para todo nmero
natural menor do que n implicar que P verdadeira para n, ento P verdadeira para todos
os nmeros naturais.
P1
P2
Observaes:
1.
pratic-lo muitas vezes, a fim de perder aquela vaga sensao de desonestidade que o
principiante tem quando admite que o fato a ser provado verdadeiro para n, antes de
demonstr-lo para n + 1.
2.
paradoxos que resultam do uso inadequado do mtodo de induo. Vejamos dois desses
sofismas:
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 N,
escrevemos In = {p N; 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 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 N dos nmeros naturais, pois
nenhuma funo f : In N 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:
Teorema 11. Dados m, n N, se : Im In uma bijeo, ento m = n.
Demonstrao. Com efeito, chamemos de X o conjunto dos nmeros naturais n que
tm a seguinte propriedade: s existe uma bijeo : Im In quando m = n. Evidentemente, 1
X. Suponhamos agora que n X. Dada uma bijeo : Im+1 In+1, duas coisas podem
acontecer. Primeira: (m + 1) = n + 1. Neste caso, a restrio Im : Im In uma bijeo, logo
m = n, donde m + 1 = n + 1. Segunda: (m + 1) = b,
consideramos
com b < n + 1.
Neste caso,
(a) = b e (x) = (x) para os demais elementos x Im + 1. Ento recamos no caso anterior e
novamente conclumos que m + 1 = n + 1. Isto mostra que n X n + 1 X, logo X = N e a
unicidade do nmero cardinal de um conjunto finito fica demonstrada.
Agora os nmeros naturais no so apenas elementos do conjunto-padro N, mas
servem tambm para responder perguntas do tipo "quantos elementos tem o conjunto X?,"ou
seja, podem ser usados tambm como nmeros cardinais.
A adio de nmeros naturais se relaciona com a cardinalidade dos conjuntos por meio
da seguinte proposio.
Teorema 12: Sejam X, Y conjuntos finitos disjuntos. Se X tem m elementos e Y tem n
elementos, ento X Y tem m + n elementos.
Demonstrao: Com efeito, se f : Im X e g : In Y so bijees, definimos 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.
Prova-se, por induo, que todo subconjunto de um conjunto finito X tambm finito e
seu nmero de elementos menor do que ou igual ao de X (Veja E.L.Lima, "Anlise Real",
vol 1, pag. 5.)
E conveniente incluir, por definio, o conjunto vazio entre os conjuntos finitos e dizer
que o seu nmero de elementos zero. Embora zero no seja um nmero natural, ele passa a
ser o nmero cardinal do conjunto vazio.
Seguem-se algumas proposies que devem ser demonstradas por induo ou boa
ordenao. Os dez ltimos exerccios foram sugeridos pelo Professor A. C. Morgado.
Exerccios:
1.
seguidos dos nmeros pares divisveis por 4 em ordem decrescente e, por fim, os pares no
divisveis por 4 em ordem crescente. Noutras palavras, tome X = N e defina s : X X pondo
s(n) = n + 2 se n no divisvel por 4, s(n) = n 2 se n for mltiplo de 4. Mostre que s : X
X cumpre os axiomas A, B, C mas no D.
2.
3.
+ 2) = 3f (n + 1) 2f (n).
4.
X = {n N; n a}.
n(n 1)(2n 1)
.
6
5.
6.
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,
termo.
8.
9.
( n 1) 2
Para todo n N, ponha x n
e prove, por induo que se tem
n(n 2)
a > 0.
n
xn
n2
n 1
. Conclua, a partir da, que a seqncia de termo geral
crescente.
n 1
n
3
n
n 2
x n .
n
1
n
3
10.
+ n )(1 + 1) e aplique em seguida a Lei do Corte para obter uma nova prova de que m + n = n
+ m.
11.
natural k tal que para todo natural x S, ento x k. Mostre que S possui um maior elemento.
(Isto , existe m S tal que x m, para todo x S.)
12.
14.
1
1
1
1
1 1 1 ... 1 n 1.
1
2
3
n
1 1 1
1
1
1
1
1
..
...
.
2 3 4
199 200 101 102
200
15.
Demonstre que 1
16.
1 2
2 4
righ
Determine An se A =
( )
17.
Este resultado comumente conhecido por Teorema das Colunas. (Por qu?).
18.
Considere a seqncia
p
1 3 7
, , ,..., n ,..., onde
1 2 5
qn
p n 1 p n 2q n e q n 1 p n q n . Demonstre que
a)
b)
(1 2 ) n
e qn o inteiro mais prximo de
2
2
(1 2 ) n .
4
19.
encaixados n discos cujos dimetros, de baixo para cima, esto em ordem estritamente
decrescente. Mostre que possvel, com 2 n 1 movimentos, transferir todos os discos para o
suporte B, usando o suporte C como auxiliar, de modo que jamais, durante a operao, um
disco maior fique sobre um disco menor.
20.
21.
22.
pode ser colorido com apenas duas cores sem que duas regies vizinhas tenham a mesma cor.