第二章关系解析.pptVIP

相容关系 相容关系是另一种常见关系， 如朋友关系、 同学关系等。这些关系的共性是自反的、对称的。 定义:给定集合X上的关系r,若r是自反的、对称的, 则r是A上相容关系。 例如：设X＝{2166,243,375,648,455},关系R为元素间有相同的数字，在此情况下R满足自反性和对称性，故R是相容关系。 极大相容性分块 定义：设有集合X上的相容关系R，设A是X的子集，如A中任何元素都互为相容，且X-A中的任何元素没有一个与A中的所有元素相容的，则称A是X的极大相容性分块。 从简化图找最大相容类：----找最大完全多边形。 最大完全多边形：含有结点最多的多边形中，每个结点都与其它结点相联结。 完全覆盖 定义：设有X上的相容关系R，它的极大相容性分块的集合称为X的完全覆盖。 如上图中的完全覆盖为{{1,4,5},{1,2,4}{1,3,5}} 1 5 4 3 2 2 4 1 3 5 等价关系 等价关系是很重要的关系，它是我们遇到最多的 关系，例如，数值相等关系=、命题间的等价关系? 、三角形相似∽和全等关系≌，….. 一.等价关系 定义:设R是A上关系,若R是自反的、对称的和传递的，则称R是A中的等价关系。若a,b?A，且aRb，则称a与b等价。 等价关系 例：集合A={1,2,3,4,5,6,7}, 关系R是A上的模3同余关系，即 R={(x,y)|x-y可被3整除(或x/3与y/3的余数相同)} 即(x,y)∈R? x(mod 3)=y(mod3) 例如 4(mod 3)=7(mod3)，3(mod 3)=6(mod3) R={(1,1),(1,4),(1,7),(2,2),(2,5),(3,3),(3,6), (4,1),(4,4),(4,7),(5,2),(5,5)(6,3),(6,6), (7,1), (7,4),(7,7)} 等价关系 2。 5。 1。 4。 7。 3。 6。 上述等价关系R的有向图是由三个独立的完全图构成 等价类 我们经常用等价关系对集合进行划分，得到的划分块称之为等价类。 定义：R是A上的等价关系，a∈A,由a确定的集[a]R: [a]R={x|x∈A,(a,x)∈R}表示与a等价的所有元素构成的集合，称集合[a]R为由a形成的R等价类。简称a等价类。 可见 x∈[a]R ?(a,x)∈R 等价类 上例，A={1,2,3,4,5,6,7}, R是A上的模3同余关系， [1]R={1,4,7}= [4]R = [7]R ----余数为1的等价类 [2]R={2,5}= [5]R ----余数为2的等价类 [3]R={3,6}= [6]R ----余数为0的等价类 集合A用模3同余关系R划分，得到三个等价类，所以 {{1,4,7},{2,5},{3,6}}={[1]R,[2]R,[3]R} 等价类 定义：R是A上等价关系，由R所有等价类构成的集合 称之为A关于R的商集。记作A/R。即 A/R={[a]R |a∈A} 如{{1,4,7},{2,5},{3,6}}={[1]R,[2]R,[3]R}--商集 性质1：集合A上的等价关系R，决定了A的一个划 分，该划分就是商集A/R. 性质2：集合X的一个划分可以确定X上的一个等价 关系。 关系的运算 逆关系(反关系)也是我们经常遇到的概念，例如≤与≥就是互为逆关系。 1.定义 R是从A到B的关系，如果将R中的所有序偶的 两个元素的位置互换，得到一个从B到A的关系， 称之为R的逆关系，记作R。 R={(y,x)|(x,y)?R} (y,x)∈R ?(x,y)?R 关系的运算 2.计算方法 R={(1,2),(2,3),(3,4),(4,5)} R={(2,1),(3,2),(4,3),(5,4)} R的有向图： 是将R的有向图的所有边的方向颠倒一下即可。 R的矩阵 MR =(MR)T 即为R矩阵的转置。如 1 0 1 0 0 0 0 1 1 0 1 1 MR= 3×4 0 0 0 1 0 1 0 1 1 MR = ～ 4×3 1 0 1 关系的运算 逆关系的性质： 设R，S分别是从X到Y及Y到Z的关系，则有 (1) R=R (2) (R?S)=S ? R 关系的重要性质 本节将研究关系的一些性质，它们在关系的研究 中起着重要的作用。这是本章最重要的一节。 本节中所讨论的关系都是集合A中的关系。 关系的性质主要有： 自反性、反自反性、 对称性、反对称性 传递性。 关系的重要性质