论文部分内容阅读
本硕士论文中,我们主要关注一类平衡拟补Ockham代数的对偶空间,称之为bpO-空间.一个平衡拟补Ockham代数(简称bpO-代数)是指在分配拟补代数(L;∧,∨,?,0,1)的基础上赋予了一个对偶自同态f,且对任意x∈L有f(x?)=x??和[f(x)]?=f2(x)。 论文中的主要结果是:把Priestley的对偶空间理论和Urquhart的定理推广到bpO-代数簇.证明在bpO-空间中正好有15个互不等价的公理,并给出了它们在蕴含关系下的序结构.其次证明可以把这些公理转化为如下的bpO-代数簇相应的不等式: (1) a∨a?=1 (2) a∨a?=1 (3) a∧a?=0 (4) a?=a? (5) a6 a?? (6) a?∨a??=1 (7) a?∨a??=1 (13)(a∧a?)∨b∨b?=b∨b? (15) a∨a??∨b∨b?=a??∨b∨b? (23)(a∧a?)∨b∨b?=b∨b? (24) a?∨b∨b?=a?∨b∨b? (25) a∨a??∨b∨b?=a??∨b∨b? (27) a∨a?∨b?∨b??=1 (36)(a∧a?)∨b?∨b??=b?∨b?? (46) a?∨b?∨b??=a?∨b?∨b?? (56) a∨a?∨a??=a?∨a?? (456) a?∧b6 a?∨b?∨b??. 并利用这些公理刻画了bpO-代数簇的所有子簇.最后,利用bpO-代数簇的分类,我们构建了一些分配格的例子,使得每个分配格(在同构意义下)可定义唯一的属于已给定子簇的bpO-代数。