Totalities of Infinite Sets

Titolo: Totalità di Insiemi Infiniti

Autore: William Johnston
Fonte: arXiv:2512.09940v2 [math.GM]

1. Il Problema e il Contesto

Il lavoro nasce dalla necessità di potenziare la definizione classica di cardinalità degli insiemi infiniti proposta da Georg Cantor (1874). Secondo la teoria di Cantor, due insiemi hanno la stessa cardinalità se esiste una biiezione tra di essi. Nel sistema assiomatico Zermelo-Fraenkel (ZFC), assumendo l'Ipotesi del Continuo, gli insiemi di numeri reali hanno solo due possibili cardinalità infinite: numerabile ($\aleph_0$) o non numerabile ($\aleph_1$).

Il problema centrale affrontato dall'autore è la limitazione di questo approccio binario (o ternario se si considera l'ipotesi del continuo) nel distinguere la "grandezza" o la "struttura" di insiemi infiniti che, pur avendo la stessa cardinalità di Cantor, possiedono proprietà topologiche o geometriche diverse. L'obiettivo è creare un sistema di confronto che complementi (non sostituisca) la cardinalità di Cantor, permettendo di distinguere insiemi con la stessa cardinalità ma diverse caratteristiche di complementarità o misura.

2. Metodologia

L'autore propone quattro costruzioni distinte, raggruppate sotto il concetto di "Totalità". La metodologia si basa su tre pilastri principali:

1. Definizione Basata sul Complemento:
   Viene introdotta una nuova notazione per la cardinalità che tiene conto sia dell'insieme $A$ che del suo complemento $A^c$ (rispetto a $\mathbb{R}$).

   • Se $A$ è finito: $|A| = n$.
   • Se $A$ è numerabile infinito: $|A| = \aleph_0$.
   • Se $A$ è non numerabile e il complemento è non numerabile: $|A| = \aleph_1 \setminus \aleph_1$.
   • Se $A$ è non numerabile e il complemento è numerabile: $|A| = \aleph_1 \setminus \aleph_0$.
   • Se il complemento è finito di dimensione $n$: $|A| = \aleph_1 \setminus n$.
     Questa gerarchia permette di ordinare insiemi che Cantor considererebbe equivalenti (es. i numeri normali vs i numeri irrazionali).

2. Processo Step-by-Step (Passo dopo Passo):
   Si definisce una "totalità" ($\Omega_s$) attraverso un processo iterativo che partiziona gli insiemi in base a proprietà topologiche (come la capacità di essere contenuti in unioni di intervalli aperti di certa lunghezza totale).

   • Step 1: Classifica gli insiemi in base alla somma delle lunghezze degli intervalli aperti che li contengono (o il loro complemento).
   • Step $n$: Raffina la partizione dividendo gli intervalli di misura in $2^{2n}$ sottointervalli, creando una scala più granulare di totalità ($\Omega_{k/2^n}$).
   • Limite: La totalità finale è definita come il limite di questa sequenza quando $n \to \infty$, producendo valori reali continui o semi-continui.

3. Uso della Misura Esterna Metrica:
   Per confrontare insiemi di tipi diversi (es. sottoinsiemi di uno spazio metrico $X$ vs sottoinsiemi del suo insieme delle parti $P(X)$), l'autore utilizza la misura esterna metrica.

   • Si definisce una misura esterna $m$ su $X$ basata sui diametri delle palle aperte.
   • Si definisce una misura esterna di Hausdorff $\mu$ su $P(X)$ basata sulla metrica di Hausdorff indotta da $X$.
   • Questo permette di creare una "coppia di totalità strategica" dove insiemi di natura diversa (punti vs insiemi di punti) possono essere confrontati su una scala comune.

3. Contributi Chiave

