[論文レビュー] EXTENDING HOMEOMORPHISMS ON CANTOR CUBES

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

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

ひとこと要約

この論文は、Cantor立方体 $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$ 全体の自己位相同相写像に拡張可能となる条件を確立すること。
• 積空間における位相同相写像の拡張における無視可能性の役割を特定すること。
• 無視可能部分集合の条件下で、$D^\tau$ が均一的であることを示し、既知の可分の場合の結果を拡張すること。

提案手法

• $\tau$-無視可能性を、$\lambda < \tau$ に対して $G_\lambda$-集合を含まないこととして定義し、『どこでも稠密でない』の一般化とする。
• 基数 $\tau$ のインデックス集合 $A$ のwell-順序付けられた被覆を用いた超限帰納法を用い、段階的に拡張を構成する。
• Cantor立方体 $C$ に対する $\{x\} \times C$ のファイバー上で、Michaelの選択定理を用いたファイバーごとの拡張を適用する。
• 適切な条件下で、無視可能集合の射影が無視可能のままであることを利用し、$\pi$-性質と $G_\lambda$-集合の性質を用いる。
• 帰納的拡張中に射影間の整合性を保つために、$f$-適切集合の存在を利用する。
• Corollary 3.5 を適用して、局所的拡張を $D^\tau$ 全体の自己位相同相写像へ持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 『どこでも稠密でない』を位相的条件に置き換えることで、Knaster-Reichbach定理を可分空間を超えて一般化できるか？
• RQ2 非可分零次元コンパクト空間に対して、『どこでも稠密でない』の正しい一般化は何か？
• RQ3 $D^\tau$ の閉部分集合間の位相同相写像が、$D^\tau$ 全体の自己位相同相写像に拡張可能となる条件は何か？
• RQ4 Cantor立方体 $D^\tau$ は無視可能部分集合に関して均一的であり、これは絶対拡張子の性質とどのように関係するか？

主な発見

• 任意の $D^\tau$ の閉無視可能部分集合 $P$ と $K$ 間の位相同相写像 $f: P \to K$ は、$D^\tau$ 全体の自己位相同相写像に拡張可能であり、これにより定理1.2が証明された。
• 拡張は、$|A| = \tau$ であるインデックス集合 $A$ のwell-順序付けられた被覆を用いた超限帰納法により構成され、各段階で整合性が保証される。
• $\lambda < \tau$ に対して、$P$ と $K$ が $\lambda$-無視可能であれば、$\lambda$-サイズの部分立方体への射影と、Corollary 3.5 を用いた持ち上げにより、位相同相写像 $f: P \to K$ は $D^\tau$ に拡張可能である。
• ファイバーごとの拡張は、Cantor立方体上の位相同相写像の空間に適用したMichaelの選択定理に依存し、選択写像の下方連続性を保証する。
• 証明により、$\pi$-性質と $G_\lambda$-集合の性質が射影のもとでも保存されることを示し、これによりLemma 2.2とCorollary 2.3 を用いて射影のサイズを制御できる。
• この結果により、$D^\tau$ は、重さが $\tau$ より小さい閉部分集合に関して均一的であることが示され、このような集合は無視可能であるため、Corollary 1.3 が得られる。