A countable-support symmetric iteration separating PP from AC

Os autores constroem um modelo simétrico de ZF que satisfaz o Axioma da Escolha Dependente e o Princípio de Partição (PP), mas não o Axioma da Escolha (AC), demonstrando assim que o PP é independente do AC mesmo na presença de DC.

O essencial

Imagine que você está construindo uma cidade (o nosso Universo Matemático) onde as regras de organização são um pouco diferentes das que conhecemos no dia a dia.

Neste artigo, o autor, Frank Trevor Gilson, conta a história de como ele construiu uma cidade especial chamada M. O objetivo dele foi criar um lugar onde a maioria das regras de organização funciona perfeitamente, mas uma regra muito específica e poderosa não funciona.

Vamos usar uma analogia de uma Grande Biblioteca para entender o que ele fez.

1. As Regras do Jogo (O que é ZF, AC e PP?)

Na nossa biblioteca, temos três conceitos principais:

• ZF (A Estrutura Básica): São as regras fundamentais de como os livros podem ser organizados, empilhados e catalogados. Sem elas, a biblioteca vira uma bagunça total. O autor garante que a biblioteca M segue essas regras básicas.
• AC (O Grande Organizador): É uma regra que diz: "Se você tem uma pilha de caixas com coisas dentro, você pode sempre escolher uma coisa de cada caixa e colocar em uma nova pilha". Na matemática, isso permite ordenar qualquer coisa. É como ter um funcionário onipotente que sempre sabe qual livro pegar de cada estante.
• PP (O Princípio da Partição): É uma regra mais fraca. Ela diz: "Se você consegue tirar cópias de todos os livros de uma estante A e colocar na estante B (uma função sobrejetora), então você também consegue pegar um livro de B e colocá-lo de volta em A (uma função injetora)".
  • Em linguagem simples: Se você pode "espalhar" os livros de A por B, você também pode "recolher" B de volta para A.
  • No mundo normal (com AC), isso é óbvio. Mas o autor quer ver se é possível ter essa regra (PP) funcionando sem ter o funcionário onipotente (AC).

2. O Problema: Separar as Regras

A grande pergunta da matemática é: O Princípio da Partição (PP) é forte o suficiente para garantir que o Grande Organizador (AC) exista?
A resposta esperada era "sim", mas o autor quer provar que a resposta é "não". Ele quer uma biblioteca onde:

1. Você consegue "recolher" os livros (PP funciona).
2. Você consegue organizar listas finitas e bem definidas (DC funciona).
3. MAS você não consegue escolher uma coisa de cada caixa de uma pilha infinita e bagunçada (AC falha).

3. A Construção da Biblioteca (A Iteração Simétrica)

Para construir essa biblioteca M, o autor usa uma técnica complexa chamada Iteração Simétrica. Vamos simplificar:

• O Seed (A Semente): Ele começa com uma biblioteca pequena e caótica chamada N. Nela, ele plantou um "jardim de Cohen" (um conjunto de livros especiais, os Cohen reals). Esses livros são tão parecidos entre si que ninguém consegue dizer qual é o "primeiro" ou o "segundo". Eles são indistinguíveis. Isso já quebra a regra do Grande Organizador (AC) desde o início.
• A Construção Passo a Passo: O autor não constrói a biblioteca de uma vez. Ele adiciona "andares" (estágios) infinitos. Em cada andar, ele faz duas coisas:
  1. Força a Regra PP: Ele adiciona "máquinas" que garantem que, para qualquer tentativa de espalhar livros de uma estante para outra, exista sempre um caminho de volta. Ele faz isso de forma muito cuidadosa, garantindo que essas máquinas funcionem apenas para estantes específicas (chamadas de T), mas que isso seja suficiente para garantir a regra global.
  2. Preserva o Caos (ACWO): Ele garante que, embora consiga organizar listas bem definidas (como números), ele nunca consegue organizar o jardim de Cohen. Ele usa "escudos de simetria" (grupos de automorfismos) para garantir que, não importa como você tente olhar, os livros do jardim continuam indistinguíveis.

4. A Magia da "Diagonalização"

O truque mais inteligente do autor é como ele lida com os limites infinitos da construção.
Imagine que você está construindo um prédio infinito. Quando você chega no "teto" (um limite infinito), como você garante que as regras dos andares anteriores ainda valem?

