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

Basic Information

• Paper ID: 2501.01261
• Title: On stable pairs of Hahn and extremal sections of separately continuous functions on the products with a scattered multiplier
• Authors: Oleksandr Maslyuchenko, Anastasiia Lianha
• Classification: math.GN (General Topology)
• Publication Date: January 2, 2025
• Paper Link: https://arxiv.org/abs/2501.01261

Abstract

This paper investigates the relationship between extremal sections of functions and Hahn pairs. For a function $f: X \times Y \to \mathbb{R}$, the minimum and maximum sections are defined as $\wedge_f(x) = \inf_{y \in Y} f(x,y)$ and $\vee_f(x) = \sup_{y \in Y} f(x,y)$. The authors introduce the concept of stable Hahn pairs and prove that under specific conditions, extremal sections of separately continuous functions constitute stable Hahn pairs, while providing sufficient conditions for stable Hahn pairs to be realized by separately continuous functions.

Research Background and Motivation

1. Historical Context: In the early 20th century, H. Hahn proved that on metric spaces, for a pair of functions where the smaller function is upper semicontinuous and the larger function is lower semicontinuous, there exists a continuous function between them. This result was later generalized to broader classes of spaces.
2. Core Problem: V.K. Maslyuchenko introduced the concept of Hahn pairs in 2 and considered extremal sections of separately continuous functions. The central question is: given a Hahn pair $(g,h)$ on topological spaces $X$ and $Y$, under what conditions does there exist a separately continuous function $f: X \times Y \to \mathbb{R}$ such that $g = \wedge_f$ and $h = \vee_f$?
3. Existing Limitations: Previous research was primarily restricted to special cases, such as intervals or spaces with specific properties, lacking systematic results for general scattered compact spaces.
4. Research Motivation: This paper aims to address the problem in the case of scattered compact spaces, an important space category in topology with rich structural properties.

Core Contributions

1. Introduction of Stable Hahn Pairs: Defines stable Hahn pairs as a special subclass of Hahn pairs, where functions can be expressed as minima and maxima of sequences of continuous functions.
2. Establishment of Stability of Extremal Sections: Proves that on products of compact spaces, when one factor is scattered and at least one factor satisfies the countable chain condition, extremal sections of separately continuous functions constitute stable Hahn pairs.
3. Constructive Existence Results: Proves that for any stable Hahn pair, under appropriate space conditions, there always exists a separately continuous function realizing that pair as its extremal sections.
4. Development of Technical Tools: Develops new technical methods for handling scattered spaces and separately continuous functions.

Detailed Methodology

Problem Formulation

This paper investigates two interrelated problems:

1. Forward Problem: When do extremal sections of a given separately continuous function constitute a stable Hahn pair?
2. Inverse Problem: When does there exist a separately continuous function realizing a given stable Hahn pair as its extremal sections?

Core Concepts and Definitions

Stable Hahn Pair: A pair of functions $(g,h)$ is called a stable Hahn pair if there exists a sequence of continuous functions $\{u_n\}$ such that: $h(x) = \min_{n \in \mathbb{N}} u_n(x), \quad g(x) = \max_{n \in \mathbb{N}} u_n(x)$

Scattered Space: A topological space $X$ is called scattered if every non-empty subset of $X$ has an isolated point in its relative topology.

Main Theoretical Results

Theorem 2.1 (Base Case)

For a countably compact space $Y$ and arbitrary space $X$, the extremal sections $(\wedge_f, \vee_f)$ of a separately continuous function $f: X \times Y \to \mathbb{R}$ constitute a stable Hahn pair.

Proof Strategy: Utilizes the countability of $Y$ to transform extremal operations into minima and maxima of finitely many function values.

Theorem 4.2 (Separable Space Case)

Let $X$ be a separable space and $Y$ be a scattered compact space. For a separately continuous function $f: X \times Y \to \mathbb{R}$, the pair $(\wedge_f, \vee_f)$ is a stable Hahn pair.

Proof Strategy:

1. Using the separability of $X$ and Lemma 3.1, proves that for each point in a countable dense subset of $X$, the corresponding section function is constant outside some countable subset of $Y$
2. Extends to the entire $X$ through continuity arguments
3. Reduces the problem to the countably compact space case

Theorem 4.3 (Countable Chain Condition)

Let $X$ and $Y$ be compact spaces with $Y$ scattered, and suppose $X$ or $Y$ satisfies the countable chain condition. Then for a separately continuous function $f: X \times Y \to \mathbb{R}$, the pair $(\wedge_f, \vee_f)$ is a stable Hahn pair.

Constructive Results

Theorem 8.1 (Inverse Construction)

Let $X$ be a topological space and $Y$ be an infinitely completely regular space. If $(g,h)$ is a stable Hahn pair on $X$, then there exists a separately continuous function $f: X \times Y \to \mathbb{R}$ such that $\wedge_f = g$ and $\vee_f = h$.

Construction Method:

