[논문 리뷰] Construction of separately continuous functions of $n$ variables with given restriction

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

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

한 줄 요약

이 논문은 $n$ 개의 위상 공간의 곱 위에서 주어진 대각 제약 조건을 갖는 분리 연속 함수를 구성하는 문제를 해결한다. 임의의 위상 공간 $X$ 와 $(n-1)$-번째 Baire 계열에 속하는 함수 $g: X \to \mathbb{R}$ 에 대해, 모든 $x \in X$ 에 대해 $f(x,x,\dots,x) = g(x)$ 를 만족하는 분리 연속 함수 $f: X^n \to \mathbb{R}$ 가 존재함을 증명한다. 이는 분리 연속 함수의 대각에 관한 기존 결과를 고려할 때, 보다 일반화된 결과를 제공한다.

ABSTRACT

It is solved the problem on construction of separately continuous functions on product of $n$ topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and $n-1$ Baire class function $g:X o \mathbb R$ there exists a separately continuous function $f:X^n o\mathbb R$ such that $f(x,x,\dots,x)=g(x)$ for every $x\in X$.

연구 동기 및 목표

• 주어진 대각 제약 조건을 갖는 $X^n$ 위의 분리 연속 함수를 구성하는 문제를 해결하기 위해.
• 분리 연속 함수의 대각에 관한 기존 결과를 고려하여, 고차원 Baire 계열로의 일반화를 위해.
• 기존의 $\mathbb{R}^n$ 위에서의 실수 값 함수에 국한된 결과를 임의의 위상 공간으로 일반화하기 위해.
• $X$ 위의 $(n-1)$-번째 Baire 계열 함수가 $X^n$ 위의 분리 연속 함수의 대각으로 나타나는 조건을 설정하기 위해.

제안 방법

• $PP$-공간과 함수적으로 닫힌 집합의 개념을 활용하여 Baire 계열 함수의 확장 성질을 보장한다.
• 메트라이잭블 공간 $Z$ 위에서 연속 함수의 점별 극한으로 함수 $\tilde{g}$ 를 구성하여, 이가 $(n-1)$-번째 Baire 계열에 속함을 보인다.
• 연속 사상 $\varphi_i: X_i \to Z$ 를 통한 리프팅 구조를 적용하여 함수 $g$ 를 $Z^n$ 으로 이전한다.
• $Z^n$ 위에 대각이 $\tilde{g}$ 인 분리 연속 함수 $\tilde{f}: Z^n \to \mathbb{R}$ 가 존재함을 이용하여, $\varphi_i$ 와의 복합을 통해 $X^n$ 으로 다시 이전한다.
• 파라콪팩트 공간에서의 단위 분할을 활용하여 국소적 해를 하나의 전역 분리 연속 함수로 조합한다.
• 콤���트 또는 국소 콤팩트 공간에서 닫힌 프로젝티브 임베딩 집합은 Baire 계열 함수의 국소적 확장을 허용함을 이용한다.

실험 결과

연구 질문

• RQ1 임의의 위상 공간 $X$ 위의 $(n-1)$-번째 Baire 계열 함수는 항상 $X^n$ 위의 분리 연속 함수의 대각으로 표현될 수 있는가?
• RQ2 $X$ 에 가해지는 어떤 위상적 조건이 주어진 Baire 계열 함수가 분리 연속 함수의 대각으로 나타나도록 보장하는가?
• RQ3 $X_1 \times \cdots \times X_n$ 위에 정의된 특수 부분집합 $E$ 에서 주어진 Baire 계열 함수 $g$ 와 일치하는 분리 연속 함수를 어떻게 구성할 수 있는가?
• RQ4 $X_1 \times \cdots \times X_n$ 의 부분집합 $E \subseteq X_1 \times \cdots \times X_n$ 에서 정의된 함수 $g$ 가 전체 곱 위의 분리 연속 함수로 확장될 수 있는 조건은 무엇인가?

주요 결과

• 임의의 위상 공간 $X$ 와 $(n-1)$-번째 Baire 계열에 속하는 함수 $g: X \to \mathbb{R}$ 에 대해, 모든 $x \in X$ 에 대해 $f(x,x,\dots,x) = g(x)$ 를 만족하는 분리 연속 함수 $f: X^n \to \mathbb{R}$ 가 존재한다.
• 이 구성은 함수 $g$ 를 연속 사상에 의해 메트라이잭블 공간 $Z$ 로 리프팅하고, Baire 계열의 구조를 이용해 연속 근사의 점별 수렴을 보장함에 기반한다.
• 이전 결과는 분리 연속 함수의 대각이 $(n-1)$-번째 Baire 계열에 속한다는 것을 보여주었지만, 본 결과는 약간의 위상적 가정 하에 그 역도 성립함을 보여준다.
• 콤팩트 또는 국소 콤팩트 공간과 적절한 부분집합 $E$ 를 갖는 경우, $E$ 위의 $(n-1)$-번째 Baire 계열 함수 $g$ 는 전체 곱 $X_1 \times \cdots \times X_n$ 위의 분리 연속 함수로 확장될 수 있다.
• 증명은 파라콤팩트 공간에서의 단위 분할을 사용하여 국소 분리 연속 확장을 하나의 전역 해로 조합한다.
• 핵심 기술 도구는 연속 사영을 통한 메트라이잭블 공간 $Z$ 로의 Baire 계열 함수의 확장이며, 이 과정에서 Baire 계열의 구조를 유지한다.