Totalities of Infinite Sets

Titre : Totalités des Ensembles Infinites

Auteur : William Johnston
Domaine : Théorie des ensembles, Mesure, Topologie

1. Problématique

L'article s'attaque aux limitations de la définition classique de la cardinalité des ensembles infinis établie par Georg Cantor en 1874. Selon Cantor, deux ensembles ont la même cardinalité s'il existe une bijection entre eux. Dans le système d'axiomes Zermelo-Fraenkel (ZFC), sous l'hypothèse du continu, les ensembles réels infinis se divisent principalement en deux catégories : dénombrables ($\aleph_0$) et indénombrables ($\aleph_1$).

Le problème central identifié par l'auteur est que cette dichotomie est trop grossière pour distinguer des nuances structurelles au sein des ensembles infinis de même cardinalité. Par exemple, la cardinalité classique ne permet pas de différencier facilement l'ensemble des nombres normaux de l'ensemble des nombres irrationnels, bien que leurs propriétés topologiques et métriques diffèrent. L'objectif est de créer des « enhancements » (améliorations) qui complètent la cardinalité de Cantor sans la remplacer, en introduisant une notion de « totalité » capable de fournir des comparaisons plus fines entre des ensembles infinis, voire entre des ensembles et leurs ensembles de parties ($P(X)$).

2. Méthodologie

L'auteur propose quatre constructions distinctes basées sur des paradigmes différents de la bijection pure. La méthodologie repose sur trois axes principaux :

1. Définition par Complément (Section 1) :
   L'auteur redéfinit la cardinalité d'un ensemble réel $A$ en fonction non seulement de $|A|$, mais aussi de la cardinalité de son complémentaire $R \setminus A$.

   • Si $A$ est dénombrable : $|A| = \aleph_0$.
   • Si $A$ est indénombrable et son complémentaire est indénombrable : $|A| = \aleph_1 \setminus \aleph_1$.
   • Si le complémentaire est dénombrable : $|A| = \aleph_1 \setminus \aleph_0$.
   • Si le complémentaire est fini de taille $n$ : $|A| = \aleph_1 \setminus n$.
     Cette approche crée une hiérarchie stricte ($n < \aleph_0 < \aleph_1 \setminus \aleph_1 < \dots$) permettant de distinguer des ensembles comme les nombres normaux ($\aleph_1 \setminus \aleph_1$) des irrationnels.

2. Approche Étape par Étape (Section 2) :
   L'auteur introduit le concept de « totalité » (notée $\Omega_s$) via un processus itératif qui partitionne les ensembles selon des critères topologiques (ex: présence d'intervalles fermés contenant l'ensemble et la nature du complémentaire dans ces intervalles).

   • Étape 1 : Classification en $\Omega_0$ (dénombrable), $\Omega_{1/2}$ (indénombrable avec complémentaire indénombrable), $\Omega_1$ (indénombrable avec complémentaire dénombrable).
   • Étape 2 : Raffinement de la classe $\Omega_{1/2}$ en $\Omega_{1/3}$ et $\Omega_{2/3}$ basé sur la propriété de l'intersection avec les intervalles fermés.
     Ce processus peut être itéré indéfiniment, créant une infinité de niveaux de totalité pour des ensembles de même cardinalité de Cantor.

3. Utilisation de la Mesure Extérieure Métrique (Section 3) :
   Pour comparer des ensembles de types différents (ex: sous-ensembles de $X$ vs sous-ensembles de $P(X)$), l'auteur utilise une mesure extérieure métrique.

   • Sur un espace métrique $(X, d)$, la mesure d'une boule ouverte est définie par son diamètre ($2r$).
   • La mesure extérieure $m(A)$ est l'infimum des sommes des diamètres des recouvrements par des boules.
   • Une mesure de Hausdorff est ensuite construite sur l'espace des parties $P(X)$.
   • Cela permet de définir une « paire de totalités stratégiques » où $X$ et $P(X)$ peuvent avoir la même « totalité » (ex: $\Omega_\infty$) même si leurs cardinalités de Cantor diffèrent strictement ($|P(X)| > |X|$).

