可数连续格和Heyting系统中的若干问题研究

来源 :淮北师范大学 | 被引量 : 0次 | 上传用户:liu822517
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本学位论文研宄的主要内容是可数连续格的序同态和与之相对应的两个扩张定理、可数定向极小集及其对偶可数余定向极大集的若干性质和Heyt- ing系统之间的态射分解问题.  首先,本文介绍了可数连续格和Heyting系统相关理论的发展及其研宄现状以及论文的组织结构.  其次,本文给出了可数定向极小集的概念,并由此得到了可数连续格序同态的一个刻画,得到了可数连续格序同态的两个扩张定理;基于可数连续格对可数定向极小集作了进一步的探讨,得到了可数连续格的若干个内部刻画,给出了可数连续格是完全分配格的一个充分条件,还给出了完全分配格的几个内部刻画;基于对偶可数连续格对可数余定向极大集进行了研宄,讨论了对偶可数连续格的一些内部刻画,获得了对偶可数连续格构成完全分配格的一个充分条件,并探宄了完全分配格的若干个内部刻画.  最后,本文给出了Heyting系统之间的单-满映射和满-单映射的概念,并且用具体的实例说明了概念的可能性和合理性,得到了一些好的结果.
其他文献
  用以满足日常营运系统的要求而设计的数据库具有数据不集成、分析性能差等缺点,因而不适合作为决策支持系统的数据库。本文结合航空公司客户关系管理系统项目,提出了以数据
  随着移动通信技术的发展,作为移动电子商务的重要环节-移动支付以其随时随地的特点越来越受到人们的欢迎。对于消费者来说,移动支付应该既安全又方便。但目前由于受到移动