平衡拟补Ockham代数的对偶空间

来源 :汕头大学 | 被引量 : 0次 | 上传用户:a419132258
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本硕士论文中,我们主要关注一类平衡拟补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-代数。
其他文献
学位
学位
学位
学位
学位
当前的遥感科学面临着遥感数据获取能力与数据应用能力之间突出的供需矛盾。尺度问题作为遥感科学中的关键问题,既限制了遥感作为一门科学向系统性、普适性的发展,又限制了遥
学位
学位
该文给出了结合方案的两类扩张,讨论了奇异辛空间中一类2-维非迷向子空间作成的结合方案和PBIB设计,从而更正了文[6]中的错误.并把这一结果推广到奇异伪辛空间中.分别讨论了
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