[论文解读] Some Results Related to Soft Topological Spaces

E. Peyghan, Babak Samadi+1 more|arXiv (Cornell University)|Jan 21, 2014

Fuzzy and Soft Set Theory参考文献 14被引用 5

一句话总结

本文通過引入並分析軟緊緻性與可數軟緊緻性，探討軟拓撲空間，並挑戰經典一般拓撲學結果。結果顯示，與經典拓撲學不同，軟緊緻豪斯多夫空間不一定是正則的，並透過構造反例，否定了關於軟正則性與軟正則性的既定定理。

ABSTRACT

The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft separation axioms that have been studied by Min and Shabir-Naz. By constructing a special soft topological space, show that some classical results in general topology are not true about soft topological spaces, for instance every compact Housdorff spaces need not be normal.

研究动机与目标

• 探討軟拓撲空間中軟緊緻性與可數軟緊緻性的概念。
• 檢視由 Min 和 Shabir-Naz 定義的軟分離公理，包括軟正則性與軟正則性。
• 識別並修正先前發表論文中關於軟分離公理的錯誤。
• 證明經典一般拓撲學結果（如每一個緊緻豪斯多夫空間都是正則的）在軟拓撲空間中不成立。
• 構造反例，顯示軟 $T_4$-空間不一定是軟 $T_3$-空間，且軟正則性定理可能失效。

提出的方法

• 在全域 $X$ 上引入參數集 $E$ 的軟集合，透過相對補集定義軟開集與軟閉集。
• 將 $X$ 上的軟拓撲 $\tau$ 定義為滿足標準拓撲公理的軟集合族：包含 $\Phi_E$ 和 $\widetilde{X}$，對任意並集與有限交集封閉。
• 透過軟開覆蓋定義軟緊緻性：若每個軟開覆蓋皆有有限子覆蓋，則該軟空間為軟緊緻。
• 運用軟閉包與軟內部的概念定義軟正則與軟正則空間，並使用涉及不相交軟開集的條件。
• 使用特定反例空間（$X = \{h\}$，$E = \{e_1, \dots, e_5\}$，及有限軟拓撲 $\tau$）測試分離性質。
• 透過驗證 $ (x,E) \cap (G,E) = \phi_E $ 之類條件不足以確保軟正則性，而應要求 $ (x,E) \not\subseteq (G,E) $，來分析關鍵定理的失效。

实验结果

研究问题

• RQ1 每一個緊緻豪斯多夫軟拓撲空間是否仍為正則的？
• RQ2 先前文獻（如 [10]）中關於軟正則性與軟正則性的定理是否在一般軟拓撲空間中成立？
• RQ3 軟 $T_4$-空間是否可能不是軟 $T_3$-空間？
• RQ4 在軟拓撲中，條件 $ (x,E) \cap (G,E) = \phi_E $ 是否等價於 $ x \notin (G,E) $？
• RQ5 經典結果如「緊緻豪斯多夫推出正則」是否在軟拓撲空間中成立？

主要发现

• 例 4.9 中構造的軟拓撲空間為軟緊緻但非軟正則，顯示軟緊緻豪斯多夫空間不一定是正則的。
• 例 4.4 中的軟空間為軟 $T_4$-空間但非軟 $T_3$-空間，推翻了 [10] 中聲稱此類空間必為軟 $T_3$-空間的定理。
• [10] 的定理 3.17 是錯誤的，因為條件 $ (x,E) \cap (G,E) = \phi_E $ 並不能推出 $ x \notin (G,E) $，因此無法用於定義軟正則性。
• 條件 $ (x,E) \cap (G,E) = \phi_E $ 不等價於 $ (x,E) \not\subseteq (G,E) $，這否定了先前軟正則性定理中的關鍵假設。
• [10] 的定理 3.25 無效：即使所有單點軟集合皆為閉集，軟正則空間也不一定是軟 $T_3$-空間。
• 本文透過以 $ (x,E) \not\subseteq (G,E) $ 取代 $ (x,E) \cap (G,E) = \phi_E $ 作為軟正則性的必要條件，修正了先前的工作。