On real functions with graphs either connected or locally connected

Cet article établit une classification complète des graphes de fonctions réelles en démontrant l'existence de deux familles non homéomorphes de cardinalités distinctes (l'une de taille continue, l'autre de taille 2^c), en identifiant qu'il n'existe que dénombrablement de tels graphes localement connectés, et en caractérisant les topologies plus fines que la topologie euclidienne sur ℝ qui rendent l'espace séparable et localement connexe.

L'essentiel

Imaginez que le monde des mathématiques est une immense bibliothèque. Dans cette bibliothèque, il y a une section spéciale consacrée aux fonctions réelles. Pour faire simple, une fonction réelle est une règle qui prend un nombre (sur l'axe horizontal, disons le temps) et vous donne un autre nombre (sur l'axe vertical, disons la température).

Si vous tracez cette règle sur un papier, vous obtenez une courbe. C'est ce qu'on appelle le graphique de la fonction.

Ce papier de Gerald Kuba est une exploration fascinante de ces courbes, mais avec un twist : il ne s'intéresse pas seulement à leur forme, mais à la façon dont elles sont "connectées" entre elles, un peu comme des îles dans un océan.

Voici les grandes idées du papier, expliquées avec des analogies simples :

1. Le grand défi : Trouver des îles uniques et insurmontables

L'auteur veut prouver qu'il existe une quantité astronomique de courbes (fonctions) qui sont connectées (c'est-à-dire qu'on peut les dessiner d'un seul trait sans lever le crayon, même si le trait est très bizarre et saute partout).

• L'analogie : Imaginez que vous avez une boîte de Lego infinie. Vous voulez construire des châteaux (les courbes) qui sont tous d'une seule pièce (connectés).
• La découverte : Kuba montre qu'il existe deux types de ces châteaux :
  1. Les châteaux "fragiles" (Métrisables) : Il y en a une infinité, mais une infinité "petite" (comme le nombre de points sur une ligne). Ces châteaux sont bien rangés, prévisibles.
  2. Les châteaux "sauvages" (Denses) : Il y en a une infinité énorme, beaucoup plus grande que la précédente (aussi grande que l'ensemble de toutes les parties d'une ligne). Ces châteaux sont partout dans l'espace, ils sont si denses qu'ils touchent chaque coin de la pièce.

Le point crucial : Ces châteaux sont incomparables.
Cela signifie que si vous prenez deux châteaux différents de cette collection, vous ne pouvez jamais en prendre un et le transformer en une partie de l'autre, ni l'un dans l'autre. Ils sont comme des espèces animales totalement différentes : vous ne pouvez pas trouver un lion qui est une "sous-partie" d'un éléphant, ou vice-versa. Ils sont tous uniques et ne se ressemblent pas.

2. La différence entre "Connecté" et "Localement Connecté"

C'est ici que l'auteur fait une distinction subtile mais importante, comme la différence entre une chaîne et un collier de perles.

• Connecté (La chaîne) : Tout est lié. Si vous tirez d'un bout, tout bouge.
• Localement connecté (Le collier) : Non seulement tout est lié, mais si vous regardez un petit morceau de la chaîne, ce morceau est aussi bien lié.

La révélation du papier :
Dans le monde des fonctions réelles, c'est très spécial.

• Si une fonction est localement connectée (comme un collier de perles), elle est en fait très simple et classique (comme une ligne droite ou une courbe douce). Il n'y a qu'un nombre fini (ou dénombrable) de façons différentes de faire cela.
• Mais si on accepte des fonctions connectées mais pas localement connectées (des chaînes qui se brisent en petits morceaux si on regarde de très près), alors on retrouve la collection énorme et sauvage décrite plus haut.

L'analogie du "Tapis Roulant" :
Imaginez que vous marchez sur un tapis roulant (la fonction).

• Si le tapis est localement connecté, c'est un tapis lisse et continu. Vous pouvez marcher tranquillement.
• Si le tapis est connecté mais pas localement, c'est comme un tapis fait de millions de petits morceaux de papier collés les uns aux autres de façon chaotique. Vous pouvez marcher d'un bout à l'autre (c'est connecté), mais si vous regardez sous vos pieds, le sol est en lambeaux. C'est ce chaos qui permet d'avoir une infinité de variations impossibles à comparer.

