【摘 要】
:
格论作为抽象代数的一个分支,是定义在集合系统上的逻辑运算。它的成型标志是美国数学家Garrett Birkhoff在1937-1939年所撰巨著《Lattice Theory》。经过近80年的发展,格论已经发展成为一门独立的数学学科,在抽象代数、射影几何、拓扑学、点集论、数论、逻辑和概率论等诸多领域有着广泛应用。格论中有分配格,模格,半模格,原子格,代数格等许多类型,这些类型的格之间存在着包含关系
论文部分内容阅读
格论作为抽象代数的一个分支,是定义在集合系统上的逻辑运算。它的成型标志是美国数学家Garrett Birkhoff在1937-1939年所撰巨著《Lattice Theory》。经过近80年的发展,格论已经发展成为一门独立的数学学科,在抽象代数、射影几何、拓扑学、点集论、数论、逻辑和概率论等诸多领域有着广泛应用。格论中有分配格,模格,半模格,原子格,代数格等许多类型,这些类型的格之间存在着包含关系,甚至存在着等价关系,而那些不存在等价关系的类型的格之间需要列举出相应的反例,通过对反例的研究能够深入学习理解格论。本文在对格论的研讨中引入格的上下集对格进行刻画,并对格论中的一些反例进行研究。第一章简述格论中反例的研究背景和意义,国内外研究现状及主要研究结果。第二章介绍本文在研究中需要用到的模律、原子格、有补性和理想及其相关条件下的定义、定理。第三章引入一类新的特殊子集——格的上集和下集,通过研究发现这一特殊子集对格有着相当好的刻画,因此给出一些格类基于上集和下集的刻画定理。同时,这些刻画定理对于格论的理解也有着较好的作用,并就上集和下集本身构造进行探讨。第四章对格论中原子格、模律、理想、有补性的一些具有代表性的反例进行研究探讨,且在已有的基础上结合相关理论添加适当的刻画使其等价并给出证明,同时对已知反例进行简化并给出最小性的证明。
其他文献
建筑项目进行环保和节能方案规划,是现代工程项目的主要要求。是响应国家环境保护政策,国家能源节约政策以及可持续发展政策的表现。尤其是在当前工程项目应用中,高层建筑形式是一种主要的形式,高层建筑施工量较大、施工工期长,比普通建筑的环境影响更大,施工材料应用更多。所以,在进行施工设计中,需要做好环境保护和能源节约的合理安排、确保建筑设计更加合理,提升技术应用效果。
卢梭是法国大革命的思想先驱,是18世纪启蒙运动最杰出的代表人物之一。卢梭所著《社会契约论》是资产阶级民主革命中具有指导性的理论思想著作。卢梭提出的从“天赋人权”出发的自由平等的人权思想,起到了开创性的作用。在卢梭的人权思想中,最终目标是建立一个能够实现人的自由平等的社会契约,理论前提是天赋人权,公意理论和人民主权是其学说的核心。在对马克思思想的来源研究中,虽然学术界大多认为马克思继承了德国古典哲学
1959年,罗素提出维特根斯坦Ⅰ和维特根斯坦Ⅱ的划分。人们普遍接受了这种划分。我们通常也把这种划分称为前期维特根斯坦和后期维特根斯坦。在此划分基础上,本文将维特根斯坦以《逻辑哲学论》为代表的前期思想和以《哲学研究》为代表的后期思想进行比较,并着重关注其哲学观,探究其前后期思想的一致性。文章分四部分进行论述。第一部分,对维特根斯坦思想的划分情况做简单概述。第二部分,论述维特根斯坦前期哲学观:哲学非理