基底基底基底
称(L,∗,+,¬,0,1)是布尔代数,n维布尔代数中e1,……,en是L得一组基地,若∀a∈L,a=k1e1+k2e2+……+knen(其中ki为代数系统中得0元或1元)称(L,*,+,\neg,0,1)是布尔代数,n维布尔代数中e_1,……,e_n是L得一组基地,若\\ \forall a \in L,a=k_1 e_1+k_2 e_2+……+k_n e_n(其中k_i为代数系统中得0元或1元)称(L,∗,+,¬,0,1)是布尔代数,n维布尔代数中e1​,……,en​是L得一组基地,若∀a∈L,a=k1​e1​+k2​e2​+……+kn​en​(其中ki​为代数系统中得0元或1元)

例:设S30是30的所有正因数做成的集合。对任意a,b∈S30规定运算a+b为a、b的最小公倍数a∗b为a、b的最大公约数。则(S30,∗,+,1,30)是布尔代数,1是其最小元素,30是其最大元素。该布尔代数的基底为2,3,5:1=(1∗2)+(1∗3)+(1∗5),2=(30∗2)+(1∗3)+(1∗5),3=(1∗2)+(30∗3)+(1∗5),5=(1∗2)+(1∗3)+(30∗5),6=(30∗2)+(30∗3)+(1∗5),10=(30∗2)+(1∗3)+(30∗5)15=(1∗2)+(30∗3)+(30∗5),30=(30∗2)+(30∗3)+(30∗5)例: 设S_{30}是30的所有正因数做成的集合。对任 意a, b∈S_{30}\\ 规定运算a+b为a、b的最小公倍数 a*b为a、b的最大公约数。\\ 则(S_{30},*,+, 1, 30)是布尔代数,1是其最小元 素,30是其最大元素。\\ 该布尔代数的基底为2, 3,5:\\ 1=(1*2)+(1*3)+(1*5), 2=(30*2)+(1*3)+(1*5), 3=(1*2)+(30*3)+(1*5), 5=(1*2)+(1*3)+(30*5), 6=(30*2)+(30*3)+(1*5), 10=(30*2)+(1*3)+(30*5) 15=(1*2)+(30*3)+(30*5), 30=(30*2)+(30*3)+(30*5) 例:设S30​是30的所有正因数做成的集合。对任意a,b∈S30​规定运算a+b为a、b的最小公倍数a∗b为a、b的最大公约数。则(S30​,∗,+,1,30)是布尔代数,1是其最小元素,30是其最大元素。该布尔代数的基底为2,3,5:1=(1∗2)+(1∗3)+(1∗5),2=(30∗2)+(1∗3)+(1∗5),3=(1∗2)+(30∗3)+(1∗5),5=(1∗2)+(1∗3)+(30∗5),6=(30∗2)+(30∗3)+(1∗5),10=(30∗2)+(1∗3)+(30∗5)15=(1∗2)+(30∗3)+(30∗5),30=(30∗2)+(30∗3)+(30∗5)

原子(极小元):哈斯图中盖住0的所有元素原子(极小元):哈斯图中盖住0的所有元素原子(极小元):哈斯图中盖住0的所有元素
有限布尔代数得基底必是此代数得所有极小元素,反之亦成立有限布尔代数得基底必是此代数得所有极小元素,反之亦成立有限布尔代数得基底必是此代数得所有极小元素,反之亦成立
性质1:e1+e2+……+en=1性质2:有限布尔代数得基底唯一性质1:e_1+e_2+……+e_n=1\\ 性质2:有限布尔代数得基底唯一性质1:e1​+e2​+……+en​=1性质2:有限布尔代数得基底唯一

由集合生成得布尔代数

对于一个布尔代数(L,∗,+,¬,0,1),s1,s2,si为L中得元素集合S中得元素为∑x1∗…∗xi,xi或为si或为siˉ∣可证(S,∗,+,¬,0,1)为布尔代数,称为由{s1,s2,…si}生成得布尔代数对于一个布尔代数(L,*,+,\neg,0,1),s_1,s_2,s_i为L中得元素\\ 集合S中得元素为\sum x_{1}*…*x_{i},x_{i}或为s_i或为\bar {s_i}|\\ 可证(S,*,+,\neg,0,1)为布尔代数,称为由\{s_1,s_2,…s_i\}生成得布尔代数 对于一个布尔代数(L,∗,+,¬,0,1),s1​,s2​,si​为L中得元素集合S中得元素为∑x1​∗…∗xi​,xi​或为si​或为si​ˉ​∣可证(S,∗,+,¬,0,1)为布尔代数,称为由{s1​,s2​,…si​}生成得布尔代数
例:(S30,∗,+,¬,0,1)中由{2,6}生成得布尔代数为(S30,∗,+,¬,0,1)由{1,30}生成得布尔代数为({1,30},∗,+,¬,0,1)由{2}生成得布尔代数为({1,2,15,30},∗,+,¬,0,1)例:(S_{30},*,+,\neg,0,1)中\\ 由\{2,6\}生成得布尔代数为(S_{30},*,+,\neg,0,1)\\ 由\{1,30\}生成得布尔代数为(\{1,30\},*,+,\neg,0,1)\\ 由\{2\}生成得布尔代数为(\{1,2,15,30\},*,+,\neg,0,1)\\ 例:(S30​,∗,+,¬,0,1)中由{2,6}生成得布尔代数为(S30​,∗,+,¬,0,1)由{1,30}生成得布尔代数为({1,30},∗,+,¬,0,1)由{2}生成得布尔代数为({1,2,15,30},∗,+,¬,0,1)

