[論文レビュー] A very general covering property

Paolo Lipparini|arXiv (Cornell University)|May 22, 2011

Advanced Topology and Set Theory被引用数 7

ひとこと要約

本稿では、集合 $A$ の部分集合族 $B$ を用いて $[B,A]$-compactness と呼ばれる一般化されたコンパクト性の概念を導入することにより、位相空間における被覆性質を統一的に扱う枠組みを提案する。この枠組みにより、逐次的コンパクト性、$D$-コンパクト性、$[\beta,\alpha]$-コンパクト性といった、収束性や集積点に関する性質が、特定の被覆条件と同値であることが示され、開被覆と部分被覆を用いた、広範かつ体系的な位相的性質の特徴づけが可能になる。

ABSTRACT

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are shown to be equivalent to a covering property in the sense considered here (Theorem 3.9). Conversely, every covering property is equivalent to the existence of appropriate kinds of accumulation points for arbitrary sequences on some fixed index set (Corollary 3.5). We discuss corresponding notions related to sequential compactness, and to pseudocompactness, or, more generally, properties connected with the existence of limit points of sequences of subsets. In spite of the great generality of our treatment, many results here appear to be new even in very special cases, such as $D$-compactness and $D$-pseudocompactness, for $D$ an ultrafilter, and weak (quasi) $M$-(pseudo)-compactness, for $M$ a set of ultrafilters, as well as for $[β, α]$-compactness, with $β$ and $α$ ordinals.

研究の動機と目的

• 異なる位相的被覆性質（例えばコンパクト性、逐次的コンパクト性、$D$-コンパクト性）を、一つの一般的枠組みで統一すること。
• さまざまな種類の収束または集積点に関する閉包性が、提案された一般的設定において被覆性質と論理的に同値であることを示すこと。
• 古典的な基数および順序数コンパクト性に関する結果を、超フィルターに基づくものや $[\beta,\alpha]$-コンパクト性を含むより広いクラスへと拡張すること。
• 無限集合によってインデックスづけられた開被覆と、特定の族からの部分被覆を用いて、擬コンパクト性および逐次的コンパクト性の新たな特徴づけを提供すること。
• 提案された一般的枠組みが、既知の性質を捉えるだけでなく、$D$-擬コンパクト性や弱 $M$-(準)コンパクト性といった特殊ケースにおいても、新たな非自明な結果を明らかにすること。

提案手法

• $[B,A]$-コンパクト性を一般の被覆性質として定義する：位相空間 $X$ の任意の開被覆 $(O_a)_{a\in A}$ に対して、ある $H\in B$ を用いてインデックスづけられた部分被覆が存在する。
• 特性関数を用いて、$\mathcal{P}(A)$ の部分族 $B\subseteq \mathcal{P}(A)$ を $\{0,1\}^A$ の積空間に埋め込み、$B$ 上での位相的構成を可能にする。
• $\{0,1\}^A$ からの誘導位相を用いた $B$ の部分空間位相を用いて、$[B,A]$-コンパクト性の反例を構成する。ここで、部分基本開集合 $a^{<}$ および $a^{\not\in}$ を用いる。
• 超フィルターとその極限を用いて、収束に基づく性質（例：$D$-収束）と被覆条件との同値性を確立する。
• 一般枠組みを応用し、逐次的コンパクト性、ロスバーガー性、メンガー性、$M$-擬コンパクト性の特徴づけを導出する。
• 定理 5.10 および 5.11 を用いて、超フィルター族 $M$ とインデックス集合 $A = \bigcup_{D\in M} D$ 上の被覆条件を関連させ、$M$-収束と部分被覆の存在を結びつける。

実験結果

リサーチクエスチョン

• RQ1 一様な一般的枠組みにより、コンパクト性、逐次的コンパクト性、$D$-コンパクト性といった多様な被覆性質を統一的に扱うことは可能か？
• RQ2 $D$-収束や逐次的収束などのさまざまな種類の収束に関する閉包性が、提案された枠組みにおいて特定の被覆性質と同値であるか？
• RQ3 $[\mu,\lambda]$-コンパクト性および $[\beta,\alpha]$-コンパクト性に関する古典的結果が、$[B,A]$-コンパクト性を用いてより一般の設定へとどの程度拡張可能か？
• RQ4 擬コンパクト性および逐次的コンパクト性は、無限集合によってインデックスづけられた開被覆と、特定の族からの部分被覆を用いて再特徴づけられるか？
• RQ5 特殊ケース（例：$D$-擬コンパクト性、弱 $M$-コンパクト性）において、この一般的枠組みから新たな非自明な結果が得られるか？

主な発見

• すべての被覆性質は、固定された集合 $A$ に沿った列の適切な集積点の存在と同値である。これはコロナリー 3.5 で示されている。
• 逐次的コンパクト性は、任意の開被覆 $(O_a)_{a\in[\omega]^\omega}$ に対して、すべての $[Z]^\omega$-インデックスづけられた部分被覆が $X$ を被覆するならば、ある $n\in\omega$ が存在して $\{O_a \mid n\in a\}$ が $X$ を被覆する（コロナリー 5.12）。
• 可算被覆におけるロスバーガー性は、$\bigcap_{m\in\omega}\overline{\{x_f \mid f(n)=m\}} \neq \emptyset$ となる $n\in\omega$ の存在と同値である（コロナリー 5.13）。
• 可算被覆におけるメンガー性は、$\bigcap_{m\in\omega}\overline{\{x_f \mid m\in f(n)\}} \neq \emptyset$ となる $n\in\omega$ の存在と同値である（コロナリー 5.13）。
• 準 $M$-コンパクト性および準 $M$-擬コンパクト性は、$A = \bigcup_{D\in M} D$ および $B$ が超フィルターから導かれるものとして、$[B,A]$-コンパクト性として特徴づけられる（コロナリー 5.14）。
• この枠組みは、$D$-コンパクト性や $[\beta,\alpha]$-コンパクト性といった古典的概念を一般化し、それらの特殊ケースにおいても新たな結果を導く。