2025-11-22T06:37:16.139718

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Maslyuchenko, Myronyk, Ivasiuk

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if $X$ and $Y$ are pseudocompacts and $Z$ is a metric space. We prove that a compact space $K$ embeds into $S(X\times Y,Z)$ for infinite compacts $X$, $Y$ and a metrizable space $Z\supseteq\mathbb{R}$ if and only if the weight of $K$ is less than the sharp cellularity of both spaces $X$ and $Y$.

academic

交叉一様位相を備えた分別連続関数空間のコンパクト部分空間

基本情報

論文ID: 2406.05705
題目: 交叉一様位相を備えた分別連続関数空間のコンパクト部分空間
著者: Oleksandr Maslyuchenko, Vadym Myronyk, Roman Ivasiuk
分類: math.GN（一般位相幾何学）
発表日: 2024年6月11日
論文リンク: https://arxiv.org/abs/2406.05705

要旨

本論文は、2つの位相空間 $X$ と $Y$ の積上で定義され、位相空間または距離空間 $Z$ に値を取る全ての分別連続関数空間 $S(X\times Y,Z)$ 上の2つの自然な位相、すなわち交叉開位相と交叉一様位相を研究する。著者らは、 $X$ と $Y$ が擬コンパクト空間であり $Z$ が距離空間である場合、これら2つの位相が一致することを証明した。主要な結果は、無限コンパクト空間 $X$ 、 $Y$ と $\mathbb{R}$ を含む距離化可能空間 $Z$ に対して、コンパクト空間 $K$ が $S(X\times Y,Z)$ に埋め込まれるための必要十分条件は、 $K$ の重みが $X$ と $Y$ の尖鋭胞腔性より小さいことであることを示している。

研究背景と動機

研究課題: 本論文は主に分別連続関数空間の位相構造、特にその中のコンパクト部分空間の特性化問題を研究する。分別連続関数とは、各固定変数に対して、他の変数上で連続である関数を指す。
問題の重要性: 分別連続関数は多変数関数論において重要な位置を占め、その関数空間の位相的性質は関数の収束性と連続性の理解に重要な意義を持つ。コンパクト部分空間の特性化は、これらの関数空間の全体的構造を理解するのに役立つ。
既存研究の限界: Baire一類関数空間 $B_1(X)$ のコンパクト部分空間がRosenthalコンパクトであることは既知であるが、分別連続関数空間のコンパクト部分空間構造についての理解は限定的である。
研究動機: 著者らは分別連続関数空間においてRosenthal型のコンパクト空間を発見することを期待していたが、実際の位相構造がより単純であることを発見し、これがコンパクト部分空間の完全な特性化を促した。

核心的貢献

位相等価性定理: $X$ と $Y$ が擬コンパクト空間であり $Z$ が距離空間である場合、交叉開位相と交叉一様位相が一致することを証明した。
コンパクト埋め込みの完全な特性化: 無限コンパクト空間 $X$ 、 $Y$ と $\mathbb{R}$ を含む距離化可能空間 $Z$ に対して、どのコンパクト空間が $S(X\times Y,Z)$ に埋め込まれるかを完全に特性化した。
重み限界定理: コンパクト空間 $K$ が $S(X\times Y,Z)$ に埋め込まれるための必要十分条件は $w(K) < \min\{c^♯(X), c^♯(Y)\}$ であることを証明した。
Eberleinコンパクトの役割: 一般的なコンパクト空間からEberleinコンパクト空間への約化方法を確立し、問題の分析を簡略化した。

方法の詳細説明

基本定義と記号

位相空間の積 $P = X \times Y$ に対して、集合 $E \subseteq P$ の交叉を以下のように定義する： $\text{cr}E = (\text{pr}_X(E) \times Y) \cup (X \times \text{pr}_Y(E))$

ここで $\text{pr}_X$ と $\text{pr}_Y$ は座標射影である。

2つの位相の定義

交叉開位相: 部分基 $\{s \in S : s(A) \subseteq W\}$ により生成される。ここで $A = G \cap C$ 、 $C = \text{cr}\{p\}$ 、 $G$ は $C$ 内の開集合、 $W$ は $Z$ 内の開集合である。
交叉一様位相: 距離空間 $(Z,d)$ に対して、近傍部分基 $\{t \in S : d(s(p),t(p)) < \varepsilon \text{ for all } p \in \text{cr}E\}$ により生成される。ここで $E$ は $P$ の有限部分集合である。

主要な技術的方法

1. 位相等価性の証明

命題2.1の証明は双方向包含の方法を採用する：

まず交叉開位相が交叉一様位相より弱いことを証明し、擬コンパクト性を利用して $s(K)$ のコンパクト性を保証する
次に交叉一様位相が交叉開位相より弱いことを証明し、有限被覆構成により開近傍を構築する

2. Eberleinコンパクトへの約化

補題4.3は重要な約化ステップを提供する：

任意のコンパクト部分空間 $K \subseteq S(X \times Y, Z)$ に対して、Eberleinコンパクト空間 $\tilde{X}$ を構成する
$K$ が $S(\tilde{X} \times Y, Z)$ に埋め込まれることを証明し、 $\tilde{X}$ は $X$ の連続像である
これにより一般的な場合をEberleinコンパクトの場合に約化する

3. 重みの推定

分別連続関数空間を連続関数空間 $C_p(X,M)$ （ここで $M = C(Y,Z)$ ）に埋め込むことにより、既知の重み推定結果を利用する： $w(K) \leq d(X) = c(X) < c(X)^+ = c^♯(X)$

実験設定

本論文は純粋な理論研究であり、数値実験は含まれない。すべての結果は厳密な数学的証明により導出される。

主要な結果

定理6.2（必要性）

陳述: $X$ 、 $Y$ を無限コンパクト空間、 $Z$ を距離化可能空間、 $K$ を $S(X\times Y,Z)$ のコンパクト部分空間とする。このとき $w(K) < \min\{c^♯(X), c^♯(Y)\}$ が成り立つ。

証明の概要:

補題4.3を利用してEberleinコンパクト情況に約化する
埋め込み $\Phi: S \to C_p(X,M)$ を構成する。ここで $M = C(Y,Z)$
命題6.1と5.2を適用して重み推定を得る

定理7.1（充分性）

陳述: $X$ 、 $Y$ を無限コンパクト空間、 $Z$ を $\mathbb{R}$ を含む距離化可能空間とする。コンパクト空間 $K$ が $S(X\times Y,Z)$ に埋め込まれるための必要十分条件は $w(K) < \min\{c^♯(X), c^♯(Y)\}$ である。

証明の概要:

必要性は定理6.2により既に証明されている
充分性は明示的な埋め込みの構成により証明される：
- 互いに素な開集合族を利用して関数族 $(f_i)_{i \in I}$ を構成する
- 写像 $\Phi: [0,1]^I \to S(X \times Y)$ を定義する
- $\Phi$ が連続単射であることを証明する