[논문 리뷰] A Nonseparably Connected Metric Space as a Dense Connected Graph

Michał Morayne, Michał Ryszard Wójcik|ArXiv.org|2008. 11. 17.

Data Management and Algorithms참고 문헌 8인용 수 3

한 줄 요약

이 논문은 카우치 함수 방정식을 만족하는 실수값 함수의 밀도 있고 연결된 그래프로서, 비분리 가능한 연결된 거리 공간을 구성한다. 크기 𝔠인 노름 공간에서의 초한순서 귀납법과 하멜 기저 구성 기법을 활용하여, 모든 비자명한 연결된 부분집합이 비분리 가능하며, 곳곳에서 국소적으로 연결되어 있지 않은 균일한 공간을 생성함으로써, 비분리 가능한 연결된 거리 공간에 대한 새로운 예를 제시한다.

ABSTRACT

We present a connected metric space that does not contain any nontrivial separable connected subspace. Our space is a dense connected graph of a function from the real line satisfying Cauchy's equation.

연구 동기 및 목표

• 비자명한 분리 가능한 연결된 부분집합을 갖지 않는 연결된 공간으로서 정의되는 비분리 가능한 연결된 거리 공간의 새로운 예를 구성하는 것.
• 이러한 공간이 함수 f(x+u)=f(x)+f(u)를 만족하는 함수의 그래프로서 존재할 수 있음을 보여주는 것.
• 공간이 균일하며, 어떤 점에서도 국소적으로 연결되어 있지 않으며, 모든 점이 컷 포인트임을 보여주는 것.
• 함수의 그래프가 크기 𝔠인 비분리 가능한 노름 공간 Y에 대해 ℝ×Y에서 밀도 있고 연결되어 있음을 확립하는 것.

제안 방법

• 초한순서 귀납법을 사용하여 ℝ×Y의 모든 닫힌 분리 가능한 부분집합 중 ℝ에 대한 사영이 비가산인 함수 F: ℝ → Y를 구성한다.
• 카디널리티 제약 조건에 기반하여, Lemma 1을 적용하여 곱 공간 내 모든 요구 조건을 만족하는 닫힌 분리 가능한 집합을 확보한다.
• 하멜 기저 위에서 Q-선형 함수로 F를 구성하고, 카우치 방정식 f(x+u)=f(x)+f(u)를 만족하도록 확장한다.
• Lemma 2를 활용하여, 밀도 있는 그래프 교차를 갖는 임의의 함수가 X×Y에서 연결되고 밀도 있는 그래프를 유도함을 증명한다.
• ℝ×Y가 T5이면서 분리 가능한 부분집합이 항상 부분집합적으로 분리 가능하므로, 위상적 연결성을 확보한다.
• 결과로 얻어진 공간 M이 덧셈에 대해 위상군이 되며, 이는 균일성을 보장하고 모든 점이 컷 포인트임을 의미한다.

실험 결과

연구 질문

• RQ1 카우치 방정식을 만족하는 함수의 그래프로서 비분리 가능한 연결된 거리 공간을 구성할 수 있는가?
• RQ2 그러한 공간은 반드시 어떤 점에서도 국소적으로 연결되어 있지 않은가?
• RQ3 크기 𝔠인 노름 공간에서 이러한 구성이 가능하여, 함수가 가환적이며 그래프가 밀도 있고 연결되어 있음을 보장할 수 있는가?
• RQ4 완전한 비분리 가능한 연결된 거리 공간이 존재하는가, 아니면 그러한 공간을 구성하기 위해 선택 공리가 반드시 필요한가?
• RQ5 비분리 가능한 Y에 대해, 카우치 함수적 함수의 그래프가 ℝ×Y에서 동시에 밀도 있고 연결되어 있을 수 있는가?

주요 결과

• 카우치 방정식 f(x+u)=f(x)+f(u)를 만족하는 함수 F: ℝ → l∞의 그래프는 ℝ×l∞에서 밀도 있고 연결되어 있다.
• 결과로 얻어진 거리 공간 M은 비분리 가능한 연결성을 갖는다: 모든 비자명한 연결된 부분집합은 비분리 가능하다.
• M의 모든 점은 컷 포인트이다. 즉, 모든 p∈M에 대해 M∖{p}는 비연결이다.
• 함수가 곳곳에서 불연속이므로, M은 어떤 점에서도 국소적으로 연결되어 있지 않다.
• 연산 (x,F(x))+(u,F(u))=(x+u,F(x+u))에 대해 M은 위상군이 되며, 이는 균일성을 보장하고 모든 점이 컷 포인트임을 의미한다.
• 구성은 선택 공리에 의존하며, ZF만으로는 수행할 수 없으며, 그러한 공간이 ZF 내에 존재하는지 여부는 여전히 열려 있는 문제이다.