Sous-espaces compacts de l'espace des fonctions séparément continues avec la topologie croisée-uniforme

Informations fondamentales

• ID de l'article: 2406.05705
• Titre: Compact subspaces of the space of separately continuous functions with the cross-uniform topology
• Auteurs: Oleksandr Maslyuchenko, Vadym Myronyk, Roman Ivasiuk
• Classification: math.GN (Topologie générale)
• Date de publication: 11 juin 2024
• Lien de l'article: https://arxiv.org/abs/2406.05705

Résumé

Cet article étudie deux topologies naturelles sur l'espace $S(X\times Y,Z)$ de toutes les fonctions séparément continues définies sur le produit de deux espaces topologiques $X$ et $Y$, à valeurs dans un espace topologique ou métrique $Z$ : la topologie croisée-ouverte et la topologie croisée-uniforme. Les auteurs démontrent que ces deux topologies coïncident lorsque $X$ et $Y$ sont des espaces pseudocompacts et $Z$ est un espace métrique. Le résultat principal établit que pour des espaces compacts infinis $X$, $Y$ et un espace métrisable contenant $\mathbb{R}$ comme $Z$, un espace compact $K$ s'immerge dans $S(X\times Y,Z)$ si et seulement si le poids de $K$ est inférieur à la cellularité pointue minimale de $X$ et $Y$.

Contexte et motivation de la recherche

1. Problème étudié: Cet article porte principalement sur la structure topologique des espaces de fonctions séparément continues, en particulier sur la caractérisation de leurs sous-espaces compacts. Les fonctions séparément continues sont des fonctions qui sont continues par rapport à chaque variable lorsque l'autre variable est fixée.
2. Importance du problème: Les fonctions séparément continues occupent une place importante dans la théorie des fonctions multivariées. Les propriétés topologiques de leurs espaces de fonctions sont essentielles pour comprendre la convergence et la continuité des fonctions. La caractérisation des sous-espaces compacts contribue à la compréhension de la structure globale de ces espaces de fonctions.
3. Limitations des recherches existantes: Bien qu'on sache que les sous-espaces compacts de l'espace des fonctions de Baire classe 1 $B_1(X)$ sont des espaces compacts de Rosenthal, la compréhension de la structure des sous-espaces compacts des espaces de fonctions séparément continues reste limitée.
4. Motivation de la recherche: Les auteurs espéraient découvrir des espaces compacts de type Rosenthal dans l'espace des fonctions séparément continues, mais ont constaté que la structure topologique réelle était plus simple, ce qui a motivé une caractérisation complète des sous-espaces compacts.

Contributions principales

1. Théorème d'équivalence topologique: Démonstration que lorsque $X$ et $Y$ sont des espaces pseudocompacts et $Z$ est un espace métrique, la topologie croisée-ouverte et la topologie croisée-uniforme coïncident.
2. Caractérisation complète des immersions compactes: Pour des espaces compacts infinis $X$, $Y$ et un espace métrisable contenant $\mathbb{R}$ comme $Z$, caractérisation complète des espaces compacts qui peuvent s'immerger dans $S(X\times Y,Z)$.
3. Théorème de limite de poids: Démonstration que la condition nécessaire et suffisante pour qu'un espace compact $K$ s'immerge dans $S(X\times Y,Z)$ est $w(K) < \min\{c^♯(X), c^♯(Y)\}$.
4. Rôle des espaces compacts d'Eberlein: Établissement d'une méthode de réduction des espaces compacts généraux aux espaces compacts d'Eberlein, simplifiant l'analyse du problème.

Exposition détaillée des méthodes

Définitions et notations fondamentales

Pour le produit d'espaces topologiques $P = X \times Y$, on définit la croix d'un ensemble $E \subseteq P$ par: $\text{cr}E = (\text{pr}_X(E) \times Y) \cup (X \times \text{pr}_Y(E))$

où $\text{pr}_X$ et $\text{pr}_Y$ sont les projections de coordonnées.

Définition des deux topologies

1. Topologie croisée-ouverte: Générée par la sous-base $\{s \in S : s(A) \subseteq W\}$, où $A = G \cap C$, $C = \text{cr}\{p\}$, $G$ est un ensemble ouvert dans $C$, et $W$ est un ensemble ouvert dans $Z$.
2. Topologie croisée-uniforme: Pour un espace métrique $(Z,d)$, générée par la sous-base de voisinages $\{t \in S : d(s(p),t(p)) < \varepsilon \text{ pour tout } p \in \text{cr}E\}$, où $E$ est un sous-ensemble fini de $P$.

Méthodes techniques clés

1. Preuve de l'équivalence topologique

La preuve de la Proposition 2.1 utilise la méthode de l'inclusion double:

• Première étape: démonstration que la topologie croisée-ouverte est plus faible que la topologie croisée-uniforme, en utilisant la pseudocompacité pour garantir la compacité de $s(K)$
• Deuxième étape: démonstration que la topologie croisée-uniforme est plus faible que la topologie croisée-ouverte, par construction de voisinages ouverts via des recouvrements finis

2. Réduction aux espaces compacts d'Eberlein

Le Lemme 4.3 fournit l'étape de réduction cruciale:

• Pour tout sous-espace compact $K \subseteq S(X \times Y, Z)$, construction d'un espace compact d'Eberlein $\tilde{X}$
• Démonstration que $K$ peut s'immerger dans $S(\tilde{X} \times Y, Z)$, où $\tilde{X}$ est une image continue de $X$
• Cette approche réduit le cas général au cas des espaces compacts d'Eberlein

