[论文解读] Every Separable Metrizable Space has a Proper Dyadic Subbase

Haruto Ohta, Hideki Tsuiki+1 more|arXiv (Cornell University)|May 15, 2013

Advanced Topology and Set Theory被引用 3

一句话总结

本文证明了每个可分度量空间都存在一个适当的二元子基——具体而言，是定义在 ω×2 上的正规开集族，其中每对 (S_{n,0}, S_{n,1}) 构成互补覆盖——使得其在完美核 X^♯ 上的限制构成一个独立子基。该构造确保了闭包相容性（即适当性），并保持了维数不变性，子基的阶数与空间 X 的拓扑维数一致。

ABSTRACT

The notions of a proper dyadic subbase and an independent subbase was introduced by H. Tsuiki to investigate in {0, 1, bot}-sequence codings of topological spaces. We show that every separable metrizable space has a proper dyadic subbase whose restriction to the perfect set defined by the Cantor-Bendixson theorem forms an independent subbase of the restricted space.

研究动机与目标

• 将独立子基的存在性从稠密自洽的可分度量空间推广至所有可分度量空间。
• 为任意可分度量空间 X 构造一个适当的二元子基，使得其在完美核 X^♯ 上的限制构成一个独立子基。
• 通过证明若 dim X = m，则存在一个阶数为 m 的适当二元子基，推广先前关于维数保持子基的结果。

提出的方法

• 利用 Cantor-Bendixson 分解将空间分离为完美核 X^♯ 和可数的散射余项 X\X^♯。
• 在 X 中使用半闭开集——即边界包含于 X^♯ 的正规开集——将子基元素从 X^♯ 扩展至 X，同时保持拓扑性质。
• 通过递归归纳构造在 X 中定义二元子基集 S_{n,i}^*，通过闭包相容性确保适当性，并通过非空交集确保独立性。
• 利用可分度量空间的遗传仿紧性与正则性，将 X^♯ 中的开集上提到 X 中，且控制其闭包。
• 通过添加 X\X^♯ 的可数个闭开集基，以确保子基的完整覆盖。
• 验证所得子基是适当的（对所有 σ ∈ T^*，有 cl(S(σ)) = cl(S(σ))），且子基的阶数 deg(S) 与 dim X = m 一致。

实验结果

研究问题

• RQ1 每个可分度量空间是否都存在一个适当的二元子基，其在完美核 X^♯ 上的限制构成一个独立子基？
• RQ2 是否可以令一个适当二元子基的阶数等于空间的拓扑维数？
• RQ3 是否可能将 X^♯ 上的独立子基扩展为全空间 X 上的适当二元子基，同时保持阶数不变？
• RQ4 如何利用 X\X^♯ 的拓扑结构（一个可数的 0-维集合）来完成 X 的二元子基？
• RQ5 在何种条件下，子基交集 S(σ) 的闭包等于其在全空间中对应集合的闭包？

主要发现

• 每个可分度量空间 X 都存在一个由 X 中的半闭开集构成的适当二元子基 S*，使得 S* 在 X^♯ 上的限制构成一个独立子基。
• 该构造确保对所有 σ ∈ {0,1,⊥}^ω，有 cl_X(S(σ)) = cl_X(S*(σ))，满足适当二元子基的定义。
• 若 X 是一个可分度量空间且 dim X = m，则存在一个阶数为 m 的适当二元子基 S*。
• 子基 S* 通过使用半闭开集将 X^♯ 上的子基上提到 X 中，并通过添加 X\X^♯ 的可数个闭开集基来扩展构造而成。
• 该方法保持了子基的阶数，确保 deg(S*) = deg(S)，其中 S 是 X^♯ 上的一个独立子基。
• 该结果推广了先前的研究成果，表明在稠密自洽空间中独立子基的存在性，可通过适当二元子基推广至所有可分度量空间。