相关Ockham代数类的次直不可约性和公理

来源 :汕头大学 | 被引量 : 0次 | 上传用户:canoe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在这篇硕士论文中,我们首先研究了拟互补Ockham代数的一类子代数(L;∧,∨,f,*,0,1),其中(L;∧,∨,f,0,1)是Ockham代数,(L;∧,∨,*,0,1)是拟互补代数,而且运算f和*满足f(x*)=x**和[f(x)]*=f2(x).我们称这种代数为bpO代数.我们发现如果L是一个次直不可约的bpO代数,那么它的同余格Con L必须是这样的一条链:ω(?)Φ1∧G(?)Φ2∧G(?)ι.我们还得出在这种代数类中,有11个互不同构的次直不可约的代数,并且对它们进行了详细的刻画。我们还研究了eO代数即扩展的Ockham代数中的公理。我们首先推广了Urquhart的定理,然后着重考虑了eO代数的一种子代数,即e2M-代数,这里的偶同态f及同态k满足条件f2=id and k2=id。我们指出e2M-代数中有19个互不等价的公理,并给出了他们在蕴涵关系下的序结构。
其他文献
在本文中,我们提出一种求解核函数光滑的二维第二类Fredholm积分方程f(x,y)-integral formαtoβintegral formαtoβ(a(x,y,u,v)f(u,v)dudv)=g(x,y),(x,y)∈[α,β]×[α,β]的数值解快速算法,其中a(x,y,u,v)是光滑函数,而g(x,y)在L2[α,β]2中。用数值积分方法离散积分方程,可得线性方程组(I-AWt)f=g
本文利用复函数空间理论和经典的Banach空间理论,研究了广义加权复合算子在加权Bergman空间与Bloch型空间上的有界性及紧性.主要得到了以下两个方面的结论.1.给出了加权Bergman空间上广义加权复合算子有界及紧的充要条件.2.给出了Bloch型空间上广义加权复合算子有界及紧的充要条件.
本论文主要研究了QK空间的Hadamard乘积。我们将分为四个章节来讨论这个问题。在第一部分中主要介绍了Hadamard乘积的研究背景。在第二部分中,主要介绍了所需要用到的一些函数空间的定义和一些基础知识。第三部分我们利用研究QK空间的两个重要的工具,即辅助函数的两个积分条件,得到了两个十分重要的积分不等式。在第四部分中,结合第三部分的结论,我们得到了如下主要结果:定理4.1.1当q>2时,如果f
近几十年来,电声耦合作用因其重要的物理性质和广泛的影响范围,已成为凝聚态物理学中重要的物理概念之一,也是在该领域的科学研究中必需考虑的一种物质的相互作用模式。本文采用解析和数字模拟相结合的方法对E(?)e、T(?)t电声耦合系统的耦合特性以及随耦合强度而变化的约化因子进行了探讨,以期能为实验提供理论依据。在绝热近似理论下,利用幺正变换对E(?)e系统的绝热势能进行了研究,并探讨了各向异性对绝热势能
在控制工程中,一个系统往往是由许多元件组成的,而每个元件则常用方块图来描述,以表明它在系统中的功能。同时,为了简化系统分析和控制设计,在工程应用中常对各元件作近似线性化处理,因而积累了一系列的系统传递函数模型方块图。但用线性化后的系统模型设计控制器有着不可忽视的局限性:系统的鲁棒性往往不强。为了提高系统性能,并兼顾工程中已取得的系统方块图研究成果,能否在原系统线性方块图的基础上,将忽略掉的非线性和
本文给出了加权Bergman空间Aφp(B)上的一个有界算子S是紧的充分必要条件,即定理3.1假设1<p<∞,α>(p-1)b,S是Aφp(B)上的有界算子,并且满足其中k>M(M见第13页).则S在Aφp(B)上是紧的当且仅当z→(?)B的时候(?)(z)→0.同时,考虑了以μ为符号的Toeplitz算子Tμ,当n为有限正整数,S为形如Tμ1Tμ2…Tμn的有限和,在加权Bergman空间Aφp
这篇文章分为两章。主要内容如下:第一章,我们主要介绍一些基础知识。我们首先介绍Toeplitz矩阵,BTTB矩阵和它们的生成函数。给出与本篇文章相关的一些记号,概念和定理。然后介绍了两种迭代方法:共轭梯度法(CG)和预处理共轭梯度法(PCG)以及与其相关的一些定理。同时我们介绍了这篇文章的研究背景并罗列了一些重要的预处理矩阵。第二章,我们考虑用PCG方法来求解块Toeplitz系统Tm,nx=b.
本文中,我们主要关注两类相关Ockham-代数类,它们分别是扩充Ockham-代数类、平衡拟补Ockham-代数类。在2000年,Blyth教授和方捷教授定义了扩充Ockham-代数类,所谓扩充Ockham-代数是指一个有界分配格(L;∧,∨,0,1)被赋予两个一元运算,偶同态f和同态k并且f与k可以交换。在扩充Ockham-代数类中,如果f2=idL,k2=idL,我们称这类特殊的代数子类为e2
我国滨海核电厂(nuclear power plants, NNPs)取水安全形势严峻,取水产生的卷吸效应在一定程度上会对海洋生物造成损伤,已逐渐引起重视。调研了我国典型核电厂已发生的取水堵塞事件、取水卷吸影响等,结合取水工程海域流场特征、海洋生物卷吸数据等分析了取水对海洋生物的潜在影响并提出了可能的应对措施,为减缓取水卷吸及保障取水安全提供依据。
本文采用不同于常用的自模变换法的方法对守恒律方程求出其非自模基本波及其相互作用所得到的全局解,在任意一固定时刻,所求出的解具有特殊的结构。本文分为三部分。第一部分为基本知识介绍。第二部分研究一类二维方程的基本波及其相互作用。在这部分我们对初始间断为抛物线的情况求解,该情形中,u+>0,我们可以求出稀疏波解的结构。第三部分我们讨论u+<0时解的结构。通过基本波的相互作用得到了解的新结构,而且基本波随