[논문 리뷰] Categorical properties on the hyperspace of nontrivial convergent sequences

S. Garcı́a-Ferreira, R. Rojas-Hernández외 1명|arXiv (Cornell University)|2016. 11. 24.

Approximation Theory and Sequence Spaces참고 문헌 5인용 수 4

한 줄 요약

이 논문은 프레셰-우리소프 공간 $X$ 내의 모든 비자명한 수렴 수열로 구성된 하이퍼스페이스 $\mathcal{S}_c(X)$가 비에토리스 위상수학적으로 장비된 경우, 특히 바이어 성질과 메이저 성질과 같은 범주론적 성질을 조사한다. 이 논문은 $X$가 빈약한 공간이면 $\mathcal{S}_c(X)$가 메이저임을 증명하고, $\mathcal{S}_c(X)$가 바이어 공간이 되기 위해서는 $X$가 고립점의 조밀한 집합을 가져야 한다고 밝힌다. 주요 결과로는 순서 위상수학에서 $\mathcal{S}_c(\omega_1)$가 바이어 공간임을 증명하여 이전 연구에서 제기된 질문에 답한다.

ABSTRACT

In this paper, we shall study categorial properties of the hyperspace of all nontrivial convergent sequences $\mathcal{S}_c(X)$ of a Freéch-Urysohn space $X$, this hyperspace is equipped with the Vietoris topology. We mainly prove that $\mathcal{S}_c(X)$ is meager whenever $X$ is a crowded space, as a corollary we obtain that if $\mathcal{S}_c(X)$ is Baire, the $X$ has a dense subset of isolated points. As an interesting example $\mathcal{S}_c(ω_1)$ has the Baire property, where $ω_1$ carries the order topology (this answers a question from \cite{sal-yas}). We can give more examples like this one by proving that the Alexandroff duplicated $\mathcal{A}(Z)$ of a space $Z$ satisfies that $\mathcal{S}_c(\mathcal{A}(Z))$ has the Baire property, whenever $Z$ is a $Σ$-product of completely metrizable spaces and $Z$ is crowded. Also we show that if $\mathcal{S}_c(X)$ is pseudocompact, then $X$ has a relatively countably compact dense subset of isolated points, every finite power of $X$ is pseudocompact, and every $G_δ$-point in $X$ must be isolated. We also establish several topological properties of the hyperspace of nontrivial convergent sequences of countable Freéch-Urysohn spaces with only one non-isolated point.

연구 동기 및 목표

• 비자명한 수렴 수열로 이루어진 하이퍼스페이스 $\mathcal{S}_c(X)$의 범주론적 성질(예: 바이어, 메이저)을 조사하는 것.
• $X$와 $\mathcal{S}_c(X)$ 사이의 위상적 관계, 특히 바이어 성질과 메이저성에 관해 규명하는 것.
• $\mathcal{S}_c(X)$가 바이어 또는 편광성임을 만족하는 조건을 특성화하고, 고립점과 $G_\delta$-점이 $X$에서 수행하는 역할을 탐색하는 것.
• 알렉산드로프 복제체 $\mathcal{A}(Z)$로 결과를 확장하여, $Z$가 완전히 거리화 가능한 공간들의 $\Sigma$-곱이면서 빈약한 경우 $\mathcal{S}_c(\mathcal{A}(Z))$가 바이어 공간임을 보이는 것.

제안 방법

• 하이퍼스페이스 $\mathcal{S}_c(X)$는 비에토리스 위상수학으로 장비되며, $X$ 내의 유한한 쌍방향으로 분리된 열린 집합의 가족을 이용해 기본 열린 집합의 기반을 정의한다.
• $\mathcal{S}_c(\omega_1)$의 바이어 성질 증명은 밀도 있는 열린 집합들의 가산 교차를 구성하고, 하이퍼스페이스 내의 기본 열린 집합을 재귀적으로 선택하는 방식으로 이루어진다.
• $\mathcal{S}_c(\mathcal{A}(Z))$의 경우, 기반 공간 $Z$에서 유한한 가족 $\mathcal{U}_n$과 집합 $B_n$의 수열을 구성하여, 포함 조건, 닫힘 조건, 지지 조건을 만족시키는 방식으로 $\mathcal{A}(Z)$ 내의 극한점을 정의한다.
• 이 구성은 $Z$의 $\Sigma$-곱의 구조와 지지 및 사영의 성질을 활용하여, $\mathcal{A}(Z)$ 내의 수열 수렴을 보장한다.
• 레미마 3.11을 활용하여 포함 조건, 닫힘 조건, 지지 조건을 만족하는 기본 열린 집합을 재귀적으로 찾는다. 이는 극한 수열이 비자명하고 수렴함을 보장한다.
• 하이퍼스페이스 $\mathcal{S}_c(X)$의 편광성 분석은 $X$가 고립점의 상대적으로 가산 컴act한 조밀한 부분집합을 가져야 하며, $X$의 모든 유한한 거듭제곱이 편광성임을 보이는 방식으로 이루어진다.

실험 결과

연구 질문

• RQ1 언제 $\mathcal{S}_c(X)$가 바이어 공간이 되는가?
• RQ2 특히 $X$의 빈약성과 관련하여 $\mathcal{S}_c(X)$가 언제 메이저가 되는가?
• RQ3 $\mathcal{S}_c(X)$가 편광성일 경우 $X$가 만족해야 할 위상적 성질은 무엇인가?
• RQ4 $Z$가 완전히 거리화 가능한 공간들의 $\Sigma$-곱일 경우 $\mathcal{S}_c(\mathcal{A}(Z))$가 바이어 공간이 될 수 있는가?
• RQ5 모든 $\mathcal{S}_c(X)$가 약한 편광성을 만족하는 공간 $X$가 존재하는가?

주요 결과

• 만약 $X$가 빈약한 공간이면, 비에토리스 위상수학 하에서 $\mathcal{S}_c(X)$는 메이저이다.
• $\mathcal{S}_c(X)$가 바이어 공간이 되기 위해서는 $X$가 고립점의 조밀한 부분집합을 가져야 한다.
• 순서 위상수학에서 $\mathcal{S}_c(\omega_1)$는 바이어 공간이며, 이는 [5]에서 제기된 질문에 대한 답이다.
• $\mathcal{S}_c(\mathcal{A}(Z))$가 바이어 공간이 되기 위해서는 $Z$가 완전히 거리화 가능한 공간들의 $\Sigma$-곱이면서 빈약한 것으로 충분하다.
• $\mathcal{S}_c(X)$가 편광성일 경우, $X$는 고립점의 상대적으로 가산 컴팩트한 조밀한 부분집합을 가져야 한다.
• 편광성인 $\mathcal{S}_c(X)$에서, $X$의 모든 $G_\delta$-점은 고립점이어야 한다.