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

초록

본 논문은 두 위상공간 $X$ 와 $Y$ 의 곱 위에서 정의되고 위상공간 또는 거리공간 $Z$ 로의 값을 갖는 모든 분리연속함수 공간 $S(X\times Y,Z)$ 위의 두 가지 자연스러운 위상인 교차-개 위상과 교차-균일 위상을 연구한다. 저자들은 $X$ 와 $Y$ 가 의사컴팩트 공간이고 $Z$ 가 거리공간일 때 이 두 위상이 일치함을 증명한다. 주요 결과는 다음을 나타낸다: 무한 컴팩트 공간 $X$ , $Y$ 와 $\mathbb{R}$ 을 포함하는 거리화 가능 공간 $Z$ 에 대해, 컴팩트 공간 $K$ 가 $S(X\times Y,Z)$ 에 매장되는 필요충분조건은 $K$ 의 무게가 $X$ 와 $Y$ 의 예리한 세포성보다 작다는 것이다.

연구 배경 및 동기

연구 문제: 본 논문은 주로 분리연속함수 공간의 위상 구조, 특히 그 중 컴팩트 부분공간의 특성화 문제를 연구한다. 분리연속함수는 각 고정된 변수에 대해 다른 변수에서 연속인 함수를 의미한다.
문제의 중요성: 분리연속함수는 다변함수 이론에서 중요한 위치를 차지하며, 이러한 함수 공간의 위상적 성질은 함수 수렴성과 연속성을 이해하는 데 중요한 의미를 갖는다. 컴팩트 부분공간의 특성화는 이러한 함수 공간의 전체 구조를 이해하는 데 도움이 된다.
기존 연구의 한계: Baire 1류 함수 공간 $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$ 는 좌표 사영이다.

두 가지 위상의 정의

교차-개 위상: 부분기저 $\{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$ 가 연속 단사임을 증명한다