Defina os seguintes conjuntos numéricos:
(a) Naturais
(a) Naturais
Passo 1
O enunciado pede que eu defina o conjunto dos números naturais, isto é, fornecer a definição do conjunto chamado “naturais” e esclarecer como ele é representado. Informação dada pelo enunciado: apenas a palavra “Naturais” — pedir definição.
Passo 2
Definição usual (duas convenções principais). Existe uma convenção que inclui o zero e outra que não inclui. Escreve-se normalmente:
ou, por outra convenção,
Ambas aparecem em livros; por isso, em prova, confirme qual convenção seu professor usa (muitos matemáticos preferem incluir
, muitos cursos de engenharia usam a versão começando em
).
Passo 3
O que significa essa notação, explicado passo a passo:
- O símbolo
(ou ) denota o conjunto dos números naturais. - A notação em chaves
lista os elementos do conjunto. - Os pontos de reticência
indicam continuação indefinida seguindo o mesmo padrão: depois de vem , depois vem , e assim por diante. - Cada elemento tem um sucessor bem definido: o sucessor de
é . Exemplo: o sucessor de é , o sucessor de é , etc.
Passo 4
Propriedades básicas (úteis para entender e usar os naturais em prova):
- Fechamento para adição: se
e então . Exemplo: e . - Fechamento para multiplicação: se
então . Exemplo: . - Não fechados para subtração: se
não é garantido que . Exemplo: , e . - Não fechados para divisão:
e mas .
Essas observações ajudam a saber quando é necessário mudar de conjunto (por exemplo, para os inteirosao permitir subtração, ou para os racionais ao permitir divisão não inteira).
Passo 5
Princípio do bom ordenamento (well-ordering principle) — uma propriedade muito usada em provas:
- Afirmação: todo subconjunto não vazio de
tem um menor elemento. - Significado prático: se você tem um conjunto de naturais com pelo menos um elemento, sempre existe um elemento desse conjunto que é o menor (não existe uma sequência decrescente infinita).
- Uso em prova: serve para justificar argumentos por mínima contradição ou para iniciar provas por indução estrutural.
Passo 6
Peano (intuição rápida): os naturais podem ser construídos formalmente a partir de axiomas (os axiomas de Peano). Em linguagem simples, os axiomas dizem:
Esses axiomas formam a base formal que garante que os naturais se comportam como esperamos.
Passo 7
Indução matemática — como usar na prova (passo a passo) com um exemplo concreto.
Enunciado-exemplo: provar que para todo
.
Enunciado-exemplo: provar que
- Base (
): e . OK. - Hipótese de indução: suponha que para um
fixo valha . - Passo indutivo: então
Colocando em evidência
:
Isso é exatamente a fórmula com
substituído por
. Logo, por indução, a fórmula vale para todo
.
Explicando: a indução funciona porque os naturais têm sucessor e o princípio de Peano garante que propagar a propriedade do caso base por sucessores cobre todo o conjunto.
Explicando: a indução funciona porque os naturais têm sucessor e o princípio de Peano garante que propagar a propriedade do caso base por sucessores cobre todo o conjunto.
Passo 8
Representação e cardinalidade:
- Geometricamente, os naturais aparecem como pontos igualmente espaçados na reta numérica começando em
(ou em , conforme convenção). - Cardinalidade:
é infinito contável. Isso significa que existe uma enumeração que lista todos os elementos sem omitir nenhum. - Em provas rápidas, “contável” costuma significar que existe uma bijeção com
(por exemplo, também é contável).
Passo 9
Dicas práticas para prova (tom leve e motivador):
- Sempre verifique a convenção sobre
no enunciado; se não disser, deixe explícito qual convenção você está usando (escreva algo como “adoto ”). - Para mostrar que algo vale para todos os naturais, tente primeiro ver se indução é aplicável; é a ferramenta padrão.
- Para operações, lembre-se: adição e multiplicação ficam em
, subtração e divisão podem levar a conjuntos maiores ( ). - Se estiver inseguro, escreva exemplos numéricos pequenos (como
) para testar sua intuição antes de formalizar a prova.
Força aí — com esses pontos você já consegue usar os naturais com segurança nas questões.