[논문 리뷰] Connectedness modulo a topological property

M. R. Koushesh|arXiv (Cornell University)|2012. 05. 23.

Rings, Modules, and Algebras참고 문헌 13인용 수 9

한 줄 요약

이 논문은 '위상적 성질 $\mathscr{P}$에 대한 연결성'을 도입하고 연구한다. 표준 연결성에서 '공집합의 클로저' 조건을 $\mathscr{P}$로 일반화함으로써, 예를 들어 반구속성과 같은 성질을 포함한다. 주요 결과로, 완전정규 공간에서 $\mathscr{P}$-연결성(특히 $\mathscr{P}$ = 반구속성일 경우)은 $\mathrm{cl}_{\beta X}(\beta X \setminus \upsilon X)$의 연결성과 동치이며, 이 성질은 완전 개방 연속 전사 사상에 의해 보존된다.

ABSTRACT

Let ${\mathscr P}$ be a topological property. We say that a space $X$ is ${\mathscr P}$-connected if there exists no pair $C$ and $D$ of disjoint cozero-sets of $X$ with non-${\mathscr P}$ closure such that the remainder $X\backslash(C\cup D)$ is contained in a cozero-set of $X$ with ${\mathscr P}$ closure. If ${\mathscr P}$ is taken to be "being empty" then ${\mathscr P}$-connectedness coincides with connectedness in its usual sense. We characterize completely regular ${\mathscr P}$-connected spaces, with ${\mathscr P}$ subject to some mild requirements. Then, we study conditions under which unions of ${\mathscr P}$-connected subspaces of a space are ${\mathscr P}$-connected. Also, we study classes of mappings which preserve ${\mathscr P}$-connectedness. We conclude with a detailed study of the special case in which ${\mathscr P}$ is pseudocompactness. In particular, when ${\mathscr P}$ is pseudocompactness, we prove that a completely regular space $X$ is ${\mathscr P}$-connected if and only if $cl_{βX}(βX\backslash\upsilon X)$ is connected, and that ${\mathscr P}$-connectedness is preserved under perfect open continuous surjections. We leave some problems open.

연구 동기 및 목표

• 위상적 성질 $\mathscr{P}$에 의해 '공집합의 클로저' 조건을 대체하는 '위상적 성질 $\mathscr{P}$에 대한 연결성'을 도입함으로써 연결성 개념을 일반화한다.
• 특히 커버링 유형 성질에 대해, $\mathscr{P}$에 대한 조건이 약간만 요구되는 경우 완전정규 $\mathscr{P}$-연결성 공간을 특성화한다.
• 연결된 부분공간들의 합집합이 여전히 $\mathscr{P}$-연결성이 되는 조건을 조사한다.
• 특히 반구속성일 경우에 대해 $\mathscr{P}$-연결성을 보존하는 연속 사상의 클래스를 연구한다.
• 특히 반구속성에 대해, Stone–Čech 컴actification을 통해 $\mathscr{P}$-연결성의 위상적 특성화를 수립한다.

제안 방법

• 두 서로소인 cozero-집합 $C$와 $D$가 존재하고, 이들의 클로저가 $\mathscr{P}$가 아니며, $X \setminus (C \cup D)$가 $\mathscr{P}$ 클로저를 가진 cozero-집합에 포함되는 경우가 없을 때, $\mathscr{P}$-연결성을 정의한다.
• Stone–Čech 컴actification $\beta X$와 Hewitt 실연결화 $\upsilon X$를 사용하여 $\beta X$ 내에서 $\beta X \setminus \upsilon X$의 클로저를 분석한다.
• 사상 $f: X \to Y$가 $f_\beta[\beta X \setminus \upsilon X] \subseteq \beta Y \setminus \upsilon Y$를 만족할 때, 이를 초실수 사상(hyper-real mapping)으로 정의하고, $\mathscr{P}$-연결성의 상 이미지 보존성을 연구한다.
• $\mathscr{P}$-연결성이 반구속성일 경우, $\mathrm{cl}_{\beta X}(\beta X \setminus \upsilon X)$가 연결되어 있음을 증명함으로써 동치성을 보인다.
• cozero-집합, zero-집합, 그리고 $\beta X$, $\beta Y$로의 연속 연장의 성질을 활용하여 위상적 구조와 $\mathscr{P}$-연결성 간의 관계를 규명한다.
• 완전 개방 연속 전사 사상이 초실수 사상임을 이용하여, $\beta X \setminus \upsilon X$의 연결성 성질이 $\beta Y \setminus \upsilon Y$로 전이됨을 보장한다.

실험 결과

연구 질문

• RQ1 주어진 위상적 성질 $\mathscr{P}$에 대해, 완전정규 공간 $X$가 언제 $\mathscr{P}$-연결성이 되는가? 특히 $\mathscr{P}$가 반구속성일 경우에 대해.
• RQ2 연결된 부분공간들의 합집합이 여전히 $\mathscr{P}$-연결성이 되도록 보장하는 조건은 무엇인가?
• RQ3 어떤 연속 사상의 클래스가 $\mathscr{P}$-연결성을 보존하는가? 특히 완전 개방 연속 전사 사상의 경우에 대해.
• RQ4 Stone–Čech 컴actification $\beta X$를 통해 $\mathscr{P}$-연결성을 어떻게 특성화할 수 있는가?
• RQ5 특히 $\mathscr{P}$가 반구속성일 경우, $\mathscr{P}$-연결성 공간의 곱공간이 여전히 $\mathscr{P}$-연결성이 되는가?

주요 결과

• 완전정규 공간 $X$는 반구속성-연결성이어야만 하고, $\mathrm{cl}_{\beta X}(\beta X \setminus \upsilon X)$가 연결되어 있을 때에만 성립한다.
• 완전 개방 연속 전사 사상의 클래스는 반구속성-연결성을 보존한다. 이는 해당 사상의 $\beta$-확장이 $\beta X \setminus \upsilon X$를 $\beta Y \setminus \upsilon Y$로 전사하기 때문이다.
• 특히 $\mathscr{P}$ = 반구속성일 경우, $\mathscr{P}$-연결성은 $\beta X$ 내에서 $\beta X \setminus \upsilon X$의 클로저의 연결성으로 위상적으로 특성화되며, 이는 강력한 구조적 기준을 제공한다.
• $\mathscr{P}$-연결성은 초실수 사상에 의해 보존되며, 완전 개방 연속 전사 사상이 초실수 사상이므로, 이 클래스의 사상은 $\mathscr{P}$-연결성을 보존한다.
• $\mathrm{cl}_{\beta X}(\beta X \setminus \upsilon X)$가 연결되어 있음을 조건으로 하는 $\mathscr{P}$-연결성의 특성화는 반구속성과 같은 성질에 대해 약간의 조건 하에서도 성립한다.
• 논문은 곱공간이 여전히 $\mathscr{P}$-연결성을 유지하는지 여부를 열려 있는 문제로 남긴다. 특히 반구속성의 경우에 대해.