• Nuova Gerarchia di Cardinalità: Introduzione di una scala ordinata che va oltre $\aleph_0$ e $\aleph_1$, permettendo di distinguere, ad esempio, l'insieme dei numeri normali (che ha una totalità specifica $\aleph_1 \setminus \aleph_1$) dai numeri irrazionali, basandosi sulla "rarità" o sulla struttura del loro complemento.
• Concetto di "Totalità" vs Cardinalità: La distinzione terminologica è cruciale: la cardinalità è determinata dalla biiezione, mentre la totalità è determinata da proprietà topologiche, metriche o di misura, permettendo una classificazione più fine.
• Confronto tra $X$ e $P(X)$: Il Teorema 1 dimostra che è possibile assegnare la stessa "totalità" a un insieme $A \subseteq X$ e al suo insieme delle parti $P(A) \subseteq P(X)$ (o a sottoinsiemi di $P(X)$), sfidando l'intuizione classica di Cantor secondo cui $|P(X)| > |X|$. Nella nuova metrica, se $X$ ha misura infinita, anche $P(X)$ può avere la stessa totalità infinita.
• Processo Limitare Infinito: La definizione di totalità come limite di un processo infinito (Teorema 2) crea una struttura densa di valori di totalità, dove tra due totalità non numerabili esiste sempre un'altra totalità.

4. Risultati Principali

• Esempio dei Numeri Normali: Viene dimostrato che l'insieme dei numeri normali $N$ ha una totalità strettamente inferiore a quella dei numeri irrazionali, riflettendo il fatto che i numeri normali sono "più rari" in termini di struttura, pur essendo entrambi non numerabili.
• Teorema 1 (Coppia Strategica): Per uno spazio metrico $(X, d)$, la misura esterna metrica su $X$ e la misura di Hausdorff su $P(X)$ formano una coppia che soddisfa quattro obiettivi strategici, permettendo confronti significativi tra insiemi di livelli gerarchici diversi.
  • Esempio: L'intervallo $A = (-1, 1)$ e il suo insieme delle parti $P(A)$ hanno la stessa totalità $\Omega_2$ quando si usa la metrica del valore assoluto.
• Teorema 2 (Densità): Nel sistema di totalità come limite, non esistono "buchi" tra $\Omega_{-1}$ e $\Omega_0$, ma tra qualsiasi due totalità non numerabili esiste sempre un'altra totalità, rendendo la scala densa.
• Raffinamento dell'Indecidibilità: L'autore suggerisce che, sebbene l'Ipotesi del Continuo rimanga indecidibile nel sistema assiomatico di base, il processo di raffinamento della definizione (la totalità) può risolvere le ambiguità a un livello di dettaglio superiore, rendendo la matematica deduttiva più "muscolosa".

5. Significato e Implicazioni

Il lavoro di Johnston offre una prospettiva innovativa sulla teoria degli insiemi, spostando il focus dalla pura esistenza di una biiezione (cardinalità) alla struttura interna e topologica degli insiemi (totalità).

• Impatto Teorico: Propone un framework che potrebbe essere utilizzato per analizzare la "dimensione" di insiemi in spazi metrici complessi (come spazi di Hilbert o Banach) e le loro iterazioni di insiemi delle parti, fornendo strumenti per confrontare oggetti matematici che la teoria classica considera incomparabili o semplicemente "più grandi".
• Filosofia Matematica: L'articolo solleva questioni profonde sulla natura delle definizioni matematiche e degli assiomi. Suggerisce che l'indescidibilità di certi problemi (come l'Ipotesi del Continuo) potrebbe essere gestita non cambiando gli assiomi, ma affinando le definizioni all'interno del sistema esistente, creando livelli di risoluzione che bypassano le limitazioni originali.
• Applicabilità: La metodologia basata sulla misura esterna e sulla metrica di Hausdorff è direttamente applicabile in analisi reale, topologia e teoria della misura, offrendo nuovi modi per quantificare la "grandezza" di insiemi frattali, insiemi di misura zero o insiemi densi.

In sintesi, il paper non nega la teoria di Cantor, ma la estende con un linguaggio più ricco ("totalità") per catturare sfumature geometriche e topologiche che la cardinalità classica trascura, proponendo un nuovo paradigma per la comparazione degli infiniti.