Totalities of Infinite Sets

Resumo Técnico: Totalidades de Conjuntos Infinitos

1. Problema e Motivação

O artigo aborda as limitações da definição clássica de cardinalidade de conjuntos infinitos proposta por Georg Cantor (1874). No sistema axiomático Zermelo-Fraenkel (ZFC), sob a Hipótese do Contínuo, os conjuntos infinitos de números reais são classificados apenas em dois tipos: enumeráveis ($\aleph_0$) ou não enumeráveis ($\aleph_1$).
O autor identifica que essa dicotomia é insuficiente para distinguir "tamanhos" ou propriedades estruturais entre conjuntos que possuem a mesma cardinalidade (bijetividade). Por exemplo, o conjunto dos números normais e o conjunto dos irracionais são ambos não enumeráveis, mas o artigo sugere que o conjunto dos números normais é "menor" em um sentido estrutural, algo que a cardinalidade de Cantor não captura. O objetivo é criar uma enhancement (melhoria) que complemente, e não substitua, a cardinalidade de Cantor, permitindo comparações mais granulares entre conjuntos infinitos arbitrários.

2. Metodologia

O autor propõe quatro construções distintas, todas baseadas na ideia de "Totalidade" (um termo usado para distinguir essas novas medidas da cardinalidade tradicional de bijeção). As metodologias variam desde refinamentos passo a passo até o uso de medidas externas em espaços métricos.

• Definição 1 (Cardinalidade Real Refinada):

  • Introduz uma notação baseada no conjunto e no seu complemento.
  • Conjuntos enumeráveis mantêm $|A| = \aleph_0$.
  • Conjuntos não enumeráveis são classificados pela cardinalidade do seu complemento ($R \setminus A$).
  • Exemplos: $|A| = \aleph_1 \setminus \aleph_1$ (complemento não enumerável), $|A| = \aleph_1 \setminus \aleph_0$ (complemento enumerável), $|A| = \aleph_1 \setminus n$ (complemento finito).
  • Estabelece uma ordem estrita: $n < \aleph_0 < \aleph_1 \setminus \aleph_1 < \aleph_1 \setminus \aleph_0 < \aleph_1 \setminus n$.

• Definição 2 (Processo Passo a Passo - "Totalidade" $\Omega_s$):

  • Utiliza um processo iterativo para particionar conjuntos de mesma cardinalidade em "totalidades" distintas.
  • Passo 1: Classifica conjuntos em $\Omega_0$ (enumerável), $\Omega_{1/2}$ (não enumerável com complemento não enumerável) e $\Omega_1$ (não enumerável com complemento enumerável).
  • Passo 2: Refina $\Omega_{1/2}$ baseando-se na topologia de intervalos fechados que contêm o conjunto (se o complemento dentro do intervalo é enumerável ou não).
  • A notação $\Omega_s$ (onde $s$ é um subscrito) distingue a totalidade da cardinalidade $\aleph_n$.

• Seção 3 (Pares Estratégicos de Totalidade via Medida Externa):

  • Propõe comparar subconjuntos de um espaço métrico $X$ com subconjuntos de seu conjunto das partes $P(X)$.
  • Método: Utiliza uma medida métrica externa ($m$) definida a partir da métrica do espaço $X$ (comprimento de bolas abertas).
  • Estende essa medida para $P(X)$ usando a métrica de Hausdorff.
  • Define a totalidade de um conjunto $A \subseteq X$ como $\Omega_{m(A)}$ e de $P \subseteq P(X)$ como $\Omega_{\mu(P)}$.
  • O objetivo é criar um "par estratégico de totalidade" onde $X$ e $P(X)$ podem ter totalidades iguais, desafiando a intuição de que $P(X)$ é sempre "maior" que $X$ em todos os aspectos, embora a cardinalidade de Cantor de $P(X)$ seja estritamente maior.

