第4章 关系.docxVIP

第四章 关系2§4.1 关系及其运算2§4.2 关系的有关性质3§4.3 关系的闭包运算4§4.4 等价关系和相容关系5§4.4.1 集合的覆盖与划分5§4.4.2 等价关系5§4.4.3 相容关系5§4.5 偏序关系6第四章 关系§4.1 关系及其运算关系定义4.1.1 对于集合A、B，直积AB的每一个子集称为A到B的一个二元关系（简称关系）。R是A到B的一个关系，即RAB，如果（a，b）R，则称a与b有关系R，记为：aRb。={（x，y）|x，y均为实数且xy}。定义4.1.2 设S是从集合A到集合B的一个关系则：S的前域（定义域）：D(S)=｛x|xA，yB，y使（x，y）S｝。S的后域（值域） ：R(S)=｛y|xA，yB，x使（x，y）S｝。定义4.1.3 集合A上的恒等关系： =｛（a，a）|aA｝关系的表格表示法设A=｛a，b，c，d｝，B=｛，，｝，且R=｛（a，），（b，），（c，），（c，），（d，）｝则R的表格表示为：abcd 关系的矩阵表示法R的矩阵表示为： 关系图cbda关系的运算定义4.1.4 关系的交、并、补运算（其实就是集合的交、并、补运算）：a()b(ab)a()b(ab)aba与b之间没有关系S符合关系与逆关系定义4.1.5 设R是从X到Y的一个关系，S是从Y到Z的一个关系，则R、S的复合关系 RS=｛（x，z）|xX，zZ，y，yY使（x，y）R且（y，z）S｝例9 设R=｛（1，2），（3，4），（2，2｝，S=｛（4，2），（2，5），（3，1）｝ 求RS，SR，(RS)R，R(SR)注：复合运算一般不满足交换率。=RR…R定理4.1.1 设A=｛｝，B=｛｝，C=｛｝，是A到B的关系矩阵，是从B到C的关系矩阵，则=，其中= （i=1，2，…，m；j=1，2，…，r）“∨”表示布尔加：1∨1＝1，1∨0＝1，0∨1＝1，0∨0＝0。“∧”表示布尔乘：1∧1＝1，1∧0＝0，0∧1＝0，0∧0＝0。例10 （P78）定义4.1.6 从X到Y的关系R的逆关系： ==｛（y，x）|（x，y）R｝定理4.1.2 逆关系性质：=R===（）=BA=如果，则§4.2 关系的有关性质自反性定义4.2.1 设R是A中的一个关系，如果aA，都有（a，a）R，则称R是自反的。反自反性定义4.2.2 设R是A中的一个关系，如果aA，都有（a，a）R，则称R是反自反的。对称性定义4.2.3 设R是A中的一个关系，如果（a，b）R，必有（b，a）R，则称R是对称的。反对称性定义4.2.4 设R是A中的一个关系，如果（a，b）R，且（b，a）R，必有a=b，则称R是反对称的。传递性定义4.2.5 设R是A中的一个关系，如果（a，b）R，且（b，c）R，必有（a，c）R，则称R是传递的。一些性质的特征：R是自反的，当且仅当其关系矩阵的主对角线上的元素都为1，在关系图上每一个顶点都有环。R是对称的，当且仅当关系矩阵是对称的，关系图上的有向线段是成对出现。R是反自反的，当且仅当关系矩阵主对角线上的元素都为0，关系图上每一点都没有环。R是反对称的，当且仅当对称位置上的元素不能同时为1，关系图上的每一条有向线段不能成对出现。R是传递的，当且仅当关系图上任意不同两点如果存在一条有向路，则一定存在一条有向弧。§4.3 关系的闭包运算若P关系的一个性质，关系R的闭包是最小关系，使得R且具有性质P。定义4.3.1 设R是A上的一个关系，如果有关系满足：是自反的（对称的、传递的）；R；对于如何自反关系（对称关系、传递关系），如果R，都有则称是R的自反（对称、传递）闭包，记作r(R)，（s(R)、t(R)）。定理4.3.1 设R是A上的一个关系，那么R是自反的，当且仅当r(R)=R；R是对称的，当且仅当s(R)=R；R是自反的，当且仅当t(R)=R；定理4.3.2 如果R是A上的一个关系，那么 r(R)=R。定理4.3.3 如果R是A上的一个关系，那么 s(R)=R。定理4.3.4 如果R是A上的一个关系，那么 t(R)=通常将 记为。定理4.3.5 设A含有n个元素，R是A上的一个关系，则存在正整数kn，使得 ，t(R)=R。例1 设A=｛a，b，c，d｝，R=｛（a，b），（b，a），（b，c），（c，d）｝，求r(R)，s(R)、t(R)。§4.4 等价关系和相容关系§4.4.1 集合的覆盖与划分定义4.4.1 给定集合S，而非空集合A=｛｝，若，（i=1，2，…，m）且=S，则称集合A是的覆盖。且如果=（i），则称A是S的划分。§4.4.2 等价关系 定义4.4.2 设R是X中的一个关系，如果R是自反的、对称的、传递的，则称其是等价关系。例5 设I是整数集，R=｛（x，y）|x