[論文レビュー] Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. III

Paolo Lipparini|ArXiv.org|Apr 23, 2008

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

ひとこと要約

この論文は、特異基数における位相的コンパクト性と超フィルターの正則性の間の深い関係を確立する。特に、位相空間 $ S_{ lambda}( lambda) $ が $ D $-コンパクトであるための必要十分条件として、超フィルター $ D $ が $ ( lambda, lambda) $-正則でないことが示され、従来の正則基数に関する結果を特異基数へ一般化するとともに、積と超積の構成を通じてモデル理論的超フィルター性質と位相的コンパクト性を結びつける。

ABSTRACT

We generalize the results from "P. Lipparini, Productive $[λ,μ]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.

研究の動機と目的

• 特異基数における超フィルター正則性と位相的コンパクト性に関する結果を一般化し、従来の正則基数に関する研究を拡張すること。
• 特定の位相空間の $ D $-コンパクト性と超フィルターの非正則性との間の明確な同値関係を確立すること。
• 位相的空間の積的に $[\nlambda,\nmu]$-コンパクト性と、それが超フィルター正則性に依存する条件を調査すること。
• 超フィルターの性質に基づいて、族 $ (\nκ_i)_{i\in I} $ に対して位相的空間が $[\nκ_i,\nκ_i]$-コンパクトである条件を特徴づけること。
• Frechetの直和結合構成を導入し、それを用いて超フィルター極限における $ D $-コンパクト性や正規性などの位相的性質を保存する方法を分析すること。

提案手法

• 論文は、$ \nlambda $ 未満の $ \nmu $ の部分集合からなる集合とみなされる空間 $ S_\nlambda(\nmu) $ を用い、各 $ \alpha \in \nmu $ に対して $ \{x \in S_\nlambda(\nmu) \mid \alpha \in x\} $ 及びその補集合によって生成される位相を備える。
• 超フィルター $ D $ が $ (\nlambda,\nlambda) $-正則でないとき、かつそのときに限り、$ S_\nlambda(\nlambda) $ が $ D $-コンパクトであることが示され、超フィルター収束および $ D $-収束の定義を用いる。
• 証明は、$ D $-収束が $ x \in S_\nlambda(\nlambda) $ に起こるためには、すべての $ \alpha \in x $ に対して $ \{i \mid \alpha \in f(i)\} \in D $ でなければならないこと、かつ $ x $ の濃度が $ \nlambda $ 未満でなければならないことに基づく。
• Frechetの直和 $ X = \{x\} \dot{\cup} \dot{\bigcup}_{i\in I} X_i $ が構成され、$ D $-コンパクト性および正則性や正規性などの位相的性質を保存する。
• 背理法を用いて、積的に $[\nlambda,\nmu]$-コンパクト性と超フィルターの $ (\nκ_i,\nκ_i) $-正則性との同値性を証明し、ある $ i \in I $ に対して $ (\nlambda,\nmu) $-正則な超フィルターが $ (\nκ_i,\nκ_i) $-正則でないような $ (\nlambda,\nmu) $-正則超フィルターの存在を用いる。
• 論文は、[C2, Theorem 1.7] および [L2, Proposition 1] の既知の結果を応用し、特に特異基数の文脈において、積の $ D $-コンパクト性と超フィルター正則性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 特異基数 $ \nlambda $ に対して、順序位相を備えた空間 $ X = \nlambda^+ \cup \operatorname{cf}\nlambda $ が超フィルター $ D $ に関して $ D $-コンパクトであるのはいつか？
• RQ2 $ S_\nlambda(\nlambda) $ の $ D $-コンパクト性と超フィルター $ D $ の $ (\nlambda,\nlambda) $-正則性との正確な関係は何か？
• RQ3 積的に $[\nlambda,\nmu]$-コンパクトな空間が、ある $ i \in I $ に対して $[\nκ_i,\nκ_i]$-コンパクトであるのはどのような条件下か？
• RQ4 Frechetの直和結合構成は、$ D $-コンパクト性および正規性や正則性などの位相的性質をどのように保存するか？
• RQ5 ハウスドルフ空間、正規空間、クロージャブルな基底を持つティコノフ群などの異なるクラスの位相的空間において、積的に $[\nlambda,\nmu]$-コンパクト性の条件がどのように同値となるか？

主な発見

• 空間 $ S_\nlambda(\nlambda) $ が $ D $-コンパクトであるための必要十分条件は、超フィルター $ D $ が $ (\nlambda,\nlambda) $-正則でないことである。これにより、位相的コンパクト性と超フィルター正則性の間の明確な双対性が確立される。
• 特異基数 $ \nlambda $ に対して、超フィルターが $ (\nlambda,\nlambda) $-正則であることは、$ (\operatorname{cf}\nlambda,\operatorname{cf}\nlambda) $-正則または $ (\nlambda^+,\nlambda^+) $-正則であることと同値である。これは、従来の結果を特異基数へ一般化する。
• 順序位相を備えた位相的空間 $ X = \nlambda^+ \cup \operatorname{cf}\nlambda $ が $ D $-コンパクトであるための必要十分条件は、$ D $ が $ (\nlambda,\nlambda) $-正則でないことである。したがって、$ X $ は積的に $[\nlambda,\nlambda]$-コンパクトではない。
• 積的に $[\nlambda,\nmu]$-コンパクトな位相的空間が、ある $ i \in I $ に対して $[\nκ_i,\nκ_i]$-コンパクトであるための必要十分条件は、すべての $ (\nlambda,\nmu) $-正則超フィルターが、ある $ i \in I $ に対して $ (\nκ_i,\nκ_i) $-正則であることである。これにより完全な同値性が確立される。
• $ D $-コンパクト空間のFrechetの直和は $ D $-コンパクトであり、各成分空間が閉開集合の基底を持つならば、直和空間に対しても同様の基底が存在する。これにより、重要な位相的性質が保存される。
• 各 $ \nκ_i $ が正則基数または共終度 $ \omega $ の特異基数であるとき、定理6における条件は依然として同値であり、特に $ D $-コンパクト性が、ある $ i \in I $ に対して $[\nκ_i,\nκ_i]$-コンパクト性を意味することを含む。