离散数学下 - 复习

前导知识

1. 函数的定义

2. 布尔积

 3. 布尔幂

 4. 幂集

  由S的所有子集（包括全集和空集）构成的集合

5. 函数的上下限

6. 单射 

---

9.1 关系及其性质

1. 集合A上的关系是从A到A的关系

    即 A X A 的子集（可确定有穷集上的关系个数)

2.

自反

反自反

 对称与反对称

非对称

传递

3. 关系上的异或运算

4. 关系的合成

计算两个关系的合成，需要找出这些元素：既是第一个关系中的有序对的第二个元素，也是第二个关系中的有序对的第一个元素

5. 关系的幂

 一个传递关系的幂是该关系的子集

6. 逆关系与补关系

9.2 n元关系及其应用

1. n元关系的定义

2. 选择运算符

3. 投影运算符

4. 连接运算符

9.3 关系的表示

1. 关系合成的矩阵

2. 

 即      （此处指布尔幂）

9.4 关系的闭包

1. 闭包的定义

 2.

自反闭包

对称闭包

关系R的对称闭包可以通过求关系与它的逆的并来构造

 3. 路径

 4. 连通性关系

 

 5. 通过连通性关系求传递闭包

 表示传递闭包的0-1矩阵是R的前n次幂的0-1矩阵的并（n指集合中元素的数量）

 6. 通过沃舍尔算法求传递闭包

首先构造W0（这个关系的0-1矩阵）

再检查第一列的元素中有没有1存在，若有，则将第一行的元素与该行的元素进行逻辑加法运算，但位置不变，得到W1。再对第二列的元素进行检查，直至第n列。

则此时得到的矩阵Wn就是传递闭包的矩阵

9.5 等价关系

1. 等价关系的定义

模m同余是等价关系

a 与 b 模 m 同余，当且仅当 m 整除 a-b

2. 等价类的定义

 3. 等价类与划分

集合S的划分是S的不相交的非空子集构成的集合，且它们的并集就是S

  即等价类构成A的划分

9.6 偏序

1. 偏序的定义

2. 可比与不可比

3. 全序

当集合中的每对元素都可比时，这个关系称为全序

4. 良序

5. 哈塞图的画法

6. 极大元与极小元

偏序集中的一个元素被称为极大元，当它不小于这个偏序集的任何其他元素

偏序集中的一个元素被称为极小元，当它不大于这个偏序集的任何其他元素

7. 上界与下界

8. 最小上界与最大下界

9. 格

10. 拓扑排序

从一个偏序构造一个相容的全序称为拓扑排序

方法

11. 覆盖关系

---

9.1 再论二元运算

1. 二元运算的定义

 2. 二元运算的性质

交换性质

 结合性质

幂等性质

对于A中的任意a，都有

9.2 半群

1. 半群的定义

2. 自由半群

3. 单位元

单位元一定是唯一的

4. 幺半群

5. 子半群与子幺半群

 子半群本身就是一个半群，子幺半群本身是幺半群

6. 幂的定义

 7. 同构

 证明同构的步骤

 通过表判断同构

 8.

更一般的情况下

 9. 同态和同态象

9.3 半群的积与商

1. 半群的定义

2. 同余关系

3. 商半群

4. 商集

5. 自然同态

6. 同态基本定理

9.4 群

1.

群的定义

 阿贝尔群

 2. 性质

逆元

左消去与右消去

---

3. 子群

4. 阶不相等的两个群不可能是同构的

5.

9.5 群的积与商

1. 群的定义

2. 群上的同余关系

3. 左右陪集与正规子群

则不需要计算aH，因为它总是H

4. 核

11.1 二元信息码与检错码

1. 

2. 编码函数

3. 

4. 权

5.

Hamming距离

即x与y不相同的位置数

距离函数的性质

最短距离

6.

7. 群码的定义

是的一个子群

8.

9. 模2的布尔积

 

10. 奇偶校验矩阵 

 

11.2 译码与纠错 

1. 译码函数

2.

3. 最大似然方法

4.

英语表达

并：the union of

交：the intersection of

由定义：by definition

对称：symmetric

反对称：antisymmetric

非对称：asymmetric

自反：reflexive

反自反：irreflexive

传递：  transitive

复合主键：composite key

子集：subset

determine：确定

有向图中关系的判断

suppose：假设

show：证明

等价关系：equivalence relation

poset：偏序集

partial ordering：偏序

minimal：最小的

maximal：最大的

g.l.b（greatest lower bound)：最大下界

l.u.b（least upper bound)：最小上界

commutative operation：交换运算

associative operation：结合运算

idempotent：幂等的

semigroup：半群

subsemigroup：子半群

isomorphism：同构

homomorphism：同态

单射：one-to-one

满射：onto

congruence relation：同余关系

quotient semigroup：商半群

catenation：连接

identity：单位元

nonnegative：非负的

complementary：补的

monoid：幺半群