[논문 리뷰] Strongly far proximity and hyperspace topology

James F. Peters, C. Guadagni|arXiv (Cornell University)|2015. 02. 10.

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

한 줄 요약

이 논문은 Lodato 근접성의 더 강한 형태인 강한 먼 거리 근접성 $\mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}}$를 도입하고, 위상공간 $X$의 공집합이 아닌 닫힌 부분집합들의 초집합 $\mbox{CL}(X)$에 대해 새로운 히트-앤드-포모터 토폴로지 $\tau_{\delta,\mathscr{B}}$를 수립한다. 주요 기여는 이 새로운 토폴로지가 강한 포함성에 기반한 강한 먼 거리 근접성으로 정의되었을 때, 표준 히트-앤드-포모터 또는 Vietoris 토폴로지와 비교할 수 없으며, 비국소적으로 컴act인 공간들인 $\mathbb{Q}$와 같은 공간들에서도 마찬가지로 성립함을 증명하는 것이다.

ABSTRACT

This article introduces strongly far proximity, which is associated with Lodato proximity $δ$. A main result in this paper is the introduction of a hit-and-miss topology on $\mbox{CL}(X)$, the hyperspace of nonempty closed subsets of $X$, based on the strongly far proximity.

연구 동기 및 목표

• 히프레스페이스 구성에서 더 정교한 위상적 구별이 필요함에 따라, Lodato 근접성보다 더 강한 근접관계를 개발하는 것.
• 강한 먼 거리 근접성을 이용하여 $\mbox{CL}(X)$에 새로운 초토폴로지를 정의하고, 강한 포함성을 통합한 히트-앤드-포모터 프레임워크를 확장하는 것.
• 이 새로운 초토폴로지의 위상적 성질을 조사하며, 특히 Vietoris 및 Fell과 같은 기존 초토폴로지와의 관계를 분석하는 것.
• 비국소적으로 컴팩트인 $T_1$ 공간, 예를 들어 $\mathbb{Q}$와 같은 공간에서도 새로운 토폴로지가 표준 초토폴로지와 비교할 수 없음을 보이는 것.

제안 방법

• Lodato 근접성 $\delta$의 강화로 간주되는 강한 먼 거리 근접성 $\mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}}$를 정의하며, 자연스러운 강한 포함성 $A \ll_{\delta} B \Leftrightarrow A \not\delta X\setminus B$를 통해 정의된다.
• 열린 집합 $A$에 대해 $V^{-} = \{E \in \mbox{CL}(X) : E \cap V \neq \emptyset\}$ 및 $A_{\doublevee} = \{E \in \mbox{CL}(X) : E \mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}} X\setminus A\}$를 사용하여 $\mbox{CL}(X)$ 위의 히트-앤드-포모터 토폴로지 $\tau_{\delta,\mathscr{B}}$를 부분기저를 통해 정의한다.
• 비국소적으로 컴팩트한 영향을 분석하기 위해 $\mathbb{Q}$에 아르카디오프 근접성 $\delta_A$를 핵심 예시로 적용한다.
• 모순과 집합론적 추론을 사용하여 $\tau_{\delta}^{++}$와 $\tau_{\doublevee}^{+}$ 사이의 비비교성을 증명하며, 상호 간에 더 미세한 토폴로지가 아님을 보인다.
• 비국소적으로 컴팩트한 환경에서 포함관계가 실패하는 이유를 분석하기 위해 강한 포함성의 EF-성질(중간성)을 활용한다.
• 근접성과 닫힘의 대응관계 $\mbox{cl}(A) = \{x \in X : x \delta A\}$를 이용하여 위상적 닫힘을 근접성 공리와 연결한다.

실험 결과

연구 질문

• RQ1 Lodato 근접성보다 더 강한 근접관계를 정의할 수 있는가? 이는 히프레스페이스에서의 가까움과 먼 거리의 정교한 분리를 가능하게 해야 한다.
• RQ2 강한 먼 거리 근접성 $\mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}}$는 자연스러운 강한 포함성 $\ll_{\delta}$와 어떻게 상호작용하는가?
• RQ3 강한 먼 거리 근접성 $\mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}}$를 기반으로 한 히트-앤드-포모터 토폴로지는 기존의 표준 초토폴로지와 비교할 수 없는 독립적인 초토폴로지를 생성하는가?
• RQ4 비국소적으로 컴팩트한 공간, 예를 들어 $\mathbb{Q}$와 같은 공간에서 새로운 토폴로지 $\tau_{\delta}^{++}$가 $\tau_{\doublevee}^{+}$와 비교할 수 없음을 보일 수 있는가?
• RQ5 EF-성질(강한 포함성의 중간성)은 새로운 초토폴로지의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 강한 먼 거리 근접성 $\mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}}$는 Lodato 근접성 $\delta$의 더 강한 형태로, 모든 Lodato 공리와 EF-성질을 만족한다.
• 히트-앤드-포모터 토폴로지 $\tau_{\delta,\mathscr{B}}$는 부분기저 $V^{-}$와 $A_{\doublevee}$를 사용하여 구성되며, $A_{\doublevee}$는 $E \mathop{\not{\delta}}\limits_{\mbox{\tiny$\doublevee$}} X\setminus A$를 통해 정의되어 있어 위상적 적합성을 보장한다.
• $\mathbb{Q}$에 아르카디오프 근접성 $\delta_A$를 적용한 경우, $A^{++}$ 기반의 초토폴로지 $\tau_{\delta}^{++}$와 $A_{\doublevee}$ 기반의 $\tau_{\doublevee}^{+}$는 상호 간에 비교할 수 없으며, 서로 더 미세한 토폴로지가 아님을 보였다.
• 비비교성은 컴팩트성 가정의 실패로 인해 발생한다: 비국소적으로 컴팩트한 공간에서는 닫힘이 컴팩트하지 않은 집합들이 존재하여, 한 토폴로지의 적절한 이웃이 다른 토폴로지에 포함되지 않음을 보여준다.
• 레마 3.6은 $ (X\setminus B)^{++} \subseteq (X\setminus C)_{\doublevee} $이면 $C \subseteq B$임을 보여주며, 이는 강한 먼 거리 근접성의 위상적 함의를 나타낸다.
• 레마 3.7는 $\delta_A$ 하에서 $H_W \subseteq E^{++} \Leftrightarrow H \subseteq E$임을 증명하며, 이는 $\mathbb{Q}$에서 $\tau_{\delta}^{++}$의 구조 분석에 핵심적이다.