4. Processus à Étapes Infinies et Limite (Section 4) :
   L'auteur généralise l'approche par étapes en utilisant la longueur totale des recouvrements par intervalles ouverts.

   • À l'étape $n$, la totalité dépend de la somme des longueurs des intervalles couvrant $A$ (ou son complémentaire), divisée en tranches de taille $1/2^n$.
   • Une Totalité Limite est définie comme $\lim_{n \to \infty} |A|_n = \Omega_{s_\infty}$.
   • Cette limite est liée à la mesure extérieure de Lebesgue mais offre une granularité infinie, classant les ensembles en trois formes : $\Omega_a$, $\Omega_M$ (milieu), et $\Omega_{M-a}$.

3. Contributions Clés

• Concept de « Totalité » : Introduction d'une nouvelle métrique de comparaison pour les ensembles infinis qui conserve la cardinalité de Cantor mais ajoute une dimension structurelle (topologique ou métrique).
• Hiérarchie Fine des Ensembles Réels : Capacité à distinguer des ensembles comme l'ensemble de Cantor, les intervalles ouverts, et les ensembles de nombres normaux, qui sont tous de cardinalité $\aleph_1$ selon Cantor.
• Comparaison Trans-Structurelle : Développement d'un cadre permettant de comparer directement la « taille » d'un ensemble $X$ et de son ensemble de parties $P(X)$ en termes de totalité, contournant l'inégalité stricte de Cantor pour des fins d'analyse comparative.
• Réflexion sur l'Indécidabilité : Proposition que le raffinement de définitions au sein d'un système axiomatique peut offrir des résolutions locales à des problèmes indécidables (comme l'hypothèse du continu) au niveau de la définition affinée, sans modifier le système axiomatique sous-jacent.

4. Résultats Principaux

• Théorème 1 : L'existence d'une « paire de totalités stratégiques » entre un espace métrique $X$ et son ensemble de parties $P(X)$, où les deux espaces partagent la même valeur de totalité (ex: $\Omega_\infty$ si la mesure extérieure est infinie), malgré la différence de cardinalité de Cantor.
• Théorème 2 : Dans la définition de la totalité limite, il n'existe aucune totalité entre $\Omega_{-1}$ et $\Omega_0$, mais entre deux totalités infinies indénombrables, il existe toujours une autre totalité (densité).
• Application aux Nombres Normaux : Démonstration que l'ensemble des nombres normaux $N$ a une totalité strictement inférieure à celle des irrationnels, bien que tous deux soient indénombrables, reflétant la « rareté » structurelle des nombres normaux.
• Exemple Concret : Pour l'intervalle $A = (-1, 1)$, la totalité est $\Omega_2$. L'ensemble de ses parties $P(A)$ a également une totalité de $\Omega_2$ selon la mesure de Hausdorff dérivée, illustrant l'égalité de totalités malgré la différence de cardinalité.

5. Signification et Impact

Cet article propose un changement de paradigme dans l'analyse des ensembles infinis. Au lieu de se limiter à l'existence d'une bijection (cardinalité), il introduit une analyse quantitative et qualitative basée sur la topologie et la mesure.

• Mathématique : Cela enrichit la théorie des ensembles en fournissant des outils pour classer des ensembles de même cardinalité, offrant potentiellement de nouvelles perspectives sur des problèmes ouverts comme la nature des nombres normaux ou la structure de l'ensemble de Cantor.
• Philosophique : L'auteur suggère que l'indécidabilité (comme l'hypothèse du continu) peut être « résolue » localement par le raffinement des définitions. Cela renforce la puissance des mathématiques déductives en permettant de contourner les limites des systèmes axiomatiques par une précision définitionnelle accrue.
• Pratique : La méthode de la mesure extérieure permet d'appliquer ces concepts à des espaces fonctionnels complexes (espaces de Hilbert, Banach), ouvrant la voie à de nouvelles comparaisons de « tailles » dans l'analyse fonctionnelle.

En résumé, Johnston ne rejette pas Cantor, mais propose une « super-structure » de totalités qui permet de voir plus de détails dans l'infini, transformant une comparaison binaire (plus grand/petit) en un spectre continu et nuancé.