南京大学：《离散数学》课程教学资源（PPT课件讲稿）集合论——关系及其运算（集合的运算）

关系及其运算 离散数学一集合论 ●●●●● 南京大学计算机科学与技术系8°

关系及其运算 离散数学－集合论 南京大学计算机科学与技术系

回顾 ●集合的基本概念 ●集合及其描述 ●集合相等、子集关系 ●幂集、笛卡尔乘积 ●集合运算 ●交并补、广义交、广义并 ●集合恒等式 ●集合相关命题的证明方式

回顾 ⚫ 集合的基本概念 ⚫ 集合及其描述 ⚫ 集合相等、子集关系 ⚫ 幂集、笛卡尔乘积 ⚫ 集合运算 ⚫ 交并补、广义交、广义并 ⚫ 集合恒等式 ⚫ 集合相关命题的证明方式

提要 ●关系的定义 ●关系的表示 ●关系的运算 ●0-1矩阵运算 ●关系的性质

提要 ⚫ 关系的定义 ⚫ 关系的表示 ⚫ 关系的运算 ⚫ 0-1矩阵运算 ⚫ 关系的性质

有序对( Ordered pair) (a,b)是集合{a},{a,b}的简写 ●次序的体现 (xy)=(ly)ifx=且y=v 若{x},{xy}={l},txy},则{x}={l}或{x}={ly},因此x=l 假设y≠ (1)若xy左边={{x},而wx:右边共{x}; (2)若x,则必有{xy}={u,v},但y既非n,又非,矛盾

有序对（Ordered pair） ⚫ (a, b)是集合{{a}, {a, b}}的简写 ⚫ 次序的体现 ⚫ (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 produc 对任意集合A,B 笛卡尔积AxB={(anb)a∈A,b∈B} 例:{1,2,3}×{a,b}={(1,a),(3,a),(3,a), (1,b),(2,b),(3,b) 若A,B是有限集合,MxB|=×B

笛卡尔乘积（Cartesian Product） ⚫ 对任意集合A, B 笛卡尔积 AB = {(a, b)|aA, bB} ⚫ 例：{1,2,3}{a,b} = {(1, a), (3, a) , (3, a), (1, b), (2, b) , (3, b) } ⚫ 若A，B是有限集合， |AB|= |A||B|