Subespacios compactos del espacio de funciones separadamente continuas con la topología transversal uniforme

Información Básica

• ID del Artículo: 2406.05705
• Título: Compact subspaces of the space of separately continuous functions with the cross-uniform topology
• Autores: Oleksandr Maslyuchenko, Vadym Myronyk, Roman Ivasiuk
• Clasificación: math.GN (Topología General)
• Fecha de Publicación: 11 de junio de 2024
• Enlace del Artículo: https://arxiv.org/abs/2406.05705

Resumen

Este artículo estudia dos topologías naturales en el espacio $S(X\times Y,Z)$ de todas las funciones separadamente continuas definidas en el producto de dos espacios topológicos $X$ e $Y$, con valores en un espacio topológico o métrico $Z$: la topología transversal abierta y la topología transversal uniforme. Los autores demuestran que estas dos topologías coinciden cuando $X$ e $Y$ son espacios pseudocompactos y $Z$ es un espacio métrico. El resultado principal establece que: para espacios compactos infinitos $X$, $Y$ y un espacio metrizable $Z$ que contiene $\mathbb{R}$, un espacio compacto $K$ se incrusta en $S(X\times Y,Z)$ si y solo si el peso de $K$ es menor que la celularidad puntuda mínima de $X$ e $Y$.

Contexto de Investigación y Motivación

1. Problema de Investigación: Este artículo estudia principalmente la estructura topológica del espacio de funciones separadamente continuas, en particular la caracterización de subespacios compactos. Las funciones separadamente continuas son aquellas que son continuas en cada variable cuando las otras variables se mantienen fijas.
2. Importancia del Problema: Las funciones separadamente continuas ocupan un lugar importante en la teoría de funciones multivariables. Las propiedades topológicas de sus espacios de funciones son fundamentales para comprender la convergencia y continuidad de funciones. La caracterización de subespacios compactos contribuye a entender la estructura general de estos espacios de funciones.
3. Limitaciones de la Investigación Existente: Aunque se sabe que los subespacios compactos del espacio de funciones Baire clase uno $B_1(X)$ son compactos de Rosenthal, el conocimiento sobre la estructura de subespacios compactos en espacios de funciones separadamente continuas es limitado.
4. Motivación de la Investigación: Los autores esperaban descubrir espacios compactos de tipo Rosenthal en espacios de funciones separadamente continuas, pero encontraron que la estructura topológica real es más simple, lo que motivó una caracterización completa de los subespacios compactos.

Contribuciones Principales

1. Teorema de Equivalencia Topológica: Se demuestra que cuando $X$ e $Y$ son espacios pseudocompactos y $Z$ es un espacio métrico, la topología transversal abierta coincide con la topología transversal uniforme.
2. Caracterización Completa de Incrustaciones Compactas: Para espacios compactos infinitos $X$, $Y$ y un espacio metrizable $Z$ que contiene $\mathbb{R}$, se caracteriza completamente qué espacios compactos pueden incrustarse en $S(X\times Y,Z)$.
3. Teorema de Límite de Peso: Se demuestra que un espacio compacto $K$ se incrusta en $S(X\times Y,Z)$ si y solo si $w(K) < \min\{c^♯(X), c^♯(Y)\}$.
4. Rol de los Compactos de Eberlein: Se establece un método de reducción de espacios compactos generales a espacios compactos de Eberlein, simplificando el análisis del problema.

Explicación Detallada de Métodos

Definiciones Básicas y Notación

Para el producto de espacios topológicos $P = X \times Y$, se define la transversal de un conjunto $E \subseteq P$ como: $\text{cr}E = (\text{pr}_X(E) \times Y) \cup (X \times \text{pr}_Y(E))$

donde $\text{pr}_X$ y $\text{pr}_Y$ son las proyecciones de coordenadas.

Definición de las Dos Topologías

1. Topología Transversal Abierta: Generada por la subbase $\{s \in S : s(A) \subseteq W\}$, donde $A = G \cap C$, $C = \text{cr}\{p\}$, $G$ es un conjunto abierto en $C$, y $W$ es un conjunto abierto en $Z$.
2. Topología Transversal Uniforme: Para un espacio métrico $(Z,d)$, generada por la subbase de vecindades $\{t \in S : d(s(p),t(p)) < \varepsilon \text{ para todo } p \in \text{cr}E\}$, donde $E$ es un subconjunto finito de $P$.

Métodos Técnicos Clave

1. Demostración de Equivalencia Topológica

La demostración de la Proposición 2.1 utiliza el método de inclusión bidireccional:

• Primero se demuestra que la topología transversal abierta es más débil que la topología transversal uniforme, utilizando la pseudocompacidad para garantizar la compacidad de $s(K)$
• Luego se demuestra que la topología transversal uniforme es más débil que la topología transversal abierta, construyendo vecindades abiertas mediante coberturas finitas

2. Reducción a Compactos de Eberlein

El Lema 4.3 proporciona el paso de reducción clave:

• Para cualquier subespacio compacto $K \subseteq S(X \times Y, Z)$, se construye un espacio compacto de Eberlein $\tilde{X}$
• Se demuestra que $K$ puede incrustarse en $S(\tilde{X} \times Y, Z)$, donde $\tilde{X}$ es una imagen continua de $X$
• Esto reduce el caso general al caso de compactos de Eberlein

3. Estimación de Peso

Mediante la incrustación del espacio de funciones separadamente continuas en el espacio de funciones continuas $C_p(X,M)$ (donde $M = C(Y,Z)$), se utilizan resultados conocidos de estimación de peso: $w(K) \leq d(X) = c(X) < c(X)^+ = c^♯(X)$

