On the sequential monotone closure of $CD_{\omega}(K)$ spaces

Cette note courte résout un problème posé par Wickstead concernant la fermeture monotone séquentielle des espaces $CD_{\omega}(K)$, dans le contexte de l'étude de la complétion de Riesz des espaces d'opérateurs réguliers entre treillis de Banach.

L'essentiel

🏗️ Le titre du projet : "La clôture monotone séquentielle"

Imaginez que vous êtes un architecte travaillant sur un bâtiment spécial appelé Espace de Banach. Ce bâtiment est fait de fonctions (des courbes, des graphiques) qui obéissent à des règles très strictes de logique et de mathématiques.

Les auteurs de ce papier (Sukrit, Denny et Foivos) s'intéressent à une question posée par un autre architecte, Wickstead : "Si on prend notre bâtiment de base et qu'on essaie de le 'compléter' en ajoutant toutes les limites de suites de fonctions qui montent ou descendent doucement, est-ce que le nouveau bâtiment sera solide et complet ?"

En termes mathématiques, ils parlent de la clôture monotone séquentielle (notée $E_{\sigma m}$). C'est comme si vous preniez votre structure de départ et que vous ajoutiez toutes les pièces manquantes que l'on peut atteindre en empilant des briques une par une de manière ordonnée.

🧱 Le problème de la "Solidité"

Dans le monde des mathématiques, un espace est dit "complet" (ou uniforme) si, dès que vous avez une suite de points qui se rapprochent les uns des autres, ils finissent par se rencontrer en un point qui appartient bien à l'espace. C'est comme si vous marchiez vers une porte : si vous vous approchez de plus en plus, vous devez pouvoir l'atteindre sans tomber dans un trou.

Wickstead pensait que pour n'importe quel bâtiment mathématique bien construit (un "espace de Banach"), cette nouvelle version complétée serait toujours solide.

🚫 La grande découverte : "Non, ce n'est pas toujours vrai !"

Le but de ce papier est de dire : "Attendez, Wickstead a tort."

Les auteurs ont construit un contre-exemple. Ils ont pris un type de bâtiment très spécifique (appelé $CD_\omega(K)$, qui ressemble à un ensemble de fonctions définies sur un espace topologique complexe, un peu comme une ville infinie et dense) et ils ont montré que leur "extension" ($E_{\sigma m}$) contient des trous.

L'analogie du pont :
Imaginez que vous essayez de construire un pont en ajoutant des planches une par une (une suite croissante).

1. Vous posez la planche 1, puis la 2, puis la 3...
2. Vous vous approchez de l'autre rive de plus en plus.
3. Mathématiquement, vous pensez que vous allez toucher l'autre rive.
4. Mais dans le cas de ce papier, l'autre rive n'existe pas dans votre nouveau pont ! Vous vous approchez d'un point qui devrait être là, mais qui est en fait un vide. Le pont s'effondre avant d'atteindre la destination.

🔍 Comment ont-ils prouvé cela ?