[Stone定理]:任意有限布尔代数<B,∨,∧,−>,M是所有原子构成的集合,则<B,∨,∧,−>与<P(M),∪,∩,~>同构[Stone定理]:任意有限布尔代数<B,∨,∧,->,M是所有原子构成的集合,则<B,∨,∧,->与<P(M),\cup,\cap,~>同构[Stone定理]:任意有限布尔代数<B,∨,∧,−>,M是所有原子构成的集合,则<B,∨,∧,−>与<P(M),∪,∩,~>同构

有限布尔代数的表示理论:由集合生成的布尔代数相关推荐

  1. 程序员视角的计算机系统 2.1.7 布尔代数的介绍

    程序员视角的计算机系统 2.1.7  布尔代数的介绍 因为二进制的值是计算机如何编码,存储,维护信息的核心,围绕着0和1的值的研究,已经进化 出庞大的数学知识体系.这开始于乔治布尔的1850年左右的工 ...

  2. UA MATH523A 实分析3 积分理论例题 集合的特征函数L2收敛的条件

    UA MATH523A 实分析3 积分理论例题 集合的特征函数L2收敛的条件 例 假设{En}\{E_n\}{En​}是一个有限测度空间(X,M,μ)(X,\mathcal{M},\mu)(X,M,μ ...

  3. 使用Matlab把图片集合生成视频流文件

    上一次在写过<使用Matlab读取视频流文件>博客,地址:https://blog.csdn.net/lingyunxianhe/article/details/83543282 这次是: ...

  4. 布尔代数定律_布尔代数的公理和定律

    布尔代数定律 Boolean Algebra differs from both general mathematical algebra and binary number systems. In ...

  5. 由集合生成的σ代数的解法 - 随机过程

    例题:已知Ω={1,2,3},求由C={ {1,2},{1,3} }生成的σ代数.  答案:{Φ,{1},{2},{3},{1,2},{1,3},{2,3},Ω} 算法:将集合C的元素(切记集合C的元 ...

  6. sql server运算符_了解SQL Server中集合理论与集合运算符之间的相互作用

    sql server运算符 In this article, we will describe the relation between the Set Theory and SQL Server S ...

  7. 岩土工程渗流问题之有限单元法:理论、模块化编程实现、开源程序手把手实操技术

    有限单元法在岩土工程问题中应用非常广泛,很多商业软件如Plaxis/Abaqus/Comsol等都采用有限单元解法.尽管各类商业软件使用方便,但其使用对用户来说往往是一个"黑箱子" ...

  8. 修辞结构理论论文集合

    收集了一下近几年用修辞结构理论(RST)做篇章结构解析的论文.关于修辞结构理论的介绍,可参考博客 做英文篇章RST解析,一般都是用RST Discourse Treebank数据集,共385篇文章,其 ...

  9. 分布式理论分布式ID生成大全

    分布式 ID 介绍 一.何为 ID? 日常开发中,我们需要对系统中的各种数据使用 ID 唯一表示,比如用户 ID 对应且仅对应一个人,商品 ID 对应且仅对应一件商品,订单 ID 对应且仅对应一个订单 ...

最新文章

  1. hibernate教程--关联关系的映射详解
  2. vue.js python_使用Python和Vue.js自动化报告过程
  3. 前端学习(2311):react中处理跨域问题
  4. scala 字符串转换数组_如何在Scala中将十六进制字符串转换为字节数组?
  5. java double==Double_java之double类型数值的比较
  6. php把数据表格数据,php怎样把数据添加到数据表
  7. java闭包lambda,(lambda)函数闭包捕获了什么?
  8. 方差分析软件_Minitab统计软件入门(一)
  9. 【T+】T+和天联高级版软件结合使用的时候,运行T+提示网页崩溃了。
  10. 彻底卸载sql sever 2005
  11. 【eoeAndroid社区索引】Android二维码知识汇总
  12. 方差分析软件_重复测量方差分析的操作教程及结果解读
  13. 主成分分析PCA和经验正交函数分析EOF的原理(通俗易懂的解释)
  14. 鼎立测试软件速率在哪里看,鼎力测试软件中参数详解.docx
  15. typedef struct Lnode{ Elemtype data; struct Lnode *next; } Lnode,*Linklist;
  16. VMware虚拟机安装Win10
  17. 拼多多商品详情如何获取呢?进来手把手教你
  18. 转载一篇过来人谈的大学期间关于课外学习的意见lt;出自左飞老师笔记gt;
  19. 五个方向告诉你如何运营好一个公众号!
  20. 【硬核干货!】不刷面经,还想上岸大厂?AI算法篇(一)

热门文章

  1. Redis实现附近的人
  2. 142day:LCD驱动1
  3. vue 移动端项目字体适配
  4. Html短信导入iphone,苹果短信通讯录如何导入到华为手机?这篇写的超详细!
  5. 51单片机 (十二)PWM
  6. 实时数据库:一夜之间,我感受到了时序数据库的威胁
  7. HFSS特殊曲线天线建模
  8. cacti监控服务器性能,cacti监控服务器
  9. 【msvcp100.dll下载】msvcp100.dll丢失修复
  10. 提示由于电脑中MSVCP100.dll丢失导致程序无法启动的解决方案