Configuración Experimental

Este artículo es una investigación puramente teórica que no involucra experimentos numéricos. Todos los resultados se obtienen mediante demostraciones matemáticas rigurosas.

Resultados Principales

Teorema 6.2 (Necesidad)

Enunciado: Sean $X$, $Y$ espacios compactos infinitos, $Z$ un espacio metrizable, y $K$ un subespacio compacto de $S(X\times Y,Z)$. Entonces $w(K) < \min\{c^♯(X), c^♯(Y)\}$.

Esquema de Demostración:

1. Se utiliza el Lema 4.3 para reducir al caso de compactos de Eberlein
2. Se construye la incrustación $\Phi: S \to C_p(X,M)$, donde $M = C(Y,Z)$
3. Se aplican la Proposición 6.1 y 5.2 para obtener la estimación de peso

Teorema 7.1 (Suficiencia)

Enunciado: Sean $X$, $Y$ espacios compactos infinitos, $Z$ un espacio metrizable que contiene $\mathbb{R}$. Un espacio compacto $K$ se incrusta en $S(X\times Y,Z)$ si y solo si $w(K) < \min\{c^♯(X), c^♯(Y)\}$.

Esquema de Demostración:

1. La necesidad ya está demostrada por el Teorema 6.2
2. La suficiencia se demuestra mediante la construcción de una incrustación explícita:
   • Se utiliza una familia de conjuntos abiertos disjuntos para construir una familia de funciones $(f_i)_{i \in I}$
   • Se define la aplicación $\Phi: [0,1]^I \to S(X \times Y)$
   • Se demuestra que $\Phi$ es una inyección continua

Corolario 7.2

Para espacios compactos infinitos metrizables $X$, $Y$, un espacio compacto $K$ se incrusta en $S(X\times Y,Z)$ si y solo si $K$ es metrizable.

Trabajos Relacionados

1. Funciones Baire Clase Uno: Se sabe que los subespacios compactos del espacio de funciones Baire clase uno en espacios polacos son compactos de Rosenthal
2. Teoría de Compactos de Eberlein: El teorema de Amir-Lindenstrauss proporciona una caracterización estructural de los compactos de Eberlein
3. Topología de Espacios de Funciones: Generalizaciones de topologías clásicas como la topología puntual y la topología uniforme
4. Teoría de Celularidad: Utilización de la celularidad puntuda $c^♯(X)$ como invariante clave

Conclusiones y Discusión

Conclusiones Principales

1. Se caracteriza completamente la estructura de subespacios compactos en espacios de funciones separadamente continuas
2. Se demuestra que estos subespacios compactos son más simples de lo esperado (por ejemplo, en el caso metrizable, solo los compactos metrizables pueden incrustarse)
3. Se establece una relación precisa entre el peso y la celularidad puntuda

Limitaciones

1. Los resultados se aplican principalmente a espacios compactos; la generalización a casos no compactos sigue siendo un problema abierto
2. Algunas demostraciones dependen de la suposición de que el espacio contiene $\mathbb{R}$
3. La teoría general de topologías transversales aún requiere desarrollo adicional

Direcciones Futuras

El artículo plantea tres problemas abiertos específicos:

1. Problema 1: Describir incrustaciones compactas en el caso de espacios topológicos generales
2. Problema 2: ¿Pueden los compactos de Rosenthal incrustarse en espacios de funciones separadamente continuas en ciertos espacios polacos?
3. Problema 3: ¿Existen espacios polacos con espacios de funciones separadamente continuas que contengan subespacios compactos no metrizables?

Evaluación Profunda

Ventajas

1. Completitud Teórica: Proporciona una solución completa y exacta al problema de incrustación compacta, con resultados óptimos
2. Innovación Técnica: Utiliza ingeniosamente la teoría de compactos de Eberlein y el concepto de celularidad puntuda
3. Generalidad de Métodos: Las técnicas de reducción e incrustación tienen valor general para otros problemas de espacios de funciones
4. Formulación de Problemas: Generaliza naturalmente la teoría clásica de espacios de funciones

Deficiencias

1. Rango de Aplicabilidad: Los resultados principales se limitan al caso de espacios compactos
2. Dependencia Técnica: Algunas demostraciones dependen de suposiciones sobre propiedades topológicas específicas
3. Aplicabilidad Práctica: Como resultado puramente teórico, los escenarios de aplicación práctica son limitados

Impacto

1. Contribución Teórica: Proporciona un teorema de estructura importante para la teoría de espacios de funciones separadamente continuas
2. Valor de Métodos: Las técnicas de reducción y construcción pueden ser aplicables a otros problemas de espacios de funciones
3. Inspiración para Investigación: Los problemas abiertos planteados indican direcciones para investigaciones futuras

Escenarios de Aplicación

1. Investigación de la estructura topológica de espacios de funciones
2. Teoría de incrustación de espacios compactos
3. Teoría de continuidad de funciones multivariables
4. Investigación de funciones cardinales en topología general

Referencias Bibliográficas

El artículo cita 17 referencias importantes, que incluyen principalmente:

• Resultados clásicos de Amir-Lindenstrauss sobre compactos de Eberlein
• Textos de topología general de Engelking
• Trabajos anteriores de los autores sobre espacios de funciones separadamente continuas
• Resultados de Benyamini-Rudin-Wage sobre subconjuntos débilmente compactos de espacios de Banach