[논문 리뷰] Baire classification of separately continuous functions and Namioka property

Volodymyr Mykhaylyuk|arXiv (Cornell University)|2016. 01. 20.

Advanced Topology and Set Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 분리 연속 함수와 바이어 분류 이론에서 두 가지 핵심 결과를 확립한다: (1) 모든 $X \times Y$ 에서 $\mathbb{R}$ 로의 분리 연속 함수가 모든 $Y$ 에 대해 첫 번째 바이어 분류에 속한다면, $X$ 의 모든 리니델뢰프 부분공간은 분리 가능 메트라이작블 공간으로의 전단사 연속 사상이 존재한다; (2) $X$ 가 바이어 공간이고 $Y$ 가 컴팩트하다면, 모든 분리 연속이고 바이어 가측인 함수 $f: X \times Y \to \mathbb{R}$ 는 $X \times Y$ 의 조밀한 $G_\delta$-집합 $A \times Y$ 에서 공동 연속이며, 이는 G. 베라의 나미오카 성질에 관한 질문에 대해 긍정적인 답변을 제시한다.

ABSTRACT

We prove the following two results. 1. If $X$ is a completely regular space such that for every topological space $Y$ each separately continuous function $f:X imes Y o\mathbb R$ is of the first Baire class, then every Lindelöf subspace of $X$ bijectively continuously maps onto a separable metrizable space. 2. If $X$ is a Baire space, $Y$ is a compact space and $f:X imes Y o\mathbb R$ is a separately continuous function which is a Baire measurable function, then there exists a dense in $X$ $G_δ$-set $A$ such that $f$ is jointly continuous at every point of $A imes Y$ (this gives a positive answer to a question of G. Vera).

연구 동기 및 목표

• 모든 분리 연속 함수 $f: X \times Y \to \mathbb{R}$ 가 첫 번째 바이어 분류에 속하는 모든 $Y$ 에 대해 성립하는 위상공간 $X$ 를 특성화하는 것.
• 분리 연속 함수의 바이어 분류와 나미오카 성질 사이의 관계를 조사하는 것.
• [5]의 질문 1.2를 해결하는 것: 모든 바이어 모란 공간은 반드시 나미오카 공간인가?
• 분리 연속 함수가 잔여 집합에서 공동 연속성을 보일 수 있는 위상적 조건을 탐색하는 것.

제안 방법

• 분리 연속 함수의 연속성 성질을 분석하기 위해 수정된 반반-마주르 게임을 활용한 게임 이론적 접근을 사용한다.
• 함수가 잔여 집합에서 공동 연속이 아니라고 가정할 경우 모순을 이끌어내기 위해 열린 집합 $U_n$, $V_n$ 과 $Y$ 내의 점 $y_n'$, $y_n''$ 의 수열을 구성한다.
• 바이어 카테고리 정리를 적용하여 플레이어 $\beta$ 의 전략 $\tau$ 는 승리 전략일 수 없음을 보이고, 이는 모든 $U_n$ 의 교차에 속하는 점 $x_0$ 가 존재함을 시사한다.
• 좌표의 가산 집합에 집중된 함수 개념을 사용하여 $x_0$ 에서의 수직 섹션을 분석하고, 정리 5.1을 활용한다.
• 수직 섹션 $f^{x_0}$ 가 $S_0$ 의 가산 부분집합 $T_0$ 에서의 값에 의해 결정됨을 증명하고, 이로 인해 진동이 $\varepsilon_0$ 초과일 경우 모순이 발생함을 도출한다.
• 공간 $X$ 의 바이어 성질과 함수 수열의 점별 극한의 구조를 조합하여, 조밀한 $G_\delta$-집합에서의 공동 연속성을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $Y$ 에 대해 모든 분리 연속 함수 $f: X \times Y \to \mathbb{R}$ 가 첫 번째 바이어 분류에 속하기 위한 $X$ 에 대한 조건은 무엇인가?
• RQ2 모든 분리 연속 실수 함수가 첫 번째 바이어 분류에 속하는 바이어 공간인 바이어 모란 공간은 반드시 나미오카 공간인가?
• RQ3 $X$ 가 바이어 공간이고 $Y$ 가 컴팩트하다면, 분리 연속 함수 $f: X \times Y \to \mathbb{R}$ 가 나미오카 성질을 보장할 수 있는가?
• RQ4 $B$-성질(모든 분리 연속 함수가 첫 번째 바이어 분류에 속함)은 $X$ 의 리니델뢰프 부분공간에 어떤 위상적 제약을 가하는가?

주요 결과

• 모든 분리 연속 함수 $f: X \times Y \to \mathbb{R}$ 가 모든 $Y$ 에 대해 첫 번째 바이어 분류에 속하는 완전히 정규화된 공간 $X$ 는, 그 모든 리니델뢰프 부분공간이 분리 가능 메트라이작블 공간으로의 전단사 연속 사상이 존재함을 보여준다.
• 바이어 공간 $X$ 와 컴팩트 공간 $Y$ 에 대해, 모든 분리 연속이고 바이어 가측인 함수 $f: X \times Y \to \mathbb{R}$ 는 $X \times Y$ 의 조밀한 $G_\delta$-부분집합 $A \times Y$ 에서 공동 연속이며, 이는 G. 베라의 추측을 확인한다.
• 게임 이론적 추론에 따르면 플레이어 $\beta$ 의 전략 $\tau$ 는 승리 전략일 수 없으며, 이는 점 $x_0$ 가 존재하여 함수의 진동이 가산 좌표 집합에 의해 제어됨을 시사한다.
• 점 $x_0$ 에서의 수직 섹션 $f^{x_0}$ 는 가산 집합 $T_0$ 에서의 값에 의해 결정되며, 공동 연속성이 실패할 경우 이로 인해 모순이 발생한다.
• 결과적으로 모든 바이어 약한 모란 공간은 나미오카 공간임을 보여주며, 이는 [5]의 질문 1.2에 대한 긍정적 답변을 제공한다.
• 함수 수열 $f_n$ 의 수렴성과 점별 극한에서의 좌표 의존성 유지 특성을 이용하여, 극한 함수가 $T_0$ 위의 섬유에서 일정함을 보장한다.