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

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

基本信息

论文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 (General Topology)
发表时间: 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)，在什么条件下存在分别连续函数 $f: X \times Y \to \mathbb{R}$ 使得 $g = \wedge_f$ 和 $h = \vee_f$ ？
现有局限性: 以往的研究主要局限于特殊情况，如区间或具有特定性质的空间，对于一般散乱紧空间的情况缺乏系统性结果。
研究动机: 本文旨在解决散乱紧空间情况下的问题，这是拓扑学中的一个重要空间类别，具有丰富的结构性质。