[논문 리뷰] Primal-Proximity Spaces

Ahmad Al-Omari, Murad Ozcog외 1명|arXiv (Cornell University)|2023. 05. 26.

Fuzzy and Soft Set TheoryDecision Sciences인용 수 3

한 줄 요약

이 논문은 위상수학에서 그릴과 아이디얼의 이중성에 기반한 새로운 유형의 유사근 구조인 프라임-유사근 구조를 소개한다. 점-프라임 유사근 연산자를 정의하고, 특정 조건 하에서 이 연산자가 쿠라토프스키 닫힘 연산자로 작용함을 증명하며, 또한 새로운 닫힘 유사 연산자를 통해 더 약한 위상구조를 구성한다. 예시와 정리들을 통해 기본 성질과 관계를 수립한다.

ABSTRACT

The main purpose of this paper is to introduce and study the primal-proximity spaces. Also, we define two new operators via primal proximity spaces and investigate some of their fundamental properties. In addition, we obtain a new topology, which is weaker than old one, via these new operators. Moreover, we not only discuss some of their properties but also enrich with some examples.

연구 동기 및 목표

• 프라임-유사근 구조를 새로운 위상수학적 구조의 클래스로 도입하고 형식화하기.
• 점-프라임 유사근 연산자를 정의하고, 특히 특정 조건 하에서 이 연산자가 쿠라토프스키 닫힘 연산자로 작용하는 성질을 조사하기.
• 프라임-유사근에서 유도된 연산자를 사용하여 기존 위상보다 더 약한 새로운 위상을 구성하기.
• 프라임-유사근, 닫힘 연산자, 위상수학적 성질 간의 관계를 예시와 정리를 바탕으로 수립하기.
• 프라임 이중성을 기초 메커니즘으로 삼아 기존의 유사근과 아이디얼 위상구조의 프레임워크를 확장하기.

제안 방법

• 집합 $X$ 에 프라임 $\mathcal{P}$ 가 부여된 상황에서, 대칭성, 합집합 분해, 보완 집합과의 비유사근 조건을 포함한 다섯 가지 공리들을 만족하는 프라임-유사근 관계 $\hookrightarrow$ 를 정의한다.
• 집합 $A$ 가 국소적으로 프라임이 아닌 점들을 기술하기 위해 프라임 국소 함수 $A^\diamond(\delta,\mathcal{P})$ 를 도입하고, 이는 점-프라임 유사근 연산자의 기초가 된다.
• 만약 $\mathcal{P}$ 가 $A^c \notin \mathcal{P}$ 를 만족하는 특정 조건을 갖는다면, 점-프라임 유사근 연산자가 쿠라토프스키 닫힘 공리계를 만족함을 증명한다.
• 점-프라임 유사근으로부터 유도된 두 번째 연산자가 추가 조건 없이도 쿠라토프스키 닫힘 연산자임을 정의한다.
• 프라임-유사근 관계에서 유도된 위상 $\overset{\hookrightarrow}{\tau}$ 를 구성하고, 모든 $x \in A$ 에 대해 $\{x\} \centernot\hookrightarrow A^c$ 이면 $A$ 가 이 위상에서 열림을 증명한다.
• 이 위상에서 유도된 닫힘 및 내부 연산자를 사용하여, $A \hookrightarrow B$ 이면 $cl_{\overset{\hookrightarrow}{\tau}}(A) \hookrightarrow cl_{\overset{\hookrightarrow}{\tau}}(B)$ 를 만족함을 증명함으로써 핵심적인 위상 동치 관계를 확립한다.

실험 결과

연구 질문

• RQ1 그릴과 아이디얼의 이중성을 통해 프라임 구조를 이용하여 새로운 종류의 유사근 관계를 어떻게 정의할 수 있는가?
• RQ2 점-프라임 유사근 연산자가 쿠라토프스키 닫힘 연산자의 공리를 만족하는 조건은 무엇인가?
• RQ3 프라임-유사근 위상과 이 새로운 구조 하에서 집합의 닫힘 성질 간의 관계는 어떠한가?
• RQ4 새로운 위상 $\overset{\hookrightarrow}{\tau}$ 는 개방성과 닫힘성 측면에서 원래 위상과 어떻게 비교되는가?
• RQ5 프라임-유사근 프레임워크를 사용하여 핵심 위상수학적 불변성을 유지하면서 더 약한 위상을 유도할 수 있는가?

주요 결과

• 프라임-유사근 관계 $\hookrightarrow$ 는 에프레모비치 유사근의 모든 공리를 만족하므로, $(X, \hookrightarrow, \mathcal{P})$ 는 프라임 구조를 갖는 유효한 유사근 공간이다.
• 만약 $A^c \notin \mathcal{P}$ 를 만족한다면, 점-프라임 유사근 연산자 $A^\diamond$ 는 쿠라토프스키 닫힘 연산자이다. 이는 프라임 이중성과 닫힘 성질 간의 연결 고리를 확립한다.
• 점-프라임 유사근에서 유도된 두 번째 연산자는 어떠한 조건 없이도 쿠라토프스키 닫힘 연산자이다. 이는 프라임-유사근 공간에서 닫힘을 위한 강력한 구성법을 제공한다.
• 위상 $\overset{\hookrightarrow}{\tau}$ 는 원래 위상보다 엄격히 더 약하다. 이는 모든 $x \in A$ 에 대해 $\{x\} \centernot\hookrightarrow A^c$ 이면 $A \in \overset{\hookrightarrow}{\tau}$ 라는 사실로 입증된다.
• 위상 $\overset{\hookrightarrow}{\tau}$ 에서 집합 $A$ 의 닫힘은 $cl_{\overset{\hookrightarrow}{\tau}}(A) = A^\diamond$ 를 만족하므로, 닫힘은 정확히 프라임 국소 함수이다.
• 기본적인 동치 관계 $A \hookrightarrow B$ if and only if $cl_{\overset{\hookrightarrow}{\tau}}(A) \hookrightarrow cl_{\overset{\hookrightarrow}{\tau}}(B)$ 가 성립하며, 이는 위상적 닫힘 연산자가 프라임-유사근 관계를 유지함을 보여준다.