Ils ont utilisé une ville mathématique appelée Espace Polonais parfait (une ville infinie, sans points isolés, comme une forêt dense où vous ne pouvez jamais vous arrêter sur un seul arbre sans en toucher d'autres).

1. La construction : Ils ont défini une fonction spéciale (appelée $f$) qui est la limite d'une suite de fonctions "simples" (des fonctions continues ou semi-continues).
2. Le piège : Cette fonction $f$ est si bizarre qu'elle diffère de n'importe quelle fonction "simple" sur un nombre infini de points.
3. Le résultat : Cette fonction $f$ appartient à la "clôture" (elle est la limite de la suite), mais elle n'appartient pas à l'espace "complet" attendu. Elle est comme un fantôme : elle est là parce qu'on l'attend, mais elle n'a pas les propriétés nécessaires pour être considérée comme une pièce solide du bâtiment.

💡 Pourquoi est-ce important ?

Ce papier répond à une question précise posée par Wickstead dans un article précédent.

• La question : "Est-ce que l'espace des opérateurs réguliers (des machines qui transforment des fonctions en d'autres fonctions) est toujours complet après cette opération ?"
• La réponse : Non. Si l'espace de départ n'est pas "presque complet" d'une certaine manière, alors l'extension va créer des trous.

Cela change notre compréhension de la façon dont nous pouvons "compléter" les structures mathématiques. Cela nous dit qu'on ne peut pas simplement ajouter des pièces de manière séquentielle et espérer que tout reste solide ; il faut vérifier la nature du terrain de départ.

🎓 En résumé pour le grand public

Imaginez que vous essayez de remplir un seau avec de l'eau goutte à goutte (les suites de fonctions).

• L'idée reçue : Si vous continuez à verser, le seau finira par être plein et l'eau ne coulera plus.
• La découverte de ce papier : Pour certains seaux très particuliers, même si vous versez des gouttes infinies, l'eau semble s'accumuler, mais le fond du seau est percé. L'eau s'écoule dans un trou invisible. Les mathématiciens ont prouvé l'existence de ce trou dans un type de seau mathématique très courant.

C'est une victoire de la rigueur : ils ont montré qu'une intuition naturelle (que la complétion rend toujours les choses solides) est fausse dans certains cas complexes, et ils ont décrit exactement quand et pourquoi cela arrive.

Résumé technique

Voici un résumé technique détaillé de l'article "On the Sequential Monotone Closure of CDω(K) Spaces" de Sukrit Chalana, Denny H. Leung et Foivos Xanthos, rédigé en français.

1. Contexte et Problématique

L'article s'inscrit dans l'étude des treillis vectoriels (espaces de Riesz) et plus spécifiquement dans la théorie des complétions d'ordre et des opérateurs réguliers entre treillis de Banach.

• Le problème posé : La question centrale, soulevée par Wickstead dans sa référence [13], concerne la complétude de l'espace appelé fermeture monotone séquentielle (notée $E^{\sigma m}$) d'un treillis de Banach $E$.
• Définition de $E^{\sigma m}$ : Pour un treillis vectoriel archimédien $E$ et sa complétion d'ordre $E^\delta$, on définit $u(E)$ comme l'ensemble des éléments $\sigma$-supérieurs (limites croissantes de suites de $E$) et $l(E)$ comme les éléments $\sigma$-inférieurs. L'espace $E^{\sigma m}$ est défini comme le sous-treillis $u(E) - u(E)$ de $E^\delta$.
• La question ouverte : Wickstead a démontré que si $E$ est un treillis de Banach "presque $\sigma$-complet", alors $(E^{\sigma m}, \|\cdot\|_{E^{\sigma m}})$ est complet. Cependant, il a demandé si cette complétude reste vraie pour n'importe quel treillis de Banach $E$.
• Motivation : Cette question est motivée par l'étude de la complétion de Riesz des espaces d'opérateurs réguliers $L_r(c, F)$, où $c$ est l'espace des suites convergentes.

2. Méthodologie et Outils Mathématiques

Les auteurs adoptent une approche constructive et contre-exemplaire pour répondre négativement à la question de Wickstead.

• Espaces de fonctions $CD_\omega(K)$ : Ils se concentrent sur une classe spécifique de sous-treillis de l'espace des fonctions bornées $B(K)$, notée $CD_\omega(K)$. Cet espace est défini comme l'ensemble des fonctions $f \in B(K)$ qui diffèrent d'une fonction continue bornée ($C_b(K)$) sur un ensemble au plus dénombrable.
• Hypothèses sur l'espace topologique $K$ : L'analyse repose sur des espaces topologiques $K$ qui sont des espaces de Polish parfaits (séparables, complètement métrisables, sans points isolés), comme l'ensemble de Cantor ou $\mathbb{R}$.
• Caractérisation de la fermeture monotone :
  • Ils établissent un lien crucial entre $CD_\omega(K)^{\sigma m}$ et l'ensemble des différences de fonctions semi-continues bornées, noté $DBSC(K)$.
  • Le Théorème 2.3 montre que pour un tel $K$, $CD_\omega(K)^{\sigma m}$ est isomorphe à l'ensemble des fonctions $f \in B(K)$ qui coïncident avec une fonction de $DBSC(K)$ sauf sur un ensemble dénombrable.
• Construction d'un contre-exemple :
  • Les auteurs construisent une fonction $f \in B_1^1(K)$ (clôture uniforme de $DBSC(K)$) qui est une limite uniforme d'une série de fonctions indicatrices de fermés emboîtés.
  • Le Proposition 2.4 et le Théorème 2.5 démontrent que pour cette fonction spécifique $f$, l'ensemble $\{x \in K \mid f(x) \neq g(x)\}$ est non dénombrable pour toute fonction $g \in DBSC(K)$.
  • Cela implique que $f$ appartient à la clôture uniforme de $DBSC(K)$ mais n'appartient pas à $CD_\omega(K)^{\sigma m}$.

3. Résultats Principaux

Les résultats clés de l'article sont les suivants :

1. Réponse négative à la question de Wickstead (Théorème 2.7) :
   Pour un espace de Polish parfait $K$, l'espace $CD_\omega(K)^{\sigma m}$ n'est pas uniformément complet. Par conséquent, $(CD_\omega(K)^{\sigma m}, \|\cdot\|_\infty)$ n'est pas un espace de Banach (il n'est pas complet). Cela répond négativement à la question de savoir si $E^{\sigma m}$ est toujours complet pour tout treillis de Banach $E$.

