[논문 리뷰] Fell-continuous selections and topologically well-orderable spaces II

Valentin Gutev|ArXiv.org|2002. 04. 10.

Advanced Topology and Set Theory참고 문헌 3인용 수 11

한 줄 요약

이 논문은 Hausdorff 공간 $X$가 위상적으로 잘 순서가 되기 위한 필요충분조건으로, $\mathcal{F}_2(X)$의 초집합에 대해 Fell-위상 연속 선택이 존재하는 것임을 증명한다. 주요 기여는 이전 결과들을 정교화하여, 전체 초집합 $\mathcal{F}(X)$가 아니라 $\mathcal{F}_2(X)$에서의 Fell-연속 선택이 위상적 잘 순서 가능성에 대해 필수적이고도 충분한 조건임을 보여주는 데 있다.

ABSTRACT

The present paper improves a result of V. Gutev and T. Nogura (1999) showing that a space $X$ is topologically well-orderable if and only if there exists a selection for $\mathcal{F}_2(X)$ which is continuous with respect to the Fell topology on $\mathcal{F}_2(X)$. In particular, this implies that $\mathcal{F}(X)$ has a Fell-continuous selection if and only if $\mathcal{F}_2(X)$ has a Fell-continuous selection.

연구 동기 및 목표

• 위상적으로 잘 순서가 되는 공간의 특성화를 개선하기 위해, 선택의 도메인을 $\mathcal{F}(X)$에서 $\mathcal{F}_2(X)$로 축소하는 것.
• 다음의 성질을 증명하기: $\mathcal{F}_2(X)$에서 Fell-연속 선택이 존재하면, $X$는 국소적으로 컴팩트하다는 것.
• 일점 컴팩티피케이션 $\alpha X$를 통해 $\mathcal{F}_2(X)$의 선택을 $\mathcal{F}(X)$ 전체로 확장할 수 있으며, 이때 연속성이 유지됨을 보여주는 것.
• 일점 컴팩티피케이션 $\alpha X$가 $\alpha$가 마지막 원소가 되는 호환 가능한 선형 순서를 지닐 수 있음을 보여주어, 위상적 잘 순서를 구성할 수 있음을 보여주는 것.
• $\mathcal{F}(X)$에 Fell-연속 선택이 존재하는 것과 $\mathcal{F}_2(X)$에 존재하는 것이 서로 동치임을 증명하여, 두 선택 문제 사이의 기본적 동치관계를 확립하는 것.

제안 방법

• $\mathcal{F}_2(X)$에 정의된 기본 열린집합 $\langle \mathcal{V} \rangle$를 이용한 Fell 위상 $\tau_F$의 사용. 여기서 $X \setminus \bigcup \mathcal{V}$는 컴팩트하다.
• 만약 $\mathcal{F}_2(X)$가 $\tau_F$-연속 선택을 가진다면, $X$는 국소적으로 컴팩트해야 한다는 것을 증명함으로써 문제를 국소적으로 컴팩트인 공간으로 축소하는 것.
• 일점 컴팩티피케이션 $\alpha X$에 대해 $\tau_V$-연속 선택을 구성함. 이때 $f^{-1}(\alpha) = \{\{\alpha\}\}$이다.
• van Mill과 Wattel [6]의 결과를 활용하여, 어떤 순서 $<$에 대해 $\alpha X$가 선형순서위상공간임을 보이는 것.
• $\alpha$에서 감소하는 닫힌 열린 기저를 이용해 새로운 선형순서 $\prec$를 정의함. 이때 $\alpha$는 마지막 원소이며, 위상과 호환된다.
• 순서 $\prec$가 모든 비어있지 않은 닫힌집합에 대해 $\prec$-최소 원소를 가지므로, $X$에 위상적 잘 순서를 유도함을 증명하는 것.

실험 결과

연구 질문

• RQ1 Fell-연속 선택을 통한 위상적으로 잘 순서가 되는 공간의 특성화를 $\mathcal{F}(X)$에서 $\mathcal{F}_2(X)$로 축소할 수 있는가?
• RQ2 $\mathcal{F}_2(X)$에서 $\tau_F$-연속 선택이 존재하면, $X$는 국소적으로 컴팩트한가?
• RQ3 일점 컴팩티피케이션을 통해 $\mathcal{F}_2(X)$에서의 $\tau_F$-연속 선택을 $\mathcal{F}(X)$ 전체로 확장할 수 있는가?
• RQ4 $\alpha X$에 대해 $\alpha$가 마지막 원소가 되고, 위상과 호환되는 선형순서를 정의할 수 있는가? 이 순서가 $X$에 위상적 잘 순서를 유도하는가?
• RQ5 $\mathcal{F}(X)$에 $\tau_F$-연속 선택이 존재하는 것과 $\mathcal{F}_2(X)$에 존재하는 것 사이의 관계는 무엇인가?

주요 결과

• Hausdorff 공간 $X$는 $\mathcal{F}_2(X)$가 $\tau_F$-연속 선택을 가질 때이고 그 때에만 위상적으로 잘 순서가 된다.
• $\mathcal{F}_2(X)$에서 $\tau_F$-연속 선택이 존재하면, $X$는 국소적으로 컴팩트하다.
• 비콤팩트인 $X$에 대해 $\mathcal{F}_2(X)$에서 $\tau_F$-연속 선택이 존재하면, 그 일점 컴팩티피케이션 $\alpha X$는 $f^{-1}(\alpha) = \{\{\alpha\}\}$인 $\tau_V$-연속 선택을 가진다.
• $\alpha X$는 $\alpha$가 마지막 원소가 되는 호환 가능한 선형순서 $\prec$를 지닌다. 이 순서는 $\alpha$에서 감소하는 닫힌 열린 기저를 이용해 구성된다.
• $\alpha X$에서의 순서 $\prec$는 $X$에 위상적 잘 순서를 유도하며, 이는 $X$가 위상적으로 잘 순서가 되었음을 확인한다.
• 따라서 $\mathcal{F}(X)$에 $\tau_F$-연속 선택이 존재하는 것과 $\mathcal{F}_2(X)$에 존재하는 것이 서로 동치이며, 이는 두 선택 문제 사이의 기본적 동치관계를 확립한다.