[論文レビュー] 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} が、各ペア (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 である正しく閉じた二値部分基底が存在することを示すこと。

提案手法

• カントール＝ベンディクソン分解を用いて、完全核 X^♯ と可算な散乱部 X\X^♯ を分離する。
• X 内の半クロージャー集合（境界が X^♯ に含まれる正則開集合）を用い、X^♯ から X へ部分基底要素を拡張することで、位相的性質を保つ。
• 再帰的帰納的構成により、X 内の二値部分基底集合 S_{n,i}^* を定義し、閉包の整合性による正しさと、非空交差による独立性を保証する。
• 分離可能メトリック空間の遺伝的パラコンパクト性と正則性を活用し、X^♯ から X へ開集合を閉包を制御しながら持ち上げる。
• X\X^♯（可算かつ0次元）の可算なクロージャー集合の基底を部分基底に追加することで、部分基底の完全な被覆を保証する。
• 結果として得られる部分基底が正しく閉じている（すべての σ ∈ 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*(σ)) が成り立つ。これは正しく閉じた二値部分基底の定義を満たす。
• dim X = m である分離可能メトリック空間 X に対して、deg(S*) = m である正しく閉じた二値部分基底 S* が存在する。
• 部分基底 S* は、X^♯ からの部分基底を半クロージャー集合を用いて X へ持ち上げ、X\X^♯ の可算なクロージャー集合の基底で拡張することで構成される。
• この方法により、部分基底の次数が保たれ、deg(S*) = deg(S) が成り立つ。ここで S は X^♯ 上の独立部分基底である。
• 従来の結果を一般化し、稠密に自己同一の空間における独立部分基底の存在が、正しく閉じた二値部分基底を介して、すべての分離可能メトリック空間へ拡張可能であることを示した。