词条 | 布尔代数 |
释义 | Bu’er daishu 布尔代数(卷名:数学) Boolean algebra 首先是G.布尔为了研究思维规律(逻辑学、数理逻辑)于1847年和1854年提出的。它作为一种特殊的格则是J.W.R.戴德金之后的事情。所谓一个布尔代数,是指一个有序的四元组〈B,∨,∧,* 〉,其中B是一个非空的集合,∨与∧ 是定义在B上的两个二元运算,*是定义在B上的一个一元运算, 并且它们满足以下条件:A1.α∨b=b∨α,α∧b=b∧α;A2.(α∨b)∨с=α∨(b∨с), (α∧b)∧с=α∧(b∧с); A3.(α∧b)∨b=b, (α∨b)∧b=b; A4.α∧(b∨с) = (α∧b)∨(α∧с),α∨(b∧с)=(α∨b)∧(α∨с);A5.(α∧α ![]() ![]() 设B2={0,1}是由两个元素0与1所组成的集合。它的两个二元运算和一个一元运算定义如下:0∨0=0,0∨1=1∨0=1∨1=1;0∧0=0∧1=1∧0=0,1∧1=1;0 ![]() ![]() 设B={1,2,3,5,6,10,15,30}是30的正因子的集合。规定∨是取它们的最小公倍数,∧是取它们的最大公因数:*是:1 ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 如果一个环R=〈R,+,·〉具有单位元1,并且对任意的α∈R,有α2=α,那么R称为布尔环。令R是布尔环,若定义α∨b=α+b+α·b,α∧b=α·b,α ![]() 设 R是由所有的实数组成的集合。由单元集和区间的有限并所组成的集合B,在集合的并(∪)、交(∩)、余(C)运算之下是一个布尔代数。所谓单元集,是指仅由一个实数所组成的集合。区间可以是有界的或无界的,闭的或开的或半开(闭)的。 令Χ是一个固定的集合。Χ的所有子集组成的集合称为Χ的幂集,记为P(Χ)={S│S⊆Χ}。设B是P(Χ)的子集,并且{═,Χ}⊆B⊆P(Χ)。如果B在集合论的并(∪)、交(∩)、余(C)有限次运算下是封闭的,那么这样的B在把有限次并、交、余作为∨、∧、*运算时,是一个布尔代数。这种布尔代数,常常称为集域(集场)。特殊地,取B=B2={═,Χ},B=P(Χ),B={S∈P(Χ)│S为有限集或有限集的余集},……,均为集域。当Χ={α1,α2,…,αn}是有限集时,则P(Χ)={S│S⊆Χ}={{αi1,αi2,…,αik}│i1,i2,…,ik是1,2,…,n中取k个的组合,0≤k≤n}=2X=2n也是一个集域。它是由有限个元素所组成的布尔代数(有限布尔代数)。 令〈Χ,τ〉是一个拓扑空间,τ是 X上的一个拓扑,B={S⊆Χ│S 既是开集,同时又是闭集}。在集合论的并、交、余运算下B是一个布尔代数,并称之为闭开代数。若取B={S⊆Χ│S的边界是无处稠密的},则此时B也是一个布尔代数。 令〈Χ,τ〉是一个拓扑空间,Χ的子集S是正规的闭集,当且仅当S的内部的闭包等于S,即 ![]() ![]() ![]() ![]() ![]() ![]() 在概率论中,设B={S│S是随机事件},即所有随机事件的全体。不可能事件及必然事件均视作随机事件。这样的B在逻辑联结词"或"(可得兼的"或")、“与”、“否定”运算之下是一个布尔代数。 在数理逻辑中,基于二值逻辑的一个形式理论的所有公式,在逻辑联结词“析取”、“合取”、“否定”运算下,是一个布尔代数,也称之为林登鲍姆-塔尔斯基代数。 布尔代数到了20世纪30~40年代才又有了新的进展,大约在1935年,M.H.斯通首先指出布尔代数与环之间有明确的联系,他还得到了现在所谓的斯通表示定理:任意一个布尔代数一定同构于某个集上的一个集域;任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等,这使布尔代数在理论上有了一定的发展。布尔代数在代数学(代数结构)、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用;1967年后,在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中也起着一定的作用。 近几十年来,布尔代数在自动化技术、电子计算机的逻辑设计等等工程技术领域中有重要的应用。 例如,在逻辑设计中,要考虑取值于B2中的元素的布尔变元 x1,x2,…,xn,以及函数值也在B2内的n个布尔变元的布尔函数ƒ(x1,x2,…,xn)。令x ![]() ![]() ![]() ![]() ![]() |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。