[논문 리뷰] Countable ordinal spaces and compact countable subsets of a metric space

Borys Álvarez-Samaniego, Andrés Merino|arXiv (Cornell University)|2018. 02. 22.

Advanced Topology and Set Theory인용 수 3

한 줄 요약

이 논문은 메트릭 공간의 컴팩트 가산 부분집합이 항상 가산 순서수와 동형임을 증명하며, 마줄키에비치와 시에르피ńsk의 고전적 결과를 유클리드 공간에서 임의의 메트릭 공간으로 확장한다. 순서수 기반의 초한귀납법과 코너트-베디크손 도함수를 사용하여, 이러한 부분집합의 동형류 수는 최대 ℵ₁개이며, 이 상한이 가산 및 비가산 공간 모두에서 날카롭게 유지됨을 보여주는 예를 제시한다.

ABSTRACT

We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve this goal, we use Transfinite Induction to construct a specific homeomorphism. In addition, we prove that for all metric space $(E,d)$, the cardinality of the set of all the equivalence classes $\mathscr{K}_E$, up to homeomorphisms, of compact countable subsets of $E$ is less than or equal to $\aleph_1$, i.e. $|\mathscr{K}_E| \le \aleph_1$. We also show that for all cardinal number $κ$ smaller than or equal to $\aleph_1$, there exists a metric space $(E_κ, d_κ)$ such that $|\mathscr{K}_{E_κ}|= κ$.

연구 동기 및 목표

• 유클리드 공간에서의 컴팩트 가산 부분집합이 가산 순서수와 동형임을 보여주는 마줄키에비치와 시에르피ńsk의 고전적 결과를 임의의 메트릭 공간으로 일반화한다.
• 초한귀납법과 코너트-베디크손 도함수를 사용하여 메트릭 공간 내 컴팩트 가산 부분집합의 구조를 특성화한다.
• 임의의 메트릭 공간에서 컴팩트 가산 부분집합의 동형류 집합의 최대 기수를 규명한다.
• 모든 가능한 기수 ≤ ℵ₁를 갖는 메트릭 공간을 구성하여, 컴팩트 가산 부분집합의 동형류 집합의 크기가 정확히 κ가 되도록 한다.

제안 방법

• 코너트-베디크손 도함수 과정에 대해 초한귀납법을 적용하여, 메트릭 공간의 임의의 컴팩트 가산 부분집합과 가산 순서수 사이의 동형을 구축한다.
• 가산 닫힌 집합 D에 대해 코너트-베디크손 특성 (α, p)을 정의한다. 여기서 α는 D^(α)가 유한해지는 최소 순서수이며, |D^(α)| = p이다.
• 코너트-베디크손 특성을 사용하여 컴팩트 가산 부분집합을 동형류로 분류하며, 두 집합이 동형임은 정확히 그 특성이 동일할 때에만 성립함을 보인다.
• 각 동형류에 코너트-베디크손 특성을 할당하는 사상이 단사임을 증명함으로써, 동형류의 수가 |ω₁ × ω| = ℵ₁로 유계됨을 보인다.
• 특정 메트릭 공간을 구성한다: 유한 기수의 경우 유한 이산 공간, 기수 ℵ₀의 경우 가산 이산 공간(예: ℚ), 기수 ℵ₀의 경우 비가산 이산 공간.
• ℝ에 대한 ℚ의 밀도를 이용하여, ℚ는 서로 동형이 아닌 ℵ₁개의 컴팩트 가산 부분집합을 지닌다. 각 부분집합은 서로 다른 코너트-베디크손 특성을 가진다.

실험 결과

연구 질문

• RQ1 모든 메트릭 공간의 컴팩트 가산 부분집합은 순서위상수에 대한 동형 포함이 가능한가?
• RQ2 메트릭 공간에서 컴팩트 가산 부분집합의 동형류의 최대 가능한 수는 얼마인가?
• RQ3 기수 κ ≤ ℵ₁에 대해, 컴팩트 가산 부분집합의 동형류 집합의 크기가 정확히 κ가 되는 메트릭 공간이 존재하는가?
• RQ4 코너트-베디크손 도함수 과정은 메트릭 공간 내 컴팩트 가산 부분집합을 어떻게 완전히 분류하는가?

주요 결과

• 모든 메트릭 공간의 컴팩트 가산 부분집합은 가산 순서수와 동형이며, 마줄키에비치와 시에르피ńsk의 결과를 유클리드 공간에서 임의의 메트릭 공간으로 일반화한다.
• 임의의 메트릭 공간 (E,d)에서 컴팩트 가산 부분집합의 동형류 집합의 기수는 최대 ℵ₁이므로, |𝒦_E| ≤ ℵ₁이다.
• 모든 유한 수 n ∈ ω에 대해, |𝒦_{E_n}| = n를 만족하는 메트릭 공간 (E_n, d_n)이 존재하며, 이는 유한 이산 공간을 통해 달성된다.
• 기수 ℵ₁인 컴팩트 가산 부분집합의 동형류를 지닌 가산 메트릭 공간(예: ℝ의 기존 메트릭을 가진 ℚ)이 존재하므로, ℵ₁ 상한이 날카롭다는 것을 보여준다.
• 비가산 메트릭 공간(예: ℝ의 이산 메트릭)이 존재하여 |𝒦_ℝ| = ℵ₀임을 보여주며, 이는 환경 공간의 비가산성도 동형류의 수가 무한히 많다는 것을 의미하지는 않음을 시사한다.
• 코너트-베디크손 특성 (α, p)은 컴팩트 가산 부분집합의 동형류를 완전히 분류한다: 두 부분집합이 동형임은 정확히 그 특성이 동일할 때에만 성립한다.