Alternativa E - Conjunto dos irracionais
A questão aborda a teoria dos conjuntos, especificamente a distinção entre conjuntos finitos, infinitos enumeráveis e infinitos não enumeráveis.
Definições Fundamentais
Para resolver a questão, precisamos entender o conceito de enumerabilidade:
- Conjuntos Enumeráveis: São aqueles cujos elementos podem ser colocados em correspondência biunívoca (um a um) com os números naturais (\mathbb{N} = \{1, 2, 3, ...\}). Mesmo sendo infinitos, podemos listar seus elementos em uma sequência ordenada.
- Conjuntos Não Enumeráveis: São conjuntos infinitos onde não é possível listar todos os elementos em uma sequência. A cardinalidade desses conjuntos é estritamente maior que a do conjunto dos números naturais. O exemplo clássico citado na questão é o conjunto dos Reais (\mathbb{R}).
Análise das Alternativas
Vamos examinar cada opção apresentada:
- a. Conjunto dos múltiplos de 8: É um subconjunto dos Inteiros (\mathbb{Z}). Podemos listá-los assim: ..., -16, -8, 0, 8, 16, .... Logo, é enumerável.
- b. Conjunto dos números ímpares: Também é um subconjunto dos Inteiros (\mathbb{Z}). Podemos listá-los: $1, 3, 5, 7, ...$. Logo, é enumerável.
- c. Conjunto dos múltiplos de 1.000: Subconjunto de \mathbb{Z}. Lista: $0, 1000, 2000, ...$. Logo, é enumerável.
- d. Conjunto dos números primos: Embora infinitos, os primos formam um subconjunto dos Inteiros. Podem ser listados: $2, 3, 5, 7, 11, ...$. Logo, é enumerável.
- e. Conjunto dos irracionais: Os números irracionais (\mathbb{I}) são aqueles que não podem ser expressos como fração de inteiros (ex: \pi, \sqrt{2}). Este conjunto tem a mesma cardinalidade do conjunto dos Reais (\mathbb{R}). Georg Cantor demonstrou que não existe uma forma de listar todos os números irracionais em uma sequência. Logo, é não enumerável.
Conclusão
Os conjuntos formados por múltiplos, ímpares e primos são subconjuntos dos Inteiros (\mathbb{Z}) ou Racionais (\mathbb{Q}), que são conjuntos infinitos mas contáveis/numeráveis. Apenas o conjunto dos números irracionais possui uma densidade tal que torna impossível sua enumeração total.
Portanto, a única opção que representa um conjunto não enumerável é a letra E.