[论文解读] Separation Axioms in Bi-soft Topological Spaces

Munazza Naz, Muhammad Shabir+1 more|arXiv (Cornell University)|Aug 29, 2015

Fuzzy and Soft Set Theory参考文献 12被引用 3

一句话总结

本文通过在全集上引入两个参数集的软拓扑，将软拓扑空间推广为双软拓扑空间。建立了成对软分离公理（T₀、T₁、T₂），并证明了成对软豪斯多夫空间的刻画定理，揭示了其与经典软拓扑和清晰拓扑分离性质的关系。该研究进一步将该框架应用于粗糙集理论，建立了软拓扑与信息系统之间的联系。

ABSTRACT

Concept of bi-soft topological spaces is introduced. Several notions of a soft topological space are generalized to study bi-soft topological spaces. Separation axioms play a vital role in study of topological spaces. These concepts have been studied in context of bi-soft topological spaces. There is a very close relationship between topology and rough set theory. An application of bi-soft topology is given in rough set theory.

研究动机与目标

• 通过引入双拓扑结构，将软拓扑空间推广为双软拓扑空间，从而提出双软拓扑空间的概念。
• 将经典分离公理（T₀、T₁、T₂）推广到具有两个拓扑的软设置中，定义成对软分离公理。
• 研究成对软 Tᵢ 空间与其对应的经典软拓扑和清晰拓扑 Tᵢ 空间之间的关系。
• 为成对软豪斯多夫空间提供刻画定理。
• 展示双软拓扑空间在粗糙集理论中的应用，特别是在信息系统中的应用。

提出的方法

• 作者将双软拓扑空间定义为三元组 (X, T₁, T₂, E)，其中 X 为全集，E 为参数集，T₁ 和 T₂ 为 X 上的软拓扑。
• 通过使用参数化开集将经典双拓扑分离公理推广到软设置，引入了成对软 T₀、T₁ 和 T₂ 公理。
• 论文采用软集运算（如软内部、软闭包和软补集）来定义并分析双软环境下的软开集和软闭集。
• 利用软闭包与软内部的交集，证明了成对软豪斯多夫空间的刻画定理。
• 通过在参数集 E 上的逻辑蕴含和集合运算，推导出理论结果。
• 通过证明信息系统可通过下近似和上近似自然诱导出双软拓扑，提出在粗糙集理论中的应用。

实验结果

研究问题

• RQ1 若 (X, T₁, T₂, E) 为成对软 Tᵢ 空间，则在何种条件下 (X, T₁, E) 和 (X, T₂, E) 均为软 Tᵢ 空间？
• RQ2 若 (X, T₁, T₂, E) 为成对软 Tᵢ 空间，则何时软拓扑 T₁ ∨ T₂ 为软 Tᵢ 空间？
• RQ3 若 (X, T₁, T₂, E) 为成对软 Tᵢ 空间，则对所有 e ∈ E，参数化双拓扑空间 (X, T₁ₑ, T₂ₑ) 何时为 Tᵢ 空间？
• RQ4 若 (X, T₁, T₂, E) 为成对软 Tᵢ 空间，则何时所有非空双软子空间 (Y, T₁Y, T₂Y, E) 均为 Tᵢ 空间？
• RQ5 双软拓扑空间如何应用于粗糙集理论，以在信息系统中建模不确定性？

主要发现

• 本文证明：双软拓扑空间 (X, T₁, T₂, E) 为成对软 T₂（豪斯多夫）空间，当且仅当对任意不同的点 x, y ∈ X，存在软开集 U, V，使得 x ∈ U，y ∈ V，且 U ∩ V = ∅。
• 证明了若 (X, T₁, T₂, E) 为成对软 Tᵢ 空间，则 (X, T₁, E) 和 (X, T₂, E) 均为软 Tᵢ 空间，但其逆命题不一定成立。
• 软闭包的并满足恒等式 (F₁ ∪ F₂)̅ = F̅₁ ∪ F̅₂，软闭包的交满足 (F₁ ∩ F₂)̅ ⊆ F̅₁ ∩ F̅₂。
• 软内部与软闭包算子满足对偶性：(F̅)ᶜ = (Fᶜ)̅ 和 (F̄)ᶜ = (Fᶜ)̄，确保软集运算的一致性。
• 证明了软集的软内部等于其软内部的软内部，即 (F̄)̄ = F̄，闭包亦然。
• 通过证明信息系统可通过下近似和上近似自然诱导出双软拓扑，展示了在粗糙集理论中的应用，将软拓扑与不确定性建模联系起来。