[論文レビュー] Primal-Proximity Spaces

Ahmad Al-Omari, Murad Ozcog+1 more|arXiv (Cornell University)|May 26, 2023

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}$ を備えた上で、対称性、和集合の分解、補集合が非近傍であることを示す条件を含む5つの公理を満たす、プライマル近傍関係 $\hookrightarrow$ を定義する。
• 点 $A$ が局所的にプライマルでない点を特徴付けるために、プライマル局所関数 $A^\diamond(\delta,\mathcal{P})$ を導入し、点プライマル近傍作用素の基礎を築く。
• 集合 $\mathcal{P}$ が $A^c \notin \mathcal{P}$ を満たす特定の条件を満たす場合、点プライマル近傍作用素がカラトスキーの閉包公理を満たすことを証明する。
• 点プライマル近傍から導かれる第二の作用素が、追加の仮定なしにカラトスキーの閉包作用素であることを定義する。
• プライマル近傍関係から位相 $\overset{\hookrightarrow}{\tau}$ を構成し、$A$ がこの位相で開であるための必要十分条件が、すべての $x \in A$ に対して $\{x\} \centernot\hookrightarrow A^c$ であること、を証明する。
• この位相から導かれる閉包および内部作用素を用いて、$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}$ は、$A \in \overset{\hookrightarrow}{\tau}$ がすべての $x \in A$ に対して $\{x\} \centernot\hookrightarrow A^c$ を満たすことと同値であることから、元の位相より厳密に弱い。
• 位相 $\overset{\hookrightarrow}{\tau}$ における集合 $A$ の閉包は $cl_{\overset{\hookrightarrow}{\tau}}(A) = A^\diamond$ を満たす。つまり、閉包は正確にプライマル局所関数に一致する。
• 基本的な同値性 $A \hookrightarrow B$ がかつて $cl_{\overset{\hookrightarrow}{\tau}}(A) \hookrightarrow cl_{\overset{\hookrightarrow}{\tau}}(B)$ が成り立つ。これは、位相的閉包がプライマル近傍関係を保存することを示している。