离散数学-集合论.pptVIP

* * * * * * * * * * * * * * * * * 设R是集合A上的关系,如果R不具有某些性质,比如说对称性, 那么可以通过在R中加入最少数量的有序对来扩充R, 使得扩充后的R具有对称性。 这种经过扩充后的R称作R的对称闭包。类似地可以构造R的自反闭包和传递闭包。 * * * * * * 一个著名的算法就是沃舍尔算法. * * * * * 前面讨论了关系的运算与性质, 通过指定同时具有几个性质的方法,能够确定一种拥有良好性能的关系.这些个关系被人们青睐的有等价关系和偏序关系. 本节只讨论等价关系,偏序关系放到代数结构的格中讨论. * 例如集合A上的恒等关系IA、全域关系EA是等价关系,而整数集合Z上的小于等于关系不是等价关系,因为小于等于关系不满足对称性。 * * * * * 一个通俗的关于划分的例子是切生日蛋糕:切蛋糕是对蛋糕进行划分, 切出的每个块都不是空块,两个不同的切块没有公共部分,所有切块并到一起就是原来的蛋糕. * * * * * * * 采用方法② 依据结合律和A⊕B=φ易证B=C. * 例3.1.6 用方法②证明: A∩(B⊕C)=(A∩B)⊕(A∩C). * * * * * 在计算机科学与技术领域中有着广泛的应用,关系数据库模型就是以关系及其运算作为理论基础的. * * * * * n元关系及其运算构成了关系数据库的理论基础,在实际中有着重要的应用。 * * * * MR= * 由定义知,定义域domR是R中所有有序对的第一元素构成的集合, 值域ranR是R中所有有序对的第二元素构成的集合, fldR是R中有序对涉及的全体元素的集合。 * * * 关系图示法(不是关系图)只适用于含有有限个有序对的关系。 * * * * (在证明过程中的第3步和第4步上运用了量词辖域的扩张与收缩律). * * 由于关系的合成适合结合律,因而可以定义关系的幂运算 * * * 等价关系与划分 例3.2.16.的商集是:A/R={{1,4,7},{2,5},{3,6}}. 如果该例的等价关系是恒等关系或者全域关系,那么相应的 商集是:A/IA={{1},{2},{3},{4},{5},{6},{7}} A/EA={{1,2,3,4,5,6,7}}. 例3.2.17.设R是整数集Z上的模n等价关系,那么根据除以n的余 数分别为0,1,2,…,n-1,将整数集合划分成n个等价 类.n个等价类是:[0]={nk|k∈Z},[1]={nk+1|k∈Z}, …,[n-1]={nk+n-1|k∈Z}. 所有等价类构成的商集是:Z/R={[0],[1],…,[n-1]}. 离散数学-集合论全文共105页，当前为第83页。 * * 例3.2.18.设R是整数集Z上的关系 ?a,b∈Z, 定义aRb?a=b或a=-b R是否是Z上的等价关系？ 自反性显然 由a=b或a=-b?b=a或b=-a知R是对称的 R的传递性,通过a=±b,b=±c?a=±c可证. 等价关系与划分 离散数学-集合论全文共105页，当前为第84页。 * * 3. 集合的划分 定义3.2.17. 设A为非空集合,若A的子集族π(π ? ρ(A)) 足条件:① φ π; ② ?X,?Y(X,Y∈π∧X≠Y→X∩Y=φ); ③ =A. 则称π是A的一个划分,称π中的元素为A的划分块. 例3.2.19.设A={a,b,c,d} 考虑π1={{a,b,c},{d}} π2={{a,b},{c},{d}} π3={{a},{a,b,c,d}} π4={{a},{b}} π5={φ,{a,b},{c,d}} π6={{a,{a}},{b,c,d}} π1,π2是A的划分 离散数学-集合论全文共105页，当前为第85页。 * * 等价关系与划分 根据定理,等价类是集合A的非空子集,因而商集A/R是A的集合族,并且满足:每个等价类都不是空集,不同的等价类不相交, 所有等价类的并集就是集合A. 根据划分的定义,商集A/R就是A的划分,称为由A上的等价关系R导出的A的划分. 给定集合A的划分π,根据如下规则也可以导出A上的一个等价关系R:xRy?x与y在π的同一个划分块中. 如果π={A1,A2,…,Ak}含有k个划分块,那么由π导出的A上的等价关系:R=(A1×A1)∪(A2×A2)∪…∪(Ak×Ak). 反过来,由这个R导出的A的划分就是π. 离散数学-集合论全文共105页，当前为第86页。 * * 等价关系与划分 集合A上的等