关系及其运算-南京大学计算机系.PDFVIP

关系及其运算 离散数学－集合论 南京大学计算机科学与技术系 回顾  集合的基本概念  集合及其描述  集合相等、子集关系  幂集、笛卡尔乘积  集合运算  交并补、广义交、广义并  集合恒等式  集合相关命题的证明方式 提要  关系的定义  关系的表示  关系的运算  0-1矩阵运算  关系的性质 有序对（Ordered pair）  (a, b)是集合{{a}, {a, b}}的简写 【Kuratowski 1921】  次序的体现  (x ,y )=(u,v) iff x=u 且y =v 若{{x },{x,y }}={{u},{u,v}}，则{x }={u}或{x }= {u,v}, 因此x=u 。 假设y v (1) 若x=y , 左边={{x }}, 而vx, 右边{{x }}; (2) 若xy ,则必有{x ,y }= {u,v}, 但y 既非u,又非v, 矛盾。 笛卡尔乘积（Cartesian Product）  对任意集合A , B 笛卡尔积A B = {(a, b)|a A , b B }  例：{1,2,3}{a,b} = {(1, a), (2, a) , (3, a), (1, b), (2, b) , (3, b) }  若A ，B是有限集合，|A B |= |A ||B | 例题  A={1,2}, (A) ×A=?  |A |=m, |B |=n, |A ×B |=? 笛卡尔乘积若干命题 （二元）关系的定义  若A, B是集合,从A到B的一个关系是AB的一 个子集.  集合, 可以是空集  集合的元素是有序对  关系意味着什么？  两类对象之间建立起来的联系！ 从A到B的二元关系  笛卡尔乘积的子集  “从A 到B 的关系”R ；RA B  若A=B ：称为“集合A 上的（二元）关系”  例子  常用的数学关系：不大于、整除、集合包含等  网页链接、文章引用、相互认识 特殊的二元关系  集合A上的空关系: 空关系即空集  全域关系EA : EA ={ (x , y ) | x , yA }  恒等关系IA : IA ={(x , x) | x A } 函数是一种特殊的关系  函数f : A B  R={ (x ,f (x)) | x A }是一个从A 到B 的一个关系 关系的表示 假设A={a,b,c,d}, B={α,β,γ} // 假设为有限集合  集合表示: R ={(a, β), (b, α), (c, α),(c, γ)} 1 0-1矩阵 有向图 a     a 0 1 0 b   b 1 0 0   c c 1 0 1  d 0 0 0  d   