Matemática
Vale salientar que na maioria das apresentações, o axioma da indução é sempre o último a ser enunciado mas não necessariamente o quinto. Em algumas exposições ele ocupa o terceiro lugar ou até mesmo o quarto (isso se deve ao fato de que dependendo da linguagem que se adota não são necessárias cinco sentenças para expressar todas as ideias. Nós poderíamos, por exemplo, ter estabelecido já no segundo axioma a injetividade de s dizendo "existe uma função injetiva" dispensando, assim, a necessidade do terceiro).
Mas vamos ao que interessa:
- Conjunto
Pertencem ao conjunto dos naturais os números inteiros positivos incluindo o zero. Representado pela letra N maiúscula. Os elementos dos conjuntos devem estar sempre entre chaves. N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ... } ♦ Quando for...
- O Sucessor E O Antecessor De Um Número Natural
Todo número natural dado tem um sucessor (número que vem depois do número dado), considerando também o zero. Por exemplo: o sucessor de 0 é 0 + 1 = 1 o sucessor de 5 é 5 + 1 = 6 o sucessor de 57 é 57 + 1 = 58 o sucessor de 113 é 113 + 1 = 114...
- Números Naturais
O conjunto dos números naturais é representado pela letra maiúscula N e estes números são construídos com os algarismos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Observe que a sucessão dos números naturais começa pelo zero e cada número seguinte é obtido...
- Conjunto N
Pertencem ao conjunto dos naturais os números inteiros positivos incluindo o zero. Representado pela letra N maiúscula. Os elementos dos conjuntos devem estar sempre entre chaves. N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ... } ♦ Quando...
- A Aritmética De Peano
Em $1889$, o matemático Giuseppe Peano $(1858-1932)$ resumiu as características estruturais nos números naturais em uma lista de axiomas enunciados em lógica simbólica. Esta última era uma linguagem de primeira ordem (ou seja, uma linguagem na...
Matemática
A Demonstração por Indução
Esta postagem é a segunda da série sobre os números naturais. Na primeira enunciamos os chamados Axiomas de Peano e nesta vamos volver nossa atenção para o quinto deles, chamado o Princípio da Indução:
Se X ? ? é tal que 1 ? X e, para todo x ? X, tem-se s(x) ? X então X = ?
Vale salientar que na maioria das apresentações, o axioma da indução é sempre o último a ser enunciado mas não necessariamente o quinto. Em algumas exposições ele ocupa o terceiro lugar ou até mesmo o quarto (isso se deve ao fato de que dependendo da linguagem que se adota não são necessárias cinco sentenças para expressar todas as ideias. Nós poderíamos, por exemplo, ter estabelecido já no segundo axioma a injetividade de s dizendo "existe uma função injetiva" dispensando, assim, a necessidade do terceiro).
Mas vamos ao que interessa:
O método de demonstração por indução é, geralmente, utilizado para provar que uma certa propriedade vale para todos os números naturais. Deste modo, se queremos mostrar que todos os números naturais têm a propriedade P, o que fazemos é:
- considerar o conjunto X = {x ? ? tal que x tem a propriedade P} (ou seja, considerar o conjunto dos números naturais que têm a propriedade P);
- mostrar que o número 1 pertence a X (isto é, mostrar que o número 1 tem a propriedade P);
- mostrar que se n ? X então s(n) ? X (ou seja, mostrar que do fato do número n possuir a propriedade P é possível concluir que seu sucessor também tem a propriedade P).
- concluir (em virtude do princípio da indução) que X = ? (ou seja, que X contém todos os números naturais - o que significa que todos os números naturais têm a propriedade P).
Exemplo 1) Prove que nenhum número natural é igual ao seu sucessor.
- Seja X = {n ? ?; n ? s(n)} (ou seja, estamos definindo X como sendo o conjunto de todos os naturais que são diferentes de seus sucessores. Note que neste caso "ter a propriedade P" significa "ser diferente do seu sucessor");
- O quarto axioma nos diz que 1 ? s(?). Em outros termos: 1 ? s(n) para qualquer que seja o natural n, donde segue que 1 ? s(1) (ou seja, 1 é diferente do sucessor de qualquer número, inclusive dele mesmo). Segue-se disto que 1 ? X;
- Como s é injetiva (em virtude do terceiro axioma), concluímos (em virtude da própria definição de função injetiva) que n ? s(n) ? s(n) ? s(s(n)) (ou seja, se n é diferente de seu sucessor então o sucessor de n também é diferente de seu sucessor). Isto significa que se n ? X então s(n) ? X;
- Como 1 ? X e como o sucessor de cada um dos elementos de X pertencem a X concluímos que X = ? (ou seja, concluímos que todos os números naturais são diferentes de seus respectivos sucessores ou ainda: que nenhum natural é igual ao seu sucessor).
Observe que um modo alternativo de enunciar este resultado é dizer que "existem números naturais diferentes de 1", pois ficou estabelecido que 1 ? s(1) ? s(s(1)) ? s(s(s(1))), etc.
A propósito, vale salientar que o sucessor de 1 é, usualmente, designado por 2 (e chamado de dois), o sucessor do sucessor de 1 é representado por 3 (e chamado de três), o sucessor do sucessor do sucessor de 1 é representado por 4 (e chamado de quatro), logo a última expressão do parágrafo precedente pode ser escrita como 1 ? 2 ? 3 ? 4 (expressão esta que reflete um fato nada estranho a todos nós e que é uma consequência dos axiomas).
Exemplo 2) Prove que o número 1 é o único número que não é sucessor de algum outro.
Observe que um modo alternativo de enunciar este resultado é dizer que todo número, com exceção do 1, tem um antecessor (ou ainda, que 1 é o único número que não tem antecessor). Para isso, tudo o que precisamos é fazer a seguinte definição: diz-se que n é antecessor de m quando m = s(n); em outros termos: o antecessor do número m é o número n cujo sucessor é m.
A propósito desta definição, vale a pena salientar que cada número tem um único antecessor (isto é uma consequência direta do terceiro axioma). Vejamos a demonstração: se n e k são ambos antecessores de m então m é sucessor tanto de n quanto de k, ou seja, s(n) = m e s(k) = m, donde segue s(n) = s(k). Mas s é injetiva, logo n = k.
Na próxima postagem da série veremos a definição de adição. Além disso voltaremos a usar a indução (para demonstrar as propriedades da adição, como por exemplo a comutatividade).
Referências: livro "Análise Real" (de Elon Lages Lima); livro "A Matemática do Ensino Médio, volume1" (de Elon e outros); livro "Introdução à Álgebra Abstrata" (de Evaristo e Perdigão); este texto.
Erros podem ser relatados aqui.
Observe que um modo alternativo de enunciar este resultado é dizer que "existem números naturais diferentes de 1", pois ficou estabelecido que 1 ? s(1) ? s(s(1)) ? s(s(s(1))), etc.
A propósito, vale salientar que o sucessor de 1 é, usualmente, designado por 2 (e chamado de dois), o sucessor do sucessor de 1 é representado por 3 (e chamado de três), o sucessor do sucessor do sucessor de 1 é representado por 4 (e chamado de quatro), logo a última expressão do parágrafo precedente pode ser escrita como 1 ? 2 ? 3 ? 4 (expressão esta que reflete um fato nada estranho a todos nós e que é uma consequência dos axiomas).
Exemplo 2) Prove que o número 1 é o único número que não é sucessor de algum outro.
- Seja X = {1} ? s(?) = {x; x ? {1} ou x ? s(?)} (ou seja, estamos definindo X como sendo o conjunto que contém o 1 e todos os naturais que são sucessores de algum outro natural. Isto significa que se x ? X então x é 1 ou x é sucessor);
- Pela própria definição do conjunto X concluímos que 1 ? X;
- Também pela definição de X, concluímos que se n ? X então n = 1 ou n ? s(?). No primeiro caso s(n) ? X (pois teremos s(n) = s(1) e como 1 é um número natural s(1) ? s(?)). No segundo caso observe que n ? s(?) implica n ? ? (pois já que o contradomínio de s é ? temos s(?) ? ?) que por sua vez implica s(n) ? s(?) (pois s(?) contém o sucessor de todo natural) que finalmente implica s(n) ? X (pela própria definição de X). Assim, em qualquer dos dois casos possíveis, do fato de n pertencer a X podemos concluir que s(n) também pertence;
- Como 1 ? X e como o sucessor de cada um dos elementos de X pertencem a X concluímos que X = ? (ou seja, concluímos que dado um número natural qualquer, ou ele é igual a 1 ou então ele é sucessor de alguém, donde segue que se um número é diferente de 1 então ele é sucessor de algum outro).
Observe que um modo alternativo de enunciar este resultado é dizer que todo número, com exceção do 1, tem um antecessor (ou ainda, que 1 é o único número que não tem antecessor). Para isso, tudo o que precisamos é fazer a seguinte definição: diz-se que n é antecessor de m quando m = s(n); em outros termos: o antecessor do número m é o número n cujo sucessor é m.
A propósito desta definição, vale a pena salientar que cada número tem um único antecessor (isto é uma consequência direta do terceiro axioma). Vejamos a demonstração: se n e k são ambos antecessores de m então m é sucessor tanto de n quanto de k, ou seja, s(n) = m e s(k) = m, donde segue s(n) = s(k). Mas s é injetiva, logo n = k.
Na próxima postagem da série veremos a definição de adição. Além disso voltaremos a usar a indução (para demonstrar as propriedades da adição, como por exemplo a comutatividade).
Referências: livro "Análise Real" (de Elon Lages Lima); livro "A Matemática do Ensino Médio, volume1" (de Elon e outros); livro "Introdução à Álgebra Abstrata" (de Evaristo e Perdigão); este texto.
Erros podem ser relatados aqui.
- Conjunto
Pertencem ao conjunto dos naturais os números inteiros positivos incluindo o zero. Representado pela letra N maiúscula. Os elementos dos conjuntos devem estar sempre entre chaves. N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ... } ♦ Quando for...
- O Sucessor E O Antecessor De Um Número Natural
Todo número natural dado tem um sucessor (número que vem depois do número dado), considerando também o zero. Por exemplo: o sucessor de 0 é 0 + 1 = 1 o sucessor de 5 é 5 + 1 = 6 o sucessor de 57 é 57 + 1 = 58 o sucessor de 113 é 113 + 1 = 114...
- Números Naturais
O conjunto dos números naturais é representado pela letra maiúscula N e estes números são construídos com os algarismos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Observe que a sucessão dos números naturais começa pelo zero e cada número seguinte é obtido...
- Conjunto N
Pertencem ao conjunto dos naturais os números inteiros positivos incluindo o zero. Representado pela letra N maiúscula. Os elementos dos conjuntos devem estar sempre entre chaves. N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ... } ♦ Quando...
- A Aritmética De Peano
Em $1889$, o matemático Giuseppe Peano $(1858-1932)$ resumiu as características estruturais nos números naturais em uma lista de axiomas enunciados em lógica simbólica. Esta última era uma linguagem de primeira ordem (ou seja, uma linguagem na...