[論文レビュー] Looking through newly to the amazing irrationals

Pratip Chakraborty|ArXiv.org|Feb 2, 2005

Mathematics and Applications参考文献 3被引用数 5

ひとこと要約

本稿では、連分数を用いてベール空間と無理数の空間の間に同相写像を確立し、任意の可分で0次元の距離空間が無理数に同相に埋め込まれることを証明する。主な貢献は、位相的構造を保つ構成的で連続的かつ全単射な写像によって、無理数がこのような距離空間の普遍空間であることが明らかになる点である。

ABSTRACT

We survay some nice result concerning the irrationals with a metric space point of view.Here is ofcourse nothing new may be or an expert in this field.

研究の動機と目的

• 連分数を用いてベール空間と無理数の空間の間の位相的同値性を確立すること。
• 任意の可分で0次元の距離空間が、無理数の部分空間として同相に埋め込まれることを示すこと。
• 開集合、閉集合、連続性などの位相的性質を保つ構成的同相写像を提供すること。
• 無理数の空間が、可分で0次元の距離空間の間の位相的埋め込みにおいて普遍的であることを示すこと。
• クロージャブル（閉開）被覆とネストされた区間系が、このような埋め込みを構成するためにどのように使われるかを形式化すること。

提案手法

• 連分数展開から得られるネストされた区間を用いて、ベール空間 ℬ₂（0と1の無限列の空間）から実数直線への写像 φ を構成する。
• φ を ℝ 内の互いに交わらないネストされた区間の列によって定義し、列が異なる場合に端点が異なることを利用して単射性を保証する。
• ℬ₂ 上の距離位相を、基本近傍 N(x, 1/n) = {f ∈ ℬ₂ : f_i = x_i for i < n} で定義し、位相の基底を構成する。
• φ が ℬ₂ の基本開集合を ℝ の開区間に写像することを証明し、φ および φ⁻¹ の連続性を確立する。
• 一般の0次元可分距離空間 X における、ω でインデックス付けされたクロージャブル被覆 {𝒰_i} の概念を適用する。
• 各 x ∈ X に対して、f_x ∈ ∏_{i<ω} k_i を、x ∈ U_{i,j} を満たす一意の添え字 j として f_x(i) に割り当てる。これにより写像 φ: X → ℬ を定義する。

実験結果

リサーチクエスチョン

• RQ1 無理数の空間は、可分で0次元の距離空間の普遍空間として位相的に特徴付けられるか？
• RQ2 連分数を用いて、ベール空間と無理数の間の構成的同相写像が存在するか？
• RQ3 0次元距離空間におけるクロージャブル被覆は、無理数への位相的埋め込みを定義するためにどのように利用できるか？
• RQ4 ベール空間から無理数への写像 φ によって、どのような位相的性質が保たれるか？
• RQ5 無理数の部分集合が、与えられた可分で0次元の距離空間と同相になるための条件は何か？

主な発見

• ベール空間 ℬ₂ から無理数への写像 φ は、定義が明確で、全単射かつ双連続であるため、同相写像である。
• 任意の列 a ∈ ℬ₂ および n ∈ ℕ に対して、φ による基本開近傍 N(a, 1/n) の像は ℝ 内の開区間であり、n が偶数のときは ([a₀,…,aₙ],[a₀,…,aₙ+1])、n が奇数のときは ([a₀,…,aₙ+1],[a₀,…,aₙ]) に一致する。
• 連分数構成によって、無理数の空間 ℝ∖ℚ とベール空間 ℬ₂ は同相であることが示され、位相的同値性が確立される。
• 任意の可分で0次元の距離空間 X は、φ: X → ℬ₂ ⊂ ℝ として構成された埋め込みにより、無理数の部分集合と同相である。
• X のクロージャブル被覆 {U_{i,j}} を構成する集合族は、φ(X) 上の位相の補基を形成し、φ が位相的埋め込みであることを保証する。
• 証明は、定理2.10(3)の条件を満たす可算でネストされたクロージャブル被覆の族 {𝒰_i} の存在に依存しており、これにより同相写像の存在が保証される。