Moore Systems and Moore Convergence Classes of Families of Nets

作者: Xiao-Fei Yang , Sheng-Gang Li

DOI: 10.1007/S40840-014-0056-2

关键词:

摘要: This paper presents a new cryptomorphic mathematical structure of the Moore system, called convergence class families nets. It is proved that, for given set $$X$$ , appropriate order relation $$\le $$ can be defined on $${\mathbb {MCCFN}}(X)$$ (the all classes nets ) and one-to-one correspondence $$\tau :({\mathbb {MCCFN}}(X),\le )\longrightarrow ({\mathbb {MS}}(X),\supseteq )$$ systems such that $$({\mathbb complete lattice isomorphism. means are structures. also (by considering restrictions pre-cotopologies pre-convergence structures cotopologies (a classical result). naturally gives approach to system pre-cotopology.

参考文章(28)
D. Dikranjan, W. Tholen, Categorical Structure of Closure Operators Springer Netherlands. ,(1995) , 10.1007/978-94-015-8400-5
Norman M. Martin, Stephen Pollard, Closure Spaces and Logic ,(1996)
Vel, Van de, M. L. J.,, Theory of convex structures ,(1993)
Bernhard Ganter, Rudolf Wille, C. Franzke, Formal Concept Analysis: Mathematical Foundations ,(1998)
Mao-kang Luo, Ying-ming Liu, Ji-hua Liang, On Convergence Classes inL-fuzzy Topological Spaces☆☆☆ Journal of Mathematical Analysis and Applications. ,vol. 224, pp. 316- 331 ,(1998) , 10.1006/JMAA.1998.6011
Piero Pagliani, Pretopologies and Dynamic Spaces granular computing. ,vol. 59, pp. 221- 239 ,(2003) , 10.1007/3-540-39205-X_19
John L Pfaltz, Robert E Jamison, Closure systems and their structure Information Sciences. ,vol. 139, pp. 275- 286 ,(2001) , 10.1016/S0020-0255(01)00169-4
Bärbel M. R. Stadler, Peter F. Stadler, Generalized topological spaces in evolutionary theory and combinatorial chemistry. Journal of Chemical Information and Computer Sciences. ,vol. 42, pp. 577- 585 ,(2002) , 10.1021/CI0100898
János Demetrovics, Leonid Libkin, Ilya B. Muchnik, Functional dependencies in relational databases: a lattice point of view Discrete Applied Mathematics. ,vol. 40, pp. 155- 185 ,(1992) , 10.1016/0166-218X(92)90028-9