2025-11-20T05:40:13.919181

On stable pairs of Hahn and extremal sections of separately continuous functions on the products with a scattered multiplier

Maslyuchenko, Lianha

The minimal and the maximal sections $\wedge_f,\vee\!_f:X\to\overline{\mathbb R}$ of a function $f:X\times Y\to\overline{\mathbb R}$ are defined by $\wedge_f(x)=\inf\limits_{y\in Y}f(x,y)$ and $\vee\!\!_f(x)=\sup\limits_{y\in Y}f(x,y)$ for any $x\in X$. A pair $(g,h)$ of functions on $X$ is called a stable pair of Hahn if there exists a sequence of continuous functions $u_n$ on $X$ such that $h(x)=\min\limits_{n\in\mathbb{N}}u_n(x)$ and $g(x)=\max\limits_{n\in\mathbb{N}}u_n(x)$ for any $x\in X$. Evidently, every stable pair of Hahn is a countable pair of Hahn, and hence a pair of Hahn. We prove that for any separately continuous function $f$ on the product of compact spaces $X$ and $Y$ such that $Y$ is scattered and at least one of them has the countable chain property, the pair $(\wedge_f,\vee\!_f)$ is a stable pair of Hahn. We prove that for any stable pair of Hahn $(g,h)$ on the product of a topological space $X$ and an infinity completely regular space $Y$ there exists a separately continuous function $f$ on $X\times Y$ such that $\wedge_f=g$ and $\vee\!_f=h$.

academic

Hahn安定対と散乱乗数を持つ積上の分別連続関数の極値截面について

基本情報

論文ID: 2501.01261
タイトル: On stable pairs of Hahn and extremal sections of separately continuous functions on the products with a scattered multiplier
著者: Oleksandr Maslyuchenko, Anastasiia Lianha
分類: math.GN（一般位相幾何学）
発表日: 2025年1月2日
論文リンク: https://arxiv.org/abs/2501.01261

要旨

本論文は関数の極値截面とHahn対の関係を研究している。関数 $f: X \times Y \to \mathbb{R}$ に対して、最小および最大截面を $\wedge_f(x) = \inf_{y \in Y} f(x,y)$ および $\vee_f(x) = \sup_{y \in Y} f(x,y)$ と定義する。著者らは安定Hahn対の概念を導入し、特定の条件下において分別連続関数の極値截面が安定Hahn対を構成することを証明した。同時に、安定Hahn対が分別連続関数により実現される十分条件を与えている。

研究背景と動機

歴史的背景: 20世紀初頭、H. Hahnは距離空間上において、関数対に対して、より小さい関数が上半連続で、より大きい関数が下半連続である場合、両者の間に存在する連続関数が存在することを証明した。この結果は後にさらに広い空間のクラスに推広された。
中心的問題: V.K. Maslyuchenkoは2においてHahn対の概念を提起し、分別連続関数の極値截面を考察した。中心的問題は以下の通りである：位相空間XおよびY上のHahn対(g,h)が与えられたとき、 $g = \wedge_f$ および $h = \vee_f$ となる分別連続関数 $f: X \times Y \to \mathbb{R}$ が存在する条件は何か？
既存の限界: 従来の研究は主に特殊な場合、例えば区間または特定の性質を持つ空間に限定されており、一般的な散乱コンパクト空間の場合については体系的な結果が欠けていた。
研究動機: 本論文は散乱コンパクト空間の場合における問題の解決を目指しており、これは位相幾何学における重要な空間のクラスであり、豊かな構造的性質を持つ。

核心的貢献

安定Hahn対概念の導入: Hahn対の特殊な部分クラスとしての安定Hahn対を定義した。ここで関数は連続関数列の最小値および最大値として表現できる。
極値截面の安定性の確立: コンパクト空間の積上において、一つの因子が散乱であり、かつ少なくとも一つの因子が可算鎖条件を満たす場合、分別連続関数の極値截面が安定Hahn対を構成することを証明した。
構成的存在性結果: 任意の安定Hahn対に対して、適切な空間条件下において、その対を極値截面として実現する分別連続関数が常に存在することを証明した。
技術的道具の発展: 散乱空間と分別連続関数を扱うための新しい技術的方法を開発した。

方法論の詳細

問題設定

本論文は相互に関連する二つの問題を研究している：

正方向問題: 分別連続関数が与えられたとき、その極値截面がいつ安定Hahn対を構成するか？
逆方向問題: 安定Hahn対が与えられたとき、その対を極値截面として実現する分別連続関数がいつ存在するか？

核心的概念と定義

安定Hahn対: 関数対 $(g,h)$ が安定Hahn対と呼ばれるのは、連続関数列 $\{u_n\}$ が存在して以下を満たす場合である： $h(x) = \min_{n \in \mathbb{N}} u_n(x), \quad g(x) = \max_{n \in \mathbb{N}} u_n(x)$