Números naturais

O conjunto dos números naturais (ou o conjunto dos inteiros não negativos), representado pelo símbolo $\mathbb{N}$, é a nossa principal ferramenta de contagem. Eles são basicamente “os números que usamos para contar”: 2 carros, 12 ovos, 3 pessoas...

$\mathbb{N}=\{0, 1, 2, 3, 4, 5, ...\}$

O homem primitivo precisava de uma representação simbólica para contabilizar seus elementos, objetos e tudo o que lhes pertenciam ou tinham a necessidade de administrar. Neste caso, o número zero ainda não era descrito como numeral, afinal, demorou milhares de anos até que por volta de 450 d.C., os hindus introduziram uma coluna vazia em seus ábacos donde veio o conceito de uma representação do vazio numericamente.

O zero é também um elemento de contagem, por isso ele faz parte dos números naturais. Porém em matemática podemos trabalhar com os números naturais sem o zero, onde simbolicamente representamos por:

$\mathbb{N}^*=\{1, 2, 3, 4, 5, ...\}$

ou também por:

$\mathbb{N}-\{0\}=\{1, 2, 3, 4, 5, ...\}$

Uma definição formal da estrutura do conjunto dos naturais foi dada pelo matemático Giuseppe Peano, onde introduziu os famosos axiomas de Peano. Estes axiomas exibem os números naturais como ordinais, ou seja, objetos que ocupam lugares determinados em uma sequência. O número 1 é o primeiro natural, o 2 é o que sucede o 1, o 3 vem em seguida do 2, e assim por diante. Os números naturais também ocorrem como resultado de uma operação de contagem, então, o conjunto $\mathbb{N}$ é infinito. Antes de enunciar estes axiomas vamos apresentar algumas propriedades a respeito dos números naturais. Comecemos pela adição:

Para quaisquer $x, y, z\in\mathbb{N}$ valem as propriedades:

Associativa: $x+(y+z)=(x+y)+z$

Comutativa: $x+y=y+x$

Lei do Corte: $x+y=x+z\Rightarrow y=z$

Elemento Neutro: $x+0=0+x=x$

Agora, para a multiplicação:

Associativa: $x\cdot(y\cdot z)=(x\cdot y)\cdot z$

Comutativa: $x\cdot y=y\cdot x$

Lei do Corte: $x\cdot y=x\cdot z\Rightarrow y=z$

Monotonicidade: $x<y\Rightarrow x\cdot z<y\cdot z$

Estas propriedades foram construídas a partir dos axiomas de Peano onde, para melhor compreensão dos mesmos, recomenda-se um conhecimento básico sobre conjuntos numéricos e de funções. As definições abaixo consideram o conjunto dos naturais sem o zero ($\mathbb{N}^*$). Enunciamos:

Seja uma função $S:\mathbb{N}\rightarrow\mathbb{N}$ e para qualquer $n\in\mathbb{N}$ a lei de associação S(n), que é o valor em que a função S assume no ponto n, é chamada de sucessor de n.

1º Axioma:

A função é injetiva $S:\mathbb{N}\rightarrow\mathbb{N}$, ou seja, para todo $x, y\in\mathbb{N}$:

$S(x)=S(y)\Rightarrow x=y$

Isto significa que se dois números que pertencem aos naturais têm o mesmo sucessor então eles são iguais.

2º Axioma:

O conjunto $\mathbb{N}-S(\mathbb{N})$ possui apenas um elemento. Em outras palavras, existe um único número natural que não é sucessor de nenhum outro, logo, este número é o um.

3º Axioma (Princípio da Indução):

Seja o subconjunto $A\subset\mathbb{N}$ tal que $1\in A$ e, para qualquer $n\in A$, temos que $S(n)\in A$, então $A=\mathbb{N}$.

Estes axiomas servem para a construção dos números naturais, bem como todas as propriedades que derivam deles. Esta abordagem rigorosa serviu para estruturar o conceito de número que depois formaram a base para outros conjuntos numéricos usuais na matemática: os inteiros $\mathbb{Z}$, os racionais $\mathbb{Q}$, os reais $\mathbb{R}$, etc.

Referências Bibliográficas

MILIES, César Polcino; COELHO, Sônia Pitta. Números: Uma Introdução à Matemática. São Paulo: EDUSP,2013.

LIMA, Elon Lages. Curso de Análise: Volume 1. Rio de Janeiro: IMPA, 2017.

LIPSCHUTZ, Seymor; LIPSON, Marc. Matemática Discreta. Porto Alegre: Bookman, 2004

Texto originalmente publicado em https://www.infoescola.com/matematica/numeros-naturais/