1、 离散数学第二章1. 有序二元组也称序偶,设 A, B 为任意集合，A 和 B 的笛卡尔积用 A B 表示，定义为 A B = (a, b) | a A, b B。2. 推广 n 个集合的笛卡儿积为 A1 A2 An = (x1, x2, , xn) | xi Ai, i = 1, 2, , n。3. 笛卡尔乘与交并集符号之间满足分配率： A (B C) = (A B) (A C)4. 笛卡尔积 A B 的任意一个子集 称为由 A 到 B 的一个二元关系，当 A = B 时，称 是 A 上的二元关系。5. 几种特殊的关系：空关系，全关系（普遍关系）记为 UA ，恒等关系 IA = (a, a)
2、 | a A。6. 关系的表示方法：集合表示法，矩阵表示法，关系图表示法（结点，单边）自环7. A,B 上的关系的交，并，补，运算结果都是 A 到 B 的关系。8. ，称为关系 p 的逆运算也记为 p-19. 关系的复合运算：当且仅当存在元素 b B，使得 a 1 b，b 2 c 时，有 a (1 2) c。10. IA = IB =p，关系的复合满足结合律：( 1 2) 3 = 1 (2 3)。11. 规定： 0 = (a, a) | a A，即 0 = IA12. 复合关系的求法：定义，关系图，矩阵13. 设 A、B 均是有限集， 1、 2 都是由 A 到 B 的关系，它们的关系矩阵分别为
3、和 ，则下列关系的关系矩阵如何？ 1 2， 1 2， 1， 1 - 2 ， 1-1。14. 设 1, 2 是集合 A 上的任意的关系，则 (1 2)-1 = 2-1 1-115. 关系的性质：自反，非自反，反自反；对称，非对称，反对称；可传递，不可传递；16. 反自反的关系一定是非自反的关系；若 是 A 上的反对称关系，则由定义知，在 中，(a, b) 与 (b, a) 至多有一个出现，其中 a b。17. (1, 2), (3, 0), (3, 2)这个关系可传递18. 设 为 A 上的关系， （1 ） 在 A 上自反当且仅当 IA （2） 在 A 上反自反当且仅当 IA = （3） 在 A
4、 上对称当且仅当 = -1（4） 在 A 上反对称当且仅当 -1 IA（5） 在 A 上传递当且仅当 。 （自证，ppt 中有过程）19.利用关系矩阵判断：,|,(20.也可利用关系图判断。21.关系的性质与关系运算之间的联系 ,设 p1,p2 是 A 上具有相同性质的两个关系。见 PPT 中表格。22 对给定的关系 和一种性质 P，包含 且满足性质 P 的最小关系称为 对于 P 的闭包，记作 P()23.（1）自反闭包： r() = IA,（2）对称闭包：s () = 1（3）传递闭包：t( ) = 2 3 pk(证明见 PPT),具体求解时找循环 .24.闭包的 性质,证明见 PPT25.
5、 设 是非空集合 A 上的关系，则（1） 是自反的当且仅当 r() = 。（2） 是对称的当且仅当 s() = 。（3） 是可传递的当且仅当 t() = 。26 设 1 和 2 是非空集合 A 上的关系，且 1 2，则（ 1） r(1) r(2)；（2 ）s( 1) s(2)；（3）t( 1) t(2).易证27. 设 A、B 均是有限集， 1、 2 都是由 A 到 B 的关系，它们的关系矩阵分别为 和 ，则下列关系的关系矩阵如何？1 2， 1 2， 1， 1 - 2， 1-128.利用矩阵(并集就布尔加,复合就布尔乘),关系图也求闭包(加单边 ,加方向边,加起点到终点的边)29.Warsha
6、ll 算法：算法（求传递闭包）（1）置新矩阵 A = M；（2）j = 1；（3）对所有的 i，如果 Ai, j = 1，则对 k = 1, 2, , n，作布尔加法 Ai, k = Ai, k + Aj, k，即将第 j 行加到第 i 行上去；（4）j 加 1；（5）如果 j n，则转到步骤（ 3） ，否则停止30. 若 1 和 2 都是 A 上的对称关系，证明 1 2 也是 上的对称关系。 （自证）31.等价关系：自反，对称，可传递；整数集合 I 上的模 m 同余关系 = (x, y) | x y (mod m)是等价关系。其中，x y (mod m) 叫做 x 与 y 模 m 相等，其含
7、义是 x y 可以被 m 整除。32.元素 a，b 等价，ab 。p 是等价关系，a 生成的等价类（集合） ，用a 表示即 a = b | b A 且 a b。33.等价类的性质：1. 对任意 a A，a 。2.对任意的 a, b A，若 a b，则 a = b 。3.对任意 a, b A，若 a b，则 a b = 。4.同一个等价类中元素均相互等价。5.不同等价类中的元素互不等价34.设 是集合 A 上的一个等价关系，则集合 A 中所有元素产生的等价类的集合 a | a A 是 A 的一个分划，A 上由 导出的等价分划35.商集：设 为非空集合 A 上的等价关系，以 的所有等价类作为元素的
8、集合称为 A 关于 的商集，记做 A / ，即 A / = x | x A。A / 的基数（ A 在 下的不同等价类的个数）称为 的秩。A 关于 的商集就是 在 A 上所导出的等价分划。36.设 = A1, A2, , Ar 是集合 A 的一个分划，则存在 A 上的一个等价关系 ，使得 是 A 上由 导出的等价分划。37 . 例题：设 A = a, b, c, d，A 上的分划， 1 = a, b, c, d，求出等价关系 1 = (a, a), (b, b), (b, c), (c, b),(c, c), (d,d) 。38. 例题：设 A = a, b, c，求出 A 上所有的等价关系。解
9、：先求出 A 上有多少不同分划，一一对应即可。39. 集合 A 上的等价关系 还具有以下性质：（1） 2 = 一般地，对任意的正整数 n，有 n = ；（2） 1 = 40. A = 1, 2, 3, 4， 1 = (1, 1), (1, 2), (2, 1), (2, 2), (3, 3)，p1 不是等价关系。？41.相容：自反，对称42.相容类：设 是有限集 A 上的相容关系，C A，C ，如果 a, b C，均有 a b，即 C 中任意两个元素都由关系则 称 C 为相容关系 的一个相容类，不存在任何相容类 D，使 C D,则称 C 为最大相容类，记为 C。43.相容关系的关系简图不画自环
10、，用无向单线代替来回线。44.在相容关系的关系简图中，定义每个结点都与其他结点相连接的多边形为完全多边形。关系简图中每一最大完全多边形的结点集合就是一个最大相容类。对于关系简图中只有一个孤立结点以及不是完全多边形的两个结点的连线的情况，也容易知道它们各自对应一个最大相容类。45. 是有限集合 A 上的一个相容关系，#A = n，则对任意 a A，必存在一个最大相容类 C，使得 a C.46. 是有限集合 A 上的一个相容关系，则 的所有最大相容类的集合是 A 的一个覆盖，常记作 S(A)47.给定一个相容关系必可对应一个覆盖，给定一个覆盖也可确定一个相容关系，但二者之间不存在一对一的关系。任一
11、覆盖可以确定一个相容关系，但可以有多个覆盖对应一个相容关系。48.所有最大相容类的集合就是最大相容类集合覆盖。49.偏序关系：自反，反对称，可传递50.研究偏序的哈斯图：（1）去掉自环；（ 2）用无向单边表示两元素之间有关系，且一律由下向上，下小上大（因而不应出现水平画置的边） ；（3）去掉传递性的第三边。51.设“ ” 是集合 A 上的一个偏序关系，对于任意 a, b A，如果有 a b 或 b a，则元素 a 和 b 称为是可比的，否则是不可比的。设 是集合 A 上的一个偏序，若对于任意元素 a, b A，a 与 b 都是可比的，则称它为 A 上的一个全序。52.一个集合 A 上的偏序，若
12、对于 A 的每一个非空子集 S，在 S 中存在一个元素 aS（称为 S 的最小元素） ，使得对于所有的 s S，有 aS s，则称它为 A 上的一个良序。53. 定义在正整数集 N 上的“ 小于或等于”关系是 N 上的良序。但实数集 R 上的“小于或等于”关系却不是 R 上的良序。注：一个集合 A 上的全序或良序一定是偏序，但偏序却不一定是全序或良序。一个偏序若是良序，则一定是全序。全序不一定是良序。但有限集上的全序一定是良序。编写程序，实现下面功能：（1）给定一个关系，能够判断这个关系是否具有自反性、对称性、传递性。（2）给定两个关系，能够进行复合运算。（3）给定一个关系，能够求得其自反闭包、对称闭包和传递闭包。（4）判断一个关系是否为等价关系，如果是，给出等价类集合。（5）求给定偏序关系的哈斯矩阵2012/3/20 18:20
