离散数学期末复习大纲.ppt

一、关系的概念 1、关系的定义 集合A到B的二元关系定义：设A，B为集合， AxB的任何子集所确定的二元关系叫做从A到B的二元关系 当A＝B时则叫做A上的二元关系 2、关系的表示 1）集合表示 R={x，y| P(x,y) } 2）关系矩阵表示：有穷集合A上的二元关系可用布尔矩阵表示 3）关系图GR表示： 以A中的元素为结点，若 xi,xj ∈ R，则从到画一条有向弧 3、关系的运算 1）关系的一般集合的运算：并、交、相对补、补及对称差 2）关系的逆运算 R-1 ＝ ｛x，y | ?y，x∈R ｝ 3） 关系的复合运算 1）定义：设F，G为二元关系，G对F的右复合记作F o G ， F o G ＝｛ x，y | ? t (x，t∈F ∧ t，y∈G ) 4）关系的幂运算 定义：设R为A上的关系，n为自然数，则R的n次幂定义为： (1) R0 ＝{ x，y | x∈A } = IA (2) Rn+1 ＝R n o R 即对于A上的任何关系Rl和R2都有 R10 ＝ R20 ＝IA 性质: (类似于数的幂运算性质) Rm o Rn = Rm+n ( Rm ) n = Rmn 4、关系的性质 关系的性质主要有以下五种：自反性，反自反性，对称性，反对称性和传递性． (1) 若 ?x( x∈A → x，x∈R)，则称R在A上是自反的． 具有自反性的关系矩阵的特征是：主对角线上元素均为1 具有自反性的关系图的特征是：每个结点均有环 (2) 若?x ( x∈A → ┓x，x∈R) ，则称R在A上是反自反的 具有反自反性的关系矩阵的特征是：主对角线上元素均为0 具有自反性的关系图的特征是：每个结点均没有环 （3）若 ?x ?y（x，y ∈A ∧ x，y∈R → y，x∈R） 则称R为A上的对称的关系． 具有对称性的关系矩阵的特征是：是对称矩阵 具有对称性的关系图的特征是：两个互异结点之间有弧必有方向相反的两条 （4）若 ?x ?y（x，y ∈A ∧ x，y∈R ∧ y，x∈R → x = y） 则称R为A上的反对称的关系． 具有反对称性的关系矩阵的特征是：是非对称矩阵 具有反对称性的关系图的特征是：两个互异结点之间有弧仅有一条 （5）若?x?y?z(x，y，z∈A ∧x，y∈R ∧y，z∈R → x，z∈R )， 则称 R为A上传递的关系。 以上性质的定义中均使用了条件语句，当前件为假时，该语句为真。故当关系R不满足某个性质定义前件时，就可以确定R满足该性质。 二、等价关系与划分 1、等价关系定义：设R为非空集合上的关系． 如果R是自反的、对称的和传递的，则称R为A上的等价关系。 设R是一个等价关系，若x，y ∈R，称x等价于y，记作x ～y 注：1）R是等价关系必须同时满足三个性质 2)R是等价关系的矩阵特征和图特征 2、典型例子：定义整数集上的关系R： R＝｛x，y | x，y∈A ∧ x ≡ y(mod 5) ｝ 其中x ≡ y(mod 5) 叫做x与y模5相等，即x除以5的余数与y除以5的余数相等． 3、等价类 1)等价类定义：设R为非空集合A上的等价关系，?x∈A，令 [x ]R ＝ ｛ y | y ∈A ∧ x R y 或 x,y ∈R ｝ 称[x]R为x关于R的等价类，简称为x的等价类，简记为[x]R 注：[x]R是由A中有与x有关系R 的元素组成 （A中所有与x等价的元素构成的集合）即所有与x 成为序对的成员构成。 等价类的代表[x]R可以是该集合内的任何元素 4、等价类的性质 设R为非空集合A上的等价关系，则 1 ?x∈A，[x] R ≠ ? 是A的非空子集 2 ?x，y∈A，如果 xRy ，则 ［ x ]R ＝ [ y ]R 3 ?x，y∈A，如果x与y不具有关系R，则[x] R ∩[y] R = ? 4 ∪｛ [x]R | x ∈A｝= A． 三个定义等价： xRy ? ［ x ]R ＝ [ y ]R ? [x]∩[y]≠ ? 问题：同一集合上的等价关系的并及交是否还是等价关系？ 5、商集 1）商集定义：设R为非空