1. Obtains a sequence of continuous functions $\{u_n\}$ from the definition of stable Hahn pair
2. Constructs continuous mappings into the Hilbert cube
3. Uses Schwartz functions and special separation techniques to construct the required separately continuous function

Technical Innovations

1. Characterization of Stable Baire Classes

Proposition 2.4: Establishes the equivalence between stable Hahn pairs and first stable Baire class functions:

• Stable Hahn pairs are equivalent to countable Hahn pairs with functions in the first stable Baire class
• In normal spaces, they are also equivalent to σ-continuity

2. Handling Techniques for Scattered Spaces

Lemma 3.1: For the Alexandroff compactification $\alpha T$, any Baire one class function is constant outside some countable set. This result provides a key tool for handling scattered spaces.

3. Development of Construction Techniques

• Lemma 6.2: Methods for constructing special continuous functions on infinite open sets of completely regular spaces
• Lemma 7.1: Using Schwartz functions to construct separately continuous functions with specified extremal values

Experimental Setup

This paper is a pure theoretical study, primarily verifying results through mathematical proofs. Key verifications include:

Counterexample Construction

Example 3.2: Constructs a separately continuous function on $X = Y = \alpha T$ (the Alexandroff compactification of an uncountable discrete space) whose extremal sections are not Baire one class functions, demonstrating the necessity of certain conditions.

Technical Verification

Through a series of lemmas and propositions, verifies the technical details of the main theorems:

• Properties of stable convergence
• Topological properties of function spaces
• Validity of construction methods

Experimental Results

Main Theoretical Achievements

1. Complete Characterization: Completely resolves Problem 1.1 under specific conditions for scattered compact spaces.
2. Optimization of Conditions: Proves that separability or the countable chain condition are sufficient conditions for obtaining stability.
3. Universality of Construction: Proves that stable Hahn pairs can always be realized by separately continuous functions.

Technical Discoveries

1. Role of Scatteredness: The scattered property makes function behavior "simple" in a certain sense, allowing reduction to countable cases.
2. Importance of Stability: Stable Hahn pairs possess better properties than general Hahn pairs, providing an appropriate framework for studying extremal sections of separately continuous functions.

Related Work

Historical Development

• Hahn's Theorem 1: Classical interpolation theorem
• Generalizations: Extensions by Dieudonné (paracompact spaces), Tong and Katetov (normal spaces)
• Tong's Theorem 3: In completely normal spaces, Hahn pairs are equivalent to countable Hahn pairs

Recent Research

• Maslyuchenko et al. 2: Introduced the concept of Hahn pairs, solved the interval case
• Authors' Previous Work 6: Solved the non-scattered compactification case

Contribution of This Paper

This paper fills the gap for scattered compact spaces, complementing previous work and essentially completing the resolution of Problem 1.1 for compact spaces.

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: This paper essentially resolves the stability problem of extremal sections of separately continuous functions, providing a complete theoretical framework for this research direction.
2. Effectiveness of Methods: The introduction of the stable Hahn pair concept proves successful, encompassing important special cases while possessing good constructive properties.
3. Innovation of Techniques: The developed technical methods for handling scattered spaces and constructing separately continuous functions have independent value.

Limitations

1. Necessity of Conditions: The necessity of certain technical conditions (such as separability and countable chain condition) remains incompletely clarified.
2. Non-compact Spaces: The theory for non-compact spaces remains incomplete.
3. Computational Complexity: While construction methods exist, they may face computational complexity issues in practical applications.

Future Directions

1. Optimization of Conditions: Investigate whether technical conditions can be further relaxed.
2. Generalization and Application: Extend results to more general function spaces and topological structures.
3. Algorithmic Implementation: Develop effective algorithms for construction methods.

In-Depth Evaluation

Strengths

1. Theoretical Depth: The paper resolves an important theoretical problem with significant mathematical value.
2. Technical Innovation: The introduced concept of stable Hahn pairs and related technical methods are innovative.
3. Completeness of Results: Combines forward results with inverse constructions, forming a complete theoretical system.
4. Rigor of Proofs: Mathematical proofs are strictly rigorous with clear logic.

Weaknesses

1. Application Context: The paper lacks discussion of practical application backgrounds.
2. Intuitive Explanation: Some technical results lack intuitive geometric or analytical explanations.
3. Computational Aspects: Lacks analysis of computational complexity of construction methods.

Impact

1. Academic Contribution: Makes important contributions to the intersection of general topology and function theory.
2. Theoretical Value: Provides important theoretical tools and methods for related research.
3. Subsequent Research: Expected to promote further development in related fields.

Applicable Scenarios

The results of this paper are primarily applicable to:

1. Theoretical research in general topology
2. Extremal problems in function theory
3. Development of separately continuous function theory
4. Applications of scattered space theory

References

The paper cites important literature in the field, including:

• 1 Classical work by H. Hahn
• 2 Foundational work by V.K. Maslyuchenko et al.
• 3 Important theorem by H. Tong
• 6 Authors' previous related work
• 9 Research on scattered spaces by Kannan V. and Venktaraman M.

These references well support the theoretical foundation and research context of the paper.