离散数学第四章二元关系和函数知识点的总结.docVIP

集合论部分 第四章、二元关系和函数 集合的笛卡儿积与二元关系有序对 定义 由两个客体 x 和 y，按照一定的顺序组成的 二元组称为有序对，记作 x, y 实例：点的直角坐标 (3, 4) 有序对性质 有序性 x y y,x （当 x y 时） , x,y 与 u,v 相等的充分必要条件是 x,y u,v x=uy=v = 例1 2, x +5 = 3 y 4, y ，求 x, y . 解 3 y 4=2, x+5 = y y = 2, x = 3 定义 一个有序 n ( n 3) 元组 x1 x2 , , xn 是一个 , 有序对，其中第一个元素是一个有序 n-1 元组，即 x1 x2 , , xn = x1 , x2 , , xn-1 , xn , 当 n =1 时 , x 形式上可以看成有序 1 元组 . 实例 n 维向量是有序 n 元组 . 笛卡儿积及其性质 定义 设 A B为集合，A 与 B 的笛卡儿积记作 A B，即 A B x y , ={, | x Ay B } 例 2 A B a b c } ={1,2,3}, ={ , , A B ={1, a b c ,2, a b c , ,1, ,1, ,2, ,2, 3, a b c } ,3, ,3, A ={ a,1, b,1, c,1, a,2, b,2, c,2, a,3, b,3, c,3} A={ }, P( A) A={ , , { }, } 性质： 不适合交换律 A B B A ( A B A , B ) , 不适合结合律 ( A B C A ( B C ( A , B ) ) ) 对于并或交运算满足分配律 A ( B C A B ( A C )=( ) ) ( B C A B A ( C A ) =( ) ) A ( B C A B ( A C )=( ) ) ( B C A B A ( C A ) =( ) ) 若 A 或 B 中有一个为空集，则 A B 就是空集 . A = B = A m B n , 则 | A B mn 若| |= , | |= |= 证明 A ( B C A B ( A C )=( ) ) 证 任取 x, y x, y∈ A× ( B∪C) x∈A∧y∈ B∪ C x∈A∧( y∈B∨y∈C) ( x∈ A∧y∈B) ∨( x∈ A∧ y∈ C) x, y∈A×B∨x, y∈A×C x, y∈( A×B) ∪ ( A×C) 所以有 A×( B∪C) = ( A×B) ∪( A×C). 例3 (1) 证明 A B C D ACBD = = = A C=B D是否推出 A=B C=D 为什么解 (1) 任取 x, y  x, y  A C  x A  y C x B  y D  x, y  B D 不一定 . 反例如下： A={1} ， B={2}, C=D= , 则 A C=B D 但是 A B. 二元关系的定义 定义 设 A, B 为集合 , A×B 的任何子集所定义的二元 关系叫做从 A 到 B 的二元关系 , 当 A B时则叫做 A上 = 的二元关系 . 例 4 A={0,1}, B={1,2,3}, R1={0,2},R2 =A×B, R3= , R4 ={0,1}. 那 么 R1, R2, R3, R4是从 A 到 B 的二元关系 , R3 和 R4 同时也是 A 上的二元关系 . 计数 | A|= n, | A× A|= n2,  A× A 的子集有  个 .  所以  A 上有 个不同的二元关系  . 例如 | A|=3, 则 A 上有 =512 个不同的二元关系 . 设 A 为任意集合， 是 A 上的关系，称为空关系 EA, I A 分别称为全域关系与恒等关系，定义如下： EA={x, y| x∈ A∧ y∈ A}= A× A I A={x, x| x∈ A} 例如 , A={1,2}, 则 EA={1,1,1,2,2,1,2,2} I A={1,1,2,2} 小于等于关系  LA,  整除关系  DA,  包含关系  R 定义： L A={x, y| x, y∈ A∧ x≤  y},  A R，R 为实数集合 D B={x, y| x, y∈ B∧ x  整除  y}, B Z*, Z* 为非 0 整数集 R ={ x, y| x, y∈A∧x y }, A 是集合族 . 类似的还可以定义大于等于关系 , 小于关系 , 大于关系 , 真包含关系等等 . 例如 A = {1, 2, 3}, B a , b }, 则 ={ LA={1,1,1,2,1,3,2,2