[論文レビュー] Remarks on hereditarily indecomposable continua

Klaas Pieter Hart, Jan van Mill+1 more|ArXiv.org|Oct 25, 2000

Advanced Topology and Set Theory参考文献 4被引用数 15

ひとこと要約

本稿は、非交わる閉集合間の'ねじれ'に基づく特徴づけを用いて、完全に分解不能な連続体を統一的に構成する枠組みを提供する。マックォヴィアクとティムチャチンが提起した問いに応えており、任意の重みをもつ任意の連続体が、同じ重みの完全に分解不能な連続体の弱く融合的像であることを、モデル理論的手法とトイコノフ立方体への本質的写像を用いて証明している。さらに、3次元におけるブロウワーの不動点定理が、ハイパースペース的議論によって、無限次元バージョンを含む全バージョンを示すことを示している。

ABSTRACT

We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable continuum of the same weight. We present two methods of constructing these preimages: (a) by model-theoretic means, using the compactness and completeness theorems from first-order logic to derive these results for continua of uncountable weight from their metric counterparts; and (b) by constructing essential mappings from hereditarily indecomposable continua onto Tychonoff cubes. We finish by reviving an argument due to Kelley about hyperspaces of hereditarily indecomposable continua and show how it leads to a point-set argument that reduces Brouwer's Fixed-point theorem to its three-dimensional version.

研究の動機と目的

• 非交わる閉集合間のねじれに基づく位相的特徴づけを用いて、完全に分解不能な連続体の構成を統一すること。
• マックォヴィアクとティムチャチンが提起した、完全に分解不能な連続体の弱く融合的像に関する問いを解決すること。
• 3次元立方体におけるブロウワーの不動点定理が、ハイパースペース的および本質的族の議論を用いて、全無限次元バージョンを含むことへと拡張できることを示すこと。
• 完全に分解不能な連続体のハイパースペースが、ブロウワーの定理を3次元ケースに還元する点集合的還元を支持することを確立すること。

提案手法

• 非交わる閉集合間のねじれに基づく完全に分解不能性の特徴づけを、'なめらかに四つ組'と'チカン'の概念を用いて形式化する。
• 一階論理におけるコンパクト性および完全性定理を用いたモデル理論的手法を適用し、距離的連続体から非可算な重みのケースへの結果の拡張を実現する。
• 連続関数と単位正方形のねじれ分割を用いて、完全に分解不能な連続体からトイコノフ立方体への本質的写像を構成する。
• ウォルマン空間の構成とラティス論的手法を用いて、コンパクトハウスドルフ空間を閉集合基によって表現する。
• ホイットニーのレベルと$ε$-写像を用いてハイパースペースの次元を分析し、多面体近似における最小性の議論を導出する。
• 重心単体分割とリトラクションを用いて、次元推定における最小性仮定に矛盾を引き起こし、不動点を持たない写像が存在すると仮定すると矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全に分解不能な連続体は、1つの位相的基準を用いて一様に構成可能か？
• RQ2 任意の重みをもつ任意の連続体は、同じ重みの完全に分解不能な連続体の弱く融合的像か？
• RQ3 3次元立方体におけるブロウワーの不動点定理は、全無限次元バージョンを含むか？
• RQ4 $̅^n$における不動点性は、完全に分解不能な連続体のハイパースペースにおける本質的族の存在から導けるか？
• RQ5 ハイパースペース構造は、不動点問題を低次元に還元する役割を果たすか？

主な発見

• 任意の重みをもつ任意の連続体は、同じ重みの完全に分解不能な連続体の弱く融合的像である。これはマックォヴィアクとティムチャチンの問いを解決する。
• モデル理論的手法により、一階論理におけるコンパクト性および完全性を活用することで、距離的連続体から非可算な重みのケースへの結果の移行が可能である。
• 連続関数と単位正方形のねじれ分割を用いて、完全に分解不能な連続体からトイコノフ立方体への本質的写像を明示的に構成できる。
• 完全に分解不能な連続体のハイパースペースは、任意に大きな有限の本質的族の閉集合を支持しており、無限次元性を示唆する。
• 3次元立方体におけるブロウワーの不動点定理が、次元の最小性と多面体近似による背理法により、全バージョン$̅^n$への拡張を示している。
• ハイパースペース内での$μ^{-1}(r)$は、いかなる有限次元立方体にも埋め込めず、これにより無限次元性が確認され、不動点結果を支持する。