[論文レビュー] On hereditarily indecomposable compacta and factorization of maps

Klaas Pieter Hart, Elżbieta Pol|arXiv (Cornell University)|May 15, 2008

Advanced Topology and Set Theory参考文献 6被引用数 3

ひとこと要約

この論文は、モデル理論的技法と Löwenheim-Skolem の原理を用いて、完全写像の極小分解可能性定理を一般化し、そのような写像を極小分解的コンパクト化へ拡張する。主な貢献は、Čech-Stone コンパクト化と擬サスペンション法を用いた、Maćkowiak の定理（普遍的極小分解的コンtinuumの存在）の新たな証明である。

ABSTRACT

We prove a general factorization theorem for maps with hereditarily indecomposable fibers and apply it to reprove a theorem of Mackoviak on the existence of universal hereditarily indecomposable continua.

研究の動機と目的

• 可分な距離空間における極小分解的ファイバーをもつ完全写像の一般因子分解定理を確立すること。
• 新しい位相的・モデル理論的アプローチを用いて、Maćkowiak の普遍的極小分解的コンtinuumに関する存在定理を再証明すること。
• 極小分解的空間の Čech-Stone コンパクト化が、依然として極小分解的であることを示すこと。
• 任意の基数 τ と次元 n に対して、重み τ および次元 n をもつ極小分解的コンパクト空間が、同じ重みと次元をもつ普遍的極小分解的コンパクト化をもつことを示すこと。
• 基本的部分ラティスを用いた閉集合のラティスの方法により、因子分解技法を逆極限およびコンパクト化へ拡張すること。

提案手法

• Wallman の表現定理を用いて、コンパクトハウスドルフ空間を閉集合のラティスのスペクトルとして表現する。
• モデル理論における Löwenheim-Skolem の定理の双対版を適用し、性質 (KM) を保存する閉集合の基本的部分ラティスを構成する。
• Mardešić の因子分解定理を強化した形で用い、写像を極小分解的コンパクト化を介して因子分解する。
• 擬サスペンジョン構成を用いて、0次元空間のコンパクト化を極小分解的コンtinuumへ上昇させる。
• 性質 (KM) をラティス的条件として用い、極小分解性と同値な条件とすることで、構造をコンパクト化へ移す。
• 重み τ の基数によってインデックス付けられた可分な極小分解的空間の逆系を用いて、普遍的コンパクト空間を構成する。

実験結果

リサーチクエスチョン

• RQ1 可分な距離空間 X から 0次元の可分な距離空間 Y への完全写像 f:X→Y で、極小分解的ファイバーをもつものについて、その写像が極小分解的コンパクト化を介して因子分解可能か？
• RQ2 極小分解的空間 X の Čech-Stone コンパクト化 βX は、依然として極小分解的か？
• RQ3 任意の基数 τ と n∈{0,1,…,∞} に対して、重み τ および次元 n をもつ普遍的極小分解的コンパクト空間を構成可能か？
• RQ4 モデル理論的技法、特に基本的部分ラティスを用いることで、コンパクト化における位相的性質をどの程度保てるか？
• RQ5 擬サスペンジョンおよび逆極限を用いて、普遍的極小分解的コンtinuumを構成する因子分解法は存在するか？

主な発見

• 可分な距離空間 X から 0次元の可分な距離空間 Y への完全写像 f:X→Y で、ファイバーが極小分解的である場合、X と Y の極小分解的かつ 0次元の可分な距離コンパクト化 X* と Y* の間の写像 f*:X*→Y* へ拡張可能である。
• 極小分解的空間 X の Čech-Stone コンパクト化 βX は、X が性質 (KM) を満たす限り、自身も極小分解的である。
• 任意の基数 τ および n∈{0,1,…,∞} に対して、重み τ および次元 n をもつ極小分解的コンパクト空間 X(n,τ) が存在し、重み ≤τ および次元 ≤n をもつすべての極小分解的コンパクト空間のコピーを含む。
• 次元 n および重み τ をもつ極小分解的コンパクト空間 X は、次元 n および濃度 ≤τ をもつ可分な極小分解的コンパクト空間の逆系をもち、その極限は X と位相的に同相である。
• 性質 (KM) をもつ、重み τ および次元 n の正規 n 次元空間は、次元 n および重み τ をもつ極小分解的コンパクト化をもつ。
• 性質 (KM) を閉集合ではなく零集合と余零集合を用いて再定式化することで、結果は完全正規空間へ拡張可能である。