2. Distinction entre complétude séquentielle et complétude uniforme :
   L'article montre qu'il existe des limites d'ordre séquentielles d'éléments de $CD_\omega(K)$ qui ne sont pas dans $CD_\omega(K)^{\sigma m}$. Plus précisément, une fonction $f$ peut être la limite ponctuelle (et donc limite d'ordre) d'une suite bornée de $CD_\omega(K)$, tout en étant hors de $CD_\omega(K)^{\sigma m}$ car elle ne peut pas être approximée par des fonctions semi-continues à un ensemble dénombrable près.

3. Relation avec la complétude $\sigma$-ordre (Propositions 2.8 et 2.9) :

   • Si $E$ est presque $\sigma$-complet, alors $E^{\sigma m}$ est $\sigma$-complet.
   • La réciproque est fausse : il existe des espaces (comme $C(K_\infty)$ où $K$ est un ensemble non dénombrable discret) dont la fermeture monotone séquentielle est $\sigma$-complet, alors que l'espace de départ n'est pas presque $\sigma$-complet.

4. Condition nécessaire et suffisante pour la complétion de Riesz (Théorème 2.10) :
   L'article améliore un résultat de Wickstead en établissant une équivalence fondamentale pour un treillis de Banach $F$ :

   • (i) $F^{\sigma m}$ est uniformément complet.
   • (ii) La complétion de Riesz de l'espace des opérateurs réguliers $L_r(c, F)$ est uniformément complète.

   Ce résultat lie directement la propriété structurelle de la fermeture monotone de l'espace cible à la complétude de l'espace des opérateurs.

4. Contributions et Significativité

• Résolution d'un problème ouvert : L'article clôt définitivement la question de Wickstead en fournissant une classe explicite de treillis de Banach pour lesquels la fermeture monotone séquentielle échoue à être complète.
• Nuance terminologique : Les auteurs proposent et justifient l'usage du terme "fermeture monotone séquentielle" ($E^{\sigma m}$) plutôt que "fermeture d'ordre séquentielle" ($E^\sigma$), soulignant des distinctions subtiles dans la convergence d'ordre.
• Impact sur la théorie des opérateurs : En établissant le lien entre la complétude de $F^{\sigma m}$ et celle de la complétion de Riesz de $L_r(c, F)$, l'article fournit un critère pratique pour déterminer quand les espaces d'opérateurs réguliers possèdent de bonnes propriétés de complétude. Cela a des implications pour l'analyse fonctionnelle sur les treillis de Banach et la théorie des opérateurs.
• Technique de construction : La méthode de construction d'un contre-exemple utilisant des ensembles fermés emboîtés dans un espace de Polish et l'analyse des ensembles de discontinuité (ensembles non dénombrables) offre un outil technique puissant pour l'étude des limites de fonctions semi-continues.

En résumé, cet article démontre que la propriété d'être un treillis de Banach n'est pas suffisante pour garantir que sa fermeture monotone séquentielle soit un espace complet, et relie cette propriété à la structure des espaces d'opérateurs réguliers.