O autor usa um sistema de "Diagonalização". É como se ele tivesse um guarda-costas especial que vigia todos os andares ao mesmo tempo. Se alguém tentar criar uma ordem no jardim de Cohen, o guarda-costas (usando uma simetria chamada diagonal lift) interage com a estrutura de forma que a ordem proposta é "cancelada" ou "desfeita". Isso garante que o jardim continue indistinguível, mantendo o AC quebrado, mesmo com todas as outras regras funcionando.

5. O Resultado Final

No final da construção, a biblioteca M existe e tem as seguintes propriedades:

• Funciona (ZF + DC): A estrutura é sólida, e você pode fazer escolhas em sequências infinitas (como contar 1, 2, 3...).
• A Regra PP Vale: Se você consegue espalhar informações de um lugar para outro, você consegue trazê-las de volta. A "partição" funciona.
• O AC Falha (¬AC): Você não consegue escolher um item de cada caixa em uma coleção infinita e desordenada. O jardim de Cohen continua sendo um caos indescritível.

Conclusão: Por que isso importa?

Antes deste trabalho, não se sabia se a Regra da Partição (PP) era forte o suficiente para forçar a existência do Grande Organizador (AC).
O autor provou que não. Você pode ter uma matemática onde a lógica de "recolher" funciona perfeitamente, mas onde a capacidade de "escolher" arbitrariamente em conjuntos infinitos falha.

É como se você pudesse dizer: "Se eu tenho chaves para todas as portas, consigo abrir a porta de volta" (PP), mas não conseguisse dizer "Qual chave abre qual porta" (AC) se as chaves fossem todas idênticas e misturadas.

O artigo é uma obra-prima de engenharia lógica, mostrando que o universo matemático é muito mais flexível do que pensávamos, permitindo cenários onde algumas regras de ordem existem e outras não.

Resumo técnico

Resumo Técnico: Separação do Princípio de Partição (PP) do Axioma da Escolha (AC)

1. O Problema e o Objetivo

O artigo aborda um problema fundamental na teoria dos conjuntos sem o Axioma da Escolha (ZF): a relação entre o Princípio de Partição (PP) e o Axioma da Escolha (AC).

• O Princípio de Partição (PP): Afirma que, sempre que existe uma sobrejeção $A \twoheadrightarrow B$, existe uma injeção $B \hookrightarrow A$.
• Contexto: Em ZFC (ZF + AC), o PP é trivialmente verdadeiro, pois toda sobrejeção admite uma inversa direita (um axioma da escolha).
• A Questão: É possível ter um modelo de ZF onde o PP é verdadeiro, mas o AC é falso? Ou seja, PP implica AC?
• Objetivo do Artigo: Construir um modelo transitivo simétrico $M$ que satisfaça ZF + DC (Escolha Dependente) + PP + ACWO (Escolha para Conjuntos Bem-Ordenáveis) + $\neg$AC. Isso demonstraria que o PP é estritamente mais fraco que o AC completo, mesmo na presença de princípios de escolha parciais como o DC e o ACWO.

2. Metodologia e Construção

A construção utiliza uma iteração simétrica de suporte contável de comprimento ordinal ($Ord$), partindo de um modelo base específico.

• Modelo Semente (Seed Model):

  • O ponto de partida é um modelo de Cohen simétrico $N$, obtido forçando com $Add(\omega, \omega_1)$ (adicionando $\omega_1$ reais de Cohen) sobre um modelo base $V \models ZFC$.
  • Neste modelo $N$, define-se o conjunto canônico de reais de Cohen $A = \{c_\alpha : \alpha < \omega_1\}$.
  • Fixam-se parâmetros $S := A^\omega$ e $T := \mathcal{P}(S)$ (calculados em $N$).
  • $N$ satisfaz ZF + DC, mas não AC (pois $A$ não é bem-ordenável). Além disso, $N \models SVC(S)$ (o conjunto $S$ "cobre" o universo no sentido de que todo conjunto é a imagem de $S \times \eta$ para algum ordinal $\eta$).

