Totalities of Infinite Sets

Aquí presento un resumen técnico detallado del artículo "Totalities of Infinite Sets" (Totalidades de Conjuntos Infinitos) de William Johnston, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda las limitaciones de la definición clásica de cardinalidad de conjuntos infinitos propuesta por Georg Cantor en 1874. Según la teoría de conjuntos estándar (sistema ZFC), dos conjuntos tienen la misma cardinalidad si existe una biyección entre ellos. Bajo la Hipótesis del Continuo, los conjuntos de números reales se clasifican principalmente en dos categorías: numerables ($\aleph_0$) o no numerables ($\aleph_1$).

El problema central identificado por el autor es que esta dicotomía es insuficiente para distinguir matices entre diferentes conjuntos infinitos que, aunque comparten la misma cardinalidad de Cantor, poseen propiedades estructurales o topológicas distintas. Por ejemplo, el conjunto de los números normales y el conjunto de los números irracionales tienen la misma cardinalidad ($\aleph_1$), pero el autor sugiere que existen diferencias cuantificables en su "tamaño" o densidad que la cardinalidad tradicional no captura. El objetivo es crear una noción de "totalidad" que complemente, en lugar de reemplazar, la cardinalidad de Cantor, permitiendo comparaciones más finas entre conjuntos infinitos y entre un espacio métrico $X$ y su conjunto potencia $P(X)$.

2. Metodología

El autor propone un marco metodológico basado en la definición de "totalidad" ($\Omega$) a través de cuatro construcciones distintas, utilizando herramientas de teoría de la medida, topología y procesos iterativos:

• Definición Basada en el Complemento (Definición 1): Se introduce una notación modificada para conjuntos no numerables basada en la cardinalidad de su complemento en $\mathbb{R}$. Se distinguen casos como $\aleph_1 \setminus \aleph_1$ (complemento no numerable), $\aleph_1 \setminus \aleph_0$ (complemento numerable) y $\aleph_1 \setminus n$ (complemento finito).
• Proceso Paso a Paso (Definición 2): Se utiliza un enfoque iterativo para refinar la totalidad.
  • Paso 1: Clasifica conjuntos en $\Omega_0$ (numerables), $\Omega_{1/2}$ (no numerables con complemento no numerable) y $\Omega_1$ (no numerables con complemento numerable).
  • Paso 2: Subdivide los conjuntos de la categoría intermedia ($\Omega_{1/2}$) basándose en la propiedad de que los intervalos cerrados que los contienen tengan complementos numerables o no. Esto permite distinguir, por ejemplo, al conjunto de Cantor de un intervalo no vacío.
• Uso de la Medida Exterior Métrica (Sección 3): Se emplea la medida exterior métrica en un espacio métrico $(X, d)$ para definir totalidades.
  • Se define una medida exterior $m$ basada en la longitud de diámetro de bolas abiertas ($m(B_r(x)) = 2r$).
  • Se extiende este concepto al conjunto potencia $P(X)$ utilizando la métrica de Hausdorff ($d_H$).
  • El objetivo es crear un "par de totalidades estratégicas" que permita comparar subconjuntos de $X$ con subconjuntos de $P(X)$, algo que la cardinalidad de Cantor prohíbe (ya que $|P(X)| > |X|$).
• Proceso de Infinitos Pasos y Límite (Sección 4): Se generaliza el proceso paso a paso a $n$ pasos, donde la totalidad se define mediante la capacidad de cubrir el conjunto (o su complemento) con uniones numerables de intervalos abiertos cuya suma de longitudes cae en intervalos específicos ($[k/2^n, (k+1)/2^n)$). Finalmente, se define la totalidad como un límite cuando $n \to \infty$, generando un espectro continuo de valores $\Omega_s$.

3. Contribuciones Clave

El artículo introduce varios conceptos teóricos novedosos:

