离散数学复习

离散数学复习

求等价类

解题步骤

1. 先画出关系图

2. 关系图每一个连通分支的节点构成的集合是一个等价类

注意：每个连通分支必须是对称的。

例子

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jbCXHqu7-1610324096007)(C:\Users\Yerz\AppData\Roaming\Typora\typora-user-images\image-20210109191724380.png)]

对于这个关系图，有三个连通分支 且都是对称的，所以等价类有三个

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-XI8GNRmH-1610324096011)(C:\Users\Yerz\AppData\Roaming\Typora\typora-user-images\image-20210109192023543.png)]

注意 ：题目中的“I”集合表示的是，某个集合A的每个元素自己跟自己的关系

比如：A={1，2}，IA={<1,1>,<2,2>}

---

有关有序对的题目

注意事项

1. 极大元、极小元、上确界、下确界、上界、下界都表示的是某个或者某些元素，不能用集合表示

解题思路

1. 画出哈斯图

2. 画表写答案，如

   [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Q757siIC-1610324096014)(C:\Users\Yerz\AppData\Roaming\Typora\typora-user-images\image-20210109192758698.png)]

---

函数题

题型一：哪些二元关系能构成函数关系

解题步骤

1. 如果题目给出的二元关系里定义域！=A，则用dom f ！=A说明理由
2. 如果某个自变量有两个函数值，则用==<x,C1>属于f且<x,C2>属于f说明理由，这里的属于==用数学符号
3. 如果上述两种情况都满足，都要写出来

题型二：求复合函数，判断满足单射，满射，双射，反函数

解题步骤

1. 求反函数之前，只需判断该函数是否满足双射，满足即可

---

证明 某个代数系统是半群

解题步骤

1. 证明封闭性

   有些题，封闭性是显而易见的，无需证明

2. 证明结合性

   证明 a（bc）==（ab）c 即可

---

证明一个群是否是某个群的子群

解题步骤

1. 证明子群 的封闭性，一个代数系统的子集合不一定满足封闭性
2. 不用证明结合性，因为算法是继承下来的，只要父群 是半群，即可满足
3. 若父半群是独异点，则要证明子半群的幺元是否等于父半裙的幺元，是则是子独异点。

---

证明一个群是交换群

解题步骤

1. 先任取a,b属于G，a#b肯定也属于G 。
2. 根据已知条件证明 a#b==b#a

证明一个半群是循环群

解题步骤

1. 先证明这个半群是群

   1. 先找出这个群的幺元（注意：这个幺元是满足左右运算的幺元）
   2. 找出每个元素的逆元

2. 列出这个半群是由某个元素等幂生成的样子，如

   [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-aDXZGYUV-1610324096017)(C:\Users\Yerz\AppData\Roaming\Typora\typora-user-images\image-20210109202647429.png)]

群的幺元（注意：这个幺元是满足左右运算的幺元）
2. 找出每个元素的逆元

2. 列出这个半群是由某个元素等幂生成的样子，如

   [外链图片转存中…(img-aDXZGYUV-1610324096017)]

   即可证这是个循环群，且生成元为 a。