摘要
基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一致极限空间范畴是范畴同构的同时,还建立了L-序水平一致极限空间范畴是文献中L-水平一致极限空间范畴的双反射子范畴这一深入联系.
In this paper,based on the lattice-valued inclusion order relation of stratified L-filters,we propose the concept of L-ordered uniform limit spaces,and show that the category of all L-ordered uniform limit spaces as topological category is Cartesian-closed.Meanwhile,by making use of the idea of "level structure",we find the level space of L-ordered uniform limit spaces,namely L-ordered level uniform limit spaces. We prove that the category of all L-ordered level uniform limit spaces and the category of all L-ordered uniform limit spaces are isomorphism. In the meantime,we establish the connection that the category of all L-ordered level uniform limit spaces is a bireflective subcategory of the category of all L-level uniform limit spaces.
引文
[1]NUSSER H. A generalization of probabilistic uniform spaces[J]. Appl Categ Struct,2002,10(1):81-98.
[2]FLORESCU L C. Structures syntopogènes probabilistes[J]. Publ Math Debrecen,1981,28(1/2):15-24.
[3]RICHARDSON G D,KENT D C. Probabilistic convergence spaces[J]. J Austral Math Soc,1996,A61(3):400-420.
[4]JGER G. Level spaces for lattice-valued uniform convergence spaces[J]. Quaestiones Math,2008,31(3):255-277.
[5]JGER G,BURTON M H. Stratified L-uniform convergence spaces[J]. Quaestiones Math,2005,28(1):11-36.
[6]FANG J M. Stratified L-ordered quasiuniform limit spaces[J]. Fuzzy Sets and Systems,2013,227:51-73.
[7]HOHLE U,SOSTAK A P. Axiomatic foundations of fixed-basis fuzzy topology[C]//Mathematics of Fuzzy Sets:Logic,Topology and Measure Theory. Dordrecht:Kluwer,1999.
[8]CRAIG A,JAGER G. A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces[J]. Fuzzy Sets and Systems,2009,160:1177-1203.
[9]PREUSS G. Foundations of Topology[M]. Dordrecht:Kluwer Academic Publishers,2002.