云彩店邀请码|半壳|优胜
正文重要计划朦胧偏序集上的序同态与序抑制,重要实质安置如次:第一章 计划常识.本章给出了与正文关系的格论、论理代数以及朦胧Domain上面的观念和论断.第二章 朦胧Domain的基和序同态. 开始引入了朦胧定向极小集和朦胧Dcpo的基两个观念, 证领会朦胧Dcpo(X,e)是朦胧Domain当且仅当对大肆的x∈X,x有朦胧定向极小集当且仅当X有基. 其次, 鉴于朦胧定向极小集和朦胧Domain的基, 接洽了朦胧Domain上序同态的少许本质.结果, 证领会朦胧Domain X的基到朦胧Domain Y上的序同态不妨独一蔓延为朦胧Domain X到朦胧Domain Y上的序同态.第三章 朦胧偏序集上L-滤子的序抑制.开始引入了双贯串朦胧偏序集的观念,证领会朦胧偏序集(X,e)是双贯串确当且仅当(X,e)与(X,eop)是贯串朦胧偏序集,并给出了双贯串朦胧偏序集的关系例子. 其次,在朦胧偏序集上引入了两类拓扑---朦胧序拓扑与朦胧双Scott拓扑,证领会朦胧偏序集上朦胧双Scott拓扑粗于朦胧序拓扑,计划了朦胧偏序集上的朦胧序拓扑与朦胧双Scott拓扑的少许本质. 结果,接洽了朦胧偏序集上L-滤子的序抑制, 证领会双贯串朦胧偏序集上L-滤子的序抑制是拓扑的.
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/216043.html
本站部分内容来源网络如有侵权请联系删除