Locale中的余紧元与余紧元生成Locale

来源 :辽宁师范大学 | 被引量 : 1次 | 上传用户:filltang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自从引入开集(或邻域)作为研究抽象空间中连续性的基本概念之后,拓扑空间被视为一种具有由某些开集构成的格结构的对象,之后拓扑和格论之间的联系便引起了人们的重视.运用格论的方法与技巧对拓扑空间的特性进行研究,从而得出关于拓扑学中具有普遍意义的结论。   Frame理论或Locale理论作为一门新的学科已经引起了人们的重视,并且在数理逻辑、计算机科学、范畴论、拓扑学、代数学等领域也有广泛的应用。   本文主要是在已经学过理论的基础上提出了一个新的概念--余紧元,以及在Locale范畴中,余紧元所具有的特殊性质。   本文运用格论的方法与技巧主要研究了Locale中的余紧元与余紧元生成Locale,余紧元的第一可数性和第二可数性,在提出余紧第一可数的概念之前,给出了一个分离素的概念,构造了一个递降列,讨论了余紧第一可数的等价条件,余紧第二可数的等价条件,余紧第一可数与余紧第二可数的关系,以及满足T1,T2分离条件时,Locale中的余紧元与余紧元生成Locale所具有的性质,文章的最后讨论了余紧元的映射问题,给出了在一定条件下余紧元的逆像是余紧元。   本文的主要结论:   定理2.1.7:L是余紧生成的locale,则L是空间式的。   定理3.2.6:余紧第二可数的locale一定是余紧第一可数的。   定理3.2.7:T2空间X的拓扑Ω(X)是余紧第二可数的当且仅当存在可数个紧集B={Bi|i∈ω},对于任意X的非空闭集C,存在B0()B,使得∪B0=C。
其他文献
本文研究了单位球上调和Dirichlet空间上的分式线性复合算子的伴随表示,并在此基础上讨论了空间(D)h(BN)和(D)h0(BN)上的分式线性复合算子的正常性与本性正常性.   第一章
微分方程在科学研究中扮演着重要的角色,而脉冲微分方程作为微分方程的一个重要分支,其最突出的特点是充分考虑到瞬时突变对整体的影响,更详细深入的体现事物变化的规律.本文主
微分方程理论是数学理论的重要组成部分,许多实际问题的模型都可以归结到微分方程,所以微分方程是数学理论联系实际问题研究的纽带.微分方程边值问题是微分方程理论研究中的一
关于拓扑理论的拓展,一直以来是广大学者关注和研究的问题,而普通拓扑结构向幂的提升,是一个古老而又年轻的课题,本文中的“格化拓扑”就是提升普通拓扑结构的一种工具,它将
在现实生态中任何系统都不可避免地要受到环境噪声的干扰.为了适应实际需要,在生物系统建模时考虑随机噪声干扰是完全有必要的.另外,时滞是生态系统中普遍存在的现象,在随机捕食