[論文レビュー] Primal Topological Spaces

Santanu Acharjee, Murad Özkoç+1 more|arXiv (Cornell University)|Aug 27, 2022

Fuzzy and Soft Set Theory被引用数 9

ひとこと要約

本稿では、位相空間におけるグリルの双対構造としての'プライマル'を導入し、カラトスキーの閉包公理を満たす新しい位相構造である'プライマル位相'を提唱する。プライマル位相が元の位相よりも細かいことを証明し、新しい位相枠組みの基本的構造を提供することで、量子にインspiredされ、不確実な位相的挙動に応用可能な、新規な位相的枠組みの基盤を確立する。

ABSTRACT

The purpose of this paper is to introduce a new structure `primal'. Primal is dual to grill. Like ideal, dual of filter, this new structure also generates a new topology named `primal topology'. We introduce a new operator using primal, which satisfies Kuratowski's closure axioms. Mainly, we prove that primal topology is finer than the topology of a primal topological space. We provide structure of base of primal topology and prove other fundamental results related to this new structure.

研究の動機と目的

• グリルの双対としての新しい位相的構造 'プライマル' を導入し、位相における双対性概念を拡張すること。
• プライマル構造を用いて 'プライマル位相' と呼ばれる新しい位相を定義し、それがカラトスキーの閉包公理を満たすことを証明すること。
• プライマル位相が、プライマル位相空間の元の位相よりも厳密に細かいことを確立すること。
• プライマル位相の基底を特徴付け、基本的な位相的性質を導出すること。
• 量子位相や非古典論理にインspiredされた、非古典的または量子的挙動を示す可能性のある、プライマル位相との関係を探索すること。

提案手法

• 空でない集合 X 上のプライマルを、次の条件を満たす族 P ⊆ 2^X として定義する：(i) X ∉ P、(ii) 任意の部分集合に対して下向き閉じていること、(iii) 有限交差に対して閉じていること。
• グリルとプライマルの間の双対性を補集合を用いて確立する：G がグリルであれば、{A | A^c ∈ G} はプライマルである。
• 閉包作用素 (·)^♦ を A^♦ = A ∪ {x ∈ X | ∀U ∈ τ(x), U^c ∪ A ∉ P} で定義し、これがカラトスキーの閉包公理を満たすことを示す。
• プライマル位相 τ^♦ を、A^c ∪ (A^c)^♦ = A^c を満たす集合 A の族として定義する。すなわち、A^c が (·)^♦ に関して閉じていること。
• τ ⊆ τ^♦ を証明し、プライマル位相が元の位相よりも細かいことを示す。
• B_P = {T ∩ P | T ∈ τ, P ∉ P} を τ^♦ の基底として構成し、それが τ^♦ を生成することを証明する。

実験結果

リサーチクエスチョン

• RQ1 グリルの双対構造を位相空間において体系的に定義できるか。また、古典的位相的構造とどのように関係するか。
• RQ2 新しいプライマル構造が、カラトスキーの閉包公理を満たす位相を生成するか。
• RQ3 プライマル位相は、空間の元の位相よりも厳密に細かいか。
• RQ4 プライマル位相の基底の構造は何か。また、その基底はどのようにして開集合を特徴付けるか。
• RQ5 非古典的または量子的挙動（例えば、位相的性質が普遍的に成り立たないなど）が、プライマル位相に現れるか。

主な発見

• プライマル位相 τ^♦ はカラトスキーの閉包公理を満たしており、有効な位相であることが確認された。
• プライマル位相 τ^♦ は元の位相 τ よりも厳密に細かく、すなわち τ ⊆ τ^♦ が成り立つ。
• τ^♦ の基底は B_P = {T ∩ P | T ∈ τ, P ∉ P} で与えられ、この基底がプライマル位相を生成する。
• P ⊆ Q である2つのプライマルについて、τ^♦_Q ⊆ τ^♦_P が成り立つ。これは、より大きなプライマルはより粗いプライマル位相を生成することを示している。
• 連続写像による像においてプライマル性が保存されないことが反例によって示された。これは、非位相的不変性を示している。
• 本稿では、例 3.6 および 3.7 において、不確実で非古典的な挙動がプライマル構造に現れることを観察した。これは、量子位相との潜在的関係を示唆している。