[論文レビュー] A characterization of free locally convex spaces over metrizable spaces which have countable tightness

Saak Gabriyelyan|arXiv (Cornell University)|Jul 6, 2014

Advanced Topology and Set Theory参考文献 11被引用数 8

ひとこと要約

この論文は完全な特徴付けを確立する：メトライゼブル空間 $ X $ に対して、自由局所凸空間 $ L(X) $ が可算なタイトネスを持つのは、$ X $ が分離的であるときかつそのときに限る。証明は、$ L(X) $ が $ C_c(C_c(X)) $ に埋め込まれること、Pytkeev $\aleph_0$-空間の性質、および $ X $ の孤立点と非孤立点の構造を活用し、最終的に非可算個の孤立点が $ L(X) $ の非可算タイトネスを引き起こし、仮定に矛盾することを示す。

ABSTRACT

We prove that the free locally convex space $L(X)$ over a metrizable space $X$ has countable tightness if and only if $X$ is separable.

研究の動機と目的

• Tychonoff空間 $ X $ に対して、自由局所凸空間 $ L(X) $ が可算タイトネスを持つのはどのような場合かを特定すること。
• 関数解析学における重要なクラスであるメトライゼブル空間に対して、特に質問 1.1 を解決すること。
• メトライゼブル空間 $ X $ に対して、$ L(X) $ の可算タイトネスと同値な明確な位相的条件（分離的であること）を確立すること。
• $ L(X) $ のタイトネスを、特に孤立点の濃度に関連して、$ X $ の構造的性質と結びつけること。

提案手法

• $ X $ が $ k $-空間であるとき、標準的な位相的埋め込み $ L(X) \hookrightarrow C_c(C_c(X)) $ を用いる。
• 定理 2.3 を適用して、$ X $ が $ \aleph_0 $-空間であれば、$ C_c(X) $ および $ C_c(C_c(X)) $ が Pytkeev $\aleph_0$-空間であることを示す。
• 定理 2.4 を活用して、$ A(X) \hookrightarrow L(X) \hookrightarrow C_c(C_c(X)) $ の鎖を通じて、$ L(X) $ の Pytkeev $\aleph_0$-空間性と $ X $ のそれとを関連付ける。
• 補題 2.5 を用いて、$ D \subset X $ が孤立点の閉開集合であれば、$ L(D) $ が $ L(X) $ の閉部分空間として埋め込まれることを示す。
• 定理 2.2 を適用し、$ D $ が非可算かつ離散的であれば $ L(D) $ は非可算タイトネスを持つことから、$ X $ に非可算個の孤立点がある場合に矛盾が生じることを導く。
• 自由アーベル群に関する定理 2.1 を用いて、$ A(X) $ が可算タイトネスを持つのは、非孤立点の集合 $ X' $ が分離的であるときのみであることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようなメトライゼブル Tychonoff 空間 $ X $ に対して、自由局所凸空間 $ L(X) $ が可算タイトネスを持つのか？
• RQ2 $ X $ の分離的であることこそが、$ L(X) $ が可算タイトネスを持つために必要かつ十分であるか？
• RQ3 孤立点が非可算個ある場合、$ L(X) $ のタイトネスに果たす役割は何か？
• RQ4 $ A(X) $ および $ F(X) $ の位相的性質が、$ L(X) $ のそれらと、特にタイトネスおよび strong Pytkeev 性質の文脈でどのように関係するか？
• RQ5 Pytkeev $\aleph_0$-空間性は、$ L(X) $ の可算タイトネスを特徴付けるのに用いられるか？

主な発見

• メトライゼブル空間 $ X $ に対して、自由局所凸空間 $ L(X) $ が可算タイトネスを持つのは、$ X $ が分離的であるときかつそのときに限る。
• もし $ X $ に非可算個の孤立点を持つならば、$ L(X) $ は非可算タイトネスを持つ。なぜなら、非可算離散部分集合 $ D \subset X $ に対して $ L(D) $ が $ L(X) $ の閉部分空間として埋め込まれるからである。
• 定理 2.1 より、$ A(X) $ が可算タイトネスを持つためには、非孤立点の集合 $ X' $ が分離的でなければならない。
• $ X $ が $ k $-空間であると仮定すると、$ L(X) $ が Pytkeev $\aleph_0$-空間であることは、$ X $ が Pytkeev $\aleph_0$-空間であることと同値である。
• strong Pytkeev 性質および Pytkeev $\aleph_0$-空間性は、$ L(X) $ の可算タイトネスの十分条件ではあるが、一般には必要条件ではない。
• この特徴付けは鋭い：分離的であることこそが、$ X $ に対して $ L(X) $ が可算タイトネスを持つために必要かつ十分である。非可算個の孤立点を持つ場合に矛盾が生じることで示された。