Você está na página 1de 30

2008

ME-100 Fundamentos de Matemtica

Mauro S. de F. Marques

p. 1/3

CAPTULO 3
Induo matemtica

msdfm

p. 2/3

3.1 Introduo O Princpio da Induo matemtica uma importante ferramenta para demonstaro da validade de argumentos envolvendo nmeros naturais. O entendimento do Princpio da Induo matemtica equivalente ao entedimento da denio do conjunto dos nmeros naturais. Os nmeros naturais fornecem uma estrutura matemtica, uma escala, que nos permite contar , ato natural ao raciocnio humano. Essa estrutura tambm torna precisa a noo de quantidade. Formalmente, dene-se os nmeros naturais de forma simples e elegante atravs dos Axiomas de Peano.
msdfm

p. 3/3

Axioma: Premissa considerada necessariamente evidente e verdadeira, fundamento de uma demonstrao, porm ela mesma indemonstrvel, originada, segundo a tradio racionalista, de princpios inatos da conscincia ou, segundo os empiristas, de generalizaes da observao emprica [O princpio aristotlico da contradio ("nada pode ser e no ser simultaneamente") foi considerado desde a Antiguidade um axioma fundamental da losoa.]

msdfm

p. 4/3

Um axioma considerado algo bvio ou um consenso inicial necessrio para a construo de uma teoria. Na matemtica, um axioma uma hiptese inicial de qual outros enunciados so logicamente derivados. Em contraste aos teoremas, axiomas no podem ser derivados por princpios de deduo e demonstrveis por derivaes formais, eles so hipteses iniciais. Em muitos contextos, "axioma", "postulado"e "hiptese"so usados como sinnimos. Um axioma no necessariamente uma verdade, mas apenas uma premissa usada em uma deduo, visando obter resultados.
msdfm

p. 5/3

3.2 Nmeros naturais: Axioma de Peano No livro, "Arithmetices Principia Nova Methodo Exposita, Giussepe Peano (1858-1932) elabora a teoria completa dos nmeros naturais a partir de quatro premissas bsicas, conhecidas como Axiomas de Peano. Em palavras, os Axiomas de Peano se resumem a:
A1. Todo natural possui um nico relativo, que tambm um natural. A2. Naturais que tm o mesmo relativo so iguais, ou equivalentemente, naturais diferentes possuem relativos diferentes A3. Existe um nico natural que no relativo de nenhum outro. A4. Se um conjunto X tem como elementos e o relativo de cada um de seus elementos, ento esse conjunto contm todos os naturais.

O natural usualmente denotado por 1!


msdfm

p. 6/3

Matemticamente os Axiomas de Peano se resumem a: Considere um conjunto N tal que, A1. s : N N, A3. 1 N, A4. X N n N s(n) N.

