[论文解读] Fuzzy functions and an extension of the category L-Top of Chang-Goguen L-topological spaces

Alexander Šostak|ArXiv.org|Apr 10, 2002

Fuzzy and Soft Set Theory参考文献 6被引用 9

一句话总结

本文引入了一个模糊范畴 𝒻TOP(L)，通过将传统态射替换为模糊函数（即 L-关系 F:X×Y→L，其为映射的推广）来扩展 Chang-Goguen L-拓扑空间。它证明了 𝒻TOP(L) 的顶层范畴是模糊集合范畴 𝒻SET(L)⊤ 上的一个拓扑范畴，并证明了 (α,β)-紧致性在 (α,γ)-完美模糊函数下保持不变，从而将经典拓扑学中的紧致性保持性质推广至模糊拓扑领域。

ABSTRACT

We study FTOP(L), a fuzzy category with fuzzy functions in the role of morphisms. This category has the same objects as the category L-TOP of Chang-Goguen L-topological spaces,but an essentially wider class of morphisms - so called fuzzy functions introduced earlier in our joint work with U. Hohle and H. Porst.

研究动机与目标

• 通过将模糊函数作为态射，扩展 Chang-Goguen L-拓扑空间的范畴 L-TOP。
• 建立模糊范畴 𝒻TOP(L) 为模糊集合范畴 𝒻SET(L)⊤ 上的拓扑范畴。
• 研究 (α,β)-紧致性在模糊函数下的保持性质，特别是通过 (α,β)-完美模糊函数的概念。
• 利用 L-值逻辑与 GL-幺半群，将经典拓扑学中的紧致性定理推广至模糊设定。

提出的方法

• 将模糊函数定义为 L-关系 F:X×Y→L，其为清晰函数的推广，满足隶属度条件 μ(F)=⊤ 与支集条件 σ(F)=⊤。
• 在 GL-幺半群结构与 L-值集合的基础上，构建以模糊函数为态射的模糊范畴 𝒻SET(L)。
• 将 𝒻TOP(L) 定义为 𝒻SET(L) 的子范畴，其中对象为 Chang-Goguen L-拓扑空间，态射为连续的模糊函数。
• 引入顶层范畴 𝒻TOP(L)⊤，并通过初像提升与结构保持性，证明其为 𝒻SET(L)⊤ 上的拓扑范畴。
• 通过闭 L-集合族及其在格 L 中的交集条件，定义 L-集合的 (α,β)-紧致性。
• 将 (α,β)-完美模糊函数定义为连续、闭映射，且其点原像为 (α,β)-紧致的 L-集合。

实验结果

研究问题

• RQ1 如何通过将模糊函数作为态射来扩展 Chang-Goguen L-拓扑空间的范畴 L-TOP？
• RQ2 模糊范畴 𝒻TOP(L) 的顶层范畴是否为模糊集合范畴 𝒻SET(L)⊤ 上的拓扑范畴？
• RQ3 在何种条件下，(α,β)-紧致性在通过模糊函数的原像下得以保持？
• RQ4 能否利用模糊函数与 L-值逻辑，将经典拓扑学中的紧致性定理推广至模糊设定？

主要发现

• 顶层范畴 𝒻TOP(L)⊤ 是 𝒻SET(L)⊤ 上的拓扑范畴，意味着其对结构化族具有初像提升性质。
• 若 F:(X,E_X,τ_X)→(Y,E_Y,τ_Y) 是一个满足 μ(F)=⊤ 与 σ(F)=⊤ 的 (α,γ)-完美模糊函数，且 Y 是 (γ,β)-紧致的，则 X 是 (α,β)-紧致的。
• 在 MV-代数 L 的情形下，L-拓扑空间的 (α,β)-紧致性可通过闭 L-集合族的条件表征：若每个有限子族的交集不 ≤ βᶜ，则整个族的交集不 ≤ αᶜ。
• 模糊函数 F 的点 y₀∈Y 的原像 F←(y₀) 是 (α,β)-紧致的，当且仅当对所有有限子族，涉及 F(x,y₀) 与闭集的并与交的蕴含关系成立。
• (α,β)-完美模糊函数类确保了从余定义域到定义域方向的紧致性保持。
• 证明依赖于 MV-代数中的对合运算与 De Morgan 对偶性，将紧致性条件转化为格论蕴含关系。