离散数学结构 第13章 格与布尔代数.docVIP

PAGE PAGE 2 第十三章 格与布尔代数 第十三章 格与布尔代数 TOC \o 1-3 \h \z 13.1 格的定义与性质 2 一、格作为偏序集的定义 2 1．格的定义 2 2．格的实例 2 二．格的性质 3 1．对偶原理 3 2. 运算性质 3 3. 关于序的性质 4 三．格作为代数系统的定义 5 13.2 子格与格同态 7 一、子格定义及其判别方法 7 二．格同态的定义及其性质 7 1．格同态的定义 7 2. 格同态的性质 8 三．格的直积 9 13.3 分配格与有补格 10 一、分配格的定义、判别与性质 11 1．分配格的定义及实例 11 2. 分配格的判别及性质 12 二．有补格的定义与性质 13 1．有界格及其性质 13 2. 有界格中的补元及实例 14 3.有界分配格中补元的唯一性 14 4.有补格的定义 15 13.4 布尔代数 16 一、布尔代数的定义 16 1．布尔代数作为的格的定义及实例 16 2. 布尔代数的性质 17 3. 布尔代数作为代数系统的定义 17 二．布尔代数的子代数及实例 17 三．布尔代数的同态映射及实例 18 四．有限布尔代数的结构 19