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
제목: Hahn의 안정 쌍과 산란 승수를 갖는 곱에서 분리연속함수의 극값 단면에 관하여
저자: 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)$ 는 연속함수 수열 $\{u_n\}$ 이 존재하여 다음을 만족할 때 안정 Hahn 쌍이라 한다: $h(x) = \min_{n \in \mathbb{N}} u_n(x), \quad g(x) = \max_{n \in \mathbb{N}} u_n(x)$