• Seção 4 (Processo de Passos Infinitos e Limite):

  • Generaliza o processo passo a passo para $n$ passos, refinando a totalidade baseada na soma dos comprimentos de uniões de intervalos abertos que cobrem o conjunto (ou seu complemento).
  • Define a Totalidade como Limite ($|A|_\infty$) quando $n \to \infty$.
  • As totalidades resultantes assumem três formas: $\Omega_a$, $\Omega_M$ (meio) e $\Omega_{M-a}$.
  • O teorema resultante afirma que entre quaisquer duas totalidades infinitas não enumeráveis, sempre existe outra, criando uma densidade de valores de totalidade.

3. Resultados Principais

• Classificação Mais Rica: O artigo demonstra que é possível criar uma hierarquia infinita de "tamanhos" para conjuntos infinitos que possuem a mesma cardinalidade de Cantor.
• Aplicação aos Números Normais: O autor aplica a Definição 1 ao conjunto dos números normais ($N$). Embora $N$ seja não enumerável, seu complemento também é não enumerável (devido à existência de bijeções para conjuntos de números não normais). Assim, $|N| = \aleph_1 \setminus \aleph_1$, enquanto os irracionais têm $|I| = \aleph_1 \setminus \aleph_0$. Isso formaliza a intuição de que os números normais são "menos frequentes" ou estruturalmente menores que os irracionais em um sentido específico.
• Igualdade de Totalidade entre $X$ e $P(X)$: No contexto da Seção 3, o Teorema 1 mostra que, para um espaço métrico $X$ com medida externa infinita, tanto $X$ quanto $P(X)$ podem ter a mesma totalidade ($\Omega_\infty$), apesar de terem cardinalidades de Cantor diferentes. Isso fornece uma nova métrica para comparar "tamanhos" de estruturas de tipos diferentes (pontos vs. conjuntos de pontos).
• Densidade de Totalidades: No processo de limite, o espaço de totalidades torna-se denso, permitindo distinções finas entre conjuntos que seriam indistinguíveis sob a cardinalidade clássica.

4. Contribuições Chave

1. Novo Paradigma de Medida: A introdução do conceito de "Totalidade" como uma medida que depende não apenas do conjunto, mas também de seu complemento e de propriedades topológicas/métricas (como cobertura por intervalos).
2. Complementaridade, não Substituição: O trabalho enfatiza que essas definições não invalidam a teoria de Cantor, mas adicionam camadas de refinamento que operam dentro do mesmo sistema axiomático.
3. Conexão entre Topologia e Cardinalidade: O uso de medidas externas e métricas de Hausdorff para definir "tamanhos" de conjuntos de conjuntos ($P(X)$) oferece uma ferramenta nova para análise matemática.
4. Refinamento de Indecidibilidade: A Seção 5 sugere que, embora a Hipótese do Contínuo permaneça indecidível no nível da cardinalidade de Cantor, o refinamento via "Totalidade" pode resolver questões de comparação de tamanho em níveis de definição mais específicos, tornando a matemática dedutiva mais "muscular".

5. Significado e Implicações

O artigo propõe uma mudança de perspectiva na teoria dos conjuntos infinitos. Em vez de focar apenas na existência de uma bijeção (que define a cardinalidade), ele foca na estrutura interna e no complemento dos conjuntos.

• Matematicamente: Oferece uma ferramenta para distinguir conjuntos "grandes" e "pequenos" dentro da mesma classe de cardinalidade, o que pode ter aplicações em análise real, teoria da medida e teoria da probabilidade (ex: análise de conjuntos de medida zero vs. conjuntos de primeira categoria).
• Filosoficamente: Sugere que a indecidibilidade em sistemas axiomáticos pode ser contornada através de refinamentos sucessivos de definições, permitindo que questões "indécidas" sejam resolvidas em níveis de granularidade mais fina, sem alterar os axiomas fundamentais.

Em suma, Johnston apresenta uma estrutura teórica robusta para quantificar a "quantidade" de infinito de forma mais matizada, utilizando ferramentas de topologia e medida para criar uma escala de totalidades que vai além da simples contagem de elementos.