[論文レビュー] Generalized Cantor manifolds and homogeneity

Alexandre Karassev, Paweł Krupski+2 more|ArXiv.org|Jul 23, 2008

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

ひとこと要約

本稿は、CW複体のストラトム $\mathcal{K}$ から導かれる次元関数 $D_{\mathcal{K}}$ を用いて、無限次元的および拡張論的設定における、古典的なカントール多様体、$V^n$-コンティニュア、マズゥルキエヴィチ多様体の一般化を試みる。すべての同次的メトリクスコンティニュアで、特定の次元に基づくクラスに属さないものは、$\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して強いカントール多様体であることが示され、アレクサンドロフの古典的定理がより広範な位相的文脈へと拡張される。

ABSTRACT

A classical theorem of Alexandroff states that every $n$-dimensional compactum $X$ contains an $n$-dimensional Cantor manifold. This theorem has a number of generalizations obtained by various authors. We consider extension-dimensional and infinite dimensional analogs of strong Cantor manifolds, Mazurkiewicz manifolds, and $V^n$-continua, and prove corresponding versions of the above theorem. We apply our results to show that each homogeneous metrizable continuum which is not in a given class $\mathcal C$ is a strong Cantor manifold (or at least a Cantor manifold) with respect to $\mathcal C$. Here, the class $\mathcal C$ is one of four classes that are defined in terms of dimension-like invariants. A class of spaces having bases of neighborhoods satisfying certain special conditions is also considered.

研究の動機と目的

• $n$ 次元コンパクト空間に $n$ 次元のカントール多様体を含むアレクサンドロフの古典的定理を、無限次元的および拡張論的設定へと拡張すること。
• CW複体のストラトム $\mathcal{K}$ に基づく一般次元関数 $D_{\mathcal{K}}$ を用いて、強いカントール多様体、$V^n$-コンティニュア、マズゥルキエヴィチ多様体の一般化概念を定義すること。
• 同次的メトリクスコンティニュアが $\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して強いカントール多様体である条件を確立すること、特に特定の次元に基づくクラスに属さない場合を特に考える。
• コンパクト $n$ 次元空間における拡張性質 $(\alpha)$ の確認を支援するため、性質 $(H)$ を導入・分析すること。

提案手法

• CW複体のストラトム $\mathcal{K} = \{K_0, K_1, \dots\}$ を用いて次元関数 $D_{\mathcal{K}}(X)$ を定義し、$D_{\mathcal{K}}(X) \leq n$ が $K_n \in AE(X)$ であることと同値となるようにする。これは被覆次元、コhomology次元、および特異次元を一般化する。
• $D_{\mathcal{K}}$ に関して一般化されたカントール多様体、強いカントール多様体、$V^n$-コンティニュアを定義し、古典的定義を抽象的次元理論へと拡張する。
• 適切なクラス $\mathcal{C}$ に関して、マズゥルキエヴィチ多様体とは、任意の交わりのない内部をもつ閉集合の対が、$\mathcal{C}$ の任意の $F_\sigma$-集合の補集合内に連結集合で結ばれる空間であると定義する。
• 局所同次性と性質 $(\alpha)$ が、$\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して、小さな $n$ 次元の強いカントール多様体からなる基底を持つコンパクトで $n$ 次元の強いカントール多様体を持つことを示す。これは連結性に基づく背理法による。
• 性質 $(H)$ を導入する：任意の基底の開集合 $U$ に対して、$D_{\mathcal{K}}(\mathrm{bd}\,U) \leq n-1$ であり、任意の空でない開集合 $V \subset U$ に対して、$\mathrm{bd}\,U$ から $K_{n-1}$ への写像が $\mathrm{cl}U \setminus V$ へ拡張可能である。この性質は $(\alpha)$ を含意する。
• コンパクト $n$ 次元空間が $(H)$ を満たすならば、$(\alpha)$ を満たすことを証明する。最小非拡張可能集合の議論と境界拡張補題を用いる。

実験結果

リサーチクエスチョン

• RQ1 同次的メトリクスコンティニュアが $\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して強いカントール多様体となる条件は何か？
• RQ2 古典的なアレクサンドロフの定理（$n$ 次元コンパクト空間が $n$ 次元のカントール多様体を含むこと）は、$D_{\mathcal{K}}$ を用いて無限次元的または拡張論的設定へと拡張可能か？
• RQ3 コンパクト $n$ 次元空間の文脈において、性質 $(H)$ と性質 $(\alpha)$ の関係は何か？
• RQ4 $D_{\mathcal{K}}$-次元理論下での、一般化された $V^n$-コンティニュアおよびマズゥルキエヴィチ多様体の性質はいかなるものか？
• RQ5 有限次元的かつ局所同次的コンパクト空間において、性質 $(H)$ と性質 $(\alpha)$ は同値か？

主な発見

• 与えられた次元不変量に基づくクラス $\mathcal{C}$ に属さないすべての同次的メトリクスコンティニュアは、$\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して強いカントール多様体である。これはアレクサンドロフの定理を一般化する。
• 命題 4.12 の仮定の下で、空間 $X$ は局所連結で、$\mathcal{D}_{\mathcal{K}}^{n-2}$ に関して強いカントール多様体である。これは、小さな $n$ 次元の強いカントール多様体からなる基底と局所同次性による。
• 性質 $(H)$ はコンパクト $n$ 次元空間において性質 $(\alpha)$ を含意する。これは拡張論的文脈において $(\alpha)$ を検証する実用的な基準を提供する。
• 定理 5.3 の証明は、コンパクト $n$ 次元空間が $(H)$ を満たすならば $(\alpha)$ を満たすことを示しており、最小非拡張可能集合の議論と境界拡張補題を用いる。
• 性質 $(H)$ を持つ空間のクラスには多様体、開 $n$-セルを除いた多様体、および特定の有限ポリトープが含まれるが、すべての $(\alpha)$ を持つ空間ではない（例えば、単純な三叉路はその例）。
• 本稿は、有限次元的かつ局所同次的コンパクト空間において $(\alpha)$ と $(H)$ が同値であるか否かは未解決のままとしており、今後の研究の鍵となる問いを提示している。