Matemática
Esta postagem (cuja intenção é enunciar os Axiomas de Peano) dá início a uma série que tem o objetivo de tratar sobre alguns aspectos dos números naturais.
Notemos, inicialmente, que a utilidade dos Axiomas de Peano não é definir, mas sim caracterizar o conjunto dos números naturais (o que significa que tudo o que é verdade sobre os números naturais pode ser demonstrado a partir deles).
Assim, em vez de definir o que são os números naturais os Axiomas de Peano os tomam como sendo objetos não definidos e apenas nos dizem quais são as propriedades que eles possuem.
Partindo, então, da existência de um conjunto que geralmente é representado por ? e cujos elementos (não definidos) são chamados números naturais, os Axiomas de Peano podem ser enunciados do seguinte modo:
- o segundo axioma nos diz que todo número natural tem um sucessor que também é um número natural (isto se concluí notando que tanto o domínio quanto o contradomínio da "função sucessor" são iguais ao conjunto ?);
- o terceiro axioma nos diz que números diferentes tem sucessores diferentes (pois dizer que s é injetiva significa que se n ? m então s(n) ? s(m) ou seja, que elementos diferentes têm imagens diferentes - neste caso os elementos são números naturais e as imagens são os sucessores);
- o quarto axioma nos diz que o número 1 não é sucessor de número algum (isto se concluí notando que 1 não pertence ao "conjunto imagem" da função s, o que significa que não existe um natural n tal que s(n) = 1, pois se existisse então 1 pertenceria ao conjunto s(?) = {s(n); n ? ?}).
- o último axioma (que recebe o nome de Princípio da Indução e é muito utilizado em demonstrações), nos diz que se um conjunto de números naturais contém o número 1 e, além disso, contém o sucessor de cada um de seus elementos, então este conjunto contém todos os números naturais.
O homem no retrato ao lado é Giuseppe Peano (1858-1932): um dos mais conhecidos matemáticos italianos do fim do século dezenove a se interessar pela lógica matemática. Seus axiomas (cujo objetivo era reduzir a aritmética ao simbolismo formal e foram, portanto, originalmente enunciados em símbolos lógicos) foram formulados pela primeira vez por volta de 123 anos atrás na obra Arithmetices principia nova methodo exposita ("Os princípios da aritmética apresentados por um novo método").
Na figura abaixo vemos tanto a folha de rosto da referida obra, quanto o enunciado original dos axiomas (clique na imagem para ver grande):
Conforme podemos ver, há nove axiomas enunciados no livro. Entretanto, nos dias atuais, quando dizemos "axiomas de Peano" estamos, geralmente, nos referindo a apenas cinco deles: o 1, o 6, o 7, o 8 e o 9:
É muito curioso que (ao contrário da maioria das exposições modernas) ao enunciar seus axiomas, Peano não colocou originalmente o 0 como sendo o número natural inicial, mas sim o 1. Acima fizemos o mesmo, contudo não usamos um simbolismo estritamente lógico (tal qual fez Peano) mas sim a linguagem dos conjuntos.
Apesar do idioma desconhecido (ao menos pra mim) e do simbolismo antiquado podemos usar tanto o conhecimento que já temos sobre tais axiomas quanto a semelhança que alguns símbolos possuem com os modernos e arriscar concluir que: o axioma 1 nos diz que 1 é um número natural (pois pertence a ?); o axioma 6 nos diz que o sucessor de um número natural também é um número natural (note que Peano representa o sucessor de a por a + 1 - faremos o mesmo em postagem futura, quando definirmos a operação de adição); entendendo o segundo sinal de = como um sinal de equivalência lógica e chamando a de antecessor de a + 1, o axioma 7 nos diz tanto que se dois números naturais são iguais então seus sucessores também são quanto que se dois números são iguais seus antecessores também são (o que dá na mesma que dizer que números diferente tem sucessores diferentes); o axioma 8 nos diz que o sucessor de qualquer número natural é diferente de 1 e o axioma 9 enuncia o princípio da indução (recomendo que leia A Aritmética de Peano, no Baricentro da Mente, para ver um enunciado deste último axioma utilizando símbolos lógicos atuais).
Na próxima postagem desta série explicaremos como funciona a técnica da demonstração por indução (provando, por exemplo, que nenhum número natural é igual ao seu sucessor).
Referências: livro "Análise Real" (de Elon Lages Lima); livro "História da Matemática" (de Carl B. Boyer); livro "Introdução À Filosofia Matemática" (de Bertrand Russel); livro "Introdução à Álgebra Abstrata" (de Evaristo e Perdigão).
Erros podem ser relatados aqui.
- Algumas Curiosidades Lógicas
Nesta postagem não há tema novo algum. Tudo aqui se refere a assuntos muito conhecidos na literatura especializada. No entanto, como vejo inúmeros discursos e textos de matemática no Brasil que fazem consideráveis confusões de caráter lógico,...
- 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...
- 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
Os Axiomas de Peano
Esta postagem (cuja intenção é enunciar os Axiomas de Peano) dá início a uma série que tem o objetivo de tratar sobre alguns aspectos dos números naturais.
Notemos, inicialmente, que a utilidade dos Axiomas de Peano não é definir, mas sim caracterizar o conjunto dos números naturais (o que significa que tudo o que é verdade sobre os números naturais pode ser demonstrado a partir deles).
Assim, em vez de definir o que são os números naturais os Axiomas de Peano os tomam como sendo objetos não definidos e apenas nos dizem quais são as propriedades que eles possuem.
Partindo, então, da existência de um conjunto que geralmente é representado por ? e cujos elementos (não definidos) são chamados números naturais, os Axiomas de Peano podem ser enunciados do seguinte modo:
- Existe um elemento, representado por 1 e chamado de um, tal que 1 ? ?;
- Existe uma função s:???. A imagem do elemento n é indicada por s(n) e recebe o nome de sucessor de n;
- A função s é injetiva;
- 1 ? s(?);
- Se X ? ? é tal que 1 ? X e, para todo x ? X, tem-se s(x) ? X então X = ?.
__________________________Observações__________________________
- o primeiro axioma estabelece que o conjunto dos números naturais não é vazio (pois se fosse ? = ?, então não poderia existir um elemento pertencente a ?);- o segundo axioma nos diz que todo número natural tem um sucessor que também é um número natural (isto se concluí notando que tanto o domínio quanto o contradomínio da "função sucessor" são iguais ao conjunto ?);
- o terceiro axioma nos diz que números diferentes tem sucessores diferentes (pois dizer que s é injetiva significa que se n ? m então s(n) ? s(m) ou seja, que elementos diferentes têm imagens diferentes - neste caso os elementos são números naturais e as imagens são os sucessores);
- o quarto axioma nos diz que o número 1 não é sucessor de número algum (isto se concluí notando que 1 não pertence ao "conjunto imagem" da função s, o que significa que não existe um natural n tal que s(n) = 1, pois se existisse então 1 pertenceria ao conjunto s(?) = {s(n); n ? ?}).
- o último axioma (que recebe o nome de Princípio da Indução e é muito utilizado em demonstrações), nos diz que se um conjunto de números naturais contém o número 1 e, além disso, contém o sucessor de cada um de seus elementos, então este conjunto contém todos os números naturais.
_______________________________________________________________
NOTA HISTÓRICA
O homem no retrato ao lado é Giuseppe Peano (1858-1932): um dos mais conhecidos matemáticos italianos do fim do século dezenove a se interessar pela lógica matemática. Seus axiomas (cujo objetivo era reduzir a aritmética ao simbolismo formal e foram, portanto, originalmente enunciados em símbolos lógicos) foram formulados pela primeira vez por volta de 123 anos atrás na obra Arithmetices principia nova methodo exposita ("Os princípios da aritmética apresentados por um novo método").
Na figura abaixo vemos tanto a folha de rosto da referida obra, quanto o enunciado original dos axiomas (clique na imagem para ver grande):
Conforme podemos ver, há nove axiomas enunciados no livro. Entretanto, nos dias atuais, quando dizemos "axiomas de Peano" estamos, geralmente, nos referindo a apenas cinco deles: o 1, o 6, o 7, o 8 e o 9:
É muito curioso que (ao contrário da maioria das exposições modernas) ao enunciar seus axiomas, Peano não colocou originalmente o 0 como sendo o número natural inicial, mas sim o 1. Acima fizemos o mesmo, contudo não usamos um simbolismo estritamente lógico (tal qual fez Peano) mas sim a linguagem dos conjuntos.
Apesar do idioma desconhecido (ao menos pra mim) e do simbolismo antiquado podemos usar tanto o conhecimento que já temos sobre tais axiomas quanto a semelhança que alguns símbolos possuem com os modernos e arriscar concluir que: o axioma 1 nos diz que 1 é um número natural (pois pertence a ?); o axioma 6 nos diz que o sucessor de um número natural também é um número natural (note que Peano representa o sucessor de a por a + 1 - faremos o mesmo em postagem futura, quando definirmos a operação de adição); entendendo o segundo sinal de = como um sinal de equivalência lógica e chamando a de antecessor de a + 1, o axioma 7 nos diz tanto que se dois números naturais são iguais então seus sucessores também são quanto que se dois números são iguais seus antecessores também são (o que dá na mesma que dizer que números diferente tem sucessores diferentes); o axioma 8 nos diz que o sucessor de qualquer número natural é diferente de 1 e o axioma 9 enuncia o princípio da indução (recomendo que leia A Aritmética de Peano, no Baricentro da Mente, para ver um enunciado deste último axioma utilizando símbolos lógicos atuais).
Na próxima postagem desta série explicaremos como funciona a técnica da demonstração por indução (provando, por exemplo, que nenhum número natural é igual ao seu sucessor).
Referências: livro "Análise Real" (de Elon Lages Lima); livro "História da Matemática" (de Carl B. Boyer); livro "Introdução À Filosofia Matemática" (de Bertrand Russel); livro "Introdução à Álgebra Abstrata" (de Evaristo e Perdigão).
Erros podem ser relatados aqui.
- Algumas Curiosidades Lógicas
Nesta postagem não há tema novo algum. Tudo aqui se refere a assuntos muito conhecidos na literatura especializada. No entanto, como vejo inúmeros discursos e textos de matemática no Brasil que fazem consideráveis confusões de caráter lógico,...
- 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...
- 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...