3. La classification des "Règles du Jeu"

L'auteur s'intéresse aussi à la façon dont on définit la "proximité" sur la ligne des nombres réels.

• Normalement, on utilise la distance habituelle (la géométrie euclidienne) : deux nombres sont proches s'ils sont voisins sur la droite.
• Mais on peut inventer d'autres règles (d'autres topologies) pour dire ce qu'est "proche".

Le papier dit :

• Si vous voulez une règle qui garde la propriété "localement connecté", vous avez très peu d'options (un nombre dénombrable). C'est comme avoir un petit jeu de règles strictes.
• Si vous acceptez des règles plus "sauvages" (qui ne sont pas localement connectées), vous pouvez créer une quantité inimaginable de nouvelles règles, chacune créant un monde mathématique unique et incomparable aux autres.

4. La conclusion : L'ordre dans le chaos

En résumé, ce papier nous dit :

1. Le monde des fonctions continues et "bizarres" (mais connectées) est immense et rempli de structures uniques que l'on ne peut pas comparer entre elles.
2. Le monde des fonctions "bien rangées" (localement connectées) est petit et bien classé.
3. Il existe une frontière nette : dès qu'on quitte le monde "bien rangé", on plonge dans un océan de possibilités infinies où chaque fonction est un univers à part entière.

En une phrase :
Ce papier prouve que si l'on accepte un peu de chaos dans la façon dont les nombres sont reliés, on découvre une diversité infinie de mondes mathématiques, chacun unique et impossible à comparer à un autre, alors que le monde "sage" et ordonné est beaucoup plus restreint.

Résumé technique

Voici un résumé technique détaillé de l'article « On real functions with graphs either connected or locally connected » de Gerald Kuba, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse à la topologie des graphes de fonctions réelles $F: \mathbb{R} \to \mathbb{R}$, considérés comme des sous-espaces du plan euclidien $\mathbb{R}^2$. Le problème central est de classifier et de comparer ces graphes selon deux propriétés de connectivité distinctes :

• La connectivité (connectedness) : Le graphe est un ensemble connexe.
• La connexité locale (local connectedness) : Chaque point possède une base de voisinages connexes.

L'auteur cherche à déterminer la cardinalité des familles de tels graphes qui sont incomparables (c'est-à-dire qu'aucun n'est homéomorphe à un sous-espace propre d'un autre) et à comprendre comment ces graphes induisent des raffinements de la topologie usuelle de la droite réelle.

2. Méthodologie

L'approche de Kuba combine plusieurs outils avancés de la topologie générale et de la théorie des ensembles :

• Induction transfinie : Utilisée pour construire des familles de fonctions aux propriétés pathologiques (non mesurables, denses) en évitant soigneusement les ensembles de mesure nulle ou les sous-ensembles boréliens.
• Théorèmes de structure : Utilisation du théorème de Lavrentieff pour les plongements, du théorème de Kuratowski-Ulam pour les ensembles de catégorie, et des propriétés des ensembles $G_\delta$ et $F_\sigma$.
• Analyse des composantes : Étude fine des composantes connexes et des composantes par arcs (path-components) pour distinguer les espaces homéomorphes.
• Théorie des ultrafiltres et algèbre linéaire : Utilisation de la structure de $\mathbb{R}$ comme espace vectoriel sur $\mathbb{Q}$ et d'ultrafiltres sur des ensembles de cardinalité $\mathfrak{c}$ pour générer un nombre maximal de topologies non homéomorphes.
• Partitions d'intervalles : Classification des topologies localement connexes via les partitions de $\mathbb{R}$ en intervalles.

3. Contributions et Résultats Principaux

A. Graphes Connexes (Théorèmes 1, 2 et 3)

L'auteur établit une distinction fondamentale entre les graphes connexes métrisables complets et ceux qui ne le sont pas.

