关于格上二元运算“-”的性质研究  

Several Sudies of Continuous Lattice Theory

作　　者：祝祯祯[1] 卢涛[1] 

机构地区：[1]淮北师范大学数学科学学院,安徽淮北235000

出　　处：《佳木斯大学学报（自然科学版）》2014年第6期950-951,953,共3页Journal of Jiamusi University：Natural Science Edition

基　　金：安徽省自然科学研究项目(KJ2012Z358);国家自然科学基金项目(11171156)

摘　　要：在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.The relevant definitions and main properties were compared among the continuous lattice .Semi continuous lattice and semi continuous dcpo , and their relations and differences were obtained .So some supple-ments were made and the concept of local semi base about semi continuous dcpo was introduced .And some rele-vant properties and conclusions were obtained .

关 键 词：分配格 分散完备格 格矩阵 

分 类 号：O152[理学—数学]