离散数学_下

前导知识

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. 哈塞图的画法

离散数学_下_第1张图片

6. 极大元与极小元

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

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

7. 上界与下界

8. 最小上界与最大下界

9. 格

10. 拓扑排序

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

方法

离散数学_下_第2张图片

11. 覆盖关系


9.1 再论二元运算

1. 二元运算的定义

 2. 二元运算的性质

交换性质

 结合性质

离散数学_下_第3张图片

幂等性质

对于A中的任意a,都有a = a*a

9.2 半群

1. 半群的定义

2. 自由半群

离散数学_下_第4张图片

3. 单位元

单位元一定是唯一的

4. 幺半群

5. 子半群与子幺半群

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

6. 幂的定义

 7. 同构

 证明同构的步骤

离散数学_下_第5张图片

 通过表判断同构

 8.

更一般的情况下

 9. 同态和同态象

9.3 半群的积与商

1. 半群的定义

2. 同余关系

3. 商半群

离散数学_下_第6张图片

4. 商集

5. 自然同态

6. 同态基本定理

9.4 群

1.

群的定义

离散数学_下_第7张图片

 阿贝尔群

 2. 性质

逆元

左消去与右消去

离散数学_下_第8张图片


3. 子群

离散数学_下_第9张图片

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

5.

离散数学_下_第10张图片

9.5 群的积与商

1. 群的定义

2. 群上的同余关系

3. 左右陪集与正规子群

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

4. 核

离散数学_下_第11张图片


11.1 二元信息码与检错码

1. 

2. 编码函数

3. 

4. 权

5.

Hamming距离

即x与y不相同的位置数

距离函数的性质

离散数学_下_第12张图片

最短距离

6.

7. 群码的定义

_B{n}的一个子群

8.

9. 模2的布尔积

离散数学_下_第13张图片

 

10. 奇偶校验矩阵 

离散数学_下_第14张图片离散数学_下_第15张图片 


11.2 译码与纠错 

1. 译码函数

2.

3. 最大似然方法

离散数学_下_第16张图片

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:幺半群

你可能感兴趣的:(离散数学,数学)