A2. A funo s : N N injetiva. 1 = s(n)n N. (1 N) (n X s(n) X X = N .

O conjunto N chamado conjunto dos numeros naturais, e um elemento n de N de numero natural. s(n) chamado o relativo de n.
msdfm

p. 7/3

Podemos ento denotar s(1) = 2, s(2) = s(s(1)) = 3, s(3) = s(s(2)) = s(s(s(1))) = 4, . . . Outros podem preferir a notaco, 1 = I, s(I) = II, s(II) = s(s(I)) = III, s(III) = s(s(II)) = s(s(s(I))) = IV, . . . ou 1 = { }, s(1) = s({ }) = {{ }}, s(s(1)) = s({{ }}) = s(s({ })) = {{{ }}}, . . . ou 1, s(1) = s, s(s(1)) = s s, s(s(s(1))) = s s s, . . . msdfm

p. 8/3

Adicao de numeros naturais Considere a funo


S : N N N,

chamada somar, denida da forma: Para todo m N, F1. S(m, 1) = s(m) F2. S(m, s(n)) = s(S(m, n)) Portanto,S(m, 1) , por denio, o relativo de m. Se conhecermos S(m, n), saberemos o valor de S(m, s(n)). Isto nos permite conhecer S(m, n) para todo n em N e todo m em N.
S(m, 2) = S(m, s(1)) = s(S(m, 1)) = s(s(m)), S(m, 3) = S(m, s(2)) = s(S(m, 2)) = s(s(s(m))), . . . msdfm

p. 9/3

A partir deste ponto podemos usar a notao usual para S(m, n)

S(m, n) m + n.
Assim, m + 1 = S(m, 1) = s(m), m + 2 = S(m, 2) = S(m, s(1)) = s(m + 1), . . . . . . , (m + n) + 1 = S(m + n, 1) = s(m + n) . . . Portanto, s(m) = m + 1, k N. Por F2 sabemos que m + (n + 1) = (m + n) + 1. Assim, (F1) e (F2) denem, por recorrncia, a soma m + n de dois nmeros naturais quaisquer, m e n em N.

Claramente + uma relao binria em N.


msdfm

p. 10/3

Multiplicacao de numeros naturais A multiplicao de nmeros naturais se dene de modo anlogo adio. Considere a funo M : N N N, chamada multiplicar, denida da forma: Para todo m N, F1. M (m, 1) = m F2. M (m, (n + 1)) = M (m, n) + m.
msdfm

p. 11/3

O produto (multiplicacao) M (m, n) usualmente escrito nas formas: M (m, n) m n m n m n e l-se m vezes n. A denio acima diz que: (i) 1 vez m igual m. (ii) (m vezes n + 1,) igual a m vezes n mais (uma vez) m, isto , m (n + 1) = (m n) + m. Assim, m 2 = m + m, m 3 = m + m + m, . . . .
msdfm

p. 12/3

Exercicios: Usando a denio: 3.1 Demonstre que a funo somar associativa e comutativa. 3.2 Demonstre que a funo somar satisfaz a Lei do Corte, isto , m + n = m + k n = k, m, n, k N. 3.3 Demonstre que a funo multiplicar associativa e comutativa. 3.4 Demonstre que a funo somar satisfaz a Lei do Corte, isto , n m = n k m = k, n, m, k N. 3.5 Demonstre que a funo multiplicar distributiva com relao a funo somar isto , n (m + k) = (n m) + (n k), n, m, k N. msdfm

p. 13/3

Ordem A soma (adio) de nmeros naturais induz uma relao de ordem em N. Ou seja: Dados dois nmeros naturais m e n dizemos que m e menor do que n , escreve-se m < n, k N, n = m + k.

Neste caso diz-se tambm que n e maior do que m e escreve-se n > m. Dizemos que n maior ou igual a m ou m nemor ou igual a n se (m n) (m < n) (m = n). Analogamente podemos escrever (m n) Note que, pela denio m < m + k, n, m, k N. Em particular, n N, 1 n n < s(n) = n + 1.

s(n) o relativo de um nmero natural n pode agora ser chamado, sem risco de confuso, de sucessor de n msdfm p. 14/3

Exercicios: 3.6 Mostre que < uma relao em N que transitiva. 3.7 A relao < em N reexiva? Simtrica? 3.8 A proposio abaixo falsa ou verdadeira? Explique! n, m N, (n < m) (n = m) (m < n). As proposies (n < m), (n = m) e (m < n) so exclusivas? 3.9 Mostre que: n, m, k N, m < n (m + k < n + k) (m k < n k). Use reduo ao absurdo e a Lei do Corte. msdfm

p. 15/3

3.3 Princpio de induo

O ltimo dos Axiomas de Peano possui uma natureza mais complexas e tambm conhecido como o axioma da induo. O Axioma da Induo fundamental para a teoria dos nmeros naturais e para a matemtica em geral. Ele fornece um mtodo de demonstrao, chamado M todo de Inducao Matem tica, ou Princpio da e a Inducao Finita, ou Princpio da Inducao.
msdfm

p. 16/3

O Princpio da Induo diz o seguinte: Seja p() uma funcao proposicional em N. Se p(1) e verdade e para todo m em N, p(m) implica p(m + 1), ent o p(n) e verdade a para todo n em N, isto e, p(1) m N, p(m) p(m + 1) Note que
p(1) (m N, p(m) p(m + 1) p(1) p(2) p(3) p(n)

n N, p(n) ,

msdfm

p. 17/3

Em outros termos: Seja S um subconjunto de N que satisfaz (i) 1 S. (ii) n S (n + 1) S. Ent o a S = N.

msdfm

p. 18/3

Exemplos: 1. Para todo n N, 1 + 2 + + n = De fato: 1= 1(1 + 1) 12 2 = = = 1, 2 2 2 n(n + 1) . 2

logo a proposio vlida para n = 1. Vamos assumir que o resultado vlido para m N (hiptese de induo), isto , 1 + 2 + + m = Temos ento que 1+2+ +m+(m+1) = m(m + 1) m m+2 +(m+1) = (m+1) +1 = (m+1) 2 2 2 (m + 1) (m + 1) + 1 2 Logo, o resultado vlido para todo n N. . = m(m + 1) . 2

msdfm p. 19/3

2. Fixado x > 0, para todo n N, (1 + x)n 1 + xn . De fato: (1 + x)1 = 1 + x = 1 + x1 1 + x1 . logo a proposio vlida para n = 1. Vamos assumir que o resultado vlido para m N (hiptese de induo), isto , (1 + x)m 1 + xm . Temos ento que (1 + x)m+1 = (1 + x)m (1 + x) (1 + xm )(1 + x) = 1 + xm + x + xm+1 1 + xm+1 . Logo, o resultado vlido para todo n N.

msdfm

p. 20/3

3. Para todo n N,n3 n divisvel por 3. De fato: 13 1 = 1 1 = 0 = 3 0. logo a proposio vlida para n = 1. Vamos assumir que o resultado vlido para m N (hiptese de induo), isto , k N Temos ento que m3 m = 3k.

(m+1)3 (m+1) = m3 +3m2 +3m+1m1 = (m3 m)+3(m2 +m) = 3k+3(m2 +m) = Logo, o resultado vlido para todo n N.

msdfm

p. 21/3

Exercicios: Mostre usando a tcnica de induo que para todo nmero natural n: 3.6. n2 n. 3.7. 12 + 22 + 32 + + n2 = 3.8. 13 + 23 + 33 + + n3 =
n(n+1)(2n+1) . 6 n(n+1) 2 2

3.9. 1 + 3 + 5 + 7 + (2n 1) = n2 .
msdfm

p. 22/3

3.10. 1

1 2

1 3

1 n+1

1 n+1

3.11. x, y R, xn+1 y n+1 = (x y)(xn + xn1 y + + xy n1 + y). 3.12. 21 + 22 + 23 + + 2n 1. Interprete o resultado! 3.13 M N, n N 1 + 21 + 31 + + n1 > M. Interprete o resultado!
msdfm

p. 23/3

3.4 Formas equivalentes de induo As duas proximas proposies so equivalentes ao Princpio de Induo e em algumas situaes podem ser mais convenientes. A primeira delas referida como Princpio da Boa Ordenacao, segue do Princpio de Induo.

Proposicao 1. Todo subconjunto n o vazio de N tem um menor a elemento. Em outras palavras S N, S = , m S , n S, m n.

Demonstracao: Se 1 elemento de S, nada resta a ser provado. Vamos assumir ento que 1 no pertence a S.
msdfm

p. 24/3

Usaremos a tcnica de reduo ao absurdo. Suponhamos que S no tem um menor elemento, ou seja, m S, n S Seja T = {m N : (n N, n m) n S}. Claramente, 1T e, pela denio de T , k T 1, 2, . . . k S. k T k + 1 S pois pois caso contrrio (k + 1) seria o menor elemento de S. Logo Pelo principio de induo, T =N S= o que uma contradio. Logo,S tem um menor elemento. c.q.d msdfm n < m.

p. 25/3

A prxima proposio conhecida como Princpio de Inducao Completa, consequncia do Princpio da Boa Ordenao. Proposicao 2. Seja S um subconjunto de N que satisfaz: (i) 1 S. (ii) n N, {1, 2, . . . , n} S (n + 1) S. Ent o a S=N Demonstracao: Se Sc = a proposio est demonstrada.
msdfm

p. 26/3

Suponhamos ento S c = . Pela Proposio 2, existe um menor elemento de S c , digamos m + 1. De (i) 1 S 1 S c (m + 1) = 1. Claramente 2, 3, . . . m S pois caso contrario m + 1 no seria o menor elemento de S c . Mas (ii) ({1, 2, . . . , m} S (m + 1) S. Logo temos uma contradio. Segue que S c = S = N. c.q.d msdfm

p. 27/3

Para completar a equivalncia proposta, resta mostar que o Princpio de Induo Completa implica no Princpio de Induo. Proposicao 3. Seja S um subconjunto de N que satisfaz: (i) 1 S. (ii) Ent o a S = N. Demonstracao: A proposio n N, {1, 2, . . . , n} S n S trivialmente verdadeira. Logo temos (n N, {1, 2, . . . , n} S n S) (n N, n S (n + 1) S) . Consequentemente n N, {1, 2, . . . , n} S (n + 1) S. Ou seja S satisfaz as condies da Proposio 2, mostrando que S = N. c.q.d msdfm n N, n S (n + 1) S.

p. 28/3

As Proposies 1,2 e 3 mostram que


(Princpio de Induo) (Princpio da Boa Ordenao) (Princpio de Induo Completa) (Princpio de Induo).

Em outras palavras, os trs principios so equivalentes.


msdfm

p. 29/3

Exerccios: 3.14 Mostre usando o Princpio da Boa Ordenao n(n + 1) 1 + 2 + + n = 2 3.14 Mostre usando o Princpio da Boa Ordenao os Exerccios 3.6 a 3.9.
msdfm

p. 30/3

Você também pode gostar