ch4-二元关系-3rd-hy.pptVIP

*/45 */45 等价关系与集合的划分 定理：设C是非空集合X的一个划分，则由这个划分所确定的下述关系R 必定是个等价关系，并称R为由C划分导出的X中的等价关系。 证明：要证明R是个等价关系，就必须证明R是自反的、对称的和可传递的。 (a)由于C是X的划分，C必定覆盖X。对任意的，必有x属于C的某一个元素S。所以对于每一个，都有xRx，即R是自反的。 */45 */45 等价关系与集合的划分 证明： （b） 假定xRy。于是存在一个，且和，所以有yRx。因此，R是对称的。 （c）假定xRy和yRz。于是存在两个元素和，且和，所以有。这样就有S1=S2，因此，。从而xRz，所以有R是可传递的。综上，R是个等价关系。证毕。 可以看出，给定集合的一种划分，就可以写出一个等价关系。反过来，集合中的等价关系也能够生成该集合的划分。 */45 */45 等价关系与集合的划分 例：设X={a,b,c,d,e}和C={{a,b},{c},{d,e}}。试写出由划分C导出的X中的等价关系。 解：用R表示这个等价关系，（每一个类做笛卡尔乘积） 注意：集合中的等价关系能够生成该集合的划分，反过来集合中的任何一种划分又能确定一种等价关系。 */45 */45 a b c a b c b a c c a b a c b */45 */45 等价关系与集合的划分 有时，用不同的方法定义的两种等价关系，可能会产生同一个划分。 例如，设集合X={1,2,…,9}，R1和R2是X中的两种关系，并把R1和R2规定成 两者虽然定义不同，但是R1=R2 “划分”的概念和“等价关系”的概念本质上是相同的。 作业 91页28,29,33,36 * 极小项互不相交，并起来等于全集 * 在研究形式语言和编译程序设计时，经常使用星的和加的闭包运算。 * 极小项互不相交，并起来等于全集 */36 第四章 二元关系 */45 */45 回顾 关系的性质 关系的闭包运算 */45 */45 四、关系的闭包运算 定理：设X是集合，R是集合中的二元关系，于是有 证明： */45 */45 四、关系的闭包运算 证明（b）：因为，，而对于所有的有，以及。根据这些关系式，可有 于是 */45 */45 四、关系的闭包运算 证明（c）：如果，则， 根据对称闭包的定义，有。首先构成上式两侧的可传递闭包，再依次构成两侧的对称闭包,可以求得以及。而ts(R)是对称的，所以，从而有。 */45 */45 四、关系的闭包运算 注意： （1）通常用R+表示R的可传递闭包t(R)，并读作“R加”。 （2）通常用R*表示R的自反可传递闭包tr(R)，并读作“R星”。 */45 */45 4.5特殊关系 一、集合的覆盖和划分 定义：给定非空集合S，设非空集合A={A1,A2,…, An}，如果有 则称集合A是集合S的覆盖。 注意：集合的覆盖不唯一。 例如：S={a,b,c}，A ={{a,b},{b,c}}，B={{a},{b,c}}，A和B都是集合S的覆盖。 */45 */45 一、集合的划分和覆盖 定义：给定非空集合S，设非空集合A={A1,A2,…, An}，如果有 则称集合A是集合S的一个划分。 划分是特殊的覆盖。 划分中的元素Ai称为划分的类。 划分的类的数目叫划分的秩。 4.5特殊关系 */45 */45 一、集合的划分和覆盖 例：设S={1,2,3}，考虑下列集合 S的覆盖 S的覆盖 S的覆盖、划分，秩为2 S的覆盖、划分，秩为1，最小划分 S的覆盖、划分，秩为3，最大划分 4.5特殊关系 */45 */45 一、集合的划分和覆盖 定义：设A和A是非空集合S的两种划分，并可以表示成 如果A的每一类Aj，都是A的某一类Ai的子集，那么称划分A是划分A的加细，并称A加细了A。如果A是A的加细并且A≠A，则称A是A的真加细。 4.5特殊关系 */45 */45 极小项、完全交集 例：可以利用三个集合A,B,C对全集E进行如下划分 4.5特殊关系 */45 */45 极小项、完全交集 划分全集E的过程，可看成是在表达全集的文氏图上划出分界线的过程。由A，B和C生成的E的划分的类，称为极小项或完全交集。 n个子集生成2n个极小项，用表示。 4.5特殊关系 */45 */45 一、集合的划分和覆盖 定理： 由全集的n个子集A1,A2,…, An所生成的全部极小项集合，能够构成全集E的一个划分。 证明：证明这个定理，只需证明全集E中的每一个元素，都仅属于一个完全交集就够了。 如果，则，或，或；…； 或。由此可见，定有 这里或是Ai或是～ Ai 。试考察两个不同的完全交集T。因为两个完全交集是不同的，就是说存在这样一个i，使得和，因此可有，即；因而任何一个都不能同