A teoria dos conjuntos criada por Georg Cantor é um dos pilares da matemática moderna. Ela trata de coleções de elementos chamadas de conjuntos e introduz conceitos profundos como infinitos contáveis e incontáveis.

1. O que é um conjunto?

Um conjunto é uma coleção bem definida de objetos distintos chamados elementos. Pode ser finito ou infinito.

Exemplos:

• A = {1, 2, 3}
• B = {x ∈ ℕ | x é par}

2. Cardinalidade (Tamanho de um conjunto)

A cardinalidade de um conjunto indica quantos elementos ele possui. Cantor introduziu a ideia de comparar tamanhos até mesmo de conjuntos infinitos.

Dois conjuntos têm a mesma cardinalidade se existe uma função bijetora entre eles.

Exemplo:

• ℕ = {1, 2, 3, ...}
• 2ℕ = {2, 4, 6, ...}

Existe uma bijeção entre ℕ e 2ℕ: basta multiplicar cada elemento de ℕ por 2.

3. Infinito enumerável vs. não enumerável

Cantor distinguiu dois tipos de infinitos:

• Enumerável (ou contável): é possível listar seus elementos (ℕ, ℤ, ℚ).
• Não enumerável (ou incontável): não é possível listar todos os elementos (ℝ, por exemplo).

4. Argumento da diagonal de Cantor

Cantor provou que os números reais entre 0 e 1 não podem ser enumerados, usando seu famoso argumento da diagonal.

A ideia é: mesmo que tentemos listar todos os números reais, sempre é possível construir um número novo que não está na lista, alterando os dígitos da diagonal.

1 → 0,a₁₁a₁₂a₁₃...

2 → 0,a₂₁a₂₂a₂₃...

3 → 0,a₃₁a₃₂a₃₃...

5. Conjuntos potênciais e números transfinitos

O conjunto das partes de um conjunto A, denotado por ℘(A), tem cardinalidade maior do que A.

Cantor definiu números transfinitos como tamanhos de conjuntos infinitos. O menor deles é:

• ℵ₀ (alef-zero): cardinalidade de ℕ.

6. Paradoxo de Cantor e Teoria Axiomática

A teoria de Cantor levou ao surgimento de paradoxos como o de Russell, o que motivou o desenvolvimento da teoria axiomática dos conjuntos, como a Zermelo-Fraenkel (ZF ou ZFC).

7. Tabela comparativa de conjuntos

8. Exemplos adicionais

• ℕ: {1, 2, 3, 4, ...} ? Contável
• ℚ: Todos os racionais como 1/2, -4/7 ? Contável
• ℝ: Inclui números irracionais como √2, π ? Incontável
• ℘(ℕ): Todas as combinações possíveis de subconjuntos de ℕ ? Incontável