234关系及闭包.pptVIP

例8 已知集合A={a,b,c,d}上的二元关系R={a,b,a,c,b,c,b,d}, S={a,b,b,c, c,d}, 求t(R), t(S), 画出关系图。 定义2.4.3 设R是非空集合A上的等价关系，以R的所有等价类作为元素的集合，称为A关于R的商集，记作A/R。即 A/R = {[a]R| a?A} 定义2.4.4 设A是非空集合，若A的子集族?满足：(1) ???;(2) ?中的任何两个子集都不相交；(3) ?中所有子集的并集就是A.则称?为A的一个划分，称?中的元素为A的划分块。 例4 设集合A={1,2,3,4}, A的子集族?1={{1},{2,3,4}}, ?2={{1,2},{3},{2,4}}, ?3={{1,2,3,4}}, ?4={{1,2},{3}}, ?5={?,{1,2},{3,4}}. 判断?1, ?2, ?3, ?4, ?5是否为A的划分。 例5 求集合A={1,2,3}上的所有等价关系。 定义2.5.6: 设R是非空集合A上的二元关系，若R具有反自反和传递性，则称R为A上的拟序关系，记作。如果a,b?则记作ab。 定义2.5.7: 设R是非空集合A上的偏序关系，如果对?a,b?A,必有a≤b或b≤a，则称R为A上的全序关系或称线序关系。 例12 设集合A={2,3,4,6,9,12,18}上的整除关系DA是偏序关系，偏序集A, DA的哈斯图如下，求子集B1={2,4}, B2={4,6,9}, B3={12,18}的上界、下界、最小上界、最大下界。 定义2.6.2: 设σ和 ? 是从集合A到B的两个函数，若对?a?A,都有σ(a) = ?(a)，则称函数σ和?相等。记作σ= ?. 定义2.6.3 设f 是从集合A到B的函数，且A1?A，则将 f (A1) = {f (a) | a?A1}称为A1在 f 下的象。特别地称f (A)为函数的象。 2.6.3. 常用函数 例3. 设R是A={1,2,3,4,5,6}上的相容关系，关系简化图为下图所示，求R所确定的完全覆盖。 解：R产生的最大相容类为: {1,2,6},{3,4,5},{1,4},{3,6} 因此R在确定的完全覆盖为： ?={{1,2,6},{3,4,5},{1,4},{3,6}}。 2 3 6 5 1 4 例4. 设A={a,b,c,d,e}上的完全覆盖 ?={{a,b},{d},{b,c,e,f}},写出?所确定的相容关系R。 解：由完全覆盖可得出R的关系简化图为： b c e f a d 因此，由?所确定的相容关系R 为： R=IA∪{a,b,b,a,b,c,c,b,b,e,e,b,b,f,f,b,c,e,e,c,c,f,f,c,e,f,f,e}。 2.5.2 偏序关系 定义2.5.5: 设R是非空集合A上的二元关系，若R具有自反、反对称、传递性，则称R为A上的偏序关系，或称半序关系，记作≤。如果a,b?≤则记作a≤b。 数的关系：≤、≥。 偏序关系是广义的≤关系。 整除关系：| 。 包含关系：?、?等。 例5: 设集合A={a,b,c}上的二元关系R={a,a, a,b, a,c,b,b,b,c,c,c}，试用关系图、矩阵来验证R为偏序关系。 解: c a b 图中存在自回路、两点间单条弧、有a→b,b→c弧,就有a→c弧。∴R为偏序关系。（矩阵类似）■ 定理2.5.1: 设R是A上的拟序关系，则R是反对称的。 证：假设R不是反对称的，则存在a,b?A, a?b,使a,b?R 且 b,a?R，由传递性得a,a?R，与R具有反自反性矛盾。■ 设R是A上的拟序关系，则R?IA是A上的偏序关系。 设R是A上的偏序关系，则R - IA是A上的拟序关系。 例6: 设集合A={1,2,3,4}上的大于关系 R={a,b | a b 且 a,b?A}，试用关系图来验证R为拟序关系。 解: 图中没有自回路、两点间单条弧、有a→b,b→c弧,就有a→c弧。∴R为拟序关系。■ 1 1 2 3 4 例7: 实数集R上的“≥”关系S是偏序关系。 S={a,b|a≥b,a,b?R}. 证: a)?a?R,∵a≥a,∴a,a?S. S自反。 b) 设a≠b且a,b?S ? a≥b ? b不≥a ?b,a?S ,∴S反对称. c) 设a,b?S 且b,c?S ? a≥b 且b≥c ? a≥c ? a,c?S, ∴S传递. ∴S为偏序关系。■ 又∵?a,b?R，都有a≥b或b≥a，∴S也是全序关系。 考虑:实数集R上的“”关系,是否是偏序关系？ 定义2.5.8: A具有偏序关系≤，称A为偏序集