第3篇二元关系ch6二元关系ch7特殊关系研究.ppt

定理7-1.2 设R为集合A上的等价关系， 那么R决定了A的一个划分，并且R对应的A划分是 {[x]R ?x?A}。 ? 证明思路：先做A的元素a的R等价类：[a]R，所有这样的等价类构成集合A的R商集A/R。 再用3步证：A/R确实是A的一个划分。 第一步：证所有等价类之并=集合A 第一步：集合A的每一个元素确实属于一个分块等价类 第一步：用反证法证明每一个元素只属于一个分块等价类。 ? 定理7-1.3 集合A的一个划分π确定 A的元素间的一个（元素在同一分块内）等价关系。 ? 证明思路：设集合A有一个划分S={S1,S2,…,Sm}，现定义一个关系R，a,b?R当且仅当a,b在同一分块中。可以证明，这样规定的关系R是一个等价关系。 用3步证明“自反性”、“对称性”和“传递性”。 ? 如何寻求构造一种“已知集合的一个划分，做出一个等价关系”的方法。 * 第 三 篇 第 6 章 二 元 关 系 第6章 二元关系 6-1 关系及其表示 6-2 关系的运算 6-3 关系的性质 6-4 关系的闭包运算 6-1 二元关系及其表示法 定义6-1.1 任一序偶的集合确定一个二元关系R，R中的任一序偶x,y可记为x,y∈R，或xRy。不在R中序偶x,y记为x,y?R，或xRy。 定义6-1.2 R为一个二元关系， 由x,y∈R的所有x组成的集合domR称为R的前域，即 domR =｛x| (?y)(x,y∈R)｝ 由x,y∈R的所有y组成的集合ranR称为R的值域，即 ranR =｛ y | (?x)(x,y∈R)｝ R的前域和值域一起称作R的域，记为FLDR，即 FLDR= domR ? ranR 。 6.2.1 关系的运算 定义6-2.3 令A和B是任意两个集合，直积A?B的子集 R称为X到Y的二元关系。 ? x1 ? ? ? ? x2 x3 x4 x5 y1 y2 y3 y4 y5 y6 ? ? ? ? ? ? A B R domR ranR 几个特殊的二元关系 domR ? A ranR ? B FLDR= domR ? ranR ? A?B ? ? A?B, 称?为A到B的空关系。 A?B ? A?B ，称A?B 为A到B的全关系。 IA=｛x,x|x?A｝,称为A上相等关系。(定义8-1 .4) 定理6-2.1 若Z和S是从集合X到集合Y的两个关系，则Z、S的并、交、补、差仍是从集合X到集合Y的关系。 ?证明思路：根据“关系是直积的子集”立即可得。 ? 有限集合上的二元关系的矩阵表示： 设给定两个有限集合X=｛x1, x2 ，… , xm｝, Y =｛y1, y2 ，… , yn｝ 。R为从X到Y的一个二元关系。则对应于关系R有一个矩阵MR=[rij]m×n,其中 1 当 xi, yj ?R rij = 0 当 xi, yj ?R (i=1,2,…,m; j=1,2,…,n) ? x1 ? ? ? ? x2 x3 x4 x5 y1 y2 y3 y4 y5 y6 ? ? ? ? ? ? X Y R 有限集合上的二元关系的图形表示： 设给定两个有限集合X=｛x1, x2 ，… , xm｝, Y =｛y1, y2 ，… , yn｝ 。R为从X到Y的一个二元关系。分别用m个结点表示x1, x2 ，… , xm ，用n个结点表示y1, y2 ，… , yn 。如果 xi, yj ?R，则自结点xi向结点yj做一有向弧，箭头指向yj ；如果 xi, yj ?R，则自结点xi到结点yj之间不做有向弧。 如果R与S有相同的前域和陪域，并且 ?x?y(xRy?xSy) 则称关系R和S相等， 6-2.2 复合关系和逆关系 定义6-2.1 设R为X到Y的二元关系，S为Y到Z的