[논문 리뷰] Strongly Hit and Far Miss Hypertopology and Hit and Strongly Far Miss Hypertopology

James F. Peters, C. Guadagni|arXiv (Cornell University)|2015. 03. 09.

Advanced Topology and Set Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 강한 원거리성과 강한 가까움 근접성에 기반하여 정규 닫힌 집합($ frac{\mbox{RCL}(X)}{}$)과 공집합이 아닌 닫힌 집합($ frac{\mbox{CL}(X)}{}$)의 초공간에 대해 두 가지 새로운 초위상($\tau^{\doublewedge}_{\mathscr{B}}$ 및 $\tau_{\doublevee,\mathscr{B}}$)을 도입한다. 주요 기여는 $ frac{\mathscr{B}}{}$ 가 정규 국소 가족일 경우 두 초위상이 모두 하우스도르프($T_2$)임을 증명한 것으로, 근접성 기반 초공간 위상수학의 기초 결과를 확장한다.

ABSTRACT

This article introduces the {\it strongly hit and far-miss as well as hit and strongly far miss hypertopologies on $ extrm{CL}(X)$ associated with} ${\mathscr{B}}$, a nonempty family of subsets on the topological space $X$. They result from the strong farness and strong nearness proximities. The main results in this paper stem from the Hausdorffness of $( extrm{CL}(X), τ_{\doublevee, \mathscr{B}})$ and $( extrm{RCL}(X), τ^\doublewedge_\mathscr{B} ) $, where $ extrm{RCL}(X)$ is the space of regular closed subsets of $X$. To obtain the results, special local families are introduced.

연구 동기 및 목표

• 강한 원거리성과 강한 가까움 근접성을 사용하여 위상공간의 정규 닫힌 집합 및 공집합이 아닌 닫힌 부분집합의 초공간에 대해 새로운 초위상을 정의한다.
• 이러한 초위상이 하우스도르프($T_2$)가 되는 조건을 확립하여 위상적 분리 성질을 보장한다.
• 기존의 히트-앤-미스 위상(예: 펠, 애터룩-웨츠)을 강한 근접성 공리계를 통합하여 일반화한다.
• 하우스도르프 성질을 보장하는 정규 국소 가족의 개념을 도입하고 분석한다.
• 이러한 구성이 디지털 영상 처리 및 위상적 추론에 관련된 정규 열린/닫힌 집합을 갖는 공간들에서의 적용 가능성을 보여준다.

제안 방법

• 정규 열린 집합 $A$에 대해 $A^{++} = \{E \in \mbox{RCL}(X) : E \not\delta X\setminus A\}$로 정의되는 원거리 집합을 사용하여, 강한 가까움 근접성 $\mathop{\delta}\limits^{\doublewedge}$에 기반한 강한 히트 및 패스 미스 초위상 $\tau^{\doublewedge}_{\mathscr{B}}$ 를 $\mbox{RCL}(X)$ 위에 정의한다.
• 비어 있지 않은 정규 열린 집합과의 교차를 기반으로 한 히트 집합을 사용하여, 강한 원거리성 $\mathop{\not{\delta}}\limits^{\doublevee}$ 에 기반한 히트 및 강한 원거리 미스 초위상 $\tau_{\doublevee,\mathscr{B}}$ 를 정의한다.
• 모든 $x \in X$ 와 $x$ 의 정규 열린 근방 $U$ 에 대해 $x \in \mbox{int}(S) \subseteq S \ll_{\delta} U$ 를 만족하는 $S \in \mathscr{B}$ 가 존재하는 조건을 만족하는 정규 국소 가족 $\mathscr{B}$ 의 개념을 도입한다.
• 강한 포함관계 $A \ll_{\delta} B$ (즉, $A \not\delta X\setminus B$) 를 사용하여 에프레모비치 성질을 형식화하고, 위상에서의 분리성을 보장한다.
• 정규 열린 집합과 정규 닫힌 집합 사이의 대응관계 $c(A) = \mbox{cl}(A)$ 와 $o(F) = \mbox{int}(F)$ 를 활용하여 격자 구조와 위상 일관성을 보장한다.
• 정규 국소 가족 조건 하에서 서로 다른 정규 닫힌 집합들이 $\tau^{\doublewedge}_{\mathscr{B}}$ 와 $\tau_{\doublevee,\mathscr{B}}$ 에서 서로소인 열린 집합으로 분리될 수 있음을 보여, 하우스도르프 성질을 증명한다.

실험 결과

연구 질문

• RQ1 정규 닫힌 집합의 초공간 $\mbox{RCL}(X)$ 에서 강한 히트 및 원거리 미스 초위상 $\tau^{\doublewedge}_{\mathscr{B}}$ 가 하우스도르프가 되는 조건은 무엇인가?
• RQ2 강한 가까움과 강한 원거리성 근접성이 고전적 히트-앤-미스 위상들을 어떻게 개선하고 있는가?
• RQ3 새로운 초위상에서 하우스도르프 분리 성질을 보장하기 위해 부분집합의 가족 $\mathscr{B}$ 가 만족해야 할 조건은 무엇인가?
• RQ4 표준 위상공간인 $\mathbb{R}^N$ 과 같은 공간들에서 정규 국소 가족 조건을 만족시킬 수 있는가? 이는 위상에 어떤 영향을 미치는가?
• RQ5 새로운 초위상들이 분리성과 수렴성 측면에서 고전적 위상(예: 펠 또는 애터룩-웨츠 위상)과 어떻게 관련되어 있는가?

주요 결과

• 정규 국소 가족인 $\mathscr{B}$ 를 가질 경우, 정규 닫힌 집합의 초공간 $\mbox{RCL}(X)$ 에서 강한 히트 및 원거리 미스 초위상 $\tau^{\doublewedge}_{\mathscr{B}}$ 는 하우스도르프이다.
• 동일한 정규 국소 가족 조건 하에서, 공집합이 아닌 닫힌 집합의 초공간 $\mbox{CL}(X)$ 에서 히트 및 강한 원거리 미스 초위상 $\tau_{\doublevee,\mathscr{B}}$ 역시 하우스도르프이다.
• 모든 정규 열린 집합 $V$ 에 대해 $V^{\doublewedge} = \{E \in \mbox{RCL}(X) : E \mathop{\delta}\limits^{\doublewedge} V\}$ 는 $\{E \in \mbox{RCL}(X) : E \cap V \neq \emptyset\}$ 와 일치하며, 이는 강한 가까움을 표준 위상적 교차와 연결한다.
• $\mathbb{R}^N$ 에서 닫힌 볼록 집합의 가족은 정규 국소 가족을 이룬다. 이는 이러한 가족이 일반적인 위상공간에 존재함을 보여준다.
• 이 구성은 모든 정규 열린 집합이 정규임을 보장하며, 정규 열린 집합과 정규 닫힌 집합 사이의 대응관계가 격자 구조를 유지하여 위상 일관성을 지원한다.
• 하우스도르프성의 증명은 강한 포함관계 $S \ll_{\delta} U$ 에 기반하며, 이는 에프레모비치 성질을 통해 이웃 영역을 엄격히 분리함으로써 서로 다른 정규 닫힌 집합을 분리할 수 있음을 보장한다.