• Théorème 1 (Fonctions massives et incomparables) : Il existe $2^{\mathfrak{c}}$ fonctions réelles dont les graphes sont :

  • Connexes et denses dans $\mathbb{R}^2$.
  • Massives (ils intersectent tout ensemble de mesure de Lebesgue positive).
  • Incomparables : Aucun graphe n'est homéomorphe à un sous-espace d'un autre.
  • Ces graphes sont totalement imparfaits (ne contiennent aucun sous-ensemble fermé non dénombrable) et ne sont pas métrisables complets.

• Théorème 2 (Condition de métrisabilité complète) : Si un graphe $F$ est connexe et métrisable complet, alors l'ensemble de ses points de discontinuité est un ensemble maigre (de première catégorie) dans $\mathbb{R}$. Cela implique qu'un tel graphe ne peut pas être dense dans $\mathbb{R}^2$ (car les graphes denses sont partout discontinus).

• Théorème 3 (Fonctions métrisables complètes) : Il existe $\mathfrak{c}$ fonctions réelles dont les graphes sont :

  • Connexes et métrisables complets (donc des sous-ensembles $G_\delta$ de $\mathbb{R}^2$).
  • Incomparables.
  • La cardinalité $\mathfrak{c}$ est maximale pour cette classe.

B. Graphes Localement Connexes (Théorème 4 et Proposition 1)

Le comportement est radicalement différent pour la connexité locale.

• Proposition 1 : Une fonction réelle discontinue ne peut jamais être à la fois connexe et localement connexe. En fait, si $(\mathbb{R}, \tau)$ est connexe et localement connexe avec $\tau$ plus fine que la topologie euclidienne, alors $\tau$ doit être la topologie euclidienne elle-même.
• Théorème 4 : Il n'existe que dénombrablement ($\aleph_0$) de classes d'homéomorphisme de topologies localement connexes sur $\mathbb{R}$.
  • Ces topologies correspondent à des partitions de $\mathbb{R}$ en intervalles.
  • Si l'espace est séparable, le graphe correspondant est une fonction continue sauf sur un ensemble dénombrable et fermé.
  • Contrairement au cas connexe, ces espaces sont comparables : tout espace localement connexe est homéomorphe à un sous-espace propre d'un autre (ou de lui-même).

C. Classification des Raffinements (Théorème 5 et 6)

• Classification (Théorème 5) : L'auteur classe complètement les raffinements localement connexes de la topologie réelle en fonction du type de la partition d'intervalles (nombre de singletons, d'intervalles compacts, semi-ouverts et ouverts).
• Extension non métrisable (Théorème 6) : En omettant la condition de métrisabilité, l'auteur prouve l'existence de $2^{2^{\mathfrak{c}}}$topologies sur$\mathbb{R}$ qui sont :
  • Séparables, connexes et incomparables.
  • Strictement plus fines que la topologie euclidienne partout.
  • Non métrisables (construites via des ultrafiltres sur une base de Hamel de $\mathbb{R}$ sur $\mathbb{Q}$).

4. Signification et Implications

Ce travail apporte plusieurs contributions majeures à la topologie des espaces fonctionnels :

1. Distinction Cardinalité : Il met en lumière un contraste extrême entre la connectivité et la connexité locale. La connectivité permet une richesse structurelle immense ($2^{\mathfrak{c}}$ou$2^{2^{\mathfrak{c}}}$classes d'incomparabilité), tandis que la connexité locale impose une rigidité forte (seulement$\aleph_0$ classes).
2. Construction de contre-exemples : Les constructions de fonctions "massives" (Théorème 1) fournissent des exemples robustes de graphes connexes qui échappent à la théorie de la mesure usuelle (non mesurables au sens de Lebesgue) et à la métrisabilité complète.
3. Classification Topologique : L'article offre une classification complète des raffinements localement connexes de la droite réelle, reliant la topologie abstraite à la structure des partitions d'intervalles.
4. Limites de l'incomparabilité : Il démontre que l'incomparabilité (aucun espace n'étant un sous-espace d'un autre) est une propriété rare pour les espaces localement connexes, mais abondante pour les espaces simplement connexes.

En résumé, Kuba démontre que l'exigence de connexité locale est une contrainte topologique si forte qu'elle réduit drastiquement la diversité des graphes de fonctions réelles, tandis que la simple connexité ouvre la porte à une infinité de structures topologiques complexes et non comparables.