1. Noción de "Totalidad" ($\Omega$): Una nueva etiqueta para conjuntos infinitos que preserva la cardinalidad de Cantor pero añade una jerarquía interna basada en propiedades topológicas y métricas. Se distingue claramente de $\aleph_n$ mediante la notación $\Omega_s$.
2. Comparabilidad de Espacios y sus Potencias: Mediante el uso de la métrica de Hausdorff y la medida exterior, el autor demuestra que es posible asignar la misma "totalidad" a un espacio métrico $X$ y a su conjunto potencia $P(X)$ (Teorema 1). Esto desafía la intuición de Cantor sobre el tamaño absoluto, sugiriendo que bajo ciertas métricas, ambos pueden considerarse "igualmente grandes" en términos de totalidad.
3. Refinamiento de la Hipótesis del Continuo: La metodología permite distinguir entre conjuntos que son indistinguibles bajo la cardinalidad estándar (como el conjunto de Cantor y un intervalo), proporcionando una herramienta para analizar la estructura interna de los conjuntos no numerables.
4. Estructura de Orden en Totalidades: Se establece un orden estricto para las totalidades (ej. $\Omega_a < \Omega_b$, $\Omega_{M-b} < \Omega_{M-a}$), creando un sistema de clasificación más granular que el sistema de alephs.

4. Resultados Principales

• Teorema 1 (Par de Totalidades Estratégicas): Se demuestra que para cualquier espacio métrico $(X, d)$, es posible definir una medida exterior métrica en $X$ y una correspondiente en $P(X)$ mediante la métrica de Hausdorff. Bajo esta construcción, conjuntos de tipos diferentes (subconjuntos de $X$ vs. subconjuntos de $P(X)$) pueden tener la misma totalidad. Por ejemplo, el intervalo $A=(-1, 1)$ y su conjunto potencia $P(A)$ tienen la misma totalidad $\Omega_2$.
• Teorema 2 (Densidad de Totalidades): En el límite del proceso infinito, no existe ninguna totalidad entre $\Omega_{-1}$ (conjuntos numerables) y $\Omega_0$ (conjuntos de medida de cobertura pequeña), pero entre cualquier dos totalidades infinitas no numerables, siempre existe otra. Esto implica una estructura densa de valores de totalidad.
• Aplicación a Números Normales: El autor aplica la Definición 1 para mostrar que el conjunto de números normales $N$ tiene una totalidad estrictamente menor que la de los números irracionales ($\aleph_1 \setminus \aleph_1$ vs. $\aleph_1 \setminus \aleph_0$), alineándose con la intuición de que los números normales son "raros" en ciertos contextos, a pesar de ser no numerables.
• Existencia de Límites: Se prueba que la totalidad definida como límite existe siempre y se relaciona con la medida exterior de Lebesgue, ofreciendo tres formas de totalidades no numerables: $\Omega_a$, $\Omega_M$ (medio) y $\Omega_{M-a}$.

5. Significado e Implicaciones

El trabajo tiene un significado profundo tanto en matemáticas puras como en filosofía de la matemática:

• Matemáticas: Ofrece una herramienta para "muscular" la matemática deductiva. Al refinar las definiciones dentro de un sistema axiomático existente (ZFC) sin alterar los axiomas, se pueden resolver ambigüedades o "indecidibles" a nivel de refinamiento. Por ejemplo, la Hipótesis del Continuo sigue siendo indecidible en el nivel de cardinalidad de Cantor, pero la noción de totalidad permite hacer distinciones finas que el sistema original no podía capturar.
• Filosofía: El autor sugiere que la existencia de indecidibles en cualquier sistema axiomático consistente no es un callejón sin salida, sino una invitación a refinar las definiciones paso a paso. Esto propone una visión dinámica donde la incompletitud se mitiga mediante la creación de capas de definición más detalladas.
• Aplicabilidad: La metodología es aplicable a espacios de Hilbert y Banach (como $L^2(\mathbb{R})$), permitiendo comparaciones de tamaño en contextos de análisis funcional que van más allá de la simple biyección.

En resumen, Johnston propone un sistema de "totalidades" que enriquece la teoría de conjuntos al introducir una dimensión métrica y topológica a la noción de tamaño infinito, permitiendo comparaciones que la cardinalidad de Cantor considera imposibles o triviales.