2025-11-22T06:37:16.139718

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Maslyuchenko, Myronyk, Ivasiuk
We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if $X$ and $Y$ are pseudocompacts and $Z$ is a metric space. We prove that a compact space $K$ embeds into $S(X\times Y,Z)$ for infinite compacts $X$, $Y$ and a metrizable space $Z\supseteq\mathbb{R}$ if and only if the weight of $K$ is less than the sharp cellularity of both spaces $X$ and $Y$.
academic

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

基本信息

  • 论文ID: 2406.05705
  • 标题: Compact subspaces of the space of separately continuous functions with the cross-uniform topology
  • 作者: Oleksandr Maslyuchenko, Vadym Myronyk, Roman Ivasiuk
  • 分类: math.GN (General Topology)
  • 发表时间: 2024年6月11日
  • 论文链接: https://arxiv.org/abs/2406.05705

摘要

本文研究了定义在两个拓扑空间XX和YY的乘积上、取值于拓扑空间或度量空间ZZ的所有分别连续函数空间S(X×Y,Z)S(X\times Y,Z)上的两种自然拓扑：交叉开拓扑和交叉一致拓扑。作者证明了当XX和YY是伪紧致空间且ZZ是度量空间时，这两种拓扑重合。主要结果表明：对于无限紧致空间XX、YY和包含R\mathbb{R}的可度量化空间ZZ，紧致空间KK嵌入S(X×Y,Z)S(X\times Y,Z)当且仅当KK的权重小于XX和YY的尖锐胞腔性。

研究背景与动机

  1. 研究问题: 本文主要研究分别连续函数空间的拓扑结构，特别是其中紧致子空间的刻画问题。分别连续函数是指对每个固定变量，函数在另一个变量上连续的函数。
  2. 问题重要性: 分别连续函数在多元函数理论中占据重要地位，其函数空间的拓扑性质对理解函数收敛性和连续性具有重要意义。紧致子空间的刻画有助于理解这些函数空间的整体结构。
  3. 现有研究局限: 虽然已知Baire一类函数空间B1(X)B_1(X)的紧致子空间是Rosenthal紧致，但对于分别连续函数空间的紧致子空间结构了解有限。
  4. 研究动机: 作者期望在分别连续函数空间中发现类似Rosenthal型的紧致空间，但发现实际的拓扑结构更为简单，这促使了对紧致子空间的完整刻画。

核心贡献

  1. 拓扑等价性定理: 证明了当XX和YY是伪紧致空间且ZZ是度量空间时，交叉开拓扑与交叉一致拓扑重合。
  2. 紧致嵌入的完整刻画: 对于无限紧致空间XX、YY和包含R\mathbb{R}的可度量化空间ZZ，完全刻画了哪些紧致空间可以嵌入S(X×Y,Z)S(X\times Y,Z)。
  3. 权重界限定理: 证明了紧致空间KK嵌入S(X×Y,Z)S(X\times Y,Z)的充要条件是w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\}。
  4. Eberlein紧致的作用: 建立了从一般紧致空间到Eberlein紧致空间的约化方法，简化了问题的分析。

方法详解

基本定义和记号

对于拓扑空间的乘积P=X×YP = X \times Y，定义集合E⊆PE \subseteq P的交叉为： crE=(prX(E)×Y)∪(X×prY(E))\text{cr}E = (\text{pr}_X(E) \times Y) \cup (X \times \text{pr}_Y(E))

其中prX\text{pr}_X和prY\text{pr}_Y是坐标投影。

两种拓扑的定义

  1. 交叉开拓扑: 由子基{s∈S:s(A)⊆W}\{s \in S : s(A) \subseteq W\}生成，其中A=G∩CA = G \cap C，C=cr{p}C = \text{cr}\{p\}，GG是CC中的开集，WW是ZZ中的开集。
  2. 交叉一致拓扑: 对于度量空间(Z,d)(Z,d)，由邻域子基{t∈S:d(s(p),t(p))<ε for all p∈crE}\{t \in S : d(s(p),t(p)) < \varepsilon \text{ for all } p \in \text{cr}E\}生成，其中EE是PP的有限子集。

关键技术方法

1. 拓扑等价性证明

命题2.1的证明采用双向包含的方法：

  • 首先证明交叉开拓扑弱于交叉一致拓扑，利用伪紧致性保证s(K)s(K)的紧致性
  • 然后证明交叉一致拓扑弱于交叉开拓扑，通过有限覆盖构造开邻域

2. 约化到Eberlein紧致

