[論文レビュー] Fans and their applications in General Topology, Functional Analysis and Topological Algebra

Тарас Банах|arXiv (Cornell University)|Feb 15, 2016

Advanced Topology and Set Theory被引用数 13

ひとこと要約

この論文は、関数空間、自由位相的代数、弱位相を備えたバナッハ空間において、k-空間およびAscoli性の失敗を検出するための位相的道具として、特に強さのあるFin-ファンおよびその変種であるCld-ファンの概念を導入し、体系的に分析している。著者らは、k-空間はCld-ファンを含まない、Ascoli空間は厳密なCld-ファンを含まないことを確立することで、関数解析学および位相的代数の基本的空間（例えば、自由位相的群、線形位相空間、バナッハ空間など）がいつk-空間またはAscoli空間であるかをファンに基づく特徴づけによって特定している。

ABSTRACT

A family of closed subsets of a topological space $X$ is called a (strict) $Cld$-fan in $X$ if this family is (strictly) compact-finite but not locally finite in $X$. Applications of (strict) $Cld$-fans are based on a simple observation that $k$-spaces contain no $Cld$-fan and Ascoli spaces contain no strict $Cld$-fan. In this paper we develop the machinery of (strict) fans and apply it to detecting the $k$-space and Ascoli properties in spaces that naturally appear in General Topology, Functional Analysis, and Topological Algebra. In particular, we detect (generalized) metric spaces $X$ whose functor-spaces, functions spaces, free (para)topological (abelian) groups, free (locally convex) linear topological spaces, free (Lawson) topological semilattices, and free (para)topological (Clifford, Abelian) inverse semigroups are $k$-spaces or Ascoli spaces.

研究の動機と目的

• 位相的空間がk-空間またはAscoli空間でない場合を検出するためのファンに基づく枠組みを構築すること。
• 関数空間、自由位相的代数、弱位相を備えたバナッハ空間におけるk-空間およびAscoli性を特徴づけること。
• 自由位相的代数（例えば、自由位相的群、自由線形空間）がk-空間またはAscoli空間であるための条件を確立すること。
• 強さのあるFin-ファンおよびD-コファンが、位相的代数およびファンクター空間における構造的性質の検出に果たす役割を調査すること。
• ファン理論的特徴づけを通じて、位相的代数、関数解析学、一般位相の統合的枠組みを提供すること。

提案手法

• コンパクト有限性および局所有限性の条件に基づき、Cld-ファン、S-ファン、Fin-ファン、強さのあるFin-ファン、D-コファン、Finω-ファンを導入・分類すること。
• 主要な位相的二分法を基盤とする検出ツールとして、k-空間はCld-ファンを含まない。Ascoli空間は厳密なCld-ファンを含まない、という事実を用いること。
• 関数空間およびファンクター空間の構造を分析するために、拡張作用素およびCk埋め込み技術を適用すること。
• 代数的演算および位相的埋め込みを用いて、自由位相的代数（例えば、自由位相的群、自由線形空間）にファンを構成すること。
• 種のkω安定性、HM安定性、d+HM安定性を活用し、ファンの性質がファンクター的構成によって保存されることを証明すること。
• Stone-Čechコンパクト化および補集合包含の議論を用いて、自由線形位相空間内のコンパクト集合を分析すること。

実験結果

リサーチクエスチョン

• RQ1 Tychonoff空間Xが、その自由線形位相空間Lin(X)がk-空間またはAscoli空間であることを保証する条件は何か？
• RQ2 自由位相的群または自由位相的半群がk-空間でないのはいつで、その失敗はファンによってどのように検出できるか？
• RQ3 強さのあるFinω1-ファンが、自由位相的代数におけるk-空間およびAscoli性の特徴づけに果たす役割は何か？
• RQ4 ファンに基づく特徴づけは、関数空間およびファンクター空間における古典的性質（例えば、コズミック、ℵk、kω-空間）とどのように関係するか？
• RQ5 どのファンクター的構成（例えば、自由位相的群、自由線形空間）がk-空間またはAscoli性を保存し、その条件は何か？

主な発見

• TychonoffのkR空間Xがコズミックkω空間であることは、その自由線形位相空間Lin(X)がコズミックkω空間であることと同値である。
• Lin(X)がk-空間であることは、Xが¯ℵk空間であり、かつLin(X)に強さのあるFinω1-ファンを含まないことと同値である。
• Tychonoff空間Xが非可算な強さのあるコンパクト有限部分集合を含むならば、Lin(X)は強さのあるFinω1-ファンを含み、したがってLin(X)はk-空間でない。
• 自由線形位相空間Lin(X)は、x·y、x(y∗z)、(x∗y)(z∗s)、およびx(s∗yi)<ωのタイプの代数的構造を備えており、これにより代数的ファン構成が可能である。
• 関手Linは強く有界であり、そのコンパクト集合の補集合は有限部分和に含まれるため、k-空間の特徴づけが支持される。
• Lin(X)がk-空間であるような空間Xのクラスは、Lin(X)に強さのあるFinω1-ファンを含まない¯ℵk空間Xのクラスと一致する。