一、拓扑分子格的 ST~* 分离性公理(论文文献综述)
李雨珈[1](2019)在《Locale范畴的局部紧性及其反射性研究》文中研究指明本文主要对局部紧正则locale的紧正则反射、局部紧正则locale的单点紧化以及紧locale的正规反射进行了研究。首先,本文提出了“补紧元”的概念,并通过“补紧元”的概念构造性地对局部紧正则locale进行了定义,解决了因为局部紧在locale上没有明确定义而导致拓扑空间中局部紧性质不能直接推广到locale上的问题。对给出的局部紧正则locale A,证明了A对“”关系保持插入性,并且由A的所有正则理想构成的全体CR(A)是紧正则locale,从而可以构造出局部紧正则locale的紧正则反射CR(A)。其次,利用“补紧元”的概念,给出了locale的单点紧化构造。即对于任意非紧的局部紧locale A,加入元素{0,1},可以证明新生成的格是一个紧的locale,记为S(A)。特别,对于上一章构造的局部紧正则locale A,证明了单点紧化之后的locale S(A)为紧正则的,从而构造了A的紧正则反射S(A)。因此,对于局部紧正则locale A,利用定义的locale单点紧化,构造了不同于上一章CR(A)的紧正则反射S(A),并且两个紧正则反射是同构的。最后,研究了正规locale的紧正则反射,并给出了紧locale的正规反射。通过证明正规locale是正则的,以及紧正则locale是正规的,于是对任意的正规locale A,可以构造出它的紧正则反射CR(A)。在此基础上,考虑构造紧locale的正规反射。最后对于任意的紧locale A,利用它的紧正则反射CR(A),以及任意一个正规的locale B,构造出其正规反射。
安艳[2](2018)在《拓扑空间中一类紧性与分离性的研究》文中研究表明为了进一步研究拓扑空间中次仿紧性和分离性,本文利用更为一般的推广型开集Es集研究了一般拓扑空间中Es-次仿紧性,利用Es远域分别研究了 LF拓扑空间中EsT分离性、次尽EsTi(i = 0,1,2)分离性和层EsTi(i = 0,1,2)分离性,全文内容可概括为以下3点:(1)利用更为一般的推广型开集Es集将广义仿紧空间中的次仿紧空间进行了推广,从而得到了Es 次仿紧空间的概念,进一步研究了Es-次仿紧空间的5种等价定义,最后讨论了Es-次仿紧空间在Es-映射下的部分性质。(2)利用更为一般的Es远域将LF拓扑空间的T-分离性进行了推广,从而得到了EsT 分离性的概念,进一步研究了EsT-空间的等价定义,分别对它们的基本性质(如遗传性、Es同胚不变性等)以及范畴性质进行了讨论。(3)在LF拓扑空间的EsT-分离性的基础上,进一步引入了次EsTi(i=0,1,2)分离性和层EsTi(i =0 1,2)分离性,从而得到了次EsTi(i=0,1,2)空间和层EsTi(i = 0,1,2)空间,分别对它们的等价定义、基本性质以及范畴性质进行了讨论,最后得出了几种分离性的关系。
韩刚[3](2016)在《拓扑学中两个重要定理的历史研究》文中研究表明数学空间从欧几里得空间到一般拓扑空间经历了一个漫长的发展过程.十九世纪末二十世纪初随着数学公理化方法的迅速发展,从开集出发建立起来的拓扑空间公理体系也随之建立并得到逐步完善.到了二十世纪六十年代,一般拓扑空间理论的发展已经很完善,人们试图寻找一种研究一般拓扑空间的新方法.1965年,美国着名的控制论专家扎德开创性地提出了模糊集合的概念,并与张金良等人建立了模糊拓扑空间.1991年,清华大学的应明生定义了不分明化拓扑空间和双模糊拓扑空间,推动了拓扑空间概念的发展.1922年,库拉托夫斯基在题为《拓扑学中的闭包运算》的文章中给出了一般拓扑学中的十四集定理.1950年,杨忠道得出一般拓扑学中的杨忠道定理.十四集定理和杨忠道定理都是一般拓扑空间中两个重要的定理.两个定理既有区别又有相同之处,相互之间存在着一定的关系.本文以它们各自的产生、发展和历史影响为主线,将它们从一般拓扑空间到模糊拓扑空间的发展历程清晰地整理出来,并且详细地讨论了两个定理之间的关系.本文主要采用以下方法进行研究:第一,文献考证的方法.本文利用文献考证的方法,从原始文献出发分别分析了十四集定理与杨忠道定理各自的产生背景、发展历程、应用推广,讨论了二者之间的关系,使我们了解了这两个定理中的概念和方法的延续性,为我们对它们的研究提供了历史借鉴,明确研究方向,为进一步的研究工作提供依据,同时也总结了它们的历史意义以及对数学发展的影响.第二,古为今用,自主创新.数学史研究的重要意义之一,就是从历史的发展中获得借鉴和汲取教益,促进现实的数学研究,通俗地说就是“古为今用”.我们将十四集定理和杨忠道定理从产生至今的发展历程清晰地勾勒出来,发现许多值得继续研究的问题,借鉴前人的一些重要的研究方法,将其运用到这些问题的研究过程中,从而完成数学创新的工作.第三,比较分析法.比较分析法是指对几个相关的可比对象进行比较,揭示它们之间的相同点和不同点,通过分析得出结论.比较分析法可分为横向比较法和纵向比较法.本文横向地比较了十四集定理与杨忠道定理的异同点,又分别纵向地各自比较了它们在不同历史时期的发展状况.在每条纵线上我们又采取横向比较法,对该问题在同一时期不同的研究成果进行比较.在横向比较中,我们对这两个问题又有纵向的比较.这种横向纵向交叉比较有助于我们更好的进行比较分析.本文的主要研究成果有以下内容:第一,全面系统地整理了十四集定理和杨忠道定理的产生和发展的历史进程,分析了它们的历史意义以及对数学发展的影响.第二,通过比较分析法研究了十四集定理和杨忠道定理的异同点,总结了二者间的关系.第三,利用“古为今用,自主创新”的研究方法,通过对十四集定理原始文献的研究,发现在其发展过程中一些未解决的问题,借鉴前人的思想,在本文中首次给出了I-fuzzy拓扑空间中的十四集定理以及一些相关的性质.同时,我们还将目前尚未解决的问题罗列出来,为我们后续的数学研究明确方向,为制定研究策略提供依据.第四,首次对库拉托夫斯基与中国数学交流的情况进行系统的整理和研究.第五,通过文献考证的方法对杨忠道早期的工作进行仔细地考究,我们给出更精确、更详细的结论,并且整理出了杨忠道的第一篇论文.第六,对库拉托夫斯基与杨忠道在初等数学方面的工作进行整理研究.第七,整理了收录十四集定理和杨忠道定理的主要专着,并对其中一部在拓扑学中最重要的专着《Ggneral Topology》中收录的华人数学家的文献进行了整理研究.
陈兆利[4](2012)在《L拓扑空间的θ正则分离性》文中进行了进一步梳理在L拓扑空间中利用θ闭包的概念,给出了θ正则分离性的刻画,证明了θ正则分离性具有拓扑不变性、遗传性、L好的推广和可乘性等性质.
苏淑华,李琪[5](2011)在《拓扑分子格的正则闭分离性》文中指出引入拓扑分子格中的正则闭远域与正则闭分离性(Tric,i=-1,0,…,4)等概念,给出它们的刻画,证明Tric分离性均为正则拓扑性质的,即在拓扑分子格的半正则化中,Tric分离性与Ti分离性是等价的.
谢加良[6](2010)在《Lω-空间中的ω-分离性理论》文中研究指明ω-分离性是Lω-空间理论中最重要的研究内容之一.本文的主要研究工作及创新点如下:1、引入ω-正则和ωT3分离公理,系统地研究ω-正则和ωT3分离性的特征性质.给出了刻画ω-正则分离性的七个等价条件,证明了ω-正则和ωT3分离性是可ω-遗传的、(ω1,ω2)-同胚不变的、满层条件下任意可乘的,而且是R.Lowen意义下好的推广2、引入ω-正规和ωT4分离公理,系统地研究ω-正规和ωT4分离性的特征性质.给出了Lω-空间中的Urysohn引理,证明了ω-正规和ωT4分离性是可ω-遗传的、(ω1,ω2)-同胚不变的,而且是R.Lowen意义下好的推广3、引入ω-Urysohn分离公理,分子网和理想的ωθ*-极限点、ωθ*-聚点等概念,系统地研究ω-Urysohn分离性的特征性质.给出了ω-Urysohn空间中分子网和理想的ωθ*-极限点均唯一等特征性质,证明了ω-Urysohn分离性是可ω遗传的,在(ω1,ω2)-同胚和(ω1,ω2)θ-同胚映射下是拓扑不变的,在满层条件下任意可乘的,而且是R.Lowen意义下好的推广4、引入ω-完全正规和ωT5分离公理等概念,系统地研究ω-完全正规和ωT5分离性的特征性质.证明了ω-完全正规和ωT5分离性可ω-遗传的、(ω1,ω2)-同胚不变的,而且是R.Lowen意义下好的推广5、讨论了ωTi(i=-1,0,1,11/2,2,21/2,3,4,5)分离公理之间的关系,证明了它们之间具有协调的蕴涵性质,即ωT5(?)ωT4(?)ωT3(?)ωT22/1(?)ωT2(?)ωT12/1(?)ωT!(?)T0(?)ωT-1.
苏淑华,许兆龙,许志军[7](2008)在《拓扑分子格的直和及其性质》文中提出拓扑分子格是一种重要的格上拓扑的形式,已有一些文章中研究了拓扑分子格的分离性(ST分离性)、紧性(s紧性)及紧化(s紧化)等性质,一族拓扑分子格的乘积拓扑是一种重要的格上拓扑,研究它的性质有重要的理论意义与应用价值。文章给出了一族对称拓扑分子格的直和概念,给出了对称拓扑分子格的直和的特征,证明了对称拓扑分子格的分离性Ti(i=-1,0,1,2)及可数性CI,CII是可和性质。
朱砾[8](2007)在《拓扑分子格的PS-T*分离公理》文中提出利用准半开邻域引入了拓扑分子格的一类新的PS-Ti*分离公理(i=0,1,2,3,4),给出了这些分离性的刻画,得到了这些分离性是PS-同胚序同态下保持不变的性质。
许兆龙[9](2006)在《拓扑分子格的S紧化与S次紧化》文中研究表明利用半开元等半拓扑概念引入拓扑分子格的S紧化与S次紧化概念,给出了它们的刻画,推广了王国俊(1990)拓扑分子格的紧化与次紧化概念,得出了拓扑分子格与其最简单点S紧化关于分离性(半分离性)的性质,以及正统拓扑分子格与其最简单点S紧化(S次紧化)关于分离性(半分离性)的性质等。
王瑞英[10](2005)在《I-fuzzy拓扑空间中若干问题的研究》文中指出本文主要目的是运用连续值逻辑LN1语义的方法系统地研究I-fuzzy拓扑空间,以便进一步丰富和发展I-fuzzy拓扑空间的基本理论。此外,还对L-拓扑空间中的杨忠道定理作了深入探讨。全文主要工作如下: (1) 从一个完全不同的方向发展了模糊拓扑,进而从一个新的方向建立了不同于人们所熟知的模糊拓扑学的I-fuzzy拓扑学的基本框架。基于1991年应明生用连续值逻辑LN1,语义的方法研究不分明化拓扑空间这一思想,我们用连续值逻辑LN1,语义的方法探讨不分明化拓扑空间理论的更一般情形—I-fuzzy拓扑空间理论。作为不分明化拓扑学理论的推广,I-fuzzy拓扑学要比不分明化拓扑学复杂得多。另一方面,由于I-fuzzy拓扑也是I-拓扑(基于二值逻辑的模糊拓扑)的推广,我们在I-fuzzy拓扑空间中引入基本概念与研究拓扑性质总是尽量与王国俊教授对L-拓扑学的研究保持协调性。以王国俊教授研究L-拓扑学时给出的远域为特款,我们在I-fuzzy拓扑空间中引入了R-邻域系,接着给出基本概念:闭包、内部、基与子基、连续、子空间、积空间和商空间,且研究了它们的性质,进一步建立了以R-邻域方法为基础的网收敛理论;讨论了I-fuzzy拓扑的两个重要性质—可数性与分离性。最后,从范畴角度研究I-fuzzy拓扑。我们构造了一种新的邻域空间—I-fuzzy远域空间,并进一步证明了I-fuzzy远域空间范畴与I-fuzzy拓扑空间范畴同构。 (2) 丰富和发展应明生教授所创立的不分明化拓扑学理论.在I-fuzzy拓扑空间的特殊拓扑空间—不分明化拓扑空间中,我们运用连续值逻辑LN1语义的方法以不分明化正则开集为工具研究分离性及紧性。首先利用不分明化正则开集、不分明化正则邻域和δ-闭包等概念导入了AT0-,AT1-,AT2-,AT3-,AT4-分离公理,并且给出了这五个公理的等价命题以及它们的关系;还有,从不分明化正则开集出发引入了近似紧性和几乎紧性的概念,并且给出了它们的一些性质。这些概念的结合有助于我们对不分明化拓扑的研究。 (3) 关于L-拓扑学中杨忠道定理的研究。在L-拓扑空间中,关于导集的研究在近二十年来是比较活跃的,尤其是关于各类导集杨忠道定理的推广更是引起了许多学者的关注。此类定理在L-拓扑学中起着基础性作用.我们证明了对Fuzzy格L不附加任何条件下的杨忠道定理;在王国俊、施建兵等研究者工作的基础上,引入了M-导集的概念,证明了M-导集的点式杨忠道定理,并给出了其分子式杨忠道定理不成立的反例;给出反例说明第二类导集、第三类导集及强导集的分子式杨忠道定理不成立。
二、拓扑分子格的 ST~* 分离性公理(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、拓扑分子格的 ST~* 分离性公理(论文提纲范文)
(1)Locale范畴的局部紧性及其反射性研究(论文提纲范文)
摘要 |
abstract |
专用术语注释表 |
第一章 绪论 |
1.1 研究背景及意义 |
1.1.1 Locale理论的研究背景 |
1.1.2 Locale理论的研究意义 |
1.2 目前研究进展及现状 |
1.3 本文的主要研究结果 |
第二章 相关背景知识介绍 |
2.1 Locale范畴 |
2.2 Locale的反射 |
2.3 拓扑空间以及locale上的紧化 |
2.3.1 拓扑空间的紧性 |
2.3.2 Locale的紧化 |
第三章 局部紧正则locale的紧正则反射 |
3.1 Locale的反射以及局部紧空间 |
3.1.1 Locale的反射 |
3.1.2 局部紧空间 |
3.2 局部紧正则locale |
3.3 局部紧正则locale的紧正则反射 |
3.4 本章小结 |
第四章 Locale的单点紧化 |
4.1 局部紧空间的单点紧化 |
4.2 Locale的单点紧化 |
4.3 局部紧正则locale的单点紧化 |
4.4 本章小结 |
第五章 正规locale以及locale的正规反射 |
5.1 正规空间以及正规locale |
5.1.1 正规空间 |
5.1.2 正规locale |
5.2 正规locale的紧正则反射 |
5.3 紧locale的正规反射 |
5.4 本章小结 |
第六章 总结与展望 |
参考文献 |
附录1 攻读硕士学位期间撰写的论文 |
附录2 攻读硕士学位期间参加的科研项目 |
致谢 |
(2)拓扑空间中一类紧性与分离性的研究(论文提纲范文)
中文摘要 |
ABSTRACT |
第1章 引言 |
第2章 预备知识 |
2.1 一般拓扑空间 |
2.2 LF拓扑空间 |
2.3 范畴论 |
第3章 E_s-次仿紧空间 |
3.1 E_s-次仿紧空间及其等价定义 |
3.2 E_s-次仿紧空间在E_s-映射下的性质 |
第4章 LF拓扑空间的E_sT-分离性 |
4.1 E_sT_i(i=-1,0,1,2,3,4)分离性 |
4.2 加强的E_sT_i(i=1,2,3,4)分离性 |
4.3 E_sT_(31/2)分离性 |
第5章 LF拓扑空间的次E_sT_i(i=0,1,2)分离性 |
5.1 次E_sT_i(i=0,1,2)分离性及其基本性质 |
5.2 次E_sT_i(i=1,2)空间的范畴性质 |
第6章 LF拓扑空间的层E_sT_i(i=0,1,2)分离性 |
6.1 层E_sT_i(i=0,1,2)分离性及其基本性质 |
6.2 几种分离性的关系 |
参考文献 |
致谢 |
附录: 硕士研究生期间主要的研究成果 |
(3)拓扑学中两个重要定理的历史研究(论文提纲范文)
中文摘要 |
ABSTRACT |
引言 |
1. 选题背景与意义 |
2. 文献综述 |
3. 本文研究方法及创新 |
4. 本文的结构安排 |
1 拓扑思想及拓扑空间概念的产生 |
1.1 拓扑思想的产生 |
1.2 拓扑空间概念的产生 |
1.2.1 数学空间的概念的二重性 |
1.2.2 从欧几里得空间到拓扑空间 |
1.2.3 拓扑空间的公理体系 |
1.3 拓扑空间的发展 |
1.3.1 模糊拓扑空间 |
1.3.2 不分明化拓扑空间与双模糊拓扑空间 |
2 十四集定理的历史研究 |
2.1 库拉托夫斯基简介 |
2.2 十四集定理的产生背景 |
2.2.1 十四集定理产生的国际环境 |
2.2.2 十四集定理产生的国内环境 |
2.3 十四集定理证明方法 |
2.3.1 原文方法 |
2.3.2 代数方法 |
2.3.3 机器证明方法 |
2.4 十四集定理的发展与应用 |
2.4.1 正则集的产生及应用 |
2.4.2 十四集定理在连通空间中的推广 |
2.4.3 十四集定理在闭包空间中的推广 |
2.4.4 模糊拓扑空间中的十四集定理 |
2.4.5 代数结构、序结构的推广及应用 |
2.4.6 库拉托夫斯基幺半群、K-number和k-number问题 |
2.4.7 十四集定理的其它形式 |
2.5 十四集定理的历史意义 |
2.5.1 库拉托夫斯基的贡献 |
2.5.2 其他人的贡献 |
3 杨忠道定理的历史研究 |
3.1 杨忠道教授简介 |
3.2 杨忠道定理的证明 |
3.2.1 一般方法 |
3.2.2 杨忠道定理的机器证明方法 |
3.3 杨忠道定理的产生 |
3.3.1 外部因素 |
3.3.2 内部因素 |
3.4 杨忠道定理的发展 |
3.4.1 杨忠道定理在模糊拓扑空间中的发展 |
3.4.2 不分明化拓扑空间中的杨忠道定理 |
3.4.3 双模糊拓扑空间中杨忠道定理 |
3.5 杨忠道定理的历史意义 |
3.5.1 杨忠道的贡献 |
3.5.2 其他人的贡献 |
4 十四集定理与杨忠道定理的关系 |
4.1 两个定理的共同点 |
4.1.1 两个定理的内容共同之处 |
4.1.2 两个定理的作者共同之处 |
4.2 两个定理的不同之处 |
4.2.1 主要研究地域不同 |
4.2.2 主要研究领域不同 |
参考文献 |
致谢 |
攻读学位期间发表的学术论文目录 |
(5)拓扑分子格的正则闭分离性(论文提纲范文)
1 正则闭远域 |
2 对称拓扑分子格的正则闭分离性 |
3 拓扑分子格的正则闭分离性是同胚性质 |
4 拓扑分子格的半正则化的正则闭分离性 |
(6)Lω-空间中的ω-分离性理论(论文提纲范文)
摘要 |
Abstract |
第1章 引言 |
第2章 Lω-空间的基本知识 |
2.1 分明 ω-空间 |
2.2 Lω-空间及一些常用的基本概念 |
第3章 Lω-空间的ω-分离性 |
3.1 Lω-空间的ωT_i(i= 1,0,1,1+(1/2),2)分离性 |
3.2 Lω-空间的ω-正则(ωT_3)分离性 |
3.3 Lω-空间的ω-正规(ωT_4)分离性 |
3.4 Lω-空间的ω-Urysohn 分离性 |
3.5 Lω-空间的ω-完全正规分离性 |
第4章 结论 |
致谢 |
参考文献 |
在学期间发表的学术论文 |
(9)拓扑分子格的S紧化与S次紧化(论文提纲范文)
1 拓扑分子格的同胚与半同胚 |
2 扑分子格的S紧化与S次紧化 |
3 拓扑分子格S紧化与S次紧化的性质 |
(10)I-fuzzy拓扑空间中若干问题的研究(论文提纲范文)
第零章 引言 |
§0.1 L-拓扑学研究的简单回顾 |
§0.2 I-fuzzy拓扑空间的研究概况 |
§0.3 本文的目的以及内容的组织安排 |
第一章 预备知识 |
§1.1 模糊逻辑与模糊集合论 |
§1.2 不分明化拓扑学理论 |
§1.3 范畴论 |
第二章 I-fuzzy拓扑空间 |
§2.1 R-邻域结构 |
§2.2 I-fuzzy拓扑的基和子基 |
§2.3 闭包和内部 |
§2.4 网及其收敛理论 |
§2.5 I-fuzzy连续 |
§2.6 子空间、积空间和商空间 |
§2.7 可数性 |
§2.8 分离性 |
§2.9 范畴同构 |
第三章 不分明化拓扑中的分离性与紧性 |
§3.1 几乎分离公理 |
§3.2 近似紧性 |
§3.3 几乎紧性 |
第四章 杨忠道定理在L-拓扑空间中的推广 |
§4.1 预备知识 |
§4.2 L-拓扑空间中的杨忠道定理 |
§4.3 L-拓扑空间中M-导集的杨忠道定理 |
§4.4 关于三种导集分子式杨忠道定理不成立的反例 |
在学期间发表和完成的论文 |
参考文献 |
致谢 |
四、拓扑分子格的 ST~* 分离性公理(论文参考文献)
- [1]Locale范畴的局部紧性及其反射性研究[D]. 李雨珈. 南京邮电大学, 2019(02)
- [2]拓扑空间中一类紧性与分离性的研究[D]. 安艳. 内蒙古师范大学, 2018(01)
- [3]拓扑学中两个重要定理的历史研究[D]. 韩刚. 内蒙古师范大学, 2016(03)
- [4]L拓扑空间的θ正则分离性[J]. 陈兆利. 徐州师范大学学报(自然科学版), 2012(01)
- [5]拓扑分子格的正则闭分离性[J]. 苏淑华,李琪. 安徽大学学报(自然科学版), 2011(04)
- [6]Lω-空间中的ω-分离性理论[D]. 谢加良. 集美大学, 2010(06)
- [7]拓扑分子格的直和及其性质[J]. 苏淑华,许兆龙,许志军. 东华理工大学学报(自然科学版), 2008(03)
- [8]拓扑分子格的PS-T*分离公理[J]. 朱砾. 模糊系统与数学, 2007(04)
- [9]拓扑分子格的S紧化与S次紧化[J]. 许兆龙. 东华理工学院学报, 2006(01)
- [10]I-fuzzy拓扑空间中若干问题的研究[D]. 王瑞英. 首都师范大学, 2005(04)