[论文解读] EXTENDING HOMEOMORPHISMS ON CANTOR CUBES

E. V. Shchepin, Vesko Valov|arXiv (Cornell University)|Jan 1, 2021

Mathematical Dynamics and Fractals参考文献 6被引用 1

一句话总结

本文证明了任意两个康托尔立方体 $D^\tau$ 的闭可忽略子集之间的同胚都可以唯一延拓为 $D^\tau$ 上的全局自同胚。证明方法包括超限归纳法、通过选择定理实现的纤维延拓，以及可忽略集的性质——通过将‘无处稠密’替换为‘可忽略’集，将 Knaster-Reichbach 定理推广至非度量化的零维紧致空间。

ABSTRACT

It is established that any homeomorphism between two closed negligible subset of $D^τ$ can be extended to an autohomeomorphism of $D^τ$.

研究动机与目标

• 将 Knaster-Reichbach 定理推广至非度量化的零维紧致空间，以‘可忽略’集替代‘无处稠密’集。
• 建立 $D^\tau$ 的闭子集之间同胚可延拓为全局自同胚的条件。
• 刻画可忽略性在紧致度量空间乘积中同胚延拓中的作用。
• 证明在可忽略子集条件下，$D^\tau$ 是齐性的，从而推广已知的度量情形结果。

提出的方法

• 将 $\tau$-可忽略性定义为对所有 $\lambda < \tau$ 均无 $G_\lambda$-集，从而推广无处稠密性。
• 在索引集 $A$（其基数为 $\tau$）的良序覆盖上使用超限归纳法，逐步构造延拓。
• 通过 Michael 选择定理实现纤维延拓，将同胚延拓至 $\{x\} \times C$ 形式的纤维，其中 $C$ 为康托尔立方体。
• 利用投影下可忽略集的保持性质，在适当条件下结合 $\pi$-特征与 $G_\lambda$-集性质。
• 利用 $f$-可容许集的存在性，确保归纳延拓过程中投影间的相容性。
• 应用推论 3.5，将局部延拓提升为 $D^\tau$ 上的全局自同胚。

实验结果

研究问题

• RQ1 能否通过将‘无处稠密’替换为拓扑条件，将 Knaster-Reichbach 定理推广至非度量空间？
• RQ2 在非度量化的零维紧致空间中，‘无处稠密’的正确推广是什么？
• RQ3 在何种条件下，$D^\tau$ 的闭子集之间的同胚可延拓为 $D^\tau$ 上的自同胚？
• RQ4 康托尔立方体 $D^\tau$ 关于可忽略子集是否具有齐性？这与绝对延拓性质有何关联？

主要发现

• 任意两个 $D^\tau$ 的闭可忽略子集 $P$ 与 $K$ 之间的同胚 $f: P \to K$ 均可延拓为 $D^\tau$ 上的自同胚，从而证明定理 1.2。
• 该延拓通过在索引集 $A$（满足 $|A| = \tau$）的良序覆盖上使用超限归纳法构造，确保每一步的相容性。
• 对所有 $\lambda < \tau$，若 $P$ 与 $K$ 为 $\lambda$-可忽略集，则同胚 $f: P \to K$ 可通过投影至 $\lambda$-维子立方体，并借助推论 3.5 提升为 $D^\tau$ 上的延拓。
• 纤维延拓依赖于 Michael 选择定理在康托尔立方体上同胚空间上的应用，确保选择映射的下半连续性。
• 证明表明 $\pi$-特征与 $G_\lambda$-集性质在投影下保持不变，从而可使用引理 2.2 与推论 2.3 控制投影的大小。
• 该结果表明，$D^\tau$ 关于权重小于 $\tau$ 的闭子集是齐性的，因为此类集合为可忽略集，从而推出推论 1.3。