Chapter3Part2(关系与函数).pptVIP

离散数学（关系和函数篇） Discrete Mathematics （Relations and Functions） 关系和函数 在当今世界里，不论在社会科学，还是在自然科学中，或者在人们日常生活中，关系无处不在，无处不有．因此，研究关系是十分必要的．关系在集合论中给出简明形式化定义，并且取得一些重要结果．函数是一种特殊二元关系，在集合论中也给出一个精确而又非常一般的定义以及相关的定理．本章主要讨论二元关系理论，至于多元关系理论也可以在二元关系理论中加以构造．因此，在构造中常常省略“二元”二字． 3.3 直乘积与二元关系 1. 有序对 如果有两个x,y, 而且x在前y在后, 这种集合称为有序对, 与以前定义过的偶集二元集不同, 它的元有确定的次序, 记作x,y.如何利用已有的集合例如单元集和二元集来定义有序对呢？这里给出的是已为公认的由波兰数学家库亚托夫斯基(K.Kuratowski)首先提出的定义. 定义3.3.1 x,y:={{x}, {x,y}} 通常称x为有序对x,y的前驱或第一个成员, y为有序对x,y的后继或第二个成员. 下面定理提供了判断两个有序对相等的依据． 3.3 直乘积与二元关系 定理3.3.1 x,y=u,v ? x=u∧y=v 证明 必要性: 显然成立. 充分性: 设x,y=u,v, 则有 {{x},{x,y}}={{u},{u,v}} 按集合相等的定义, 它们应该是具有相同的元,故或者是① {x}={u}且{x,y}={u,v}, 或者是②{x}={u,v}且{x,y}={u}. 由①得到x=u, y=v. ②则给出x=u=v且x=y=u, 所以都是x=u, y=v. 3.3 直乘积与二元关系 定理3.3.2 x?A∧y?B?x,y?PP(A∪B) 证明 设x?A且y?B, 则 ①x?A∪B, 故{x}?A∪B, 也即{x}?P(A∪B) ②y?A∪B, 而{x,y}?A∪B, 即{x,y}?P(A∪B) 从①、②得知, {{x},{x,y}}?P(A∪B), 于是 {{x},{x,y}}?PP(A∪B) 即 x,y?PP(A∪B) 3.3 直乘积与二元关系 定理3.3.3 ①∪x,y={x,y} ②∪∪A,B=A∪B ③∩x,y={x} ④∩∩A,B=A ⑤∪∩A,B=A ⑥∩∪A,B=A∩B 3.3 直乘积与二元关系 证明 只证①、③和⑥. ① ∪x,y= ∪{{x},{x,y}}={x}∪{x,y}={x,y} ③ ∩x,y= ∩{{x},{x,y}}={x}∩{x,y}={x} ⑥ ∩∪A,B = ∩∪{{A},{A,B}} = ({A}∪{A,B}) = ∩{A,B} =A∩B. 3.3 直乘积与二元关系 定义3.3.2 x:=x, 且对任意n??, n≥1时, x1, x2, …, xn, xn+1:= x1, x2, …, xn, xn+1. 定理3.3.4 对任意n??, 有x0, x1, …, xn= y0, y1, …, yn?x0=y0∧x1=y1∧ …∧xn=yn. 3.3 直乘积与二元关系 证明 引用?的归纳原理, n=0时, x0=x0 y0=y0, 故x0=y0?x0=y0, 设n=k时成止, 即x0, x1, …, xk:= y0, y1, …, yk, 欲证n=k+1时成立.设x0, x1, …, xk+1= y0, y1, …, yk+1, 即有x0, x1, …, xk, xk+1 = y0, y1, …, yk, yk+1, 于是从定理4.1.1得知, x0, x1, …, xk= y0, y1, …, yk且xk+1= yk+1, 故当n=k时有, x0=y0, x1=y1, …,xk=yk 因此, x0=y0 ∧ x1=y1 ∧ … ∧ xn=yn. 3.3 直乘积与二元关系 对于任意给定的集合R和C, 利用偶集合、幂集公理可知, PP(B∪C)是一个集合, 再从子集公理模式(?D)(?x)(y∈D?x∈A∧?(x))中, 取A=PP(B∪C), ?(x)=(?y)(?z)(y∈B∧z∈C∧x=y,z), 便可得D= {x| (?y)(?z)(y∈B∧z∈C∧x=y,z)}, 即D={y,z| y∈B∧z∈C}, 并且{y,z| y∈B∧z∈C}?