【离散数学】 SEU - 29 - 2021/06/16 - Review (in Chinese)

Lattice and Boolean Algebra

Boolen Algreba

Atom

Theorem: $<B,\wedge ,\vee {,}^{\prime },0,1>$ is a finite Boolean algebra, for any non-zero element $x\in B,a_1,a_2,\cdots ,a_k$ are all atoms such that $a_i\le x(i=1,2,\cdots k)$, then $x=a_1\vee a_2\vee \cdots \vee a_k$.

Theorem: $<B,\wedge ,\vee {,}^{\prime },0,1>$ is a finite Boolean algebra, S is the set of all atoms, then $<B,\wedge ,\vee {,}^{\prime },0,1>$ is isomorphic to $<P(S),\cap ,\cup ,\neg ,Ø,S>$.

Proof idea: Bijection $f:B\to P(S)$
f ( x ) = { a ∣ a ∈ S ∧ a ≤ x } f(x) = \{a|a∈S∧a≤x\} f(x)={a∣a∈S∧a≤x}

Corollary
(1) $<B,\wedge ,\vee {,}^{\prime },0,1>$ and $<P(S),\cap ,\cup ,\neg ,Ø,S>$ are isomorphic, $|P(S)|=2^{|s|}$, so $|B|=2^{|s|}$.
(2) Every two finite Boolean algebras which have the same cardinality are isomorphic.

Summary

• Lattice: definition, properties
• Lattice another definition from the perspective of algebraic system
• Sub-lattice
• Homomorphism
• Distributive, bounded, complement
• Boolean Algebra

Review

题型

选择、填空、计算、证明

命题逻辑

• 命题等
• 连接词
• 真值表
• 重言式、矛盾式、可满足式
• 等值式与等值运算
• 析取范式与合取范式
• 可满足问题

谓词逻辑

• 谓词、个体词、量词
• 量词等等
• 一阶逻辑命题符号化
• 逻辑有效式，可满足式等
• 谓词逻辑等值式
• 前束范式

逻辑证明

• 有效论证_{（命题逻辑需给出有效论证，谓词逻辑不要求考察）}
• 命题逻辑推理规则
• 谓词逻辑
• 证明方法

Pro Tip:

• 判断哪些是命题
• 命题的符号化
• 判断真假（重言式与否）
• 转化为析取范式、合取范式
• 判断推理是否正确

集合代数

• 集合的表示法
• 集合与元素的隶属关系，集合集合间的包含关系
• 幂集
• 有序 $n$ 元组、序偶（有序二元组）、笛卡尔积
• 集合运算
• 有穷集合运算、容斥原理
• 集合恒等式

函数

• 函数
• 单射、满射、双射
• 运算
• 集合函数

关系

• 序偶与笛卡尔积、二元关系、从 $A$ 到 $B$ 的关系
• 关系的性质
• 关系的运算
• 关系的表示法
• 自反、对称、传递闭包
• 等价关系、等价类、商集与 $A$ 的划分
• 偏序关系、偏序集、Hasse 图、极大极小元、最大最小元、上下界、上下确界、格

Pro Tip:

• 证明两个集合相等（方法：互为子集）
• 关系是否具有某种性质
• 等价关系及其证明（方法：那三个性质）
• 偏序关系及其证明（方法：那三个性质）
• Hasse 图的绘制
• 求出极大极小元、最大最小元、上下界、上下确界

图的基本概念

• 无向图、有向图、简单图、相邻与关联、度
• 握手定理与推论
• 特殊的图：完全图 $K_n$、二部图及完全二部图 $K_{m,n}$
• 子图、补图
• 图的矩阵表示
• 图的同构
• 图的连通性：路径、回路、无向图的连通性与连通度、有向图的连通性等

欧拉图与哈密顿图

• 定义、充要条件_{（一定要掌握）}
• 必要条件、充分条件
• 最短路径问题、旅行家问题

平面图

• 基本概念：平面图、平面嵌入、面、面的度、极大平面图、极小非平面图
• 欧拉公式（$v-e+r=2$）
• 平面图的判断：库拉图斯基定理（$K_5$_{(最短回路是3)}, $K_{3,3}$_{(最短回路是4)}）

树

• 无向树：树的6个等价命题（$m=n-1$）
• 根树
• 生成树

代数系统

• 二元运算_{（唯一性、封闭性）}、一元运算
• 运算性质和特异元素：XX律、X元
• 代数系统的构成：非空集合、二元和一元运算、代数常数
• 同类型的代数系统
• 子代数、积代数
• 同态、同构_（双射）

群论

• 半群、独异点与群的定义
• 群同态
• 基本性质
• 子群定义及判定
• 陪集定义及性质
• 拉格朗日定理及性质

Pro Tip:

• 群定义、子群判定

格与布尔代数

• 格的两个等价定义
• 格的性质_{（交换、结合、吸收）}
• 子格
• 格同态
• 特殊格：分配格、有界格、有补格
• 布尔代数、有限布尔代数的表示定理

Pro Tip:

• 特殊的代数系统

例题

Example 1

“尽管有人聪明，但未必一切人都聪明”：

Let $A(x)$ denote $x$ is a person, $B(x)$ denote $x$ is clever.
$$\exists x(A(x)\wedge B(x))\wedge \neg \forall x(A(x)\to B(x))$$

Example 2

Prove that $P(A)\cap P(B)=P(A\cap B)$.

---

ALL RIGHTS RESERVED © 2021 Teddy van Jerry
This blog is licensed under the CC 4.0 Licence.

---

See also

Teddy van Jerry’s Personal Homepage
Teddy van Jerry’s CSDN Homepage
Teddy van Jerry’s GitHub Homepage