Fuzzy Sets and Systems ( IF 3.9 ) Pub Date : 2021-05-13 , DOI: 10.1016/j.fss.2021.05.001 Jinming Fang , Yueli Yue
The extensionality of ⊤-convergence spaces is verified for a complete residuated lattice L with the top element ⊤. And also the -connectedness of ⊤-convergence spaces for a class of ⊤-convergence spaces is proposed by generalizing Preuss's connectedness of topological spaces. Then we establish a necessary and sufficient condition that for a class of ⊤-convergence spaces, there exists a class of ⊤-convergence spaces such that each space of is -connected, where we stress the point that the conclusion benefits from the extensionality of the category of ⊤-convergence spaces. We further present a deep relationship between -connectedness and -separation for ⊤-convergence spaces, that is, the -connectedness of each subset in a ⊤-convergence space implies that of its closure if and only if precisely is a class of ⊤-convergence spaces being -separated, and as a natural result, the product theorem for -connected ⊤-convergence spaces is obtained.
中文翻译:
⊤-收敛空间范畴中的可拓性和E-连通性
⊤-收敛空间的可拓性被验证为一个完全剩余格子L与顶部元素 ⊤。还有-类的 ⊤-收敛空间的连通性 ⊤-收敛空间是通过推广普鲁士拓扑空间的连通性提出的。然后我们建立一个充要条件,对于一个类 在 ⊤-收敛空间中,存在一类 的 ⊤-收敛空间使得每个空间 是 -connected,这里我们强调结论受益于⊤-收敛空间范畴的可拓性。我们进一步提出了两者之间的深层关系- 连通性和 -分离⊤-收敛空间,即 ⊤-收敛空间中每个子集的连通性意味着它的闭包当且仅当 恰好是一类⊤-收敛空间是 - 分离,并且作为自然结果,乘积定理为 得到-连通的⊤-收敛空间。