连续广义偏度量空间（英文）  

Continuous generalized partial metric spaces

作　　者：李威[1] 张德学[1] 

机构地区：[1]四川大学数学学院,成都610064

出　　处：《四川大学学报（自然科学版）》2015年第4期703-709,共7页Journal of Sichuan University(Natural Science Edition)

基　　金：国家自然科学基金(11071174)

摘　　要：本文借助Yoneda嵌入引入了连续广义偏度量空间的概念.这类空间在广义偏度量空间里的作用类似于连续的定向完备偏序集在偏序集里的作用.然后本文证明了广义偏度量空间上的前向整体化函子和形式球函子保持连续性,并且形式球函子反射连续性.The notion of continuous generalized partial metric space is introduced via the Yoneda embed- ding. Such spaces are the counterparts of continuous directed complete partially ordered sets in the realm of generalized partial metric spaces. It is shown that both the forward globalization functor and the for- mal ball functor on generalized partial metric spaces preserve continuity, and the formal ball functor also reflects continuity.

关 键 词：广义偏度量空间 平坦左模 伴随 Yoneda完备 

分 类 号：O153.1[理学—数学] O189.11[理学—基础数学]