拓扑Boole格的完备化（Ⅲ）

在《拓扑Boole格的完备化(Ⅰ)、(Ⅱ)》的基础上,讨论了拓扑Boole格的连续映象扩张的问题。     

拓扑Boole格的完备化（Ⅱ）

本文继续给出拓扑Boole格与它的完备化之间有关分离性结果的证明;并证明了具有可数基的紧(T_3)型古典拓扑原子Boole格是正规的.     

链的拓扑Boole化与连续性的又一特征

本文主要给出了链的拓扑Boole化定理及拓扑一般Boole格的连续映象的又一充要条件,其中链的拓扑Boole化是继“∧弱完全分配格的完备化”一文之后为统一处理与推广拓扑学,数学分析及格论等的基本理论提供的又一个基础。     

复盖与紧拓扑Boole格

作者在对紧拓扑Boole格(特别是非备的紧拓扑Boole格)的研究中,发现引入“Boole格B的子集复盖B的某一元”的概念,是建立紧拓扑Boole格的一些重要结果的有力工具.基于这一点,本文对格复盖的若干性质及其在紧拓扑Boole格上的应用作了初步探索,其中的定理4指出了Boole格的复盖与分划是一对孪生的概念,也是它们之间最本质的关系.至于本文叙述的紧拓扑Boole格上一些性质,将在作者以后的文章中使用到.     

关于拓扑Boole格上同态的连续性与可逆性

提出了拓扑Boole格上同态的下连续性概念,并讨论了拓扑Boole格上同态的上、下连续性间的关系.证明了拓扑Boole格上(0,1)——同态的上连续性与下连续性等价,得出了同态连续性与可逆性的一些等价结果.     

拓扑一般Boole格的元之复盖

文[3]中引入“Boole格B的子集复盖B的某一元”的概念及其若干性质,并在紧拓扑Boole格上作了研究。本文的主要结果是把文[3]的某些结果推广到一般Boole格上去,并对文[3]中在紧拓扑Boole格上的应用作了一些推广,在定理4中指出了一般Boole格的元的覆盖与容这对概念的关系。     

拓扑一般Boole格连续性的等价定理

不难知道,关于拓扑Boole格现有的邻域定义(如[3]的规定)是不能概括拓扑空间上有关邻域的那些结果的。如[3]中叙述的那样,甚至连T_0分离性概念都不能推广到拓扑Boole格中去。这注定了现有的邻域定义是必定要被淘汰的。本文在[1]—[5]的基础上引入了拓扑一般Boole格的范闭集、范开集及范邻域的定义,这些定义与文献[4]里的那些定义一样使得拓扑空间上有关邻域及包括T_0分离性在内的各种分离性的结果可以推广到拓扑一般Boole格上(当然更可以推广到拓扑Boole格上)。本文实现了将拓扑空间连续性等价的主要基泰定理推广到拓扑一般Boole格上。     

初论拓扑BOOLE格的积

在1929年和1935年定义了拓扑空间的积,提出了积的一系列性质。从而,积的概念成了现代拓扑学的重要概念之一。本文提出了近似于拓扑空间的积的拓扑Boole格的积的定义,讨论了这种积的存在与权数问题。设τ是拓扑Boole格B的所有闭元的集,则τ称作B的拓扑结构。此时B也记作 设与是两个拓扑Boole格,若τ_1τ_2,则称拓扑结构τ_1比拓扑结构τ_2     

一般BOOLE格的古典拟拓扑开基

本文主要证明了下面的结果: 一.设II是一般Boole格L的一族容,则H是L的一个古典拟拓扑开基的充要条件为:对H的每二成分U,V及U∩的非零元x,有W∈H,使在L的完备化云中,有二.设H是古典拓扑一般Boole格的开基,那么对H的每二成分U,V及每元x∈U∩V(x≠0),有W∈H,使     

“关于拓扑Boole格的连通性”一文的几点注记

[3]给出了拓扑 Boole 格的连通性的定义及若干性质,本文则给出了关于拓扑 Boole 格的连通性在连续映象下的不变性的一条定理(定理4)。它在某种较窄的意义上是拓扑空间上此相应的定理的推广,顺便叙述了拓扑 Boole 格的其它一些性质。     

用矩阵方法进行概念格的属性约简

本文给出了概念格的可辨识布尔矩阵的概念,把概念格的属性分成绝对必要属性、相对必要属性和绝对不必要属性三类,建立了概念格的属性约简模型.用布尔矩阵的初等行变换把可辨识布尔矩阵化为最简矩阵,给出了通过可辨识布尔矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性方法,并由此给出了一种初等、直观的属性约简算法.     

布尔矩阵空间及正则布尔矩阵的g－逆线性空间

研究了布尔矩阵空间和正则布尔矩阵的ｇ－逆线性空间的一些性质。在此基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法。进而，提出了正则布尔矩阵的特征矩阵概念，通过特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。     

布尔代数上triple-δ-导子的特征及性质

在布尔代数的基础上引入了triple-δ-导子的概念, 获得了布尔代数上triple-δ-导子的一些相关性质及特征, 特别给出了布尔代数上保序triple-δ-导子的刻画定理。 研究结果不仅充实和丰富了布尔代数上的导子理论, 也为研究格上导子的结构特征提供了理论基础。     

e-导数的几个性质和几个布尔函数密码学性质定理

密码安全是计算机信息安全,网络安全的保障．布尔函数的e-导数是为将其和导数一起用于研究布尔函数的密码学性质这一密码安全关键而于2007年才提出的新概念．笔者以e-导数为研究工具来探讨布尔函数的代数免疫,相关免疫这两个密码学性质的问题,得到一些判断布尔函数代数免疫阶和相关免疫阶的定理．同时,为便于对e-导数的使用,笔者也讨论了e-导数的一些性质,得出了一些相应的定理．     

有限Boole语义的随机化

基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.     

关于非线性移位寄存器的一点讨论

本文引入了两布尔函数复合的概念,利用这一概念对一类非线性移位寄存器进行了讨论.     

Implicational lattices and generalization of Stone’s representation theorem

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone's representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.     

关于S半环的性质

介绍S半环概念的基础上,讨论了S半环的同态,同余关系及与布尔环(代数)之间的关系.     

布尔矩阵的极小合g－逆和g－逆集的一个表示法

提出了布尔矩阵的极小ｇ－逆（广义逆）的概念，给出了求正则布尔矩阵的极小ｇ－逆集的一个算法和极小ｇ－逆个数的计算公式。根据ｇ－逆界定理，一个正则布尔矩阵Ａ的全部ｇ－逆可以通过Ａ的极小ｇ－逆集和最大ｇ－逆表示出来。