Em quais situações a hipótese do contínuo é falha?
Passo 1
Você perguntou: “Em quais situações a hipótese do contínuo é falha?”
O enunciado não dá mais informações. Vou entender a pergunta como: em que situações a Hipótese do Contínuo (a afirmação sobre o tamanho do conjunto dos reais) deixa de valer — isto é, quando existe um modelo em que ela é falsa. Vou listar o que vou precisar falar/usar: os conceitos de cardinalidade, -s, o tamanho do contínuo
, o que significa que uma hipótese é “falha” no sentido da teoria dos conjuntos (modelos e consistência), e os resultados principais que mostram que a Hipótese do Contínuo pode ser falsa em muitos modelos (principalmente o método da força/forcing de Cohen).
O enunciado não dá mais informações. Vou entender a pergunta como: em que situações a Hipótese do Contínuo (a afirmação sobre o tamanho do conjunto dos reais) deixa de valer — isto é, quando existe um modelo em que ela é falsa. Vou listar o que vou precisar falar/usar: os conceitos de cardinalidade,
Passo 2
O que é exatamente a Hipótese do Contínuo?
A Hipótese do Contínuo (HC) afirma que não existe cardinal estritamente entre e o cardinal do conjunto dos reais. Em símbolos:
A Hipótese do Contínuo (HC) afirma que não existe cardinal estritamente entre
Aqui:
-
é o cardinal dos naturais (o menor infinito), -
é o sucessor cardial de (o menor cardinal estritamente maior que ), -
é o cardinal do conjunto das partes de , que tem a mesma cardinalidade que (o contínuo).
Passo 3
O que significa dizer que a Hipótese do Contínuo é “falha”?
Dizer que HC é falha significa que, em certo modelo da teoria dos conjuntos (tipicamente um modelo de ), a igualdade
não é verdadeira; ou seja,
Dizer que HC é falha significa que, em certo modelo da teoria dos conjuntos (tipicamente um modelo de
no modelo considerado — existe então um cardinal estritamente entre
e
. Em termos lógicos, HC é uma sentença independente se nem
prova-a nem prova a sua negação; mas pode ser verdadeira em alguns modelos de
e falsa em outros.
Passo 4
Breve explicação sobre modelos e consistência (para entender “situações”):
- Um modelo é uma interpretação das axiomas de
onde todas as sentenças prováveis são avaliadas. - Quando se diz que HC pode ser “falha”, quer-se dizer que existem modelos de
nos quais a sentença é falsa. - Resultado central: Kurt Gödel provou que
não contradiz HC (isto é, HC é consistente com se for consistente) construindo o universo construtível , onde HC é verdadeira. Paul Cohen provou que a negação de HC também é consistente com (novamente, se for consistente) usando o método da força (forcing). Portanto HC é independente de .
Passo 5
Como se obtém modelos em que HC falha — ideia intuitiva do forcing:
- Forcing é uma técnica que constrói, a partir de um modelo
de , um modelo maior que contém novos subconjuntos de (novos reais). Ao adicionar esses novos reais de forma controlada, consegue-se aumentar o cardinal . - Dependendo de como se faz a força, é possível atingir diferentes valores para
. Assim, em muitos modelos construídos por forcing obtém-se
mostrando que HC (que exige
) falha nesses modelos.
Passo 6
Exemplos concretos (sem provas técnicas) de situações em que HC falha
- Modelos de Cohen: Cohen mostrou que existe um modelo de
onde HC é verdadeira. Em versões posteriores do método, constrói-se um modelo com
portanto HC falha aí.
- Martin’s Axiom + negação de HC: é comum considerar axiomas adicionais como a Axioma de Martin (MA). Em muitas combinações uma consegue modelos em que
(por exemplo ), então HC falha nesses modelos. - Teorema de Easton: mostra que, sujeito a certas restrições, a função que manda um cardinal regular
em pode ser praticamente qualquer função não-decrecente que respeite cofinalidade. Isso permite construir modelos em que o comportamento do exponencial cardinal é bem diferente do previsto por HC, incluindo muitas situações em que HC falha.
Passo 7
Intuição prática: quando encontro HC falhando?
- Sempre que se trabalha num modelo de
ao qual se adicionaram novos subconjuntos de (novos reais) de modo que o número desses subconjuntos ultrapasse , então naquele modelo — HC falha. - Em termos menos técnicos: se o universo de conjuntos considerado tem “mais” reias do que o mínimo possível que faria HC valer, então HC é falsa nesse universo.
Passo 8
Resumo das implicações e limites:
- HC é independente de
. Logo, não existe uma prova dentro de que torne HC sempre verdadeira nem sempre falsa. - “Situações em que HC é falha” correspondem exatamente aos modelos de
(construídos, por exemplo, por forcing) onde . Há muitos modos técnicos de construir esses modelos, e vários resultados (Cohen, Easton, combinações com MA, etc.) dão exemplos concretos. - A decisão sobre aceitar HC ou sua negação pode depender de axiomas adicionais escolhidos além de
.
Resposta
A Hipótese do Contínuo é falha em qualquer modelo de
em que
Concretamente, usando forçing (método de Cohen) ou outros axiomas adicionais (por exemplo combinações com Martin’s Axiom) pode-se construir modelos onde, por exemplo,
ou
para vários
; nesses modelos a Hipótese do Contínuo é falsa.