论文摘要
随着计算机科学的发展,序结构愈来愈受到人们的关注,它与拓扑结构、代数结构相互结合,充分体现在连续格与Domain理论中,有着重要的研究价值.本文第二章探讨了给定集合上的偏序关系的分解性质,证明了给定集合P上的全体偏序（P）依集合包含序是一个Scott Domain;证明了任一偏序≤均可表示为若干代数偏序的定向上确界;还证明了若一个集合P在一族定向偏序{≤i}i∈I下均为（完备）格,则在一定条件下为（完备）格.也讨论了偏序集上内蕴拓扑的分解性质,得到了（对偶）Alexandrov拓扑、Scott拓扑的一些具体分解性质.第三章考察了一些特殊拓扑的分解性质,构造了例子说明一族可数定向拓扑的并未必还是拓扑,证明了拓扑空间上的特殊化序等于诸拓扑空间（X,τi）（i∈I）上的特殊化序的交;定向的一族单调收敛拓扑的上确界拓扑在一定条件下仍为单调收敛拓扑.第四章利用连续格理论的方法探讨了泛代数及其子代数偏序集,证明了当0元运算集不为空集时T-代数的子代数偏序集依集合包含序是一个代数格,特别是连续格;证明了任一T-代数的子代数偏序集依集合包含序是一个代数Domain,而添加一个最小元“⊥”后则是代数格,特别是连续格.构造了从T-代数范畴到T-代数的子代数偏序集范畴的一个函子,并证明了T-代数范畴中任意对象族的乘积都存在.
论文目录
相关论文文献
- [1].量子代数与物理国际会议[J]. 国际学术动态 2010(06)
- [2].布尔代数的双极值模糊子代数[J]. 数学的实践与认识 2019(24)
- [3].N(2,2,0)代数的模糊点子代数[J]. 黑龙江大学自然科学学报 2016(06)
- [4].格蕴涵代数的Ω-模糊子代数[J]. 计算机科学与探索 2017(07)
- [5].软N(2,2,0)子代数[J]. 吉林化工学院学报 2016(07)
- [6].格蕴涵代数(∈,∈∨_(q(λ,μ)))-模糊子代数[J]. 模糊系统与数学 2014(06)
- [7].(∈,∈∨q_((λ,_)))-模糊N(2,2,0)子代数[J]. 模糊系统与数学 2013(06)
- [8].由一个元素生成的全矩阵子代数[J]. 哈尔滨师范大学自然科学学报 2020(03)
- [9].N(2,2,0)代数的模糊子代数及其性质[J]. 黑龙江大学自然科学学报 2016(02)
- [10].布尔代数的模糊点子代数[J]. 四川师范大学学报(自然科学版) 2014(04)
- [11].布尔代数的Ω-模糊子代数[J]. 湖北大学学报(自然科学版) 2013(02)
- [12].Q-代数中具有界限的模糊子代数(英文)[J]. 内江师范学院学报 2011(08)
- [13].李超代数的c-可补子代数(英文)[J]. 数学进展 2011(04)
- [14].布尔代数的(λ,μ)模糊子代数[J]. 高校应用数学学报A辑 2011(04)
- [15].李代数的粗糙子代数和粗糙理想[J]. 河南科学 2011(12)
- [16].N(2,2,0)代数的双极值模糊子代数（英文）[J]. 黑龙江大学自然科学学报 2020(01)
- [17].N(2,2,0)代数的(λ,μ)-反模糊子代数[J]. 重庆师范大学学报(自然科学版) 2017(03)
- [18].N(2,2,0)代数的T-模糊子代数和T-模糊理想[J]. 数学的实践与认识 2016(20)
- [19].一类C~*-代数乘子代数中的拟对角C~*-子代数[J]. 同济大学学报(自然科学版) 2008(09)
- [20].π-模代数的π-模子代数[J]. 扬州大学学报(自然科学版) 2016(03)
- [21].特殊超代数S(2)的极大阶化子代数[J]. 哈尔滨师范大学自然科学学报 2013(01)
- [22].遗传子代数与正元的比较[J]. 中国科学(A辑:数学) 2009(10)
- [23].套子代数上的零点可导映射[J]. 四川师范大学学报(自然科学版) 2008(05)
- [24].保幂零元子代数的线性映射（英文）[J]. 南开大学学报(自然科学版) 2015(05)
- [25].N(2,2,0)代数的直觉模糊子代数和理想[J]. 内蒙古农业大学学报(自然科学版) 2016(01)
- [26].模糊软布尔代数[J]. 数学的实践与认识 2013(21)
- [27].矩阵代数的极大零乘子代数[J]. 哈尔滨师范大学自然科学学报 2012(05)
- [28].量子代数有限型模权空间的若干性质[J]. 佛山科学技术学院学报(自然科学版) 2014(04)
- [29].弱量子代数ωU(D)[J]. 浙江科技学院学报 2013(03)
- [30].区间值(α,β)-模糊格蕴涵子代数[J]. 计算机科学 2011(04)