The reals as a subset of an ultraproduct of finite fields

Cet article présente de nouvelles méthodes pour construire des sous-ensembles externes de modèles non standards de l'arithmétique à partir d'ensembles internes, démontrant qu'aucune copie du corps des nombres réels ne peut être obtenue dans un ultraproduit de corps finis de cette manière, bien que des copies des réels algébriques, d'un corps hyperréel ou d'un corps algébriquement clos de cardinalité supérieure ou égale à celle du continuum puissent l'être.

L'essentiel

🌌 L'Univers des "Chiffres Fantômes" et le Mystère des Nombres Réels

Imaginez que vous êtes un architecte qui construit des univers mathématiques. Dans ce papier, l'auteur, Roee Sinai, explore un terrain de jeu très spécial : un monde hybride créé en mélangeant une infinité de petits mondes (des champs finis, comme des horloges qui ne comptent que jusqu'à un certain nombre) pour en faire un seul, gigantesque.

Ce monde hybride s'appelle un ultraproduit. C'est un peu comme si vous preniez des millions de calculatrices différentes, chacune avec ses propres règles, et que vous les fusionniez en une seule "Super-Calculatrice" capable de faire des choses que les calculatrices normales ne peuvent pas imaginer.

1. Le Problème : Où se cachent les vrais nombres ?

Dans notre monde réel, nous avons les nombres réels (comme $\pi$, $\sqrt{2}$, ou 3,14...). Ils sont infinis, continus et remplissent toutes les petites fissures entre les entiers.

Le problème posé par l'auteur est le suivant :

"Si je construis cette 'Super-Calculatrice' à partir de petits mondes finis, puis-je y trouver une copie exacte de nos nombres réels ? Et si oui, cette copie est-elle 'naturelle' (construite avec les outils de base du monde) ou est-elle un 'fantôme' (une structure cachée, impossible à voir directement) ?"

