[论文解读] (Metrically) quarter-stratifiable spaces and their applications in the theory of separately continuous functions

Тарас Банах|ArXiv.org|Oct 16, 2008

Rings, Modules, and Algebras参考文献 9被引用 11

一句话总结

本文引入了（度量意义下的）四分层可分空间——这是度量空间与分层可分空间的推广——并将其应用于扩展关于分别连续函数的Baire类与Borel复杂度的经典定理。研究证明，涉及度量意义下四分层可分空间的乘积上的分别连续函数属于第一或第二Baire类，将Rudin与Kuratowski-Montgomery的结果从度量空间域推广到了更广泛的拓扑空间类。

ABSTRACT

We introduce and study (metrically) quarter-stratifiable spaces and then apply them to generalize Rudin and Kuratowski-Montgomery theorems about the Baire and Borel complexity of separately continuous functions.

研究动机与目标

• 将Rudin关于分别连续函数的定理从度量空间推广到更广泛的拓扑空间类。
• 定义并研究（度量意义下的）四分层可分空间，作为一类具有强拓扑性质的广义度量空间。
• 探究四分层可分空间与其他空间类（如分层可分、σ-度量空间、Gδ-对角线空间）之间的关系。
• 建立这些空间的遗传性质与嵌入定理，特别是其在度量意义下的四分层可分T₁空间中的闭嵌入性质。
• 将该框架应用于证明：在包含此类空间的乘积上，分别连续函数属于低阶Baire类，从而推广经典结果。

提出的方法

• 引入函数 $ g: \mathbb{N} \times X \to \tau $，满足 $ \bigcup_{x \in X} g(n,x) = X $ 且对所有 $ n $ 有 $ x \in \overline{g(n,x)} $，从而定义四分层可分空间。
• 通过开覆盖 $ \{\mathcal{U}_n\} $、选择函数 $ s_n $ 以及下极限连续的多值映射 $ \mathcal{F}_n $，刻画四分层可分性，满足 $ \mathcal{F}_n(x) \to x $。
• 证明每个具有 $ G_\delta $-对角线的子度量空间均可同胚嵌入到一个度量意义下的四分层可分 $ T_1 $-空间的闭子集中。
• 利用 $ C_p(X) $（即赋予点拓扑的实值连续函数空间）的结构，分析其可分性与Lindelöf数与Baire类性质之间的关系。
• 应用关于Corson紧致空间与可分Corson紧致空间的度量化定理，证明某些函数空间是度量化的，从而实现Baire类的分类。
• 利用如下事实：若 $ X $ 可分且 $ Y $ 具有可数Souslin数，则 $ F(X) \subset CC(Y \times Z, \mathbb{R}) $ 是度量化的，从而可应用已知的Baire类结果。

实验结果

研究问题

• RQ1 Rudin关于分别连续函数的定理能否被推广到超越度量空间域的情形？
• RQ2 哪些拓扑性质刻画了空间 $ X $，使得每个分别连续函数 $ f: X \times Y \to \mathbb{R} $ 属于第一Baire类？
• RQ3 是否存在一个严格大于度量空间或σ-度量空间的拓扑空间类，仍能保证分别连续函数属于第一Baire类？
• RQ4 所有具有可数Souslin数但不可数权的紧致空间是否必为非Rudin空间？这对函数复杂度有何影响？
• RQ5 当 $ X $ 可分且 $ Y $ 具有可数Souslin数时，$ X \times Y \times Z $ 上分别连续函数的Baire类是否可被控制？

主要发现

• 每个（子度量化的）具有 $ G_\delta $-对角线的空间同胚于一个（度量意义下的）四分层可分 $ T_1 $-空间的闭子集。
• 每个半分层可分空间都是遗传四分层可分的，但反之不成立——例如Sorgenfrey箭头是遗传四分层可分的，但不是半分层可分的。
• 空间 $ X $ 是四分层可分的，当且仅当存在开覆盖 $ \{\mathcal{U}_n\} $、选择函数 $ s_n $ 以及下极限连续的多值映射 $ \mathcal{F}_n $，使得 $ \mathcal{F}_n(x) \to x $。
• 若 $ X $ 是具有不可数Souslin数的紧致空间，则存在一个分别连续函数 $ f: X \times Y \to \mathbb{R} $，其不属于第一Baire类。
• 若 $ X $ 可分且 $ Y $ 具有可数Souslin数，则每个分别连续函数 $ f: X \times Y \times Z \to \mathbb{R} $ 属于第二Baire类。
• Rudin空间类包含Lebesgue空间类，且存在非度量化的紧致Rudin空间不是Corson空间；但所有可分Corson紧致空间都是度量化的。