引理4.3提供了关键的约化步骤：

  • 对于任意紧致子空间K⊆S(X×Y,Z)K \subseteq S(X \times Y, Z)，构造Eberlein紧致空间X~\tilde{X}
  • 证明KK可以嵌入S(X~×Y,Z)S(\tilde{X} \times Y, Z)，且X~\tilde{X}是XX的连续像
  • 这将一般情况约化为Eberlein紧致的情况

3. 权重估计

通过将分别连续函数空间嵌入到连续函数空间Cp(X,M)C_p(X,M)（其中M=C(Y,Z)M = C(Y,Z)），利用已知的权重估计结果： w(K)≤d(X)=c(X)<c(X)+=c♯(X)w(K) \leq d(X) = c(X) < c(X)^+ = c^♯(X)

实验设置

本文是纯理论研究，不涉及数值实验。所有结果都通过严格的数学证明得出。

主要结果

定理6.2（必要性）

陈述: 设XX、YY是无限紧致空间，ZZ是可度量化空间，KK是S(X×Y,Z)S(X\times Y,Z)的紧致子空间，则w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\}。

证明思路:

  1. 利用引理4.3约化到Eberlein紧致情况
  2. 构造嵌入Φ:S→Cp(X,M)\Phi: S \to C_p(X,M)，其中M=C(Y,Z)M = C(Y,Z)
  3. 应用命题6.1和5.2得到权重估计

定理7.1（充分性）

陈述: 设XX、YY是无限紧致空间，ZZ是包含R\mathbb{R}的可度量化空间。紧致空间KK嵌入S(X×Y,Z)S(X\times Y,Z)当且仅当w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\}。

证明思路:

  1. 必要性已由定理6.2证明
  2. 充分性通过构造显式嵌入证明：
    • 利用不相交开集族构造函数族(fi)i∈I(f_i)_{i \in I}
    • 定义映射Φ:[0,1]I→S(X×Y)\Phi: [0,1]^I \to S(X \times Y)
    • 证明Φ\Phi是连续单射

推论7.2

对于无限可度量化紧致空间XX、YY，紧致空间KK嵌入S(X×Y,Z)S(X\times Y,Z)当且仅当KK是可度量化的。

相关工作

  1. Baire一类函数: 已知Polish空间上Baire一类函数空间的紧致子空间是Rosenthal紧致
  2. Eberlein紧致理论: Amir-Lindenstrauss定理提供了Eberlein紧致的结构刻画
  3. 函数空间拓扑: 点态拓扑、一致拓扑等经典拓扑的推广
  4. 胞腔性理论: 利用尖锐胞腔性c♯(X)c^♯(X)作为关键不变量

结论与讨论

主要结论

  1. 完全刻画了分别连续函数空间中紧致子空间的结构
  2. 证明了这些紧致子空间比预期的更简单（如可度量化紧致情况下只有可度量化紧致可以嵌入）
  3. 建立了权重与尖锐胞腔性之间的精确关系

局限性

  1. 结果主要针对紧致空间，对非紧致情况的推广仍是开问题
  2. 某些证明依赖于空间包含R\mathbb{R}的假设
  3. 交叉拓扑的一般理论仍需进一步发展

未来方向

论文提出了三个具体的开问题：

  1. 问题1: 描述一般拓扑空间情况下的紧致嵌入
  2. 问题2: Rosenthal紧致是否可以嵌入某些Polish空间上的分别连续函数空间
  3. 问题3: 是否存在包含非可度量化紧致子空间的Polish空间上的分别连续函数空间

深度评价

优点

  1. 理论完整性: 给出了紧致嵌入问题的完整解答，结果精确且最优
  2. 技术创新: 巧妙地利用Eberlein紧致理论和尖锐胞腔性概念
  3. 方法通用性: 约化技术和嵌入构造方法具有一般性价值
  4. 问题设置: 自然地推广了经典函数空间理论

不足

  1. 适用范围: 主要结果限于紧致空间情况
  2. 技术依赖: 某些证明依赖于特定的拓扑性质假设
  3. 实用性: 作为纯理论结果，实际应用场景有限

影响力

  1. 理论贡献: 为分别连续函数空间理论提供了重要的结构定理
  2. 方法价值: 约化技术和构造方法可能适用于其他函数空间问题
  3. 问题启发: 提出的开问题为后续研究指明了方向

适用场景

  1. 函数空间的拓扑结构研究
  2. 紧致空间的嵌入理论
  3. 多元函数的连续性理论
  4. 一般拓扑学中的基数函数研究

参考文献

论文引用了17篇重要文献，主要包括：

  • Amir-Lindenstrauss关于Eberlein紧致的经典结果
  • Engelking的一般拓扑学教材
  • 作者们之前关于分别连续函数空间的系列工作
  • Benyamini-Rudin-Wage关于Banach空间弱紧子集的结果