O que são os números naturais? Do zero aos conjuntos.

Os números naturais são os que a gente usa pra contar: o conjunto $\mathbb{N} = \{0, 1, 2, 3, 4, \dots\}$, uma lista que começa e nunca acaba. É o primeiro degrau de toda a matemática que você vai estudar daqui pra frente.

Eu ensino exatas do fenômeno à fórmula pra mais de 1 milhão de inscritos, sempre pela mesma régua: entender, não decorar. Aqui você não grava essa definição. Você entende de onde ela vem.

Os naturais ganharam esse nome porque são a coisa mais concreta que existe em matemática: nasceram do ato de contar o mundo (quantos carneiros, quantas ovelhas) muito antes de a gente inventar número negativo ou fração.

Por isso eles vêm primeiro, antes de qualquer outro tipo de número.

O zero não tem um inventor único. A ideia de um símbolo pro nada chegou aos povos egípcios e babilônios por volta de 3 mil anos antes de Cristo, e só bem depois ganhou a forma que a gente usa hoje.

E é aquela provocação que eu sempre faço: Me conta aqui, cara, porque raios inventaram o zero? Um número pra medir o nada. Se você soma zero, subtrai zero, não muda nada, cara. A necessidade real só apareceu com um problema prático de escrita, e os babilônios foram os primeiros a pensar em alguma coisa para resolver esse problema eles costumavam deixar um espaço em branco entre os dígitos, pra não misturar um número com o outro.

Depende da convenção. E o problema é justo esse: ninguém te avisa que existem duas.

Tem o argumento histórico, primeiro. Muita gente na comunidade matemática não considera ele como um número natural, diferente do 1, 2, 3, 4, 5, que são os números naturais, os números de contagem. O zero veio bem depois, com outra função, e por isso ficou de fora pra boa parte dessa turma.

Do outro lado, tem a norma. A ISO 80000-2 e a ABNT incluem o zero em $\mathbb{N}$, e essa é a convenção mais adotada nas escolas brasileiras hoje.

Na prática, o combinado é simples: se a prova não disser o contrário, siga a escola. O zero é natural, com $\mathbb{N} = \{0, 1, 2, \dots\}$. Quando você precisar dos naturais sem o zero, usa $\mathbb{N}^*$. O que não pode é escolher sem saber que existe escolha.

Os naturais têm uma ordem que nunca deixa dúvida. Se você tá falando de números naturais, o 2 vem antes, o 4 depois. Tá claro quem vem antes depois, sem a menor confusão.

Na reta numérica isso vira um desenho simples. Você marca o 0 num ponto e cada natural seguinte fica um passo à direita, sempre na mesma distância do anterior.

Os naturais não são uma ilha. Eles são o menor conjunto numérico, e cada conjunto seguinte nasce de uma pergunta que os naturais não conseguem responder.

Pensa comigo: estender para os números negativos se o número quatro gera um negócio abstrato imagina o número menos um o que é menos um cachorro. Não existe menos um cachorro no mundo. Mas existe uma dívida, um saldo negativo, e é essa necessidade que empurra a matemática pra frente.

Foi assim que os naturais ($\mathbb{N}$) se estenderam para os inteiros ($\mathbb{Z}$, com os negativos), depois para os racionais ($\mathbb{Q}$, com as frações) e para os reais ($\mathbb{R}$). Cada ampliação resolve algo que faltava no conjunto anterior, e os naturais continuam dentro de todos eles: $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$.

Com os naturais você faz as quatro operações, mas cada uma se comporta de um jeito que vale entender, não decorar.

Adição e multiplicação são fechadas em $\mathbb{N}$: somar ou multiplicar dois naturais dá sempre outro natural. As duas carregam as mesmas propriedades, a comutativa, a associativa e o elemento neutro (o 0 na soma, o 1 na multiplicação), mais a distributiva, que liga uma à outra.

Subtração e divisão já não são fechadas. $3 - 5$ escapa pros negativos e $7 \div 2$ escapa pras frações. É bem aí que os outros conjuntos entram, porque os naturais sozinhos não dão conta dessas contas.

E tem um caso que simplesmente não existe: dividir por zero não é definido. Brahmagupta, o cara que organizou as operações com o zero lá na história, deu conta de quase tudo: somar, multiplicar por zero, subtrair o zero, só a divisão por zero que ele não soube definir. A potenciação fecha o pacote como multiplicação de fatores iguais.