Escolar Documentos
Profissional Documentos
Cultura Documentos
Indu Cao
Indu Cao
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
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).
vez, qual a receita que d o valor f(n) para todo n 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 = N.
Obs. : Uma funo f : N 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 .
4. ADIO E MULTIPLICAO DE NMEROS NATURAIS
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 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, com b < n + 1. Neste caso,
consideramos
a = 1(n + 1) e definimos uma nova bijeo : Im + 1 In + 1, pondo (m + 1) = n + 1, (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. Construa um esquema de setas comeando com os nmeros mpares, 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. Defina, por recorrncia, uma funo f : N N estipulando que f (1) = 3 e f (n + 1) = 5. f
(n) + 1. D uma formula explcita para f (n).
n(n 2)
n 1
Conclua, a partir da, que a seqncia de termo geral
n 2
n 1
n2
.
n 1
crescente.
n
xn .
n3
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
16. Determine An se A =
1 2
2 4
que 1 + 3
p 1 p n 1
. .
p p p
Este resultado comumente conhecido por Teorema das Colunas. (Por qu?).
pn
1 3 7
,..., onde
18. Considere a seqncia , , ,...,
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;
(1 2 ) n
b) pn o inteiro mais prximo de
e qn o inteiro mais prximo de
2
2
(1
4
2)n .