[論文レビュー] A unified theory of function spaces and hyperspaces: local properties

Szymon Dolecki, Frédéric Mynard|arXiv (Cornell University)|Feb 15, 2010

Advanced Topology and Set Theory参考文献 23被引用数 6

ひとこと要約

本稿では、関数空間 $C(X,\mathbb{R})$ 上に定義された前像ごとの収束変換 $\tau^{\Uparrow}$ を用いて、関数空間および超空間における局所的収束性の性質を統一的に分析するフレームワークを提示する。$\mathbb{R}$-分離性の条件下で、超空間の収束 $\tau$ が全体空間上で示す基本的な位相的性質（例えば、タイトネス、Fréchet性）が、原点における $\tau^{\Uparrow}$ の同様の性質と同値であることを示している。主な結果として、$X$ のLindelöf数と一致する特性とタイトネスの一致、およびコンパクトネットワーク条件の下でのFréchet性と有限集合に対するFréchet性の同値性が得られる。

ABSTRACT

Many classically used function space structures (including the topology of pointwise convergence, the compact-open topology, the Isbell topology and the continuous convergence) are induced by a hyperspace structure counterpart. This scheme is used to study local properties of function space structures on $C(X,\mathbb R)$, such as character, tighntess, fan-tightness, strong fan-tightness, the Fr{é}chet property and some of its variants. Under mild conditions, local properties of $C(X,\mathbb R)$ at the zero function correspond to the same property of the associated hyperspace structure at $X$. The latter is often easy to characterize in terms of covering properties of $X$. This way, many classical results are recovered or refined, and new results are obtained. In particular, it is shown that tightness and character coincide for the continuous convergence on $C(X,\mathbb R)$ and is equal to the Lindel{ö}f degree of $X$. As a consequence, if $X$ is consonant, the tightness of $C(X,\mathbb R)$ for the compact-open topology is equal to the Lindel{ö}f degree of $X$.

研究の動機と目的

• 関数空間 $C(X,Z)$ と超空間の開集合・閉集合の間の収束構造の一般的双対性を、前像ごとの収束変換を用いて確立すること。
• 点ごとの収束、コンパクト開位相、Isbell位相に関する古典的結果を体系的な変換 $\tau^{\Uparrow}$ を導入することで統一的かつ拡張すること。
• 超空間の収束 $\tau$ が示す局所的位相的性質（例：タイトネス、Fréchet性）が、$C(X,\mathbb{R})$ 上の $\tau^{\Uparrow}$ が原点で示す性質と一致する条件を同定すること。
• 自然収束が他の位相と一致する条件を特定し、$\mathbb{R}$-分離性がその同値性に果たす役割を明確にすること。
• 超空間位相におけるFréchet型性質と被覆性質の同値性に関する未解決問題を解消すること。

提案手法

• すべての開集合 $U \subseteq \mathbb{R}$ に対して $f^{-1}(U) \in \lim_\tau \mathcal{F}^{-1}(U)$ が成り立つとき、$f \in \lim_{\tau^{\Uparrow}} \mathcal{F}$ となるように、$C(X,\mathbb{R})$ 上に前像ごとの収束変換 $\tau^{\Uparrow}$ を定義する。
• Sierpiński空間 $\$$ を用いて、$C(X,\$$)$ を $X$ の開集合または閉集合の超空間と同一視し、超空間位相の研究を可能にする。
• 位相空間 $X$ の開集合の族 $\alpha$ を用いた $Z$-双対位相構成法を適用し、$C(X,Z)$ 上の位相を、部分基本集合 $[\mathcal{A},U] = \{f \in C(X,Z) : f^{-1}(U) \in \mathcal{A}\}$ を用いて生成する。
• $X$ における $\mathbb{R}$-分離性の仮定の下で、超空間上の $\tau$ の収束性質と、原点における $C(X,\mathbb{R})$ 上の $\tau^{\Uparrow}$ の収束性質との同値性を確立する。
• $[X,\mathbb{R}]$ が自然収束であるとき、すべての $\alpha$ に対して $p(X) \leq \alpha \leq \kappa(X)$ を満たすとき、$[X,\mathbb{R}] = [\alpha,\mathbb{R}]$ が成り立つことを証明し、点ごとの収束、コンパクト開位相、Isbell位相を統一する。
• フィルター理論的道具（例：$\mathbb{F}_0$-合成可能、$\mathbb{F}_1$-安定フィルター）を用い、$X$ の被覆性質と $C(X,\mathbb{R})$ の収束性質との双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 超空間位相 $\tau$ の局所的収束性質が、原点におけるその前像ごとの変換 $\tau^{\Uparrow}$ の同様の性質と一致する条件は何か？
• RQ2 $C(X,\mathbb{R})$ 上の自然収束における特性とタイトネスが、$X$ のLindelöf数と一致する条件は何か？
• RQ3 コンパクトネットワークによって生成される超空間位相において、Fréchet性と有限集合に対するFréchet性の関係は何か？
• RQ4 さまざまな $X$ の開集合の族 $\alpha$ に対して、双対収束 $[\alpha,\mathbb{R}]$ と自然収束 $[X,\mathbb{R}]$ の関係は何か？
• RQ5 $X$ の被覆性質（例：Lindelöf、Rothberger）が $C(X,\mathbb{R})$ の収束構造をどの程度決定づけるか？

主な発見

• $X$ が $\mathbb{R}$-分離性を満たす条件下で、$C(X,\mathbb{R})$ 上の自然収束における特性とタイトネスは一致し、$X$ のLindelöf数に等しい。
• コンパクトネットワークによって生成される超空間位相におけるFréchet性は、有限集合に対するFréchet性と同値である。
• $[X,\mathbb{R}]$ は、すべての $\alpha$ に対して $p(X) \leq \alpha \leq \kappa(X)$ を満たすとき、$[\alpha,\mathbb{R}]$ と一致し、点ごとの収束、コンパクト開位相、Isbell位相を統一する。
• $\alpha = p(X)$ のとき、$cC_p(X,\$$)$ がFréchetであるならば、$\alpha_2$ 性質が成り立つ。これは[10]の結果を一般化する。
• $\alpha = k(X)$ のとき、$cC_k(X,\$$)$ がFréchetであるならば、FU fin 性質が成り立つ。これは[10, 系5(2)]の結果を、厳密Fréchet性の仮定をFréchet性に弱めたことで改善している。
• $cC_p(X,\$$)$ がFréchetであることと $cC_k(X,\$$)$ がFréchetであることの同値性は、列法に拡張されない。なぜなら、超空間位相においては、列法とFréchet性が同値でないからである。