• A Iteração Simétrica:

  • O autor realiza uma iteração de comprimento $Ord$ com suporte contável sobre $N$.
  • Estágios Sucessores: Em cada estágio sucessor, adiciona-se um "pacote de forçamento" simétrico orbitado. Existem dois tipos de pacotes:
    1. Pacote PP ($Q_f$): Para cada sobrejeção $f: Y \twoheadrightarrow X$ com $X, Y \subseteq T$, adiciona-se uma seção (inversa direita) para $f$. Isso força o princípio de divisão localizado ($PP_{split} \restriction T$).
    2. Pacote ACWO ($R_f$): Para cada sobrejeção $f: S \times \eta \twoheadrightarrow \lambda$ (onde $\lambda < \aleph^*(S)$), adiciona-se uma inversa direita. Isso garante o princípio de escolha para conjuntos bem-ordenáveis (ACWO).
  • Mecanismo de Simetria: Para preservar a negação do AC global (garantindo que $A$ permaneça não bem-ordenável), o forçamento é equipado com um grupo de automorfismos e um filtro de subgrupos. O autor introduz uma técnica inovadora de "diagonal-lift/diagonal-cancellation" (levantamento e cancelamento diagonal).
    • Isso permite definir filtros limite $\omega_1$-completos e normais que são compatíveis com o suporte contável.
    • O cancelamento diagonal protege coordenadas específicas (como o conjunto $A$) de serem "quebradas" ou bem-ordenadas pelos novos genéricos, enquanto permite que as inversas para as sobrejeções em $T$ existam.

• Gerenciamento (Bookkeeping):

  • Utiliza-se um esquema de bookkeeping para garantir que toda sobrejeção relevante que aparece no modelo final seja tratada em algum estágio sucessor. O sistema verifica códigos de nomes hereditariamente simétricos e adiciona o pacote de forçamento apropriado se a sobrejeção ainda não tiver sido "dividida".

3. Contribuições Chave

• Separação de PP e AC: O resultado principal é a prova de que o PP não implica o AC, mesmo na presença de DC e ACWO.
• Técnica de Iteração Simétrica de Comprimento Ordinal: O artigo desenvolve uma infraestrutura robusta para iterar forçamentos simétricos de comprimento $Ord$ com suporte contável, resolvendo problemas técnicos sobre a definição de filtros limite e a preservação de propriedades como o DC.
• Mecanismo de Cancelamento Diagonal: A introdução de automorfismos diagonais que atuam em múltiplos pacotes simultaneamente é uma inovação técnica crucial para manter a não-bem-ordenabilidade do conjunto semente $A$ enquanto se força princípios de escolha localizados.
• Aplicação da Localização de Ryan-Smith: O autor utiliza e aplica o teorema de localização de Ryan-Smith, que estabelece que, sob a hipótese $SVC^+(T)$, o PP global é equivalente à conjunção de $PP \restriction T$ e $ACWO$. O modelo é construído exatamente para satisfazer esses dois componentes locais.

4. Resultados Principais

O modelo final $M$ satisfaz:

1. ZF + DC: O modelo é um modelo de ZF e satisfaz o Axioma da Escolha Dependente.
2. $\neg$AC: O conjunto $A$ (reais de Cohen) não é bem-ordenável em $M$.
3. ACWO: O princípio de escolha para famílias bem-ordenáveis de conjuntos não vazios é verdadeiro.
4. PP (Princípio de Partição): O PP é verdadeiro globalmente em $M$.
   • Lógica da prova: O forçamento garante $PP_{split} \restriction T$ (toda sobrejeção entre subconjuntos de $T$ tem inversa). A persistência de $SVC(S)$ garante $SVC^+(T)$. Pelo teorema de Ryan-Smith, $PP \restriction T + ACWO \implies PP$.
5. Consequências Derivadas:
   • O Princípio de Ordenação (todo conjunto admite uma ordem linear) é válido.
   • Os princípios Kinna-Wagner ($KWP_1$ e $KWP_2$) são válidos.

5. Significado e Impacto

• Hierarquia de Princípios de Escolha: O trabalho refina significativamente nossa compreensão da hierarquia de princípios de escolha fracos. Mostra que o PP, que parece ser uma versão "dual" do AC (injeção vs. sobrejeção), é logicamente independente do AC completo, mesmo quando combinado com princípios de escolha que parecem fortes (como DC e ACWO).
• Técnica de Forçamento Simétrico: A metodologia desenvolvida para iterar simetrias de comprimento $Ord$ com suporte contável abre caminho para a construção de outros modelos exóticos na teoria dos conjuntos sem escolha, permitindo o controle fino de quais princípios de escolha são preservados e quais são destruídos.
• Resolução de Questões Abertas: O artigo responde positivamente à questão de se é possível separar PP de AC em um modelo que ainda mantém DC e ACWO, preenchendo uma lacuna na literatura sobre modelos simétricos.

Em suma, o artigo de Gilson fornece uma construção técnica sofisticada que demonstra a independência do Princípio de Partição em relação ao Axioma da Escolha, utilizando uma iteração simétrica avançada com mecanismos de proteção diagonal para preservar a estrutura de "caos" (não-bem-ordenabilidade) do modelo base enquanto se introduz ordem local necessária para o PP.