3. Estimation du poids

Par immersion de l'espace des fonctions séparément continues dans l'espace des fonctions continues $C_p(X,M)$ (où $M = C(Y,Z)$), utilisation des résultats d'estimation de poids connus: $w(K) \leq d(X) = c(X) < c(X)^+ = c^♯(X)$

Configuration expérimentale

Cet article est une recherche purement théorique qui ne comporte pas d'expériences numériques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.

Résultats principaux

Théorème 6.2 (Nécessité)

Énoncé: Soient $X$, $Y$ des espaces compacts infinis, $Z$ un espace métrisable, et $K$ un sous-espace compact de $S(X\times Y,Z)$. Alors $w(K) < \min\{c^♯(X), c^♯(Y)\}$.

Esquisse de la preuve:

1. Réduction au cas des espaces compacts d'Eberlein via le Lemme 4.3
2. Construction de l'immersion $\Phi: S \to C_p(X,M)$, où $M = C(Y,Z)$
3. Application des Propositions 6.1 et 5.2 pour obtenir l'estimation du poids

Théorème 7.1 (Suffisance)

Énoncé: Soient $X$, $Y$ des espaces compacts infinis, $Z$ un espace métrisable contenant $\mathbb{R}$. Un espace compact $K$ s'immerge dans $S(X\times Y,Z)$ si et seulement si $w(K) < \min\{c^♯(X), c^♯(Y)\}$.

Esquisse de la preuve:

1. La nécessité est établie par le Théorème 6.2
2. La suffisance est démontrée par construction d'une immersion explicite:
   • Utilisation de familles d'ensembles ouverts disjoints pour construire une famille de fonctions $(f_i)_{i \in I}$
   • Définition de l'application $\Phi: [0,1]^I \to S(X \times Y)$
   • Démonstration que $\Phi$ est une injection continue

Corollaire 7.2

Pour des espaces compacts infinis métrisables $X$, $Y$, un espace compact $K$ s'immerge dans $S(X\times Y,Z)$ si et seulement si $K$ est métrisable.

Travaux connexes

1. Fonctions de Baire classe 1: Les sous-espaces compacts de l'espace des fonctions de Baire classe 1 sur les espaces polonais sont connus pour être des espaces compacts de Rosenthal
2. Théorie des espaces compacts d'Eberlein: Le théorème d'Amir-Lindenstrauss fournit une caractérisation structurelle des espaces compacts d'Eberlein
3. Topologie des espaces de fonctions: Généralisation des topologies classiques telles que la topologie ponctuelle et la topologie uniforme
4. Théorie de la cellularité: Utilisation de la cellularité pointue $c^♯(X)$ comme invariant clé

Conclusions et discussion

Conclusions principales

1. Caractérisation complète de la structure des sous-espaces compacts dans l'espace des fonctions séparément continues
2. Démonstration que ces sous-espaces compacts sont plus simples que prévu (par exemple, dans le cas métrisable, seuls les espaces compacts métrisables peuvent s'immerger)
3. Établissement d'une relation précise entre le poids et la cellularité pointue

Limitations

1. Les résultats portent principalement sur les espaces compacts; l'extension aux cas non-compacts reste un problème ouvert
2. Certaines preuves dépendent de l'hypothèse que l'espace contient $\mathbb{R}$
3. La théorie générale des topologies croisées nécessite un développement ultérieur

Directions futures

L'article propose trois problèmes ouverts spécifiques:

1. Problème 1: Description des immersions compactes dans le cas des espaces topologiques généraux
2. Problème 2: Les espaces compacts de Rosenthal peuvent-ils s'immerger dans certains espaces de fonctions séparément continues sur des espaces polonais?
3. Problème 3: Existe-t-il un espace polonais dont l'espace de fonctions séparément continues contient des sous-espaces compacts non-métrisables?

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit une solution complète au problème des immersions compactes, avec des résultats précis et optimaux
2. Innovation technique: Utilisation ingénieuse de la théorie des espaces compacts d'Eberlein et du concept de cellularité pointue
3. Généralité des méthodes: Les techniques de réduction et de construction d'immersion possèdent une valeur générale
4. Formulation naturelle du problème: Généralisation naturelle de la théorie classique des espaces de fonctions

Insuffisances

1. Portée d'application: Les résultats principaux se limitent au cas des espaces compacts
2. Dépendance technique: Certaines preuves dépendent d'hypothèses spécifiques sur les propriétés topologiques
3. Applicabilité pratique: En tant que résultats purement théoriques, les applications pratiques sont limitées

Impact

1. Contribution théorique: Fournit des théorèmes de structure importants pour la théorie des espaces de fonctions séparément continues
2. Valeur méthodologique: Les techniques de réduction et de construction peuvent s'appliquer à d'autres problèmes d'espaces de fonctions
3. Inspiration pour la recherche: Les problèmes ouverts proposés indiquent des directions pour les recherches ultérieures

Domaines d'application

1. Étude de la structure topologique des espaces de fonctions
2. Théorie des immersions d'espaces compacts
3. Théorie de la continuité des fonctions multivariées
4. Étude des fonctions cardinales en topologie générale

Références bibliographiques

L'article cite 17 références importantes, incluant principalement:

• Les résultats classiques d'Amir-Lindenstrauss sur les espaces compacts d'Eberlein
• Le manuel de topologie générale d'Engelking
• Les travaux antérieurs des auteurs sur les espaces de fonctions séparément continues
• Les résultats de Benyamini-Rudin-Wage sur les sous-ensembles faiblement compacts des espaces de Banach