【摘 要】
:
1937年,Stone研究了布尔代数的谱,建立了布尔代数范畴和Stone拓扑空间范畴的对偶等价.接着Stone将研究对象由布尔代数推广到分配格上,证明了分配格和格同态构成的范畴与spectral空间和spectral映射构成的范畴对偶等价.随后许多学者研究了各种序结构或者代数结构上的谱,比较著名的结论有环,分配交半格,带单位元的半格,分配并半格,有界格,分配偏序集等等.最近依然有很多结构上的谱吸引
论文部分内容阅读
1937年,Stone研究了布尔代数的谱,建立了布尔代数范畴和Stone拓扑空间范畴的对偶等价.接着Stone将研究对象由布尔代数推广到分配格上,证明了分配格和格同态构成的范畴与spectral空间和spectral映射构成的范畴对偶等价.随后许多学者研究了各种序结构或者代数结构上的谱,比较著名的结论有环,分配交半格,带单位元的半格,分配并半格,有界格,分配偏序集等等.最近依然有很多结构上的谱吸引学者们的关注.本文中我们研究了偏序集,半格,格,半群和序半群上的谱,并且给出了许多结果.在第三章中,令P是一个无底元的偏序集.我们关注的拓扑空间是P的所有素半理想上赋予壳核拓扑构成的拓扑空间.观察到这个空间中所有非空超紧开子集的族构成了此拓扑的一个基,并且一一对应于P中的元素.这一发现启发我们定义了一个新的拓扑空间,PP*-空间,它正是无底元偏序集的对偶空间.我们建立了范畴PS,它的对象是无底元的偏序集,态射为保序的且素半理想的逆仍是半素理想的映射.证明了范畴PS和范畴PP*T是对偶等价的,其中PP*T是以PP*-空间作为对象和满足非空超紧开子集的逆仍是非空超紧开子集这个性质的映射为态射的范畴.类似的我们分别得到有底元的偏序集,半格和格的拓扑对偶表示.此外,我们还得到了无底元偏序集的对偶空间是弱sober的,但并不总是sober的,而带底元的偏序集的对偶空间是sober的这些有关性质的结果.特别地,无底元半格的对偶空间是弱sober的,而不是sober的.在第四章中,主要探讨交换半群S中素理想上的壳核拓扑,称由S的所有素理想构成的集合带有壳核拓扑的拓扑空间为S的谱,记为Spec(S).分别给出了无零元和有零元两种情况.我们证明了拓扑空间X同胚于一个无零元交换半群S的谱Spec(S),当且仅当X是SF-空间,此空间通过满足某些拓扑性质来刻画;拓扑空间X同胚于一个带零元交换半群S的谱Spec(S),当且仅当X是SP-空间.接下来,证明了无零元交换半群范畴和SP*-空间范畴之间存在一对伴随;带零元交换半群范畴和SP-空间范畴之间存在一对伴随.第五章不仅发展了序半群的素理想理论,而且研究了序半群中素理想上的壳核拓扑的许多拓扑性质.首先,为了保证素理想的存在,我们研究了一类序半群,用SIP表示,并给出了此类序半群的特征刻画,证明了如果S是交换序半群或超正则序半群,那么S∈SIP.随后介绍了素理想的壳核拓扑,研究了分离公理,紧性和连通性等拓扑性质,并且给出了此拓扑空间的刻画.接下来将重点放在子空间M(S,I),即由序半群S中包含理想I的极小素理想上.证明了如果S∈SIP,则拓扑空间MM(S,I)是T2的,完全不连通的,完全正则的且所有既开又闭的集合构成此拓扑的一个基,并且如果S是一个伪补交换序半群,那么极小素理想空间MM(S)是一个Stone空间.最后给出了该子空间的拓扑性质,讨论了该子空间与序半群S之间的联系.在第六章中,研究了序半群中素L-模糊理想的谱理论.给出并讨论了 L-模糊理想和L-模糊素理想的概念.随后得到了序半群的L-模糊谱空间.研究发现此拓扑空间是T0并且是sober的.此外,还研究了该拓扑空间的一些同胚空间.最后,我们得到了从交换序半群范畴到sober拓扑空间范畴的一个反变函子.
其他文献
功能梯度材料(F GM)是组份含量按特定方向连续变化的非均匀复合材料,可有效解决传统复合材料组份之间结合能力弱和不同组份性能难以协调等问题,达到诸如缓和应力集中和优化应力分布等效果,使整体材料在保持细观结构完整性的同时充分发挥各组份材料的性能优势。基于功能梯度的概念,许多新型FGM得以研发并广泛研究。由于制备技术等原因或出于特殊功能的需要,微孔或孔隙是各类型FGM中的常见缺陷,也是各类型FGM及其
2016年7月,我作为国家汉办赴美志愿者,背上印有祖国国旗的背包,踏上了异国的旅途。虽然不知道将要面临怎样的困境,但我知道自己从事的是伟大的事业,是向美国的小学生展示世界上最富有智慧和最精妙的语言。我所任教的犹他州是美国最早开展中文项目的州府,近几年发展态势平稳上升,跨度很广,从幼儿
车载自组网(VANET)是一个现代通信网络技术,由于其被认为是支持未来智能交通系统(ITS)的主要技术之一,因此在不久的将来可以成为提供更安全和更高效组织的智能交通的希望。另一方面,VANET是ITS的主要应用,如协同交通监控,交通流量控制、盲人穿越马路、预防碰撞、邻近的信息服务以及实时绕行路线计算,这就需要让网络传输更安全、效率更高。VANET的另一个重要应用是提供互联网连接,每车辆都能够与附近
Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,一些特殊拓扑在一般偏序集上的研究中起着至关重要的作用.本文基于Domain理论的相关研究成果,讨论了s2-连续偏序集上稠密拓扑的基本性质;Scott拓扑的coherent性的充要条件;以及函数空间上Isbell拓扑和Scott拓扑一致性问题.具体内容如下:
Ramsey 理论和Turán问题是极值组合里的两大核心内容.设整数r,k≥ 2和H1,...,Hk为给定的r 一致超图.Ramsey数Rr(H1,H2,...,Hk)是最小的正整数N使得完全r 一致超图KN(r),的任意k边着色含有某个单色的Hi,其中1≤i ≤k.若H1,H2,...,Hk为完全r 一致超图时,则R(H1,H2,...,Hk)是经典的Ramsey数.目前,已知的经典的Ramse
1968年Knuth提出了置换上模式避免的概念,并借助RSK算法证明了避免π模式的广义置换的个数等于Catalan数Cn,且不依赖于π ∈ S3的选择.直到,1985年,R.Simion和F.W.Schmidt才首次系统地研究了避免三长模式的置换,并首次给出了 Knuth的结果的一个双射证明.在随后的三四十年间,模式避免的概念被广泛关注和研究,大量的研究成果被发表.2003年,在新西兰的奥塔哥大学
随着计算机硬件的飞速发展,CAE分析在工程应用中扮演的角色越来越重要。有限元法发展很快且应用广泛,但有限元法的方程是一种弱形式,要求试函数C0连续,应力求解精度不高。边界积分方程方法具有降维和计算精度高等优势。边界面法具有边界积分方程法的所有优点,直接在三维实体模型上进行离散分析计算,不对几何模型作任何的简化,从而避免了几何上的误差,是一种CAD/CAE一体化的等几何方法。边界面法的在实施过程中,
面对当今互联网的迅猛发展,高度警惕西方国家在传播模式、传播平台、传播链条和话语渗透等方面给我国网络意识形态工作带来的外部挑战,深刻认识我国网络内容、网络争论、网络水军、网络平台等方面存在的风险,通过战略、人才、技术、内容四个方面着手,打造网络意识形态现代化治理体系,提升我国网络主流意识形态的传播效果,具有重大的现实意义和战略价值。
本篇博士论文主要研究最小二乘混合广义多尺度有限元方法。旨在对于具有多尺度以及高对比扩散系数的椭圆问题,用此方法在粗网格上精确求解速度和压力。我们在减少计算成本的同时,能通过较少的多尺度基函数来达到较高的精度。我们考虑用混合法同时给出压力和速度的精确表示。这种方法常用于求解多孔介质的流体问题。由于多孔介质几何结构和多相介质分布的多尺度特性,我们考虑用多尺度模型降维的思想来更有效的求解问题。目前有很多