[논문 리뷰] Partitions into thin sets and forgotten theorems of Kunugi and Lusin-Novikov

E. Grzegorek, Iwo Labuda|arXiv (Cornell University)|2017. 05. 17.

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

한 줄 요약

이 논문은 바이어 카테고리 이론과 가측 함수 이론의 핵심 발전보다 앞서는 1930년대의 두 가지 간과된 결과—국정과 루신-노비코프의 결과—를 밝혀내고 분석한다. 이는 메트릭 공간에서 위상수학적 공간으로의 함수가 바이어 성질을 지닐 경우, 공역의 분리성 조건 없이도 첫 번째 카테고리 집합 외부에서는 연속임을 보여주며, 1935년 쿠라토프스키가 제기한 기초적 질문을 해결한다.

ABSTRACT

Let $f$ be a function from a metric space $Y$ to a separable metric space $X$. If $f$ has the Baire property, then it is continuous apart a 1st category set. In 1935, Kuratowski asked whether the separability requirement could be lifted. A full scale attack on the problem took place in the late seventies and early eighties. What was not known then, and what remains virtually unknown today, is the fact that the first impressive attempt to solve the Kuratowski problem, due to Kinjiro Kunugi and based on a theorem of Lusin and Novikov, took place already in 1936. Lusin's remarkable 1934 Comptes Rendus note soon forgotten, remained unnoticed to this day. We analyze both papers and bring the results to full light.

연구 동기 및 목표

• 기하학적 공간 이론과 바이어 카테고리 이론, 가측 함수 이론의 후속 발전보다 앞서는 1936년 국정의 업적을 복원하고 그 중요성을 재확인하는 것.
• 1934년 루신의 Comptes Rendus 노트를 분석하여, 바이어 집합에 의해 분리될 수 없는 비분리 가능한 집합에 대한 깊이 있는 결과를 제시하며, 이는 오랫동안 간과되어 왔다.
• 국정의 접근 방식이 루신과 노비코프의 정리에 기반하여, 1935년 쿠라토프스키가 제기한 비분리 가능한 공역으로의 연속성 외부 확장 문제를 해결함.
• 메트릭 공간에서 위상수학적 공간으로의 함수가 바이어 성질을 지닐 경우, 공역이 분리 가능하지 않더라도 첫 번째 카테고리 집합 외부에서는 연속임을 보여주는 것.
• 이 간과된 결과들을 현대적 언어로 재구성하고 증명하여, 서술적 집합론과 측도론 분야의 현대 연구에 그 중요성을 부각함.

제안 방법

• 메트릭 공간을 상호 거리가 양수인 $G_\rho$-집합으로 분해하는 방법을 사용하여 국정의 1936년 증명을 재구성하며, 몬고메리의 작업에 영향을 받은 기법을 활용한다.
• 루신의 1934년 결과를 적용: $F \subset \mathbb{R}$ 가 항상 첫 번째 카테고리가 아니면, 어떤 바이어 집합으로도 분리될 수 없는 두 개의 서로소 부분집합 $F_1, F_2$로 분할될 수 있다.
• 외측 측도와 '포장' 개념을 사용하여, 양의 측도를 가진 완전한 집합 $Q$ 내에서 두 서로소 부분집합 $E_1, E_2$ 각각의 외측 측도가 $m(Q)$ 와 같음을 보여준다.
• '점에서의 제2카테고리'와 '지구적 밀도가 없는 집합' 개념을 사용하여 위상수학적 공간 내 집합의 잔여적 구조를 특성화한다.
• 함수 $f: Y \to X$ 가 바이어 성질을 가지며 $Y$ 가 체히 완비이고 무게 $\leq \mathfrak{c}$ 라면, $f$ 는 첫 번째 카테고리 집합 외부에서 연속임을 증명한다.
• 주요 결과의 강화판을 증명: 점별 유한한 유니버설 $\mathcal{M}$-영 집합 또는 항상 첫 번째 카테고리 집합의 가족에 대해, 합집합이 영이 아니면 어떤 유니버설 $\mathcal{M}$-가측 집합도 부분가족을 나머지 집합과 분리할 수 없다.

실험 결과

연구 질문

• RQ1 기존 결과에서 '바이어 성질을 지닌 함수는 첫 번째 카테고리 집합 외부에서 연속이다'는 결과의 분리성 조건을 제거할 수 있는가?
• RQ2 쿠라토프스키의 1935년 문제, 즉 바이어 성질 결과를 비분리 가능한 공역으로 확장하는 데 있어 국정의 1936년 논문의 의미는 무엇인가?
• RQ3 루신의 1934년 결과, 즉 바이어 집합에 의해 분리될 수 없는 비분리 가능한 집합에 대한 결과는 가측 집합과 바이어 집합의 구조와 어떻게 관련되는가?
• RQ4 '항상 첫 번째 카테고리'와 '점에서의 제2카테고리' 개념은 위상수학적 공간의 부분집합의 구조 분석에 얼마나 기여하는가?
• RQ5 강제법이나 모델 이론적 방법 없이도, 바이어 성질 연속성 정리의 비분리 가능한 경우를 위상수학적 및 측도론적 도구만으로 증명할 수 있는가?

주요 결과

• 국정의 1936년 논문은 쿠라토프스키의 1935년 문제를 해결하며, 메트릭 공간에서 위상수학적 공간으로의 함수가 바이어 성질을 지닐 경우, 공역이 분리 가능하지 않더라도 첫 번째 카테고리 집합 외부에서는 연속임을 보여준다.
• 루신의 1934년 결과는 양의 측도를 가진 완전한 집합의 두 서로소 부분집합이 어떤 바이어 집합으로도 분리될 수 없음을 보여주며, 이는 비분리 가능한 바이어 집합을 이해하는 데 기초적인 결과이다.
• 이 논문은 $Y$ 가 체히 완비이고 무게 $\leq \mathfrak{c}$ 라면, 임의의 함수 $f: Y \to X$ 가 바이어 성질을 지닐 경우, $X$ 가 분리 가능하지 않더라도 첫 번째 카테고리 집합 외부에서 연속임을 증명한다.
• 저자들은 점별 유한한 유니버설 $\mathcal{M}$-영 집합 또는 항상 첫 번째 카테고리 집합의 가족에 대해, 합집합이 영이 아니면 어떤 유니버설 $\mathcal{M}$-가측 집합도 부분가족을 나머지 집합과 분리할 수 없음을 보였다.
• 점에서의 측도가 0이 되는 조건이 만족되면, 외측 측도가 $m(Q)$ 와 같은 두 서로소 부분집합 $E_1, E_2$ 를 가진 완전한 집합 $Q$ 가 존재함을 보여, 루신의 주장이 확인된다.
• 측도가 점에서 0이 되는 조건 하에서, $A \subset E$ 가 $E$ 에 대해 바이어 성질을 지닐 경우, $E$ 가 $X$ 에 조밀하다면, 특정 조건 하에 $A$ 는 $E$ 에 대해 바이어 성질을 지닌다. 이는 비분리성 증명에서 모순을 이끌어내는 데 사용된다.