heyting代数_原创精品文档.pdf

数学中，Heyting代数是构成对布尔代数的推广的特殊的偏序集。

Heyting代数为直觉逻辑而提出，它是在其中排中律一般不成立的逻

辑。完全Heyting代数是无点拓扑学研究的中心对象。

海廷代数

在数学中，Heyting代数是构成对布尔代数的推广的特殊的偏序集。

Heyting代数为直觉逻辑而提出，它是在其中排中律一般不成立的

逻辑。完全Heyting代数是无点拓扑学研究的中心对象。

滤子

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的，使得逻

辑排中律一般不再成立，Heyting代数可以被看作是Lindenbaum代

数的推广。从逻辑的角度讲，Heyting代数是通常的二值逻辑系统的

一种基本的推广，通常的二值逻辑系统是Heyting代数的一个最简

单的例子，这种代数只有两个元素：“真”和“假”。在数学方面，

Heyting代数是一个Boole代数一般化的偏序集，完备Heyting代数

（即Frame）是研究无点化拓扑的中心主体。下面介绍本文的结构

和主要内容：第一章研究了Heyting代数中的各种滤子。首先回顾

了Heyting代数的定义和有关性质，以及它与Boole代数的关系；

其次，研究了Heyting代数中滤子的性质，给出了Heyting代数的

滤子格的具体结构以及由子集生成的滤子的结构；最后定义了

Heyting代数的一些特殊滤子，如极大滤子，次极大滤子，强滤子，

素滤子等。对它们之间能够成立的蕴含关系给出了证明，对于不成

立的蕴涵关系分别给出了反例予以说明。此外特别研究了次极大滤

Heyting代数的滤子格是素

元生成的Frame，即空间式Frame。第二章研究了由滤子生成的同

余关系，以及Heyting代数同态和同构定理。首先，在Heyting代

数中定义了关于滤子的一个等价关系，并证明它是同余关系，以及

Heyting代数关于这个同余关系的商仍然是Heyting代数，并证明

Heyting代数的滤子与Heyting代数上的同余关系一一对应。其次，

给出了Heyting代数同态和子Heyting代数的定义，并指出滤子是

子Heyting代数，研究了各种滤子在同态映射下的保持和逆保持的

问题。第三，仿照代数学中的做法，将子Heyting代数视为子群，

滤子视为不变子群，同态视为群同态，三大同构定理在Heyting代

数中的相应结论得以顺利证明。最后，定义了Heyting代数可解

Heyting代数，证明了Heyting代数中元素的唯一分解定理，并通过

构造指出阶为合数的集合上一定存在一个格结构使之成为可解

Heyting代数。第三章研究了Heyting代数中的模糊滤子。首先，

定义了Heyting代数的模糊滤子，证明了模糊滤子等价于保有限交

的模糊集，并从截集、强截集的方面考察了模糊滤子的性质，得到

了模糊滤子的另外两个等价刻画；其次，通过对模糊滤子的观察，

给出了关于模糊滤子的同余关系以及商代数；最后，研究了一些特

殊的。

形式定义

Heyting代数H是满足如下条件的有界格，对于在H中的所有a

和b有最大的H元素x使得

。

这个元素x是a关于b的相对伪补元（pseudo-complement），

并指示为（或matha

ightarrowb/math；）。

可以通过如下映射给出等价定义：对于H中某个固定的a，

mathf_a:H oH/math定义为

x/math；。

有界格H是Heyting代数，当且仅当所有映射

mathf_a/math都是单调的伽罗瓦连接的下共轭（adjoint）。在

这种情况