[논문 리뷰] Products and countable dense homogeneity

Andrea Medini|arXiv (Cornell University)|2013. 06. 30.

Advanced Topology and Set Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 마틴의 공리(MA) 하에, $X^2$가 CDH가 아닌 0차원, 가산 밀도가 균일한(CDH) 공간 $X$를 구성한다. 이는 CDH 성질이 유한한 곱에 대해 보존되지 않음을 보여준다. 구성은 $\beth_1$ 크기의 반복적 강제법 조합 기법을 사용하여, $X$를 호메오모르피즘에 대해 닫혀 있는 집합들의 합집합으로 만들며, $X$가 CDH가 되도록 하면서 동시에 $X^2$에서의 호메오모르피즘을 라브레티에프 확장 기법을 통해 조심스럽게 피한다.

ABSTRACT

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hrušák and Zamora Avilés that such a space $X$ cannot be Borel. Furthermore, $X$ can be made homogeneous and completely Baire as well.

연구 동기 및 목표

• 유한 곱에 대해 가산 밀도가 균일한(CDH) 성질이 보존되는지 여부를 해결하는 것, 특히 0차원 공간에서의 경우에 대해.
• 반례를 구성하는 것: $X^2$가 CDH가 아닌 CDH 공간 $X$를 집합론적 가정 하에 만들기.
• Hrušák과 Zamora Avilés의 Borel CDH 공간에 관한 결과를 사용하여, 그러한 공간 $X$가 Borel일 수 없음을 보이는 것.
• 공식화된 CDH 성질을 넘어서, $X$가 동차적이고 완전히 Baire 공간이 될 수 있는지 탐색하는 것.

제안 방법

• 강제법 유사 구성의 $\beth_1$ 길이 반복을 사용하여, 각각 $2^\omega$의 호메오모르피즘에 대해 닫혀 있는 집합들 $X_\alpha$의 합집합으로 $X$를 구성한다.
• 각 단계 $\alpha$에서, $X_\alpha$, $Y_\alpha$, 그리고 불필요한 호메오모르피즘을 유지할 수 있는 집합 $C_h^i$의 역상들을 피하는 점 $(x,y) \in T_\alpha \subseteq 2^\omega \times 2^\omega$를 선택한다.
• 모든 가상의 호메오모르피즘 $f: X^2 \to X^2$가 $f[Q^2] = D$를 만족할 경우, 라브레티에프 정리를 사용해 $G_\delta$ 집합 $T_\alpha$로 확장할 수 있으며, 이는 $X \times X$에 속하지 않는 점으로의 사상으로 인해 모순을 유도한다.
• 부분 호메오모르피즘의 확장을 가능하게 하기 위해 밀도 조건을 사용하여 $X$가 $\mathsf{CDH}$임을 보장한다: $X_\beta \setminus (A_\beta \cup B_\beta)$ 는 $2^\omega$에서 $\max\{|\beta|, \omega\}$-밀도를 가진다.
• 호메오모르피즘에 대해 닫혀 있고, $\mathbb{Q}$의 복사본이 포함되지 않도록 하여, 베르스트라인 집합 유사 성질을 사용함으로써 $X$가 완전히 Baire이자 동차임을 보장한다.
• $\mathsf{MA}(\sigma\text{-centered})$를 사용하여, 각 단계에서 모든 중요한 집합을 피하는 점 $(x,y)$의 존재를 확보한다. 이는 $\mathfrak{c}$의 비가산성과 $|\mathcal{H}|$, $|X_\alpha|$, $|Y_\alpha|$의 작음을 바탕으로 한다.

실험 결과

연구 질문

• RQ1 마틴의 공리(MA)와 같은 집합론적 가정 하에, $X^2$가 CDH가 아닌 0차원 CDH 공간 $X$가 존재할 수 있는가?
• RQ2 CDH 공간의 곱에 관한 정리에서 Borel 조건은 필수적인가? Borel이 아닌 CDH 공간이 존재할 수 있으며, 그들의 곱이 CDH가 아닐 수 있는가?
• RQ3 이러한 공간 $X$는 Borel이 아니지만, 동시에 동차적이고 완전히 Baire 공간으로 만들 수 있는가?
• RQ4 $\mathsf{MA}(\sigma\text{-centered})$가 이러한 반례를 구성하는 데 충분한가, 아니면 더 강력한 가정이 필요한가?
• RQ5 $\kappa \geq 3$에 대해, 모든 $n < \kappa$에 대해 $X^n$이 CDH이지만 $X^\kappa$는 CDH가 아닌 공간 $X$가 존재하는가?

주요 결과

• $\mathsf{MA}(\sigma\text{-centered})$ 하에, $X^2$가 CDH가 아닌 0차원, $\mathsf{CDH}$ 공간 $X$가 존재함을 보여, $\mathsf{CDH}$ 성질이 곱에 대해 보존되지 않음을 증명한다.
• Hrušák과 Zamora Avilés의 결과에 따르면, 모든 Borel $\mathsf{CDH}$ 공간는 클래스 $\mathcal{C}$에 속하므로, 구성된 공간 $X$는 Borel이 아니며, 이는 $X$가 $\mathcal{C}$에 속하지 않음을 의미한다.
• 메디니의 이전 연구에서 사용된 방법을 응용하여, 공간 $X$를 동차적이고 완전히 Baire 공간으로 만들 수 있음을 보였다.
• 반복 길이 $\beth_1$을 사용하여 $X = \bigcup_{\alpha < \mathfrak{c}} X_\alpha$를 구성함으로써, 호메오모르피즘에 대해 닫혀 있고 원하지 않는 확장을 피하는 것을 보장한다.
• $X^2$가 CDH가 아니라는 것은 모순을 통해 증명된다: $f: X^2 \to X^2$이고 $f[Q^2] = D$인 임의의 호메오모르피즘은 $G_\delta$ 집합 $T_\alpha$로 확장되며, 이 경우 $\pi_0(g_\alpha(x,y)) \notin X$가 되어 $f[X^2] \subseteq X^2$에 모순된다.
• 구성 과정은 $\mathcal{H}[X_\alpha \cup \{x,y\}] \cap \mathcal{H}[Y_\alpha \cup \{\pi_0(g_\alpha(x,y))\}] = \varnothing$ 를 보장하여, 그러한 호메오모르피즘의 존재를 차단한다.