利用插入性质刻画模糊domain  

Characterizing fuzzy domain via interpolation property

作　　者：饶三平[1] RAO Sanping(Department of Science,Nanchang Institute of Technology,Nanchang 330099 ,China)

机构地区：[1]南昌工程学院理学院,江西南昌330099

出　　处：《南昌大学学报（理科版）》2018年第3期212-215,共4页Journal of Nanchang University(Natural Science)

基　　金：江西省教育厅科技项目基金资助项目(GJJ14754);江西省科技厅青年基金资助项目(20171BAB211003)

摘　　要：基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊domain的等价刻画;然后,利用模糊Scott拓扑,定义了它的模糊基,同样基于插入性质得到模糊domain的另外一个等价刻画。Based on the interpolation property,some equivalent characterizations of the fuzzy domain are given under appropriate conditions.Firstly the notion of fuzzy direct approximation element is introduced in the fuzzy dcpo.Then,with the help of the interpolation property,equivalent characterizations of the fuzzy domain are obtained.Moreover,by defining the fuzzy base with respect to the fuzzy Scott topology,equivalent characterizations of the fuzzy domain are derived again via the interpolation property.

关 键 词：模糊domain 模糊Scott拓扑 模糊way-below关系 插入性质 

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