[論文レビュー] Elementary submodels and separable monotonically normal compacta

Todd Eisworth|ArXiv.org|Aug 15, 2006

Advanced Topology and Set Theory参考文献 9被引用数 7

ひとこと要約

この論文は、単純な部分モデルを用いて、任意の可分な単調的正規コンパクト空間が、纤维の大きさが2以下である可分な距離空間へ連続な上への写像をもつことを証明する。可算な基本部分モデルによって誘導される $M$-同値類を分析することにより、著者たちはそのような商写像が存在することを示し、ニキエル予想の構造的強化を確立するとともに、ルーディンによる予想の証明で用いられた手法を拡張する。

ABSTRACT

In this note, we use elementary submodels to prove that a separable monotonically normal compactum can be mapped on a separable metric space via a continuous function whose fibers have cardinality at most 2.

研究の動機と目的

• モデル理論的道具を用いて、可分な単調的正規コンパクト空間の構造を理解すること。
• 基本部分モデルを適用することで、ルーディンによるニキエル予想の証明を拡張し、位相的同値類を分析すること。
• 任意の可分な単調的正規コンパクト空間が、濃度が2以下の纤维を持つ可分な距離空間へ連続な上への写像をもつことを証明すること。
• この纤维サイズの上限が、特定のモデルに限らず、十分大きなサイズのすべての可算基本部分モデルに対して成り立つことを確立すること。

提案手法

• すべての連続的実数値関数 $f \in M$ に対して $f(x) = f(y)$ が成り立つとき、$x =_M y$ と定義される $M$-同値類を用いて、商空間 $X/M$ を構成する。
• $M$ 内の co-zero 集合の像を用いて $X/M$ に位相を定義し、商空間が Tychonoff かつ Hausdorff であることを保証する。
• 積空間上の連続関数が可算個の座標に依存することを用いて、$[0,1]^\kappa$ における $M$-同値の特徴づけを行う。
• 適切な可算基本部分モデル $M$ に対して、$X$ 内のすべての $M$-同値類の大きさが2以下であることを、背理法と Dushnik–Miller の定理を用いて証明する。
• 要素的性質を用いて、このようなモデルが存在するならば、すべての可算基本部分モデルが同じ纤维サイズの上限を与えることを示す。
• 可分な単調的正規空間の遺伝的 Lindelöf 性質を活用し、閉集合の非可算な減少列が存在しないことを排除する。

実験結果

リサーチクエスチョン

• RQ1 可算基本部分モデルを用いて、可分な単調的正規コンパクト空間の構造を分析できるか？
• RQ2 任意の可分な単調的正規コンパクト空間から、小さな纤维を持つ可分な距離空間へ連続な上への写像が存在するか？
• RQ3 $H(\chi)$ のすべての可算基本部分モデルが、その空間において $M$-同値類の大きさが2以下であると保証されるか？
• RQ4 この纤维サイズの上限2は、特定のモデルに限らず、すべてのこのようなモデルで一様に達成可能か？

主な発見

• $H(\chi)$ の可算基本部分モデル $M$ が存在し、$X$ 内のすべての $M$-同値類の大きさが2以下である。
• $X$ を含むすべての可算基本部分モデル $M$ に対して、すべての $M$-同値類の濃度は2以下である。これは、要素的性質と一様な関数集合の存在による。
• 商空間 $X/M$ は Tychonoff 空間であり、$X = [0,1]^\kappa$ のとき、$[0,1]^{M \cap \kappa}$ に埋め込める。
• この構成により、連続な上への写像 $\pi_M: X \to X/M$ が得られ、その纤维の大きさは2以下であり、$X/M$ は可分な距離空間である。
• この結果は、可分な単調的正規空間の遺伝的 Lindelöf 性質に依存しており、これは非可算な減少列を持つ閉集合の存在を排除する。
• 纤维サイズの上限2は鋭く、一般には改善できない。これは、Dushnik–Miller の定理と単調的正規性の性質を用いた背理法によって示された。