[논문 리뷰] (Metrically) quarter-stratifiable spaces and their applications in the theory of separately continuous functions

Тарас Банах|ArXiv.org|2008. 10. 16.

Rings, Modules, and Algebras참고 문헌 9인용 수 11

한 줄 요약

이 논문은 (측도적으로) 1/4-층화 가능 공간—메트릭 공간과 층화 가능 공간의 일반화—을 도입하고, 별도로 연속 함수의 베르 및 보렐 복잡도에 대한 고전 정리들을 확장하는 데 응용한다. 이는 메트릭적으로 1/4-층화 가능 공간을 포함하는 곱공간에서의 별도로 연속 함수가 첫 번째 또는 두 번째 베르 계열에 속함을 증명함으로써, 메트릭 공간의 정역을 초월해 루딘과 쿠라토프스키-몬트고메리의 결과를 일반화한다.

ABSTRACT

We introduce and study (metrically) quarter-stratifiable spaces and then apply them to generalize Rudin and Kuratowski-Montgomery theorems about the Baire and Borel complexity of separately continuous functions.

연구 동기 및 목표

• 메트릭 공간에서부터 더 넓은 공간의 클래스로 루딘의 정리에 대한 별도로 연속 함수의 일반화를 위해.
• 강력한 위상적 성질을 지닌 일반화된 메트릭 공간의 새로운 클래스로 (측도적으로) 1/4-층화 가능 공간을 정의하고 연구하기 위해.
• 1/4-층화 가능 공간과 층화 가능, σ-메트릭, Gδ-대각선 공간 등의 다른 클래스들 간의 관계를 조사하기 위해.
• 이 공간들의 상속 성질과 임bedding 정리, 특히 닫힌 포함이 가능한 메트릭적으로 1/4-층화 가능 T₁-공간에 대한 정리들을 수립하기 위해.
• 이 프레임워크를 적용하여, 이러한 공간을 포함하는 곱공간에서의 별도로 연속 함수가 낮은 베르 계열에 속함을 증명함으로써 고전 결과를 확장하기 위해.

제안 방법

• 모든 $ n $ 에 대해 $ \bigcup_{x \in X} g(n,x) = X $ 이고 $ x \in \overline{g(n,x)} $ 를 만족하는 함수 $ g: \mathbb{N} \times X \to \tau $ 를 도입하여 1/4-층화 가능 공간을 정의한다.
• 열린 덮개 $ \{\mathcal{U}_n\} $, 선택 함수 $ s_n $, 하부 연속 다중값 함수 $ \mathcal{F}_n $ 를 사용하여 1/4-층화 가능성의 특성화를 수행하며, $ \mathcal{F}_n(x) \to x $ 를 만족시킨다.
• 모든 하위메트릭 공간 중에서 $ G_\delta $-대각선을 지닌 공간은 메트릭적으로 1/4-층화 가능 $ T_1 $-공간에 닫힌 부분집합으로 포함됨을 증명한다.
• 실수값 연속 함수의 공간인 $ C_p(X) $ 의 구조를 이용하여, 밀도와 리니델뢰프 수가 베르 계열 성질과 어떻게 관련되는지 분석한다.
• 코르손 컴acta에 관한 정리와 분리 가능 코르손 컴팩트라의 메트릭성에 관한 정리를 적용하여, 특정 함수 공간이 메트릭화 가능하다는 것을 보이고, 이에 따라 베르 계열 분류가 가능해짐을 보인다.
• 만약 $ X $ 가 분리 가능하고 $ Y $ 가 가산 수의 수를 가진다면, $ F(X) \subset CC(Y \times Z, \mathbb{R}) $ 는 메트릭화 가능하다는 사실을 활용하여 기존의 베르 계열 결과를 적용할 수 있음을 이용한다.

실험 결과

연구 질문

• RQ1 루딘의 정리에서 별도로 연속 함수에 대한 결과를 메트릭 공간의 정역을 초월하여 일반화할 수 있는가?
• RQ2 모든 별도로 연속 함수 $ f: X \times Y \to \mathbb{R} $ 가 첫 번째 베르 계열에 속하는 데 필요한 공간 $ X $ 의 위상적 성질은 무엇인가?
• RQ3 메트릭 또는 σ-메트릭 공간보다 더 넓은 클래스이면서도 별도로 연속 함수가 첫 번째 베르 계열에 속하도록 보장하는 공간의 클래스가 존재하는가?
• RQ4 모든 가산 수의 수를 가지며 비가산 무게를 지닌 컴팩트 공간은 반드시 비-루딘 공간인가? 이는 함수 복잡성에 어떤 영향을 미치는가?
• RQ5 만약 $ X $ 가 분리 가능하고 $ Y $ 가 가산 수의 수를 가진다면, $ X \times Y \times Z $ 에서의 별도로 연속 함수의 베르 계열이 유계인지 여쭤보는 것인가?

주요 결과

• 모든 (하위메트릭) 공간 중에서 $ G_\delta $-대각선을 지닌 공간은 (측도적으로) 1/4-층화 가능 $ T_1 $-공간의 닫힌 부분집합과 위상동형이다.
• 모든 반층화 가능 공간은 부분공간으로서 1/4-층화 가능이지만, 그 역은 성립하지 않는다. 예를 들어, 소르겐프라이의 화살표는 부분공간으로서 1/4-층화 가능이지만 반층화 가능하지 않다.
• 공간 $ X $ 가 1/4-층화 가능임과 동치인 조건은 열린 덮개 $ \{\mathcal{U}_n\} $, 선택 함수 $ s_n $, 하부 연속 다중값 함수 $ \mathcal{F}_n $ 가 존재하여 $ \mathcal{F}_n(x) \to x $ 를 만족하는 것이다.
• 만약 $ X $ 가 비가산 수의 수를 지닌 컴팩트 공간이라면, $ X \times Y \to \mathbb{R} $ 에서의 별도로 연속 함수 중에서 첫 번째 베르 계열에 속하지 않는 함수가 존재한다.
• 만약 $ X $ 가 분리 가능하고 $ Y $ 가 가산 수의 수를 가진다면, 모든 별도로 연속 함수 $ f: X \times Y \times Z \to \mathbb{R} $ 는 두 번째 베르 계열에 속한다.
• 루딘 공간의 클래스는 르베그 공간의 클래스를 포함하며, 비메트릭 공간의 컴팩트 루딘 공간이 존재하지만, 모든 분리 가능 코르손 컴팩트라가 메트릭화 가능하다.