[论文解读] A Nonseparably Connected Metric Space as a Dense Connected Graph

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

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 上為稠密且連通。

提出的方法

• 使用超限歸納法構造函數 F: ℝ → Y，使其與 ℝ×Y 中所有投影於 ℝ 上為不可數的閉可分子集相交。
• 應用引理1，基於基數約束確保該函數與乘積空間中所有所需閉可分集合相交。
• 將 F 構造為在哈默基底上的 ℚ-線性函數，並延伸以滿足柯西方程 f(x+u)=f(x)+f(u)。
• 利用引理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 在任何點上均不局部連通。
• M 在運算 (x,F(x))+(u,F(u))=(x+u,F(x+u)) 下為拓撲群，使其具有同構性。
• 該構造依賴選擇公理，無法單獨在 ZF 內完成，因而提出開放問題：此類空間是否在 ZF 中存在？