关系的性质离散数学
合集下载
离散数学第二章关系
例9 .设A={1,2,3,4} ，B={2,4,6,8,10} 。 R={(1,2),(2,4),(3,6)}。
则 (R) = {1,2,3}A ， (R) = {2,4,6}B 。
二.关系的一些关联性质 17
离散数学
定理1. 设R1,R2 A×B是两个关系。若 R1 R2 ，则
(1)保序性： (R1) (R2) ； (2)保序性： (R1) (R2) ；
注：笛卡尔(1596-1650 )，法国数学家， 1637年发表《方法论》之 一《几何学》，首次提出坐标及变量概念。这里是其概念的推广。
定义2. • 二个集合A，B的(二维或二重)叉积定义为 A×B ={(a, b): a A bB} ； •其元素——二元组(a, b)通常称为序偶或偶对(ordered
故 (R1)∩ (R2) = {1,2 }
21
离散数学
所以 (R1)∩ (R2) (R1 ∩ R2) 。
元素aA和集合A1A在关系R A×B下的关联集 (1)a的R-关联集(R-relative set of a)：
R(a)={b : bBaRb }B ；
(2) A1的R-关联集(R-relative set of A1)： R(A1)={b : bB (aA1)(aRb) }B 。
•当A=B时，即RA×A，则称R是A上的一个二元关 系。
例1 . 设A是西安交通大学全体同学组成的集合。 11
离散数学
R={(a,b) : aAbAa与b是同乡}A×A 于是，R是西安交通大学同学之间的同乡关系。
例2 . 设A是某一大家庭。
R1 = {(a,b) : aAbAa是b的父亲或母亲}A×A R2 = {(a,b) : aAbAa是b的哥哥或姐姐}A×A R3 = {(a,b) : aAbAa是b的丈夫或妻子}A×A 于是，
离散数学中的逻辑关系及其应用
离散数学中的逻辑关系及其应用离散数学是数学的一个分支，主要研究离散的结构及其上的操作。
逻辑关系是离散数学中的一个重要概念，它在数学、计算机科学等领域都有广泛应用。
本文将介绍离散数学中的逻辑关系及其应用。
1. 逻辑关系的定义及性质离散数学中的逻辑关系是指一种二元关系，即对于某个集合中的两个元素，这两个元素之间有一种特定的关系。
在逻辑中，这个关系通常表示为“P → Q”，其中P和Q是两个命题，表示“如果P成立，则Q也成立”的关系。
逻辑关系有以下几种性质：（1）自反性：对于任意元素a，a与自己之间存在关系。
（2）对称性：对于任意元素a和b，如果a与b之间存在关系，那么b与a之间也存在关系。
（3）传递性：对于任意元素a、b和c，如果a与b之间存在关系，b与c之间也存在关系，那么a与c之间也存在关系。
2. 逻辑关系的应用（1）逻辑门电路逻辑门电路是计算机硬件的基本组成部分，它们的功能是根据输入的命题逻辑值计算出输出的命题逻辑值。
逻辑门电路包括与门、或门及非门等，它们之间的逻辑关系可以用逻辑代数中的公式来表示。
（2）判断与证明逻辑关系在数学证明中有广泛应用，可以用来判断某些语句、假设或结论是否成立。
常见的逻辑关系有蕴含关系、等价关系和充分必要条件等，它们在判断和证明中有重要作用。
（3）数据结构逻辑关系在数据结构中也有着广泛的应用。
例如在二叉树中，每个节点有两个子节点，子节点之间存在着父子关系。
在图论中，节点之间则存在着边的关系。
这些关系可以使用逻辑关系来描述和分析。
3. 总结逻辑关系是离散数学中的重要概念，它无处不在，在数学、计算机科学等领域都有着广泛的应用。
熟练掌握逻辑关系的定义及性质，对于深入理解离散数学和其它相关领域有着重要的意义。
离散数学中的关系
离散数学中的关系
离散数学中的关系指的是集合之间元素的联系或对应关系。
这种关系可以描述为有序对的集合，其中每个有序对都由一对元素组成。
在离散数学中常见的关系包括等价关系、偏序关系、全序关系等。
等价关系是一种自反、对称和传递的关系，即元素之间具有相等的性质。
例如，集合中两个元素的相等关系就是一种等价关系。
偏序关系是一种自反、反对称和传递的关系，即对元素之间存在一种偏序或排序关系。
例如，在集合中，可以通过元素之间的比较来确定它们的顺序关系。
全序关系是一种偏序关系，它不仅是自反、反对称和传递的，还具有完备性，即对于集合中任意两个元素，它们之间必定存在一种顺序关系。
离散数学中还有其他类型的关系，如函数关系、包含关系等。
函数关系是一种特殊的关系，它对于集合中的每个元素，都存在唯一的映射元素。
包含关系则描述了两个集合之间的包含或包含于关系。
通过对这些关系的研究和分析，可以帮助理解和解决离散数学中的问题。
同时，关系的性质和特征也为其他学科如计算机科学、逻辑学等提供了基础。
离散数学28.关系的性质1
例如，集合X上的全域关系EX、 恒等关系IX都不是X上的反 自反关系.
2）若关系R不是反自反的，关系R也不一定是自反的，反之也 成立.
XZ-{0}时，整除关系 R2={<x,y>x,yX∧x整除y}. 都是自反关系.
(3) 数集X上的小于关系 R3= {<x,y>x,yX∧xy}. 不是自反的.
若集合X上的二元关系R是自反的充要条件： • 1） R是自反的恒等关系IX R. • 2） R是自反的关系R的关系矩阵MR的主对角线全是1. • 3） R是自反的关系R的关系图中每个结点都有上的二元关系,如果对于每 个x∈X，有<x,x>R，则称二元关系R是反自反的.
R在X上反自反 (x)(xX <x,x>R ). 例如，数集X上的小于关系 R3={<x,y>x,yX∧xy} 空关系 ，均为反自反关系.
若集合X上的二元关系R是反自反的充要条件： • 1） R是反自反的恒等关系IX R= . • 2） R是反自反的关系R的关系矩阵MR的主对角线全是0. • 3） R是反自反的关系R的关系图中每个结点都没有自回路.
设 X={1,2,3}, R1={<1,1>,<2,2>,<3,3>,<1,2>} 是X上的自反关系; R2={<1,3>} 是X上的反自反关系; R3 ={<1,1>,<1,2>,<2,2>,<2,3>} 既不是自反的，也不是反自反的.
注意：
1）一个关系R如果是自反的，一定不是反自反的；如果是反自 反 的，则一定不是自反的.
关系的性质
一、关系的性质
关系的性质主要有5种：自反性、反自反性、对称性、反对 称性、传递性.
2）若关系R不是反自反的，关系R也不一定是自反的，反之也 成立.
XZ-{0}时，整除关系 R2={<x,y>x,yX∧x整除y}. 都是自反关系.
(3) 数集X上的小于关系 R3= {<x,y>x,yX∧xy}. 不是自反的.
若集合X上的二元关系R是自反的充要条件： • 1） R是自反的恒等关系IX R. • 2） R是自反的关系R的关系矩阵MR的主对角线全是1. • 3） R是自反的关系R的关系图中每个结点都有上的二元关系,如果对于每 个x∈X，有<x,x>R，则称二元关系R是反自反的.
R在X上反自反 (x)(xX <x,x>R ). 例如，数集X上的小于关系 R3={<x,y>x,yX∧xy} 空关系 ，均为反自反关系.
若集合X上的二元关系R是反自反的充要条件： • 1） R是反自反的恒等关系IX R= . • 2） R是反自反的关系R的关系矩阵MR的主对角线全是0. • 3） R是反自反的关系R的关系图中每个结点都没有自回路.
设 X={1,2,3}, R1={<1,1>,<2,2>,<3,3>,<1,2>} 是X上的自反关系; R2={<1,3>} 是X上的反自反关系; R3 ={<1,1>,<1,2>,<2,2>,<2,3>} 既不是自反的，也不是反自反的.
注意：
1）一个关系R如果是自反的，一定不是反自反的；如果是反自 反 的，则一定不是自反的.
关系的性质
一、关系的性质
关系的性质主要有5种：自反性、反自反性、对称性、反对 称性、传递性.
关系的性质-集合与关系-离散数学
例如：朋友关系，同学关系，同乡关系，不相等关系() 是对称关系，相等关系(=)？？？ 。
非（不是）对称的 (x) (y) (xA∧yA∧<x,y> R ∧ <y,x> R )
第8 页
对称性的关系矩阵和关系图的特点
定义：R是集合A上的关系，若对任何x, y∈A，若有 <x,y>R，必有<y,x>R ，则称R为A中的对称关系。 R是A上对称的 (x)(y)((xA∧yA∧<x,y>R) <y,x>R) 从关系矩阵看对称性： 以主对角线为对称的矩阵。 从关系有向图看对称性： 在两个不同的结点之间，若 有边的话，则有方向相反的 ？ 1 0 两条边。
第2 页
一、自反性
定义：设R是集合A上的关系，若对于任意x∈A都 有<x,x>∈R (xRx)，则称R是A中的自反关系。即 R是A中自反的(x)(xA<x,x>∈R ) 该定义表明在自反关系 R中，除其他序偶外，必 须包括有全部由每个x ∈A所组成的相同元素的 序偶。 例如：设X={a,b,c}, R1={<a,a>,<b,b>,<c,c>,<a,b>} 是自反关系。 R2={<a,a>,<b,b>,<a,b>} 不是自反关系。 例如：相等关系(=)，小于等于关系()，包含关系() 等是自反关系。 非（不是）自反的 (x)(xA∧<x,x> R )
第7 页
三、对称性
定义：R是集合A上的关系，若对任何x, y∈A，若有 <x,y>R，必有<y,x>R ，则称R为A中的对称关系。 R是A上对称的 (x)(y)((xA∧yA∧<x,y>R) <y,x>R)
非（不是）对称的 (x) (y) (xA∧yA∧<x,y> R ∧ <y,x> R )
第8 页
对称性的关系矩阵和关系图的特点
定义：R是集合A上的关系，若对任何x, y∈A，若有 <x,y>R，必有<y,x>R ，则称R为A中的对称关系。 R是A上对称的 (x)(y)((xA∧yA∧<x,y>R) <y,x>R) 从关系矩阵看对称性： 以主对角线为对称的矩阵。 从关系有向图看对称性： 在两个不同的结点之间，若 有边的话，则有方向相反的 ？ 1 0 两条边。
第2 页
一、自反性
定义：设R是集合A上的关系，若对于任意x∈A都 有<x,x>∈R (xRx)，则称R是A中的自反关系。即 R是A中自反的(x)(xA<x,x>∈R ) 该定义表明在自反关系 R中，除其他序偶外，必 须包括有全部由每个x ∈A所组成的相同元素的 序偶。 例如：设X={a,b,c}, R1={<a,a>,<b,b>,<c,c>,<a,b>} 是自反关系。 R2={<a,a>,<b,b>,<a,b>} 不是自反关系。 例如：相等关系(=)，小于等于关系()，包含关系() 等是自反关系。 非（不是）自反的 (x)(xA∧<x,x> R )
第7 页
三、对称性
定义：R是集合A上的关系，若对任何x, y∈A，若有 <x,y>R，必有<y,x>R ，则称R为A中的对称关系。 R是A上对称的 (x)(y)((xA∧yA∧<x,y>R) <y,x>R)
离散数学 第四章 关系
若ai Rbj 若ai Rbj
矩阵MR 称为R的关系矩阵。
17
第四章 关系
4.1 二元关系
例：设A={1，2，3，4}，A上的关系R={<x,y>|y是x 的整数倍}，故R={<1,1>,<1,2>,<1,3>,<1,4>,<2,2>,<2, 4>,<3,3>,<4,4>}.
1 2 3 4
1 1 2 0 MR 3 0 4 0
2
第四章 关系
4.1 二元关系
4.1.1 基本概念
4.1.2 关系的表示
3
第四章 关系
4.1 二元关系
4.1.1 基本概念 1)定义： A×B的子集叫做A到B上的一个二元关系。 A1×A2×A3的子集叫做A1×A2×A3上的一个三元 关系。 A1×A2×…xAn的子集叫做A1×A2×… × An上的 一个n元关系。 A×A×A ×… × A的子集叫做A上的n元关系。
1 1 0 0
1 0 1 0
1 1 0 1
18
第四章 关系
4.1 二元关系
3.关系图表示法
关系图由结点和边组成
若A= {x1, x2, …, xm}，R是A上的关系，R的关系图是 GR=<A, R>，其中A为结点集，R为边集。如果<xi,xj> R，在图中就有一条从 xi 到 xj 的有向边；如果<xi,xi> R，在图中就有一条从 xi 到 xi 的有向边。
12
第四章 关系
4.1 二元关系 4)关系的个数： 2，A×A的子集有 2 n 个。 假设|A|=n，|A×A|=n 2n 所以 A上有 个不同的二元关系。
离散数学-04-关系的性质
7
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
例2 设A＝{a,b,c}, R1, R2, R3和R4都是A上的关系, 其中 R1＝{<a,a>,<b,b>}， R2＝{<a,a>,<a,b>,<b,a>} R3＝{<a,b>,<a,c>}， R4＝{<a,b>,<b,a>,<a,c>} R1 对称 R2 对称 R3 对称 ？ ？ ？ 反对称 反对称 反对称 ？ ？ ？
12
4.3.1 关系性质的定义和判别
传递性（续）
例3 设A＝{a, b, c}, R1, R2, R3是A上的关系, 其中 R1＝{<a,a>,<b,b>} R2＝{<a,b>,<b,c>} R3＝{<a,c>}
R1 和 R3 是A上的传递关系, R2 不是A上的传递关系.
13
4.3.1 关系性质的定义和判别
R∘RR 对MR2中1所在 位置, MR中相 位置都是1
如果顶点xi到 xj有边, xj到xk 有边,则从xi到 xk也有边
20
主对角 主对角 线元素 线元素 全是1 全是0
每个顶 点都有 环
每个顶 点都没 有环
注意：IA是对称关系也是反对称关系
4.3.1 关系性质的定义和判别
实例
例8 判断下图中关系的性质, 并说明理由
18
4.3.1 关系性质的定义和判别
传递性证明
证明模式 证明 R 在 A上传递 任取<x, y>，<y, z> <x, y>R<y, z>R …..………. <x, z>R 前提 推理过程 结论
4.3.1 关系性质的定义和判别
对称性与反对称性（续）
例2 设A＝{a,b,c}, R1, R2, R3和R4都是A上的关系, 其中 R1＝{<a,a>,<b,b>}， R2＝{<a,a>,<a,b>,<b,a>} R3＝{<a,b>,<a,c>}， R4＝{<a,b>,<b,a>,<a,c>} R1 对称 R2 对称 R3 对称 ？ ？ ？ 反对称 反对称 反对称 ？ ？ ？
12
4.3.1 关系性质的定义和判别
传递性（续）
例3 设A＝{a, b, c}, R1, R2, R3是A上的关系, 其中 R1＝{<a,a>,<b,b>} R2＝{<a,b>,<b,c>} R3＝{<a,c>}
R1 和 R3 是A上的传递关系, R2 不是A上的传递关系.
13
4.3.1 关系性质的定义和判别
R∘RR 对MR2中1所在 位置, MR中相 位置都是1
如果顶点xi到 xj有边, xj到xk 有边,则从xi到 xk也有边
20
主对角 主对角 线元素 线元素 全是1 全是0
每个顶 点都有 环
每个顶 点都没 有环
注意：IA是对称关系也是反对称关系
4.3.1 关系性质的定义和判别
实例
例8 判断下图中关系的性质, 并说明理由
18
4.3.1 关系性质的定义和判别
传递性证明
证明模式 证明 R 在 A上传递 任取<x, y>，<y, z> <x, y>R<y, z>R …..………. <x, z>R 前提 推理过程 结论
离散数学4.3-4
10
结论
R是A上的关系，则： （1）R是自反关系的主要条件是IAA （2）R是反自反关系的主要条件是R∩IA=Ф。
11
(3) 若x y(x,y∈A ∧<x,y> ∈R <y,x> ∈R),则称R 在A上是对称的。 也就是说, 对RAA, 对A中每个x和y, 若xRy, 则yRx, 称 R是对称的, 即
7
例子
例3：N上的互质关系是反自反关系。 证明：x∈N，x与x是不互质的， ∴<x,x>R，∴R具有反自关系。 其他的例实数上的＜，＞关系,人与人的父子 关系,均是反自反关系。
8
关系矩阵的特点
自反关系的关系矩阵的对角元素均为1， 反自反关系的关系矩阵的对角元素均为0。
9
关系图的特点
自反关系的关系图，每个结点均有自回路， 而反自反关系的关系图的每个结点均没有 自回路。
22
说明:
该定义的等价说法： a,b∈A,如a≠b,<a,b>∈R, 则必有<b,a>R。即两个不同点结点间不允许有两 条弧。 该定义的否命题说法并不成立,如 “a≠b,<a,b>R,则<b,a>∈R”并不成立, 即反对称关系的关系图允许两个不同点间没有弧。
23
有些关系既是对称的又是反对称的
设 R 是 A 上的关系，R 的性质主要有以下 5 种 (2) 若x(x ∈A <x,x> ∈R),则称 R 在 A 上是反自反的 也就是说，对RAA，若A中每个x，有xRx，则称R是 反自反的，即 A上关系R是反自反的x(xAxRx) 该定义表明了，一个反自反的关系R中，不应包括有任 何相同元素的有序对。 例如：设A={1,2,3}，R 是 A 上的关系， R={<2,3>,<3,2>} R是反自反的
离散数学-关系-2
3-7 关系的性质
例 设R，S是X上的二元关系，证明 ⑴ 若R,S是自反的，则R∪S和R∩S也是自反的。 ⑵ 若R,S是对称的，则R∪S和R∩S也是对称的。 ⑶ 若R,S是传递的，则R∩S也是传递的。 证明：⑴ 设R,S是自反的,由定理4.3.1知,IX⊆R,IX⊆S,所以 IX⊆R∪S,IX⊆R∩S,再由定理4.3.1知,R∪S和R∩S也是自反的。 ⑵ 设R,S是对称的，由定理4.3.3知，R=RC，S=SC，根据定理4.2.8， R∪S=RC∪SC=(R∪S)C，R∩S=RC∩SC=(R∩S)C,再由定理4.3.3知,R∪S 和R∩S也是对称的。 ⑶ 设R,S是传递的,由定理4.3.5知,R∘R⊆R,S∘S⊆S,据定理4.2.4, (R∩S)∘(R∩S)⊆(R∘R)∩(R∘S)∩(S∘R)∩(S∘S)⊆(R∘R)∩(S∘S)⊆R∩S 即(R∩S)∘(R∩S)⊆R∩S，再由定理4.3.5，R∩S是传递的。
Байду номын сангаас
3-7 关系的性质
设R是X上的反对称关系，由定义4.3.4知，在R的关系矩 阵MR中以主对角线为轴的对称位置上不能同时为1(主对角线 除外)。在R的关系图中每两个不同的结点间不能有方向相反 的两条边。 设X=⎨1,2,3⎬，X上的二元关系 R=⎨<1,2>,<2,3>,<3,3>⎬，R是反对称的。它的关系图如图 4.8所示，关系矩阵如下：
⎛0 ⎜ M R= ⎜ 1 ⎜0 ⎝
1 0 0
0⎞ ⎟ 0⎟ 1⎟ ⎠
3-7 关系的性质
例 设A=⎨1,3,5,7⎬，定义A上的二元关系如下： R=⎨<a,b>|(a－b)/2是整数⎬ 试证明R在A上是自反的和对称的。 证明：∀a∈A，(a-a)/2=0，0是整数，所以 <a,a>∈R。即R是自反的。 ∀a∈A，∀b∈A，<a,b>∈R，(a-b)/2是整数，因为整数的相反数也是 整数，所以(b-a)/2=-(a-b)/2是整数，<b,a>∈R。即R是对称的。 定理3-7.3 设R是X上的二元关系, R是对称的当且仅当R=RC。 证明：设R是对称的，下证R =RC。 <x,y>∈R⇔<y,x>∈R⇔<x,y>∈RC , 所以 R =RC。 设R =RC，下证R是对称的。 <x,y>∈R⇒<y,x>∈RC⇒<y,x>∈R, 所以R是对称的。
离散数学第四章课件
无对称的偶对。
表示关系矩阵的主对角线两侧各有一个1且 对称，即有一个对称的偶对。
C1
n(n＋1) 2
n(n＋1) C 2 n(n＋1) 2
表示关系矩阵的主对角线两侧全为1，
C1 ＋ n(n＋ ＋…＋ 2
n(n＋1) C 2 n(n＋1) 2
于是
C0 n(n＋1) 2 ＝
2
n(n＋1) 2
四、反对称性 ⒈ 定义： 若xy(x∈A∧y∈A∧xRy∧yRx→x=y)， 称R是反对称的。 例：设A={ a , b , c , d } R={ < a , b > , < a , c > , < b , b > , <b,d>,<c,c>,<c,d>, < d , d >}
⒉自反关系的关系矩阵的特征
R的关系矩阵的主对角线上的元素均为
1 ，则该关系就不具有自反性；
主对角线上有一个元素不为1，则该关
系就不具有自反性。
⒊ 自反关系的图的特征 自反关系的关系图中，每个顶点都有 自回路，则该关系具有自反性。
二、反自反性 ⒈ 定义：若x（x∈A xRx）则该关系是 反自反的。 ⒉ 具有反自反性的关系的关系矩阵的主对角
2 t1× t2 × … ×tn
五、关系的表示法-----通常有三种表示方法
⒈ 集合表示法： 因为关系也是集合，所以也可以用集合 的表示方法
例：A={ 2, 3,4,6 ,9,12 }上的整除关系
用特征描述法表示为
R＝{ < x , y > | x∈A ∧ y∈A ∧ x|y }
用穷举法表示为
R={ < 2 , 2 > , < 2 , 4 > , < 2 , 6 > ,
离散数学关系的概念性质及运算
当n=3时，25(mod 3)，57(mod 3)。
例3：设X是一个集合，集合的包含于“”是2X上的二 元关系。
8/25
集合与图论 二元关系到n元关系的推广
定义3 设A1,A2,...,An是n个集合，一个 A1A2...An的子集R称为A1,A2,...,An间的n元关系。
每个Ai称为R的一个域。
23/25
集合与图论 关系幂运算的定义及性质
定理6 设X是一个有限集合且X=n，R为X上的任 一二元关系，则存在非负整数s,t使得0≤s<t≤2n2且Rs=Rt。
定理7 设R是X上的二元关系。如果存在非负整 数s,t，s<t，使得Rs=Rt，则
(1)Rs+k=Rt+k，k为非负整数； (2)Rs+kp+i=Rs+i，其中p=t-s，而k,i为非负整数； (3)令S={R0,R,R2,...,Rt-1}，则对任意的非负的整数 q有RqS。
例15：设R,S是集合X上的两个传递关系，问R∪S 是否是传递关系呢？
17/25
集合与图论
运算与性质的关系
自反性 反自反性 对称性 反对称性 传递性
R11
√
√
√
√
√
R1∩R2 √
√
R1∪R2 √
√
R1R2 ×
√
√
√
√
√ ××
√
√×
R1∘R2 √
×
×
××
18/25
集合与图论 3 关系的合成
定义1 设R是A到B的二元关系，S是B到C的二元 关系。R与S的合成是A到C的一个二元关系，记成RS， 并且
显然：R是传递的，当且仅当 ？。 例11： Z上的模n同余关系是不是传递关系？
例3：设X是一个集合，集合的包含于“”是2X上的二 元关系。
8/25
集合与图论 二元关系到n元关系的推广
定义3 设A1,A2,...,An是n个集合，一个 A1A2...An的子集R称为A1,A2,...,An间的n元关系。
每个Ai称为R的一个域。
23/25
集合与图论 关系幂运算的定义及性质
定理6 设X是一个有限集合且X=n，R为X上的任 一二元关系，则存在非负整数s,t使得0≤s<t≤2n2且Rs=Rt。
定理7 设R是X上的二元关系。如果存在非负整 数s,t，s<t，使得Rs=Rt，则
(1)Rs+k=Rt+k，k为非负整数； (2)Rs+kp+i=Rs+i，其中p=t-s，而k,i为非负整数； (3)令S={R0,R,R2,...,Rt-1}，则对任意的非负的整数 q有RqS。
例15：设R,S是集合X上的两个传递关系，问R∪S 是否是传递关系呢？
17/25
集合与图论
运算与性质的关系
自反性 反自反性 对称性 反对称性 传递性
R11
√
√
√
√
√
R1∩R2 √
√
R1∪R2 √
√
R1R2 ×
√
√
√
√
√ ××
√
√×
R1∘R2 √
×
×
××
18/25
集合与图论 3 关系的合成
定义1 设R是A到B的二元关系，S是B到C的二元 关系。R与S的合成是A到C的一个二元关系，记成RS， 并且
显然：R是传递的，当且仅当 ？。 例11： Z上的模n同余关系是不是传递关系？
离散数学-3-6 关系的性质
17
思考练习
例.设R是集合X上的一个自反关系.求证:R是对称和 传递的,当且仅当<a,b>和<a,c>在R之中时必有 <b,c>在R之中.
证明: 充分性. 充分性. [1]设<a,b>∈R显然<a,a>∈R(自反性) =><b,a>∈R(条件)=>R有对称性. [2]设<a,b>,<b,c>∈R=><b,a>,<b,c>∈R(对称性) =><a,c>∈R=>传递性成立. 必要性. 必要性. 设<a,b>,<a,c>∈R=><b,a>,<a,c>∈R(对称性) =><b,c>∈R(传递性).
16
思考练习
例.给定S={1,2,3,4}和S上的关系 R={<1,2>,<4,3>,<2,2>,<2,1>,<3,1>},说明R不是 可传递的.找出一个包含R的关系,使得R1是可传递 的,还能找出另外一个,R2也是可传递的吗? 解:<1,2>,<2,1>∈R,但<1,1> ∈ R,故不传递.可取
{<1,2>,<4,3>,<2,2>,<2,1>,<3,1>,<1,1>,<4,1>,<3,2>,<4,2>}, R1={<1,2>,<4,3>,<2,2>,<2,1>,<3,1>,<1,1>,<4,1>,<3,2>,<4,2>} 再添加一个元素<3,3>可得到另外一个有传递性的关系 R2 ={<1,2>,<4,3>,<2,2>,<2,1>,<3,1>,<1,1>,<4,1>,<3,2>,<4,2>,<3, 3>}.
离散数学中关系性质的判定方法
离散数学中关系性质的判定方法摘要：关系是离散数学中的基本概念，而关系的性质是关系的闭包、等价关系、半序关系的基础，本文给出了关系四种性质的判定方法。
关键词：离散数学关系性质判定关系的概念是离散数学中关系的基础，又是集合概念的应用，因此应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。
而关系的性质既是对关系概念的加深理解与掌握，又是关系的闭包、等价关系、半序关系的基础。
对于四种性质（自反性、对称性、反对称性、传递性），有如下方法加以判定：一、依据其定义1.自反性：设R是集合A上的二元关系，如果对于每一个a∈A，若有（a，a）∈R，即aRa，则称R在集合A上具有自反性。
2.对称性：设R是集合A上的二元关系，对于任意的a、b∈A，若有（a，b）∈R，就有（b，a）∈R，则称R在集合A上具有对称性。
3.反对称性：设R是集合A上的二元关系，对于任意的a、b∈A，若（a，b）∈R且（b，a）∈R时，必有a=b，则称R在集合A上具有反对称性。
4.传递性：设R是集合A上的二元关系，对于任意的a、b、c∈R，若（a，b）∈R，且（b，c）∈R，就有（a，c）∈R，则称关系R在A上具有传递性。
二、依据关系矩阵和关系图的关系1.关系R具有自反性，当且仅当在关系矩阵中，主对角线上元素全为1；或者在关系图中每个结点上都有一条自回路。
2.若关系R具有对称性，当且仅当关系矩阵是对称矩阵；或者在关系图中，若两个结点间存在有向弧，必是成对的。
3.若关系R具有反对称性，当且仅当关系矩阵中以主对角线为对称轴的对称元素不能同时为1（可以同时为0），而主对角线上的元素是1或者是0；在关系图上，若两个结点间存在有向弧，不可能成对出现，结点可以有自回路。
4.若关系R具有传递性，关系矩阵没有明显特征。
关系图的特点是：任意两个结点a、b间若能通过一条以上的弧间接连结起来，则必有一条直接从a到b的弧。
作为它的一种特殊情况，若两点间各有一条直接从a到b和由b到a的弧连接时，则在这两个结点a、b上必然各有一条自回路。
离散数学中二元关系的性质判定
离散数学中二元关系的性质判定
二元关系是离散数学中最基本的概念之一。
二元关系可以描述两个数之间特定的关系。
由于它在组合数学、图论、计算机科学和逻辑学等领域中都有应用，因此对于二元关系的
性质进行判定具有重要意义。
本文将介绍关于二元关系的一些基本性质以及它们的判定方法。
1. 反身性
反身性是二元关系重要的性质之一。
一个关系R是反身的，如果对于对于集合A中的
每个元素x，(x,x)∈R。
也就是说，每个元素都与自身有某种关系。
例子：等于关系“=”是一个反身关系。
判定方法：检查二元关系R中是否每个元素都与自身有关系。
2. 对称性
判定方法：检查二元关系R中是否对于任意两个不同的元素x和y，如果(x,y)∈R，则(y,x)∈R。
3. 传递性
6. 等价关系
等价关系是具有反身性、对称性和传递性的关系。
一个关系R是等价的，如果它是反
身的、对称的和传递的。
判定方法：检查二元关系R是否满足反身性、对称性和传递性。
7. 偏序关系
总结
本文介绍了离散数学中二元关系的一些性质和判定方法。
了解这些性质和方法对于学
习离散数学以及其他数学领域非常重要。
在实践中，应该根据问题需要来选择合适的关系
及其性质，以推导出更准确的解决方案。
离散数学第3章_(7-8)(新教材)_(1)
c
c
c
x , y R1
c
x, y R2
c
于是又有
y , x R1 y , x R 2
y , x R 2
x , y R1
c
c
x, y R
c 2
x , y R1 R 2
c
(6)的证明:
R1 R 2 R1 R 2
再利用(3)和(5)就得到 c x , y R1 R 2
x , y R1 R 2
x , y R1 R 2
(3)设A是一个集合,R是A上的一个二元关系.定义 (0) (1) (k ) R IA, R R, R ... , R R k 那么，对任意正整数m,n就有 (n) (m ) (mn ) (m ) (n) (mn) R R [1] R R R ; [2] . (4)设A,B,C,D是四个集合,R1,R2,R3分别是从A到B, 从B到C以及从C到D的二元关系,那么就有 [1](复合运算关于并的分配律)
定义7.3(对称性) 设R是集合A上一个二元 关系, 如果对每一对元素x, yA,当xRy时, 就有yRx, 则称R在A上是对称的. 即R在A上是对称的 (x)(y)((xA)(yA)(xRy)yRx).
对称性很容易从关系矩阵和关系图中看出来.一个 关系有对称性的充分必要条件是它的关系矩阵是 一个对称阵;一个关系有对称性的充分必要条件是 它的关系图中任意两个结点之间要么没有有向边 相连,要么恰有一对方向相反的有向边相连.
R1 ( R 2 R 3 ) R1 R 2 R1 R 3
c
c
x , y R1
c
x, y R2
c
于是又有
y , x R1 y , x R 2
y , x R 2
x , y R1
c
c
x, y R
c 2
x , y R1 R 2
c
(6)的证明:
R1 R 2 R1 R 2
再利用(3)和(5)就得到 c x , y R1 R 2
x , y R1 R 2
x , y R1 R 2
(3)设A是一个集合,R是A上的一个二元关系.定义 (0) (1) (k ) R IA, R R, R ... , R R k 那么，对任意正整数m,n就有 (n) (m ) (mn ) (m ) (n) (mn) R R [1] R R R ; [2] . (4)设A,B,C,D是四个集合,R1,R2,R3分别是从A到B, 从B到C以及从C到D的二元关系,那么就有 [1](复合运算关于并的分配律)
定义7.3(对称性) 设R是集合A上一个二元 关系, 如果对每一对元素x, yA,当xRy时, 就有yRx, 则称R在A上是对称的. 即R在A上是对称的 (x)(y)((xA)(yA)(xRy)yRx).
对称性很容易从关系矩阵和关系图中看出来.一个 关系有对称性的充分必要条件是它的关系矩阵是 一个对称阵;一个关系有对称性的充分必要条件是 它的关系图中任意两个结点之间要么没有有向边 相连,要么恰有一对方向相反的有向边相连.
R1 ( R 2 R 3 ) R1 R 2 R1 R 3
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
CHAPTER Seven
10/20/2018 9:27 PM
Discrete Math. , huang liujia
13
§7.3 关系的运算
(1) R0 = {<x,x>| xA}=IA;
(2) R n1 R n R 注: 1. 对A上的任何关系R,都有 R0=IA , R1=R。
2 1 4 3
10/20/2018 9:27 PM
Discrete Math. , huang liujia
10
§7.3 关系的运算
一、基本概念 定义7.6 设R是二元关系。定义
CHAPTER Seven
(1) R的定义域: domR={x | y(<x, y>R)}, 即R中所有有序对的第 一元素构成的集合。 (2) R的值域，ranR={y | x(<x, y>R)}, 即R中所有有序对的第二 元素构成的集合。 (3) R的域: fld R= dom R∪ran R。 例7.5 R={ <1, 2>,<1, 3>,<2, 4>,<4, 3>}, 则
(4) 为真。 当A = 时,使AA×A.
10/20/2018 9:27 PM Discrete Math. , huang liujia 5
§7.2 二元关系
一、基本概念
CHAPTER Seven
定义7.3 如果一个非空集合的元素都是有序对，则称该集合为一个二 元关系。特别地，空集也是一个二元关系。 注：对一个二元关系R，如果<x,y>R,则记为xRy； 如果<x,y>R，则记为xRy。
CHAPTER Seven
（1）A×B＝A×C B=C
（2）A – (B×C) = (A – B)×(A – C) （3）(A=B)∧(C=D) A×C=B×D （4）存在集合A,使 AA×A 当A=, B={1}, C={2,3}时，便不真。 解:(1) 不一定为真， (2) 不一定为真，当A=B={1},C={2}时， A–(B×C) = {1}–{<1,2>} = {1}, 而(A–B)×(A–C)= ×{1}= . (3) 为真。 等量代入。
二元素组成的所有有序对的集合，称为集合A与B的笛卡尔积， 记为A×B。即 A×B＝{<x,y>| xA∧yB }。
10/20/2018 9:27 PM
Discrete Math. , huang liujia
2
§7.1 有序对与笛卡尔积
注：笛卡尔积的性质： 1. A×= , ×A= ; 2. A×B B×A, 除非 A= 或 B= 或 A=B;
CHAPTER Seven
定义7.1 由两个元素 x和y（允许x＝ y）按一定顺序排列成的二 元组叫做一个有序对，记为<x, y>。 注：有序对的性质： 1. 当xy时，<x, y> <y, x>。 2. <x, y>＝<u, v>的充分必要条件是 x=u且y=v。 定义7.2 设A,B是集合。由A中元作为第一元素，B中元作为第
CHAPTER Seven
定义7.10 设R是A上的关系,n为自然数,则R的n次幂定义为:
2. Rn的求法: 除了根据定义按关系的复合来求之外, 还可以用矩阵法和关系图法。
10/20/2018 9:27 PM
Discrete Math. , huang liujia
14
CHAPTER Seven
例7.8 设A={a,b,c,d}, R={<a, b>, <b,a>, <b,c>, <c,d>}, 求R的各次幂,分 别用矩阵和关系图表示. 解:R的关系矩阵:
10/20/2018 9:27 PM Discrete Math. , huang liujia 6
§7.2 二元关系
二. 关系的表达方式
1. 集合表达式：列出关系中的所有有序对。 例7.4 设A=1,2,3,4, 试列出下列关系R的元素。 (1)R=<x,y>x是y的倍数 (2)R=<x,y>(x－y)2A (3)R=<x,y>x/y是素数 (4)R=<x,y>xy (5)R=<x,y> (x,yA)∧(xy)
10/20/2018 9:27 PM
Discrete Math. , huang liujia
12
§7.3 关系的运算
定义7.9 设R是二元关系, A是集合(通常AdomR) (1) R在A上的限制: R A ={<x,y> | xRy∧xA} (2) A在R下的像: RA=ran(R A) 例7.7 设R为{<1,2>,<1,3>,<2,2>,<2,4>,<3,2>}, 则 R {1}={<1,2>,<1,3>}, R =, R {2,3}={<2,2>,<2,4>,<3,2>}， R {1}={2,3}, R= , R{2,3}={2,4} 。
10/20/2018 9:27 PM
Discrete Math. , huang liujia
3
§7.1 有序对与笛卡尔积
例 证明A×(B∪C)=(A×B)∪(A×C)。
证：任取 <x,y>， <x, y>A×(B∪C) xA ∧ y(B∪C)
CHAPTER Seven
xA ∧ (yB ∨ yC)
1 0 0 0
0 1 0 0
0 1 0 0 1 0 0 0
0 1 0 0
1 0 0 0
0 1 0 0
15
Discrete Math. , huang liujia
CHAPTER Seven
1 0 3 2 M M M 0 0 0 1 4 3 M M M 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0
10/20/2018 9:27 PM Discrete Math. , huang liujia 7
§7.2 二元关系
2. 关系矩阵法： 设A={x1,x2,…xn},R 是 A 上的关系。令：
1 若 xi Rx j rij , 0 否则 (i, j 1,2,, n)
CHAPTER Seven
CHAPTER Seven
解:(1) R={ <4, 4>,<4, 2>, <4, 1>,<3,3>,<3,1>,<2,2>,<2,1>,<1,1>} (2) R={<2, 1>,<3, 2>,<4, 3>,<3,1>,<4,2>, <2,4>,<1,3>,<3,4>,<2,3>,<1,2>} (3) R={ <2, 1>,<3, 1>,<4, 2>} (4) R=EA-IA={<1, 2>,<1, 3>, <1, 4>, <2,1>,<2,3>,<2,4>, <3,1>,<3,2>, <3,4>,<4,1>,<4,2>,<4,3>} (5) R={ <1, 2>,<1, 3>,<1, 4>,<2,3>,<2,4>,<3,4>}
可见 M4=M2。故 R2 = R4 = R6 = …; R3 = R5 = R7 = …。
CHAPTER Seven
第 七 章 二 元 关 系
7.1 7.2 7.3 7.4 7.5 7.6 7.7 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系
10/20/2018 9:27 PM
Discrete Math. , huang liujia
1
§7.1 有序对与笛卡尔积
Discrete Math. , huang liujia
9
§7.2 二元关系
3. 关系图法
CHAPTER Seven
设A={x1,x2,…xn}, R是A上的关系。以A的元素作为顶点，当且仅当 xiRxj时，xi 向 xj 连一条有向边，所得的图形称为R的关系图，记为 GR。 例7.6 设 A={1,2,3,4}, R={<1, 1>,<1, 2>,<2,3>,<2,4>,<4,2>}, 则R的关 系图为
(xA ∧ yB)∨(xA ∧ yC) (<x, y> A×B)∨(<x, y> A×C)
<x, y> (A×B) ∪(A×C)
∴ A×(B∪C) = (A×B) ∪(A×C)
例7.2 设 A= {1, 2} ,求 P(A)×A。
解：P(A)×A ={Ø,{1},{2},{1,2}}×{1,2}
则矩阵
r11 r21 M R (rij ) r n1