La réponse courte est : Oui, on peut trouver une copie des nombres réels, mais elle est toujours un 'fantôme'. Elle ne peut jamais être construite avec les briques de base du monde (ce qu'on appelle des ensembles "internes").

2. Les Outils de Construction : Les "Briques" et les "Filtres"

Pour expliquer comment on construit ces structures, l'auteur utilise trois types de "briques" :

• Les briques internes (Internal Sets) : Ce sont les objets que la Super-Calculatrice peut voir et manipuler directement. C'est comme des pièces de Lego standard.
• Les ensembles $\sigma$ (Sigma) : Imaginez que vous prenez une infinité de pièces de Lego standard et que vous les empilez les unes sur les autres. C'est une construction "en tas".
• Les ensembles $\delta$ (Delta) : Imaginez que vous prenez une infinité de pièces et que vous ne gardez que ce qui est commun à toutes. C'est une construction "en filtre".
• Les "Coupes" (Cuts) : Imaginez une ligne de nombres. Une coupe, c'est comme un couteau qui tranche la ligne en deux : tout ce qui est à gauche est dans le groupe, tout ce qui est à droite en est exclu.

3. La Grande Découverte : Le Théorème de l'Architecte

L'auteur démontre trois choses fondamentales avec des analogies amusantes :

A. Les nombres réels sont trop "élégants" pour être des tas de Lego ($\sigma$) ou des filtres ($\delta$).
Si vous essayez de construire les nombres réels en empilant des pièces de Lego standard ($\sigma$) ou en filtrant des pièces ($\delta$), vous échouerez. Les nombres réels sont trop complexes et continus pour être faits de cette manière dans ce monde hybride. Ils sont toujours des structures "externes", invisibles aux yeux directs de la machine.

B. Mais on peut les "piéger" avec un couteau spécial.
L'auteur montre qu'on peut construire une structure qui contient les nombres réels en utilisant une fonction interne (un outil standard) et une coupe (un couteau).

• L'analogie : Imaginez que vous avez un filet de pêche (la fonction) et que vous décidez de ne garder que les poissons qui pèsent moins de 10 kg (la coupe). Le résultat est un ensemble "presque interne".
• L'auteur prouve que si vous choisissez la bonne "coupe", vous pouvez piéger une version des nombres réels (ou des nombres complexes) dans ce filet.

C. La différence entre le "Vrai" et le "Presque".

• Si le monde hybride contient la racine carrée de -1 (un nombre imaginaire), on peut construire un monde qui ressemble au plan complexe (tous les nombres imaginaires et réels).
• Si le monde hybride ne contient pas la racine de -1, on peut construire un monde qui ressemble aux nombres réels "parfaits" (un corps réel clos).

4. Pourquoi est-ce important ?

C'est comme si l'auteur disait :

"Vous ne pouvez pas construire une réplique parfaite de l'Océan (les nombres réels) en utilisant uniquement des seaux d'eau (les ensembles internes). Mais vous pouvez utiliser un tamis spécial et une règle précise pour capturer une partie de l'océan qui se comporte exactement comme l'océan, même si elle n'est pas faite de seaux."

Cela nous aide à comprendre la frontière entre ce qui est "construit" (défini clairement) et ce qui est "existant" (mais caché) dans les mathématiques avancées. Cela montre que même dans un monde fait de pièces finies et simples, la complexité infinie des nombres réels peut émerger, mais toujours sous une forme un peu mystérieuse et insaisissable.

En résumé

Ce papier est une carte au trésor mathématique. Il nous dit :

1. Non, vous ne pouvez pas construire les nombres réels avec les outils de base de ce monde hybride.
2. Oui, vous pouvez les construire en utilisant des outils un peu plus sophistiqués (des coupes et des fonctions), mais cela crée des structures qui sont "presque" internes.
3. Il existe des milliards de façons différentes de faire cela, ce qui signifie que les nombres réels peuvent se cacher dans ce monde de mille manières différentes, sans qu'aucune ne soit "plus vraie" que les autres.

C'est une exploration fascinante de la façon dont l'infini et le continu peuvent naître de l'infinité de structures finies.

Résumé technique

Voici un résumé technique détaillé de l'article « The reals as a subset of an ultraproduct of finite fields » de Roee Sinai, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la logique mathématique, spécifiquement l'étude des modèles non standards de l'arithmétique et des ultraproduits de corps finis.

• Contexte : Il est bien établi (via des résultats antérieurs de [2], [5], [4], [8]) que le corps des nombres réels $\mathbb{R}$ peut être plongé dans un ultraproduct de corps finis premiers $\tilde{F} = \prod \mathbb{F}_p / \mathcal{F}$. Cependant, une copie de $\mathbb{R}$ dans un tel modèle ne peut jamais être un ensemble interne (c'est-à-dire définissable par une formule du langage du modèle non standard), car cela impliquerait que $\mathbb{R}$ serait l'ultraproduit de sous-corps de $\mathbb{F}_p$, ce qui est impossible car aucun $\mathbb{F}_p$ ne possède de sous-corps propre.
• Question centrale : Si $\mathbb{R}$ ne peut pas être interne, peut-il être construit de manière « presque interne » ? Plus précisément, l'auteur cherche à déterminer si des copies de $\mathbb{R}$ peuvent être obtenues via des opérations simples sur des ensembles internes (unions/intersections dénombrables) ou via des fonctions internes appliquées à des coupes (cuts) dans les entiers non standards.
• Objectif : Classifier la complexité des sous-ensembles externes de ces ultraproducts et déterminer si des structures riches comme $\mathbb{R}$ ou ses clôtures algébriques peuvent être construites de manière « presque interne ».

2. Méthodologie

L'auteur utilise la théorie des modèles, en particulier les propriétés de saturation des modèles non standards ($\aleph_1$-saturation) et la théorie des ensembles internes/externes.

• Définitions clés :
  • Ensemble $\sigma$ : Une union dénombrable d'ensembles internes.
  • Ensemble $\delta$ : Une intersection dénombrable d'ensembles internes.
  • Ensemble « presque interne » (Almost internal) : Un ensemble de la forme $f^{-1}[C]$, où $f$ est une fonction interne et $C$ est une coupe (un sous-ensemble de $\mathbb{^*N}$ fermé vers le bas).
  • Champs pseudo-finis : $\mathbb{F}_{\hat{p}} = \{ \hat{n} \in \mathbb{^*N} \mid \hat{n} < \hat{p} \}$, où $\hat{p}$ est un nombre premier non standard.
• Outils techniques :
  • Fonctions de complexité ($f_Q$ et $f_{\bar{Q}}$) : L'auteur définit des fonctions internes mesurant la « complexité » d'un élément (basée sur la taille des numérateurs/dénominateurs pour $\mathbb{Q}$, ou la taille des matrices et coefficients pour les nombres algébriques).
  • Coupes ($C$) : L'étude de coupes spécifiques dans $\mathbb{^*N}$ (comme $C_{\hat{p}}$) définies par des conditions de satisfaction de formules du premier ordre (ex: existence de racines pour des polynômes de degré impair).
  • Saturation : Utilisation de la saturation $\aleph_1$ pour prouver l'existence d'éléments réalisant des types spécifiques, permettant de construire des sous-corps saturés.

3. Contributions et Résultats Principaux

Les résultats sont divisés en deux cas selon que le champ $\mathbb{F}_{\hat{p}}$ contient ou non une racine carrée de $-1$ (c'est-à-dire si $i \in \mathbb{F}_{\hat{p}}$).

A. Impossibilité de construction simple pour $\mathbb{R}$

• Théorème 0.5 & 0.6 : Aucune copie de $\mathbb{R}$ dans $\mathbb{F}_{\hat{p}}$ ne peut être un ensemble $\sigma$, un ensemble $\delta$, ni un ensemble « presque interne ».
  • Preuve (cas sans $\sqrt{-1}$) : Si $\mathbb{R}$ était $\sigma$, il serait dénombrable (contradiction). S'il était $\delta$ ou presque interne, on pourrait l'énumérer ou définir un ordre interne, ce qui contredit la nature de $\mathbb{R}$ dans un champ pseudo-fini (qui ne possède pas de racine de $-1$ et donc pas d'ordre total interne compatible avec la structure de corps réel clos).

B. Construction de sous-corps « presque internes » contenant $\mathbb{R}$

L'auteur montre que bien que $\mathbb{R}$ lui-même ne soit pas constructible de cette manière, il existe des sous-corps « presque internes » qui contiennent $\mathbb{R}$ et possèdent des propriétés algébriques fortes.

• Cas sans $\sqrt{-1}$ (Corps réel clos) :

  • Il existe une coupe $\delta$ ($C_{\hat{p}}$) telle que $R^\delta = f_{\bar{Q}}^{-1}[C_{\hat{p}}]$ est un corps réel clos $\aleph_1$-saturé.
  • Ce corps contient une copie de $\mathbb{R}$.
  • Il existe au moins $2^{\mathfrak{c}}$façons d'immerger$\mathbb{R}$ dans ce corps.
  • En revanche, si l'on utilise une coupe $\sigma$ (union dénombrable), le corps obtenu est réel clos mais n'est pas $\aleph_1$-saturé.

• Cas avec $\sqrt{-1}$ (Corps algébriquement clos) :

  • Si $\mathbb{F}_{\hat{p}}$ contient $i$, alors $f_{\bar{Q}}^{-1}[C_{\hat{p}}]$ est un corps algébriquement clos de cardinalité au moins $\mathfrak{c}$ (le continu).
  • Ce corps contient $2^{\mathfrak{c}}$copies de$\mathbb{R}$.
  • Des résultats similaires s'appliquent aux constructions $\sigma$ et $\delta$.

C. Structures algébriques intermédiaires

• L'article explore des restrictions sur les paramètres des matrices utilisées pour définir les nombres algébriques (taille, dénominateurs, bornes de coefficients).
• Il montre que certaines restrictions mènent à des anneaux (comme les entiers algébriques réels) et non à des corps, tandis que d'autres permettent de reconstruire $\mathbb{Q}$ ou $\mathbb{R}$.
• Une section importante (Appendice A) discute des coupes de partition (partition cuts) et montre que sous certaines hypothèses sur l'ultrafiltre, il existe des coupes qui ne sont ni $\sigma$ ni $\delta$, prouvant ainsi la richesse de la hiérarchie des ensembles externes.

4. Signification et Implications

1. Limites de la constructibilité : L'article établit une frontière rigoureuse entre ce qui est « facilement » constructible (ensembles internes, unions/intersections dénombrables) et la complexité inhérente de $\mathbb{R}$ dans les modèles non standards. $\mathbb{R}$ est trop complexe pour être capturé par des opérations dénombrables simples sur des ensembles internes.
2. Existence de structures riches : Malgré l'impossibilité de construire $\mathbb{R}$ directement, l'article démontre qu'on peut construire des environnements (« presque internes ») qui sont des corps réels clos ou algébriquement clos très riches (saturés), capables d'abriter $\mathbb{R}$. Cela offre de nouvelles perspectives pour l'étude de l'analyse non standard et de la théorie des modèles des corps réels.
3. Diversité des plongements : Le résultat montrant l'existence de $2^{\mathfrak{c}}$copies de$\mathbb{R}$ dans ces structures souligne l'absence de structure canonique ou « préférée » pour l'immersion des réels dans ces ultraproducts, renforçant l'idée que ces copies sont essentiellement arbitraires du point de vue du modèle.
4. Outils nouveaux : La définition et l'analyse des ensembles « presque internes » via des coupes et des fonctions de complexité constituent une contribution méthodologique significative pour la manipulation d'ensembles externes dans les modèles non standards.

En résumé, ce papier répond négativement à la question de savoir si $\mathbb{R}$ peut être construit simplement à partir d'ensembles internes, mais répond positivement à la question de savoir si des structures algébriques contenant $\mathbb{R}$ et possédant des propriétés de saturation peuvent être ainsi construites, ouvrant la voie à une compréhension plus fine de la topologie et de l'algèbre des modèles non standards.