[논문 리뷰] A New Operator of Primal Topological Spaces

Ahmad Al-Omari, Santanu Acharjee외 1명|arXiv (Cornell University)|2022. 10. 28.

Fuzzy and Soft Set Theory인용 수 5

한 줄 요약

이 논문은 위상수학의 원시 구조를 바탕으로 한 새로운 연산자 Ψ(파이)를 도입한다. 이 연산자는 그릴의 이중성과 관련된 것으로, 이 연산자의 기본 성질을 규명하고 '원시에 적합한 위상수학'을 정의한다. 원시 위상수학 τ⁰, 폐쇄 연산자, 그리고 Ψ-연산자 간의 특성과 관계를 규명하며, 특히 C(X)−{X}⊆P 및 τ가 P에 대해 적합할 조건 하에서 분석한다.

ABSTRACT

Recently, Acharjee et al. [S. Acharjee, M. Özkoç and F. Y. Issaka, Primal topological spaces, arXiv:2209.12676[math.GM]] introduced a new structure in topology named primal. Primal is the duel structure of grill. The main purpose of this paper is to introduce an operator using primal and obtain some of its fundamental properties. Also, we define the notion of topology suitable for a primal. We not only obtain some characterizations of this new notion, but also investigate many properties.

연구 동기 및 목표

• 위상수학의 원시 구조에서 유도된 새로운 Ψ-연산자를 도입하고 조사한다.
• 원시에 적합한 위상수학의 개념을 정의하고 분석하여 그 기초 성질을 규명한다.
• 특정 조건 하에서 원시 위상수학 τ⁰, Ψ-연산자, 폐쇄 연산자 간의 상호작용을 탐구한다.
• 원시 위상수학 공간에서 개집합과 닫힌집합과의 관계에서 Ψ-연산자의 행동과 특성을 규명한다.
• τ⁰가 τ보다 더 미세한 위상임과, τ 및 τ⁰에서 폐쇄 연산자가 일치하는 조건을 설정한다.

제안 방법

• 모든 부분집합 A ⊆ X에 대해 A⁰(X,τ,P) = {x ∈ X : ∀U ∈ τ(x), (Aᶜ ∪ Uᶜ) ∈ P}로 Ψ-연산자를 정의한다.
• 표준 폐쇄 연산자의 일반화인 cl⁰(A) = A ∪ A⁰을 정의한다.
• cl⁰(Aᶜ) = Aᶜ인 집합들의 집합 τ⁰ = {A ⊆ X : cl⁰(Aᶜ) = Aᶜ}로 원시 위상수학 τ⁰을 구성하며, 이는 원래 위상수학 τ보다 더 미세하다.
• 기저 Bₚ = {T ∩ P : T ∈ τ, P ∉ P}를 사용하여 τ⁰를 특성화하고 그 위상적 성질을 분석한다.
• 특히 C(X)−{X} ⊆ P 조건 하에서 τ가 P와 호환될 때 '원시에 적합한 위상수학'의 개념을 적용한다.
• 기존 문헌 [1]에서의 원시 구조 및 Ψ-연산자에 관한 결과를 활용하여 새로운 폐쇄 및 포함 성질을 도출한다.

실험 결과

연구 질문

• RQ1 원시 위상수학 공간에서 새로운 Ψ-연산자는 개집합과 폐쇄와 어떻게 관련되어 있는가?
• RQ2 주어진 원시 P에 대해 위상수학 τ가 원시에 적합하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 원시 위상수학 τ⁰이 원래 위상수학 τ와 일치하는 조건은 무엇인가?
• RQ4 원시 위상수학 공간에서 폐쇄 연산자 cl⁰이 cl과 일치하는 조건은 무엇인가?
• RQ5 Ψ-연산자의 성질은 교집합과 합집합과 같은 집합론적 연산과 어떻게 상호작용하는가?

주요 결과

• 원시 위상수학 τ⁰는 원래 위상수학 τ보다 더 미세하므로, 임의의 A ⊆ X에 대해 cl⁰(A) ⊆ cl(A)임을 의미한다.
• τ가 P에 대해 적합하고 C(X)−{X} ⊆ P이면, 임의의 열린 집합 U ∈ τ에 대해 U ⊆ U⁰이며, 이에 따라 U⁰ = cl(U) = cl⁰(U)임을 유도할 수 있다.
• 모든 τ⁰-열린 집합 G = U ∩ A (U ∈ τ, A ∉ P)에 대해 cl(G) = cl⁰(G) = G⁰ = U⁰ = cl(U) = cl⁰(U)임이 성립한다.
• 모든 A ∈ τ 및 B ⊆ X에 대해 (A ∩ B)⁰ = (A ∩ B⁰)⁰ = cl(A ∩ B⁰)임을 보여주며, 이는 개성과 Ψ-연산자 간의 강한 호환성을 나타낸다.
• A ∈ τ 이고 Aᶜ ∉ P 이면 A⁰ = ∅ 이며, 이는 A ⊆ X \u2215 X⁰를 의미하며, 원시 구조의 지지역을 특성화한다.
• A⁰의 폐쇄는 cl(A⁰) = A⁰를 만족하므로, A⁰는 원시 위상수학 τ⁰에서 닫힌 집합이며, (A⁰)⁰ ⊆ A⁰이므로 항등적 성질에 유사한 행동을 보인다.