[논문 리뷰] On the Pytkeev property in spaces of continuous functions (II)

Boaz Tsaban, Lyubomyr Zdomskyy|arXiv (Cornell University)|2007. 01. 09.

Advanced Topology and Set Theory인용 수 23

한 줄 요약

이 논문은 임의의 폴란드 공간 $X$에 대해, 컴act-open 위상으로 장착된 연속 실수값 함수의 공간 $C(X)$가 강력한 형태의 Pytkeev 성질을 만족함을 증명한다. 핵심 결과로는, Baire 공간의 피복 성질과 $k$-피복의 성질을 이용하여 $C_k(\mathbb{N}^\mathbb{N})$가 Pytkeev 성질을 갖는다는 것을 보이고, 이를 일반 폴란드 공간으로 확장하기 위해 위상수학적 및 집합론적 방법을 적용한다.

ABSTRACT

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be metrizable, it is "very close" to that.) We also consider the Pytkeev property in the case where C(X) is endowed with the topology of pointwise convergence.

연구 동기 및 목표

• 폴란드 공간 $X$ 위에서 컴팩트오픈 위상으로 장착된 연속 실수값 함수의 공간 $C_k(X)$에서 Pytkeev 성질을 조사하는 것.
• Pytkeev 성질이 $C_k(X)$ 및 $C_p(X)$에서 메트라이잭빌리티 또는 Fréchet-Urysohn 성질과 같은 더 강력한 위상적 성질을 유도하는지 여부를 규명하는 것.
• 함수 공간에서 $\mathsf{U}_{fin}(\mathcal{O},\Omega)$ 및 $\mathsf{S}_1(\mathcal{O},\mathcal{O})$와 같은 피복 성질과 Pytkeev 성질 간의 관계를 탐색하는 것.
• 특히 $X$의 메트라이잭빌리티 및 가산성과의 관련에서, $C_p(X)$에서의 강력한 Pytkeev 성질의 함의를 조사하는 것.

제안 방법

• Pytkeev 성질의 $k$-피복을 통한 특성화를 사용: $\mathbf{0} \in \overline{A} \setminus A$ 를 만족하는 $A \subseteq C_k(X)$에 대해, 모든 $\mathbf{0}$의 이웃이 어떤 $A_n$을 포함하는 무한 부분집합 $A_n \subseteq A$ 가 존재함을 보임.
• Pavlovic와 Pansera의 정리를 적용하여 문제를 해결하기 위해, $\mathbb{N}^\mathbb{N}$ 가 특정 피복 성질을 만족함을 보이는 것으로 환원함: 모든 열린 $k$-피복 $\mathcal{U}$에 대해, $\mathcal{U}_n \subseteq \mathcal{U}$ 인 무한 부분집합 $\mathcal{U}_n$ 이 존재하여 $\{\bigcap \mathcal{U}_n\}$ 이 $k$-피복이 되도록 함.
• 기본 열린 집합 $[s]$ 를 사용하여 $\mathbb{N}^\mathbb{N}$ 의 열린 집합의 구조를 분석하고, $U(n) = \{s \in \mathbb{N}^n : [s] \subseteq U\}$ 을 정의하여 열린 집합을 유한한 수준으로 분해함.
• 귀납법과 대각선화 추론을 사용하여, 모든 $n$ 에 대해 $\{U(n)\}$ 이 유한하다면, 어떤 $U$ 에 의해 반드시 커버되어야 할 컴팩트 집합 $K = \bigcap_n [F_n]$ 이 구성될 수 있으며, 이는 모순을 초래함을 보임.
• $\mathfrak{D}_{\mathrm{fin}}$-피복의 개념과 카디널 $\operatorname{cov}(\mathfrak{D}_{\mathrm{fin}}) < \mathfrak{d}$ 를 사용하여, Pytkeev 성질 하에서 $X$ 의 연속적 이미지 $X \to \mathbb{N}^\mathbb{N}$ 는 유한히 지배적이지 않음을 보임.
• 선택 원리와 선택 이론의 결과, 특히 $\mathsf{U}_{fin}(\mathcal{O},\Omega)$ 와 강력한 측도 0 성질을 적용하여, $X$ 가 반드시 $\mathsf{S}_1(\mathcal{O},\mathcal{O})$ 를 만족해야 함을 유추함.

실험 결과

연구 질문

• RQ1 폴란드 공간 $X$ 에 대해 컴팩트오픈 위상에서 $C_k(X)$ 가 Pytkeev 성질을 만족하는가?
• RQ2 $C_p(X)$ (점별수렴 위상) 에서 Pytkeev 성질이 Fréchet-Urysohn 성질을 유도하는가?
• RQ3 함수 공간에서 $\mathsf{U}_{fin}(\mathcal{O},\Omega)$ 또는 $\mathsf{S}_1(\mathcal{O},\mathcal{O})$ 와 같은 피복 성질과 Pytkeev 성질 간의 관계는 무엇인가?
• RQ4 $C_p(X)$ 에서의 강력한 Pytkeev 성질이 $X$ 의 메트라이잭빌리티 또는 가산성을 유도하는가?
• RQ5 특정 집합론적 가정(예: $\operatorname{cov}(\mathfrak{D}_{\mathrm{fin}}) < \mathfrak{d}$) 하에서 $C_p(X)$ 에서의 Pytkeev 성질이 $X$ 의 강력한 위상적 성질을 유도하는 조건은 무엇인가?

주요 결과

• 모든 폴란드 공간 $X$ 에 대해, 컴팩트오픈 위상으로 장착된 연속 실수값 함수의 공간 $C_k(X)$ 는 Pytkeev 성질을 만족한다.
• $C_k(\mathbb{N}^\mathbb{N})$ 는 $k$-피복과 그 교차가 $k$-피복이 되는 무한 부분족을 포함하는 피복 이론적 특성화를 통해 Pytkeev 성질을 갖는다.
• $\operatorname{cov}(\mathfrak{D}_{\mathrm{fin}}) < \mathfrak{d}$ 라면, $C_p(X)$ 가 Pytkeev 성질을 갖는 것은 $X$ 가 $\mathsf{U}_{fin}(\mathcal{O},\Gamma)$ 와 $\mathsf{S}_1(\mathcal{O},\mathcal{O})$ 를 만족함을 의미한다.
• $C_p(Y)$ 가 Pytkeev 성질을 갖는 $X$ 의 연속적 이미지 $Y \subseteq \mathbb{N}^\mathbb{N}$ 는, $Y$ 가 유한히 지배적이지 않다면 유계적이어야 한다.
• $C_p(X)$ 에서의 강력한 Pytkeev 성질은 Fréchet-Urysohn 성질을 유도하지 않으며, 실제로 $C_p(X)$ 가 강력한 Pytkeev 성질을 갖는다면 $X$ 는 반드시 가산이어야 한다.
• $C_p(X)$ 에서의 Pytkeev 성질이 강력한 Pytkeev 성질을 유도하지는 않으며, 이는 $C_p(X)$ 가 Pytkeev 성질을 갖지만 강력한 형태는 아닌 불가측한 $X$ 가 존재하기 때문이다.