离散数学 第四章：二元关系和函数
例4.1 <2, x+5> = <3y 4, y>，求 x, y. 解 3y 4 = 2, x+5 = y y = 2, x = 3
4
2. 有序n元组：一个有序 n (n3) 元组 <x1, x2, …, xn> 是一个有序对，其 中第一个元素是一个有序 n-1 元组，即 < <x1, x2, …, xn-1>, xn>= <x1, x2, …, xn> 。
注意：
F↾AF, F[A] ranF
22
四. 关系运算的基本性质
(1)
(2)
( F 1 )1 F
domF 1 ranF , ranF 1 domF
(3) 不满足交换律：
(4) 满足结合律：
F○ G≠G ○ F
F○ G ○ H=F○ (G ○H)
(5)
( F G)1 G1 F 1
笛卡儿积的性质： 1. 不适合交换律 ABBA (AB, A, B) 2.若A或B中有一个为空集，则AB就是空集. A=B= 3. 若|A|=m, |B|=n, 则 |AB|=mn 4.不适合结合律 (AB)CA(BC) (A,B,C) 例： A={1},B={2},C={3} AB={<1,2>}, (AB)C={<<1,2>,3>}={<1,2,3>} BC={<2,3>}, A(BC) ={<1,<2,3>>} {<1,2,3>}
12
实例
例如 A = {1, 2, 3}, B ={a, b}, 则 LA={<1,1>,<1,2>,<1,3>,<2,2>,<2,3>,<3,3>}
DA={<1,1>,<1,2>,<1,3>,<2,2>,<3,3>}
P(B)={,{a},{b},{a,b}}, 则 B上的包含关系是 R={<,>,<,{a}>,<,{b}>,<,{a,b}>,<{a},{a}>, <{a},{a,b}>,<{b},{b}>,<{b},{a,b}>,<{a,b},{a,b}>}
14
实例
A={1,2,3,4}, R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>}, R的关系矩阵MR和关系图GR如下：
1 0 MR 0 0
习题：4.1
1 0 0 1
0 1 0 0
0 1 0 0
15Biblioteka 练习• 1.令A={1,2,3};B={a,b},求 R1={<1,a>,<1,b>,<2,b>,<3,a>}的关系矩 阵。
– 定义域、值域、域 – 逆、合成、限制、像
• 基本运算的性质 • 幂运算
– 定义 – 求法 – 性质
17
§4.2 关系的运算
一、关系的定义域与值域
关系R的定义域： domR = {x | (y)<x, y>R} (即R中有序组的第一个元
素构成的集合)
关系R的值域： ranR ={y | (x)<x, y>R}
10
A上重要关系的实例
设 A 为任意集合， 是 A 上的关系，称为空关系 EA, IA 分别称为全域关系与恒等关系，定义如下： EA={<x,y>|x∈A∧y∈A}=A×A IA={<x,x>|x∈A} 例如, A={1,2}, 则 EA={<1,1>,<1,2>,<2,1>,<2,2>} IA={<1,1>,<2,2>} 注：{<1,1>} ≠ IA; {<2,2>} ≠ IA
5.从A到B的关系与A上的关系
设A,B为集合, A×B的任何子集所定义的二元 关系叫做从A到B的二元关系, 当A=B时则叫做 A上 的二元关系.
例5 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, |B|=m, |A×B|= n×m , A×B的子集有 2nm个. 所 以 A到B上有 2nm 个不同的二元关系. 2 n2 |A|=n, |A×A|= n , A×A的子集有 2 个. 所以 A上有 n2 2 个不同的二元关系. 例如 |A|=3, 则 A上有512个不同的二元关系.
7
二元关系：集合中两个元素之间的某种关系
例3 甲、乙、丙3个人进行乒乓球比赛，任何两个人之间都要比赛一场。 假设比赛结果是乙胜甲，甲胜丙，乙胜丙。 比赛结果可表示为： {<乙,甲>， <甲,丙 >， <乙,丙>}，其中<x,y>表示x 胜y，它表示了集合{甲,乙,丙}中元素之间的一种胜负关系.
例4 有A、B、C3个人和四项工作G1、 G2、 G3、 G4，已知A可以从事 工作G1和G4，B可以从事工作G3，C可以从事工作G1和G2. 那么，人和工作之间的对应关系可以记作 R＝ {<A,G1>, <A,G4 >, <B,G3>, <C,G1>, <C,G2 } 它表示了工人集合{A,B,C}到工作集合{G1,G2,G3,G4}之间的关系
○ ○
R
S
S
R
21
三 限制和像： 已知二元关系F 和集合A F 在A上的限制 F↾A = {<x,y> | xFy xA} A 在F下的像 F[A] = ran(F↾A)
实例 R={<1,2>, <3,2>, <1,4>, <2,2>} R↾{1}={<1,2>,<1,4>} R[{1}]={2,4} R↾{1,2}={<1,2>,<1,4>,<2,2>} R↾= R[{1,2}]={2, 4}
二. 逆与合成
R1 = {<y,x> | <x,y>R} R∘S = |<x, y> | z (<x, z> S < z, y > R) } 例2 R={<1,2>, <2,3>, <1,4>, <2,2>} S={<1,1>, <1,3>, <2,3>, <3,2>, <3,3>} R1={<2,1>, <3,2>, <4,1>, <2,2>} R∘S ={<1,2>, <1,4>, <3,2>, <3,3>} S∘R ={<1,3>, <2,2>, <2,3>}
8
4. 二元关系：
如果一个集合满足以下条件之一： （1）集合非空, 且它的元素都是有序对(以有序对为 元素的集合) （2）集合是空集 则称该集合为一个二元关系, 简称为关系，记作R.
• 如<x,y>∈R, 可记作 xRy；如果<x,y>R, 则记 作xR y
• 实例：R1={<1,2>,<a,b>}, R2= , R3={<1,2>,3,4}， R4={<x,y>|x∈N∧y ∈Z} • R1,R2,R4是二元关系；R3不是二元关系。
13
关系的表示
表示方式：关系的集合表达式、关系矩阵、关系图 关系矩阵：若A={x1, x2, …, xm}，B={y1, y2, …, yn}， R是从A到B的关系，以A元素为行，B元素为列， MR = [ rij ] mn, 其中 rij = 1 < xi, yj> R，否则rij = 0。 关系图：若A= {x1, x2, …, xm}，R是从A上的关系，R 的关系图是GR=<A, R>, 以A中元素为结点，如果 <xi,xj> R，则从 xi 到 xj 有一条有向边. 注意：A, B为有穷集，关系矩阵适于表示从A到B的 关系或者A上的关系，关系图仅适于表示A上的关系
(即R中有序组的第二个元
素构成的集合) 关系R的域： fldR = domR ranR
关系的基本运算定义
例1 R={<1,2>,<1,3>,<2,4>,<4,3>}, 则 domR={1, 2, 4} ranR={2, 3, 4}
《离散数学》课件-第四章 二元关系
R2= R • R={<1,1>，<2,2>，<1,3>，<2,4>， <3,5>}
R3=R2 • R={<1,2>，<2,1>，<1,4>，<2,3>， <2,5>}
R4= R3 • R={<1,1>，<2,2>，<1,5>，<2,4>，
从关系图来看关系的n次幂
R：
1
2
3
4
5
R2：
1
2
3
4
5
R2就是从R的关系图中的任何一个结点x出发，长 为2的路径，如果路径的终点是y，则在R2 的关系 图中有一条从x到y的有向边。其他以次类推：
R3：
1
2
3
4
5
R4：
1
2
3
4
5
定理 设|A|=n，R A×A，则必有i，j∈N， 0≤i＜j≤2n2，使得Ri=Rj。
＝R5，R7＝R6•R＝R5，…，Rn＝R5 (n＞5) 故Rn{R0,R1,R2,R3,R4,R5}。
S0=IA,S1＝S,
S2＝S•S＝{<a,c>,<b,d>,<c,e>,<d,f>}， S3＝S•S•S＝S2•S＝{<a,d>,<b,e>,<c,f>}， S4＝S3•S＝{<a,e>,<b,f>}， S5＝S4•S＝{<a,f>}， S6＝S5•S＝Φ， S7＝Φ， …， 故，Sn{S0,S1,S2,S3,S4,S5,S6}
离散数学课件第四章 关系
关系的性质
例 2 (1) A上的全域关系EA,恒等关系IA及空关系都是A 上的对称关系;IA和 同时也是A上的反对称关系. (2)设A={1,2,3},则 R1={<1,1>,<2,2>}既是A上的对称关系,也是A上 的反对称关系; R2= {<1,1>,<1,2>,<2,1>}是对称的,但不是反对 称的; R3 ={<1,2>,<1,3>}是反对称的,但不是对称的; R4= {<1,2>,<2,1>,<1,3>}既不是对称的也不是 反对称的.
❖ 二、关系的表达方式 1. 集合表达式：列出关系中的所有有序对。 例 1 设A={1,2,3,4},试列出下列关系R的元素。 (1) R={<x,y> | x是y的倍数} (2) R={<x,y> | (x-y)2 A } (3) R={<x,y> | x/y是素数}
Discrete Mathematics
关系
第四章 二元关系
第一节 有序对与笛卡尔积
❖ 定义 1 由两个元素x和y（允许x＝y）按顺序排列成 的二元组叫做一个有序对，记为<x, y>。
❖ 有序对的性质： 1.当 x ≠ y时，<x, y> ≠ <y, x>。 2.<x, y>＝<u, v>的充分必要条件是 x=u且y=v。
Discrete Mathematics
笛卡尔积
❖ 定义 2 设A, B是集合。由A中元素作为第一元素，B 中元素作为第二元素组成的所有有序对的集合，称 为集合A与B的笛卡尔积（或直积），记为A×B。 即 A×B={<x,y>|x A y B}
离散数学 第四章 关系
若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上有 个不同的二元关系。
离散数学__函数
解答
f1={<x1, y1>,<x2, y2>,<x2, y3>,<x3, y1>,<x4, y3>}
不是函数。 ∵ x2对应两个不同的像点y2和y3 ∴不满足唯一性。
解答
f2={<x1, y1>,<x2, y1>,<x3, y1>,<x4, y2>}
缩小的举例
X={a1,a2,a3,x4,x5} Y={y1,y2,y3,y4,y5} A={a1,a2,a3} f={<a1,y1>,<a2,y2>,<a3,y5>,
<x4,y4>,<x5,y3>} 求：f/A
解答
f/A={<a1,y1>,<a2,y2>,<a3,y5>}
1、满射函数 2、内射函数 3、单射函数 4、双射函数 5、恒等函数
从左到右 从右到左
定理
函数f: X→Y 函数g: Y→Z g◦f: X→Z是函数 xX (g◦f)(x)=g(f(x))
证明
显然g◦f是从X到Z的关系 (1)任意性： f是函数:对任意的xX 存在yY，使得<x,y>f g是函数:对任意的yY 存在zZ，使得<y,z>g
<x,y>f 由复合关系的定义：
<<0,-1> ,1>,<<0,0> ,0>,<<0,1> ,-1>, <<1,-1> ,2>,<<1,0> ,1>,<<1,1> ,0>}
离散数学-第四章 关系-内容提要
{}
传递。
(5)如 果 VJ
:IT{∶ ∶ ∶ ∶ 蚕 ⒈11∶⒈ ∶ Ll ;, 翕 罐 ∶ ∶ ∶ 置 R在 A上
:I∶
:: 1∷
Vj V石
(Π
、 、 y,z)∈ R→ 〈 R∧ 〈 J,z〉 ∈ R),则 称 Π ,y,z∈ A∧ 〈 ,j〉 ∈
1亠
判别法
:
利用关系表达式判别 (1)R在 A上 白反 ㈡rA∈ R。
,
系:简 称全胛 蜮 线序 曳
柙
\宀
:'艹
° Γ ˉ叽
抖 ¨ ‰ 艹 渺 冖妒 ”
^讷
p¨ ¨
¨
i
∶
^¨
Ⅱ… ¨
=艹
)。
`呻
/
‘ :° f耷
一
^A’
工 < ′
工 < ′
Ι ⒕
,
、
\′
I纟
:
轱
/廴
跃
:
h,如 果 J≤ y∨ y※ J,贝 刂 ∈ 称
J与 j可 比。
称 y覆 盖 J。
偏序集中的特殊元素
得 ⒎ 则
:
y,z〉 ∈ S))。 ∈ R∧ 〈
有关基本运算的定理 ・ 定理 4.1 设 F是 任意的关系 ,则
(1)(Fˉ l)ˉ ^l=F。
・
(2)domFˉ ˉ ∴ =ranF,ranF~l=domF。
定理 4.2 设 F,G,Ⅳ 是任意的关系 ,则 (1)(F° G)° H=Fo(G° H), (2)(FoG)ˉ l=G^loF_ˉ
:
(2)R在 (3)R在 (4)R在 (5)R在 (1)R在 (2)R在 (3)R在 (4)R在
A上 反 自反 ⑶R∩ rA=¤ 。 A上 对称 山R=Rl。 ; A上 反对称 ㈡R∩ R~l∈ A上 传递 ㈡R。 R∈ R。
离散数学 二元关系
<x,y>R xRy 也称之为x与y有Ｒ关系。 后缀表示 中缀表示
<x,y>R xRy 也称之为x与y没有Ｒ关系。
例3. R是实数集合，R上的几个熟知的关系
≤ ≥ =
y x2+y2=4
x
从例3中可以看出关系是序偶(点)的集合 (构成线、面)。
2019/3/20 15
作业 P105 ⑵
2019/3/20 12
4-2 关系及其表示法
相关 按照某种规则，确认了二个对象或多个
对象之间有关系，称这二个对象或多个对象是相 关的。
例1： 大写英文字母与五单位代码的对应关系R1: 令α={A,B,C,D,…Z}
β={30,23,16,22,…,21}是五单位代码集合
β={11000, 10011, 01110, 10010,…, 10001} R1={<A,30>,<B,23>,<C,16>,...,<Z,21>}α×β
2019/3/20
AB (CACB)。
9
5) 设A、B、C、D为非空集合，则 ABCDAC∧BD 证明：首先,由ABCD 证明AC∧BD 任取xA，任取yB，所以 xAyB<x,y>A×B <x,y>C×D (由ABCD ) xCyD 所以, AC∧BD。 其次, 由AC，BD 证明ABCD 任取<x,y>A×B xAyB xCyD (由AC，BD) <x,y>C×D 所以, ABCD 证毕。
2019/3/20ቤተ መጻሕፍቲ ባይዱ16
关系的表示方法 枚举法： 即将关系中所有序偶一一列举出，写在大括号内。 如R ={ <1,1>,<1,2>,<1,3>, <1,4>, <2,2>, <2,3>, <2,4>, <3,3>, <3,4>, <4,4>} 。 谓词公式法： 即用谓词公式表示序偶的第一元素与第二元素间 的关系。例如 R={<x,y>|x<y} 有向图法： RA×B,用两组小圆圈(称为 结点)分别表示A和B 的元素，当<x,y>R时，从x到y引一条有向弧 (边)。这样得到的图形称为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 > ,
离散数学第四章二元关系和函数知识点总结
离散数学第四章二元关系和函数知识点总结集合论部分第四章、二元关系和函数集合的笛卡儿积与二元关系有序对定义由两个客体x 和y，按照一定的顺序组成的二元组称为有序对，记作实例：点的直角坐标(3,4)有序对性质有序性（当x y时）与相等的充分必要条件是= x=u y=v例1 = ，求x, y.解 3y 4 = 2, x+5 = y y = 2, x = 3定义一具有序n (n3) 元组是一具有序对，其中第一具元素是一具有序n-1元组，即= , x n>当n=1时, 形式上能够看成有序 1 元组.实例 n 维向量是有序 n元组.笛卡儿积及其性质定义设A,B为集合，A与B 的笛卡儿积记作A B，即A B ={ | x A y B } 例2 A={1,2,3}, B={a,b,c}A B ={,,,,,,,,}B A ={,,,,,,, ,}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)证任取∈A×(B∪C)x∈A∧y∈B∪Cx∈A∧(y∈B∨y∈C)(x∈A∧y∈B)∨(x∈A∧y∈C)∈A×B∨∈A×C∈(A×B)∪(A×C)因此有A×(B∪C) = (A×B)∪(A×C).例3 (1) 证明A=B C=D A C=B D(2) A C=B D是否推出A=B C=D 为啥解 (1) 任取A C x A y Cx B y D B D(2) 别一定. 反例如下：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={}, R2=A×B, R3=, R4={}. 这么R1, R2, R3,R4是从A 到B的二元关系, R3和R4并且也是A上的二元关系.计数|A|=n, |A×A|=n2, A×A的子集有个. 因此A上有个别同的二元关系.例如 |A|=3, 则A上有=512个别同的二元关系.设A 为任意集合，是A 上的关系，称为空关系E, I A 分不称为全域关系与恒等关系，定义如下：AE={|x∈A∧y∈A}=A×AAI={|x∈A}A例如, A={1,2}, 则E={,,,}AI={,}A小于等于关系L A, 整除关系D A, 包含关系R定义： L={| x,y∈A∧x≤y}, A R，R为实数集合AD={| x,y∈B∧x整除y},BB Z*, Z*为非0整数集R={| x,y∈A∧x y}, A是集合族.类似的还能够定义大于等于关系, 小于关系, 大于关系, 真包含关系等等.例如A = {1, 2, 3}, B ={a, b}, 则L={,,,,,}AD={,,,,}AA=P(B)={,{a},{b},{a,b}}, 则A上的包含关系是R={,,,,, ,,,}二元关系的表示表示方式：关系的集合表达式、关系矩阵、关系图关系矩阵：若A={a1, a2, …, a m}，B={b1, b2, …, b n}，R是从A到B 的关系，R 的关系矩阵是布尔矩阵M R = [ r ij ] m n, 其中r ij= 1 R.关系图：若A= {x1, x2, …, x m}，R是从A上的关系，R的关系图是G R=, 其中A为结点集，R为边集.假如属于关系R，在图中就有一条从x i到x j 的有向边.注意：A, B为有穷集，关系矩阵适于表示从A到B的关系或者A上的关系，关系图适于表示A上的关系A={1,2,3,4},R={,,,,},R的关系矩阵M和关系图G R如下：R关系的运算基本运算定义：定义域、值域和域dom R = { x | y (R) }ran R = { y | x (R) }fld R = dom R ran R例1 R={,,,}, 则dom R={1, 2, 4}ran R={2, 3, 4}fld R={1, 2, 3, 4}逆与合成R1 = { | R}R°S = | | y (RS) } 例2 R={, , , } S={, , , , }R1={, , , }R°S ={, , }S°R ={, , , }定义 F 在A上的限制F?A = { | xFy x A}A 在F下的像F[A] = ran(F?A)实例R={, , , }R?{1}={,}R[{1}]={2,4}R?=R[{1,2}]={2,3,4}注意：F?A F, F[A] ran F基本运算的性质定理1 设F是任意的关系, 则(1) (F1)1=F(2) dom F1=ran F, ran F1=dom F证 (1) 任取, 由逆的定义有∈(F 1) 1 ∈F 1 ∈F因此有 (F1)1=F(2) 任取x,x∈dom F 1 y(∈F1)y(∈F) x∈ran F因此有dom F1= ran F. 同理可证 ran F1 = dom F.定理2 设F, G, H是任意的关系, 则(1) (F°G)°H=F°(G°H)(2) (F°G)1= G1°F 1证 (1) 任取,(F°G)°H t(∈F°G∧∈H) t (s(∈F∧∈G)∧∈H)t s (∈F∧∈G∧∈H)s (∈F∧t (∈G∧∈H))s (∈F∧∈G°H)∈F°(G°H)因此(F°G)°H = F°(G°H)(2) 任取,∈(F°G)1∈F°Gt (∈F∧(t,x)∈G)t (∈G1∧(t,y)∈F1)∈G1°F1因此(F°G)1 = G1°F1幂运算设R为A上的关系, n为自然数, 则R 的n次幂定义为：(1) R0={ | x∈A }=I A(2) R n+1 = R n°R注意：关于A上的任何关系R1和R2都有R 10 = R20 = IA关于A上的任何关系R 都有R1 = R性质：定理3 设A为n元集, R是A上的关系, 则存在自然数s 和t, 使得R s = R t.证R为A上的关系, 由于|A|=n, A上的别同关系惟独个.当列出R 的各次幂R0, R1, R2, …, , …,必存在自然数s 和t 使得R s=R t.定理4 设R 是A 上的关系, m, n∈N, 则(1) R m°R n=R m+n(2) (R m)n=R mn证用归纳法(1) 关于任意给定的m∈N, 施归纳于n.若n=0, 则有R m°R0=R m°I=R m=R m+0A假设R m°R n=R m+n, 则有R m°R n+1=R m°(R n°R)=(R m°R n)°R=R m+n+1 ,因此对一切m, n∈N有R m°R n=R m+n.(2) 关于任意给定的m∈N, 施归纳于n.若n=0, 则有(R m)0=I A=R0=R m×0假设 (R m)n=R mn, 则有(R m)n+1=(R m)n°R m=(R mn)°R m=R mn+m=R m(n+1) 因此对一切m,n∈N有 (R m)n=R mn.关系的性质自反性反自反性定义设R为A上的关系,(1) 若x(x∈A→R), 则称R在A上是自反的.(2) 若x(x∈A→R), 则称R在A上是反自反的.实例：反关系：A上的全域关系E A, 恒等关系I A小于等于关系L A, 整除关系D A反自反关系：实数集上的小于关系幂集上的真包含关系例1 A={1,2,3}, R1, R2, R3是A上的关系, 其中R＝{,}1R＝{,,,}2R＝{}3R自反,2R反自反,3R既别是自反也别是反自反的1对称性反对称性定义设R为A上的关系,(1) 若x y(x,y∈A∧∈R→∈R), 则称R为A上对称的关系.(2) 若x y(x,y∈A∧∈R∧∈R→x=y), 则称R为A上的反对称关系.实例：对称关系：A上的全域关系E A, 恒等关系I A和空关系反对称关系：恒等关系I A，空关系是A上的反对称关系.例2 设A＝{1,2,3}, R1, R2, R3和R4基本上A上的关系,其中R＝{,}，R2＝{,,}1R＝{,}，R4＝{,,}3R对称、反对称.1R对称，别反对称.2R反对称，别对称.3R别对称、也别反对称.4传递性定义设R为A上的关系, 若x y z(x,y,z∈A∧∈R∧∈R→∈R), 则称R是A上的传递关系.实例：A上的全域关系E,恒等关系I A和空关系A小于等于关系, 小于关系，整除关系，包含关系，真包含关系例3 设A＝{1,2,3}, R1, R2, R3是A上的关系, 其中R＝{,}1R＝{,}2R＝{}3R和R3 是A上的传递关系1R别是A上的传递关系2关系性质的充要条件设R为A上的关系, 则(1) R在A上自反当且仅当I A R(2) R在A上反自反当且仅当R∩I A=(3) R在A上对称当且仅当R=R 1(4) R在A上反对称当且仅当R∩R1I A(5) R在A上传递当且仅当R R R证明模式证明R在A上自反任取x,第11页/共11页。
离散数学(第二版)第4章二元关系和函数
第四章 二元关系和函数
定义4.2.3 设R是A到B的二元关系。 (1) 用xRy表示 <x，y>∈R，意为x，y有R关系(为使可读 性好，我们将分场合使用这两种表达方式中的某一种)。 xy 表示<x，y> R。 (2) 由<x,y>∈R的所有x组成的集合称为关系R的定义域 (domain),记作Dom R，即
显然A×B与 B×A所含元素的个数相同(A，B是有限集 合)，但A×B≠B×A。
定理4.1.1 若A，B是有穷集合，则有 |A×B|=|A|·|B|(·为数乘运算)
该定理由排列组合的知识不难证明。 定理4.1.2 对任意有限集合A1，A2，…，An，有 |A1×A2×…×An|＝|A1|·|A2|·… ·|An|(·为数乘运算)
第四章 二元关系和函数
本节主要介绍关系的基本概念以及关系的表示方法。 定义4.2.1 任何序偶的集合，确定了一个二元关系，并 称该集合为一个二元关系，记作R 。 二元关系也简称关系。 对于二元关系R，如果<x，y>∈R，也可记作xRy。 定义并不要求R中的元素<x，y> 中的x，y取自哪个个体 域。 因此，R={<2，a>，<u，狗>，<钱币，思想>}也是一 个二元关系。
若R={<x，y>|x∈A∧y∈B∧ x|y }，则称R为整除关系， 常记为|，其中x|y表示x整除y。
若A是任意集合，R是A上的二元关系，下面的关系也常 见：
若R={<x，y>|x∈P(A)∧y∈P(A)∧x y}，则称R为包含
若R={<x，y>|x∈P(A)∧y∈P(A)∧x y}，则称R为真包
第四章 二元关系和函数
离散数学,二元关系与运算
(?)
(B∩C)A = (BA)∩(C A)
(?)
我们证明：
A(B∪C) = (AB)∪(AC)
证明思想
要证明两个集合相等，通常有两种方法： 一是证两个集合相互包含； 二是利用已有的 集合运算的性质(算律和已证明过的公式)，仿 照代数恒等式的证明方法，一步步从左(右)边 推出右(左)边，或从左、右边分别推出同一个 集合式子。一般说来，最基本的集合相等关 系要用第一种证法，比较复杂的集合相等关 系用第二种方法更好，但第二种方法的使用 取决于我们对算律和常用公式的熟练程度。
证明： 用第一种方法 对于任意的<x,y> A ( B∪C ) xAy(B∪C) xA(yByC ) (xAyB)(xAyC) <x, y>AB<x, y>AC <x, y>(AB)∪(AC) A(B∪C)=(AB)∪(AC)
例4.2 设A={1,2}，求P(A)A 解： P(A)A
(2) 当AB，且A，B都不是空集时，有ABBA
(3) 当A，B，C都不是空集时，有(AB)C A(BC) 因为(AB)C中的元素< <x,y>, z>，而A(BC)中 的元素为< x, <y, z> > 。
(4) A(B∪C) = (AB)∪(AC) (对∪的分配律)
(B∪C)A = (BA)∪(CA)
一定是一对方向相反的边。
反对称性：若<x, y> R且xy，则<y,x> R
关系矩阵：如果rij = 1，且 i j，
则rji = 0
关系图： 如果两个顶点之间有边， 一定是只有一条有向边。
传递性：若<x, y> R且<y,z> R，则<x,z> R