离散数学PPT教学课件二元关系ppt11

合集下载

离散数学ppt课件

02
集合论基础
集合的基本概念
总结词
集合是离散数学中的基本概念，是研究离散对象的重要工具。
详细描述
集合是由一组确定的、互不相同的、可区分的对象组成的整体。这些对象称为集合的元素。例如，自然数集、平面上的点集等。
集合的运算和性质
总结词
集合的运算和性质是离散数学中的重要内容，包括集合的交、并、差、补等基本运算，以及集合的确定性、互异性、无序性等性质。
生，1表示事件一定会发生。
离散概率论的运算和性质
概率的加法性质
如果两个事件A和B是互斥的，那么P(A或B)等于P(A)加上 P(B)。
概率的乘法性质
如果事件A和B是独立的，那么P(A和B)等于P(A)乘以P(B) 。
全概率公式
对于任意的事件A，存在一个完备事件组{E1, E2, ..., En}，使得P(Ai)>0 (i=1,2,...,n)，且E1∪E2∪...∪En=S，那么 P(A)=∑[i=1 to n] P(Ai)P(A|Ei)。
工程学科
离散数学在工程学科中也有着重要的应用，如计算机通信网络、控制系统、电子工程等领域。
离散数学的重要性
基础性
离散数学是数学的一个重要分支，是学习其他数学课程的基础。
应用性
离散数学在各个领域都有着广泛的应用，掌握离散数学的知识和方法对于解决实际问题具有重要的意义。
培养逻辑思维
学习离散数学可以培养人的逻辑思维能力和问题解决能力，对于个人的思维发展和职业发展都有很大的帮助。
详细描述
邻接矩阵是一种常用的表示图的方法，它是一个二维矩阵，其中行和列对应于图中的节点，如果两个节点之间存在一条边，则矩阵中相应的元素为1，否则为0。邻接表是一种更有效的表示图的方法，它使用链表来存储与每个节点相邻的节点。

离散数学PPT课件

离散数学
1-6
Copyright © 《离散数学》精品课程小组
计算机与信息科学系
Department of Computer and Information Science
第七章二元关系
7.1 有序对与笛卡儿积
由排列组合的知识不难证明：如果|A| = m, |B| = n, 则|A B| = mn.
笛卡儿积运算具有以下性质: 1）对任意集合A, 根据定义有 A = , A = 2）一般地说, 笛卡儿积运算不满足交换律, 即 A B B A (当A B, A , B 时) 3）笛卡儿积运算不满足结合律, 即
(A B) C A (B C) (当A , B , C 时)
离散数学
1-4
Copyright © 《离散数学》精品课程小组
计算机与信息科学系
Department of Computer and Information Science
第七章二元关系
例7.1 已知<x+2, 4> = <5, 2x+y>, 求x和y.
❖ 解由有序对相等的充要条件有 x 2 5 2x y 4
第七章二元关系
总体概述
标题添加
点击此处输入相关文本内容
点击此处输入相关文本内容
标题添加
点击此处输入相关文本内容
点击此处输入相关文本内容
计算机与信息科学系
Department of Computer and Information Science
第七章二元关系
7.1 有序对与笛卡儿积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包 7.6 等价关系与划分 7.7 偏序关系

离散数学代数结构部分-PPT

所以乘法运算就是封闭得。而对于加法运算A上得二元运算,如果对于任意得x,y∈A,都有x*y＝y*x,则称该二元运算*就是可交换得。
例5、2 设Q就是有理数集合,*就是Q上得二元运算,对任意得a,b∈Q,a*b＝a+ba· b,问运算*就是否可交换。
例5、3 设A=Z,“+”就是整数中得加法: 则
“+”在Z中适合结合律。 “。”就是整数中得减法:则特取
而运算“。”不满足结合律
➢定义5、4 设*就是定义在集合A上得一个二元运算,如果对于任意得x∈A, 都有x*x＝x,则称运算*就是等幂得。
例5、4 设P(S)就是集合S得幂集,在P(S) 上定义得两个二元运算,集合得“并”运算∪和集合得“交”运算∩,验证∪,∩ 就是等幂得。
➢ 定理6、19 设
例6、16 例6、17 设
➢ 定义6、18 设例6、18 设
➢ 定义6、19 设例6、19 4元置换
➢ 定义6、20设
➢ 定理6、20
➢ 定义6、21
例6、20 如图进行旋转,也可以围绕她得对称轴进行翻转,但经过旋转或翻转后仍要与原来得方格重合(方格中得数字可以改变)。如果把每种旋转或翻转看作就是作用在
➢定理5、2 设*就是S上得二元运算,
如果S中既存在关于运算*得左幺元 el ,
又存在关于运算得右幺元 er
则S中必存在关于运算*得幺元e并且
2、零元 ➢定义5、8 设*就是S上得二元运算,
在自然数集N上普通乘法得零元就是0, 而加法没有零元。
➢ 定理5、3 设 *就是S上得二元运算,如果S 中存在(关于运算*得)零元,则必就是唯一得。所以零元就是唯一得。
证明: 略。推论6、1

《离散数学》课件-第四章二元关系

则关系R的各次幂为： R0 =A ={<1,1> ， <2,2> ， <3,3> ， <4,4> ， <5,5>} R1=R
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}

方世昌离散数学第三版教材课件第3章二元关系（可编辑）

方世昌离散数学第三版教材课件第3章二元关系（可编辑）方世昌离散数学第三版教材课件第3章二元关系31 基本概念32 关系的合成33 关系上的闭包运算34 次序关系35 等价关系和划分 31 基本概念311 关系关系的数学概念是建立在日常生活中关系的概念之上的让我们先看两个例子例31-1 设 A abcd 是某乒乓球队的男队员集合 B efg 是女队员集合如果A和B元素之间有混双配对关系的是a 和gd和e我们可表达为 R 〈ag〉〈de〉这里R 表示具有混双配对关系的序偶集合所有可能具有混双配对关系的序偶集合是A×B 〈xy〉x∈A∧y∈B 〈ae〉〈af〉〈ag〉〈be〉〈bf〉〈bg〉〈ce〉〈cf〉〈cg〉〈de〉〈df〉〈dg〉例31-2 设学生集合A1 abcd 选修课集合A2 日语法语成绩等级集合A3 甲乙丙如果四人的选修内容及成绩如下 a 日乙 b 法甲c 日丙 d 法乙我们可表达为S 〈a 日乙〉〈b法甲〉〈c日丙〉〈d法乙〉这里S表示学生和选修课及成绩间的关系而可能出现的全部情况为A1×A2×A3 〈xyz〉x∈A1∧y∈A2∧z∈A3 〈a日甲〉〈a 日乙〉〈a日丙〉〈a法甲〉〈a 法乙〉〈a法丙〉〈b日甲〉〈b日乙〉〈b日丙〉〈b 法甲〉〈b法乙〉〈b法丙〉〈c日甲〉〈c日乙〉〈c日丙〉〈c法甲〉〈c法乙〉〈d法丙〉定〈c法丙〉〈d日甲〉〈d日乙〉〈d日丙〉〈d法甲〉〈d法乙〉义31―1 1 A×B的子集叫做A到B的一个二元关系2 A1×A2××An n≥1 的子集叫做A1×A2××An上的一个n元关系3 从定义可看出关系是一个集合所有定义集合的方法都可用来定义关系例31-1和例31-2是列举法的例子一个谓词Px1x2xn 可以定义一个n元关系R R 〈x1x2xn〉P x1x2xn 例如实数R上的二元关系＞可定义如下＞〈xy〉x∈R∧y∈R∧x＞y 反之一个n元关系也可定义一个谓词当n 1时R 〈x〉P x 称为一元关系它是一重组集合表示论述域上具有性质P的元素集合其意义与R xP x 相同仅记法不同而已例如设P x 表示x是质数论述域是N则质数集合可表示为〈x〉｜P x 或x｜P x 关系也可归纳地定义自然数上的小于关系可定义如下1 基础〈01〉∈＜2 归纳如果〈xy〉∈＜那么i 〈xy1〉∈＜ ii 〈x1y1〉∈＜ 3 极小性对一切xy∈Nx＜y当且仅当〈xy〉是由有限次应用条款 1 和 2 构成定义31―2 设R是的子集如果R 则称R为空关系如果则称R为全域关系现在定义关系相等的概念在关系相等的概念中不仅需要n重组集合相等还需其叉积扩集也相同定义31―3设R1 是上的n元关系R2是上的m元关系那么R1 R2当且仅当n m且对一切i1≤i≤nAi Bi并且R1和R2是相等的有序n重组集合 312 二元关系最重要的关系是二元关系本章主要讨论二元关系今后术语关系都指二元关系若非二元关系将用三元或n元一类术语指出二元关系有自己专用的记法和若干新术语设 A x1x2x7 B y1y2y6 R〈x3y1〉〈x3y2〉〈x4y4〉〈x6y2〉A到B的二元关系R可如图31―1那样形象地表示〈x3y1〉∈R也可写成x3Ry1称为中缀记法读做x3和y1有关系R中缀记法常用来表示诸如＜＞等关系例如〈35〉∈＜通常写作3＜5 A叫做关系R的前域B叫做关系R的陪域 D R x｜y 〈xy〉∈R 叫做关系R 的定义域R R y｜x 〈xy〉∈R 叫做关系R的值域关系是序偶的集合对它可进行集合运算运算结果定义一个新关系设R和S是给定集合上的两个二元关系则R∪SR∩SR-S 等可分别定义如下x R∪S y xRy∨xSy x R∩S y xRy∧xSy x R-S y xRy∧xy x y xRy 例31-3平面上的几何图形是平面R2的子集也是一种关系设参看图31―2 R1 〈xy〉｜〈xy〉∈R2∧x2y2≤9 R2 〈xy〉｜〈xy〉∈R2∧1≤x≤3 ∧0≤y≤3 R3 〈xy〉｜〈xy〉∈R2∧x2y2≥4 则R1∪R2 〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∨ 1≤x≤3∧0≤y≤3 R1∩R3〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∧x2y2≥4 R1-R3 〈xy〉｜〈xy〉∈R2∧ x2y2≤9∧ L x2y2≥4 〈xy〉｜〈xy〉∈R2∧ x2y2≥4 313 关系矩阵和关系图表达有限集合到有限集合的二元关系时矩阵是一有力工具定义31―4 给定集合A a1a2am 和B b1b2bn 及一个A 到B的二元关系R 使例31-4 设A a1a2 B b1b2b3 R 〈a1b1〉〈a2b1〉〈a1b3〉〈a2b2〉则其关系矩阵为例31-5 设A 1234 A上的二元关系R 〈xy〉｜x＞y 试求出关系矩阵解R 〈41〉〈42〉〈43〉〈31〉〈32〉〈21〉例31-6 设 A 12345 R 〈12〉〈22〉〈32〉〈34〉〈43〉其图示如图31―3所示图中结点5叫做孤立点利用关系R的图示也可写出关系R 314 关系的特性在研究各种二元关系中关系的某些特性扮演着重要角色我们将定义这些特性并给出它的图示和矩阵的特点定义31―5 设R是A上的二元关系 1如果对A中每一xxRx那么R是自反的即 A上的关系R是自反的x x∈A→xRx A 123 R1 〈11〉〈22〉〈33〉〈12〉是自反的其关系图和关系矩阵的特点如图31―4所示 2 如果对A中每一xxRx那么R是反自反的即 A上的关系R是反自反的 x x∈A→xRx 例如 A 123 R2 〈21〉〈13〉〈32〉是反自反的其关系图和关系矩阵的特点如图31―5所示有些关系既不是自反的又不是反自反的如图31―6 例如R3 〈11〉〈12〉〈32〉〈23〉〈33〉3 如果对每一xy∈AxRy蕴含着yRx那么R是对称的即A上的关系R 是对称的x y x∈A∧y∈A∧xRy→yRx 例如A 123 R4 〈12〉〈21〉〈13〉〈31〉〈11〉是对称的其关系图和关系矩阵的特点如图31―7所示 4 如果对每一xy∈AxRyyRx蕴含着x y那么R是反对称的即A上的关系R是反对称的x y x∈A∧y∈A∧xRy∧yRx→x y 例如A 123 R5 〈12〉〈23〉是反对称的其关系图和关系矩阵的特点如图31―8所示 5 如果对每一xyz∈AxRyyRz蕴含着xRz那么R是传递的即A上的关系R是传递的x y z x∈A∧y∈A∧z ∈A∧xRy∧yRz→xRz 例如A 1234R5 〈41〉〈43〉〈42〉〈32〉〈31〉〈21〉是传递的其关系图和关系矩阵如图31―10所示例31-7 1 任何集合上的相等关系是自反的对称的反对称的和传递的但不是反自反的 2 整数集合I上关系≤是自反的反对称的可传递的但不是反自反的和对称的关系＜是反自反的反对称的可传递的但不是自反的和对称的 3 设 ab 试考察上的下列关系 i 关系与有同样长度是自反的对称的可传递的但不是反自反的和反对称的 ii xRy当且仅当x是y的真词头这里R是反自反的反对称的可传递的但不是自反的和对称的 iii xRy当且仅当x的某真词头是y的一个真词尾这里R既不是自反的又不是反自反的因为aaRaa但abRab既不是对称的也不是反对称的并且不是传递的 4 非空集合上的空关系是反自反的对称的反对称的和传递的但不是自反的空集合上的空关系则是自反的反自反的对称的反对称的和可传递的 5 基数大于1的集合上的全域关系是自反的对称的和传递的但不是反自反的和反对称的例如图31―11所示的关系 321 关系的合成前边已经指出关系是序偶的集合因此可以进行集合运算本节介绍一种对关系来说更为重要的运算合成运算假设R1是A到B的关系R2是B到C的关系参看图32-1合成关系R1R2是一个A到C的关系如果在关系图上从a∈A到c∈C有一长度路径中弧的条数为2的路径其第一条弧属于R1其第二条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合其第一条弧属于R1其第二条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合定义32―1 设R1是从A到B的关系R2是从B到C的关系从A到C的合成关系记为R1R2定义为R1R2 〈ac〉｜a∈A∧c∈C∧b〔b∈B∧〈ab〉∈R1∧〈bc〉∈R2〕例32-11 如果R1是关系是的兄弟R2是关系是的父亲那么R1R2是关系是的叔伯R2R2是关系是的祖父 2 给定集合A 1234 B 234 C 123 设R是A到B的关系S是B到C的关系R 〈xy〉｜xy 6 〈24〉〈33〉〈42〉S 〈yz〉｜y-z 1 〈21〉〈32〉〈43〉则R·S 〈23〉〈32〉〈41〉如图32―2所示 3 设A 12345 R和S都是A上二元关系如果 R 〈12〉〈34〉〈22〉 S 〈42〉〈25〉〈31〉〈13〉则R·S 〈15〉〈32〉〈25〉S·R 〈42〉〈32〉〈14〉R·S ·R 〈32〉R· S·R 〈32〉R·R 〈12〉〈22〉S·S〈45〉〈33〉〈11〉 4 设R是A到B的二元关系IAIB分别是A 和B上的相等关系则IA·R R·IB R 5 如果关系R的值域与关系S的定义域的交集是空集则合成关系R·S是空关系下边介绍合成关系的性质定理32―1 设R1是从A到B的关系R2 和R3是从B到C的关系R4是从C到D的关系那么1 R1 R2∪R3 R1R2∪R1R3 2 R1 R2∩R3 R1R2∩R1R3 3 R2∪R3 R4 R2R4∪R3R4 4 R2∩R3 R4 R2R4∩R3R41 2 3 部分的证明留作练习我们仅证明 2 部分证先证明公式因为〈ac〉∈R1 R2∩R3 b〔〈ab〉∈R1∧〈bc〉∈R2∩R3 〕b 〔〈ab〉∈R1∧〈bc〉∈R2∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2 ∧〈ab〉∈R1∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2〕∧b〔〈ab〉∈R1∧〈bc〉∈R3〕〈ac〉∈R1R2∧〈ac〉∈R1R3 〈ac〉∈R1R2∩R1R3 即〈ac〉∈R1 R2∩R3 〈ac〉∈R1R2∩R1R3 所以R1 R2∩R3 R1R2∩R1R3 再证包含可能是真包含举反例证明如果 A a B b1b2b3 C c A到B的关系R1〈ab1〉〈ab2〉 B到C的关系R2 〈b1c〉〈b3c〉 B到C的关系R3〈b2c〉〈b3c〉那么R1 R2∩R3 R1R2∩R1R3 〈ac〉此时R1 R2∩R3 ≠R1R2∩R1R3证毕定理32―2 设R1R2和R3分别是从A到BB到C和C到D的关系那么 R1R2 R3 R1 R2R3 证先证 R1R2R3 R1 R2R3 设〈ad〉∈ R1R2 R3那么对某c∈C〈ac〉∈R1R2和〈cd〉∈R3因为〈ac〉∈R1R2存在b∈B使〈ab〉∈R1和〈bc〉∈R2因为〈bc〉∈R2和〈cd〉∈R3得〈bd〉∈R2R3所以〈ad〉∈R1 R2R3 这样就证明了 R1R2 R3 R1 R2R3 R1 R2R3 R1R2 R3的证明是类似的留给读者自证上述证明也可用等价序列表达 322 关系R的幂当R是A上的一个关系时R可与自身合成任意次而形成A上的一个新关系在这种情况下RR常表示为R2RRR表示为R3等等我们能归纳地定义这一符号如下定义32―2设R是集合A上的二元关系n∈N那么R的n次幂记为Rn定义如下 1R0是A上的相等关系R0 〈xx〉｜x∈A 2 Rn1 Rn·R 定理32―3 设R是A上的二元关系并设m和n是N的元素那么 1Rm·Rn Rmn 2 Rm n Rmn 可用归纳法证明请读者自证定理32―4 设｜A｜nR是集合A上的一个关系那么存在i和j使Ri Rj而0≤i＜j≤证A上的每一二元关系是A×A的子集因为｜A×A｜ n2｜ρ A×A ｜因此A上有个不同关系所以R的不同的幂不会超过个但序列R0R1 有项因此R的这些幂中至少有两个是相等的证毕定理32―5 设R是集合A上的一个二元关系若存在i和ji＜j 使Ri Rj记d j-i那么 1 对所有k≥0Rik Rjk 2 对所有km≥0Rimdk Rik 3 记S R0R1R2Rj-1 那么R的每一次幂是S 的元素即对n∈NRn∈S 证 1 和 2 部分用归纳法证明留作练习3 对于 c 设n∈N如果n＜j那么根据S的定义Rn∈S假设n≥j那么我们能将n表示为imdk这里k＜d根据 b 部分得Rn Rik因为ik＜j这证明了Rn∈S定理中的ij在实用时宜取最小的非负整数以保证S中无重复元素例32-2 设A abcd R 〈ab〉〈cb〉〈bc〉〈cd〉其关系图如图32―3所示则R0 〈aa〉〈bb〉〈cc〉〈dd〉 R2 〈ac〉〈bb〉〈bd〉〈cc〉R3〈ab〉〈ad〉〈bc〉〈cb〉〈cd〉R4 〈ac〉〈bb〉〈bd〉〈cc〉它们的关系图如图32―4所示由于R4 R2根据定理32―5 c 对所有n∈NRn∈ R0R1R2R3 可见不必再算了事实上易证R5 R3R6 R4 R2用归纳法可得R2n1 R3和R2n R2这里n≥1 323 合成关系的矩阵表达定理32―6 设X x1x2xm Y y1y2yn Z z1z2zp R是X到Y的关系MR 〔aij〕是m×n矩阵S是Y到Z的关系MS 〔bij〕是n×p矩阵则MR·S 〔cij〕MR·MS这里证因为如果存在某k使aik和bki都等于1则cij 1但aik和bkj都等于1意味着xiRyk和ykSzj所以xi R·S zj可见如此求得的MR·S确实表达了R·S的关系因此上述等式是正确的如果不仅存在一个k使aik和bki都是1此时cij仍为1只是从xi到zj不止一条长度为2的路径但等式仍然正确上段的论证已隐含了不止一个k的情况本定理说明合成关系矩阵可用关系矩阵布尔矩阵的乘法表达例32-3设X 12 Y abc Z αβ R 〈1a〉〈1b〉〈2c〉 S 〈aβ〉〈bβ〉则定理32―7 关系矩阵的乘法是可结合的证利用关系合成的可结合性证明MR·MS ·MT MR·S·MT M R·S ·T MR· S·T MR·MS·T MR· MS·MT 不仅合成关系可用关系矩阵表达而且关系的集合运算也可用关系矩阵表达设R和S是X到Y上的二元关系MR 〔aij〕MS 〔bij〕cij是运算后所得新关系之关系矩阵的元素则MR∩S MR∧MS cij aij∧bij MR∪S MR∨MS cij aij∨bij cij aij MR-S MR∧ cij aij∧ bij 331 逆关系在讨论闭包运算时要用到逆关系的概念因此我们先介绍逆关系定义33―1设R是从A到B的二元关系关系R的逆或叫R的逆关系记为是一从B到A的二元关系定义如下例33-11 I上的关系2 集合族上的关系的逆是关系3 空关系的逆是空关系4 B×A即A×B的全域关系的逆等于B×A的全域关系定理33―1设R是从A到B的关系而S是从B到C 的关系则定理33―2 设RR1和R2都是从A到B的二元关系那么下列各式成立 332 关系的闭包运算关系的闭包运算是关系上的一元运算它把给出的关系R扩充成一新关系R′使R′具有一定的性质且所进行的扩充又是最节约的定义33―2设R是A上的二元关系R的自反对称传递闭包是关系R′使i R′是自反的对称的传递的ii R′R iii 对任何自反的对称的传递的关系R〃如果R〃R那么R〃R′ R的自反对称和传递闭包分别记为r R s R和t R 由定义可以看出R的自反对称传递闭包是含有R并且具有自反对称传递性质的最小关系如果R已经是自反的对称的传递的那么具有该性质并含有R的最小关系就是R自身下一定理说明这一点定理33―4设R是集合A上的二元关系那么 a R是自反的当且仅当r R R b R是对称的当且仅当s R R c R是传递的当且仅当t R R 证 a 如果R是自反的那么R具有定义33―2对R′所要求的性质因此r R R反之如果r R R那么根据定义33―2的性质 i R是自反的b 和c 的证明是类似的略构造R的自反对称和传递闭包的方法就是给R补充必要的序偶使它具有所希望的特性下面我们用关系图来说明如何实现这一点定理33―5 设R是集合A上的二元关系那么r R R ∪E 这里E是A上相等关系在本节中均如此证设R′ R∪E显然R′是自反的且R′R余下只需证明最小性现假设R〃是A上的自反关系且R〃R因R〃是自反的所以R〃E又R〃R所以R〃R∪E R′这样定义33―2都满足所以R′ r R 证毕设G是集合A上二元关系R的关系图我们把G的所有弧都画成有来有往即如果有从a到b的弧那么也有从b到a的弧就得到了R的对称闭包的有向图下一定理体现了这一想法定理33―7 设R 是集合A上的二元关系那么例33-2 a 整数集合I 上的关系＜的自反闭包是≤对称闭包是关系≠传递闭包是关系＜自身b 整数集合I上的关系≤的自反闭包是自身对称闭包是全域关系传递闭包是自身 c E的自反闭包对称闭包和传递闭包都是E d ≠的自反闭包是全域关系对称闭包是≠≠的传递闭包是全域关系e 空关系的自反闭包是相等关系对称闭包和传递闭包是自身 f 设R是I上的关系xRy当且仅当y x1那么t R 是关系＜定理33―8设R是集合A上的二元关系这里A有n个元素那么证设〈xy〉∈t R 于是必存在最小的正整数k使〈xy〉∈Rk现证明k≤n若不然存在A的元素序列x a0a1a2ak-1ak y使xRa1a1Ra2ak-1Ry因k ＞na0a1ak中必有相同者不妨设ai aj0≤i＜j≤k于是xRa1a1Ra2ai-1RaiajRaj1ak-1Ry 成立即〈xy〉∈Rs这里s k- j-i但这与k是最小的假设矛盾于是k≤n又〈xy〉是任意的故定理得证例33-3 设A abcd R如图33―1 a 所示则t R R∪R2∪R3∪R4如图33―1 b 所示本例即是32-2 定理33―9 1 如果R是自反的那么s R 和t R 都是自反的 2 如果R是对称的那么r R 和t R 都是对称的 3 如果R 是传递的那么r R 是传递的定理33―10 设R是集合A上的二元关系那么 1 rs R sr R 2 rt R tr R 3 ts R st R 2 注意到ER RE R 和对一切n∈NEn E可得 34 次序关系 341 偏序集合定义34―1 如果集合A上的二元关系R是自反的反对称的和传递的那么称R为A上的偏序称序偶〈AR〉为偏序集合如果R是偏序〈AR〉常记为〈A ≤〉≤是偏序符号由于≤难以书写通常写作≤读做小于或等于因为小于或等于也是一种偏序故不会产生混乱R是偏序时aRb就记成a≤b 如果R是集合A上的偏序则R 也是A上的偏序如果用≤表示R 可用≥表示R〈A≤〉和〈A ≥〉都是偏序集合并互为对偶例34-1 1 〈I≤〉是偏序集合这里≤表示整数中的小于或等于关系2 〈ρ A 〉是偏序集合这里是集合间的包含关系 3 A 2468 D代表整除关系M代表整倍数关系则 D 〈22〉〈44〉〈66〉〈88〉〈24〉〈26〉〈28〉〈48〉M 〈22〉〈44〉〈66〉〈88〉〈42〉〈62〉〈82〉〈84〉〈AD〉〈AM〉都是偏序集合且互为对偶例2 a P 1234 〈P≤〉的哈斯图为图34―2 b A 236122436 〈A整除〉的哈斯图为图34―3 c A 1212 〈A整除〉的哈斯图为图34―4 定义34―2 设〈A≤〉是一偏序集合B是A的子集 a 元素b∈B是B的最大元素如果对每一元素x∈Bx≤b b 元素b∈B是B的最小元素如果对每一元素x∈Bb≤x 例3考虑在偏序整除下整数1到6的集合其哈斯图为图34―5 a 如果B 1236 那么1是B的最小元素6是B的最大元素 b 如果B 23 因为2和3互相不能整除那么B没有最小元素和最大元素c 如果B 4 那么4是B的最大元素也是B的最小元素定理34―1 设〈A≤〉是一偏序集合且B A如果B有最大最小元素那么它是唯一的证假设a和b 都是B的最大元素那么a≤b和b≤a从≤的反对称性得到a b当a和b都是B 的最小元素时证明是类似的定义34―3设〈A≤〉是一偏序集合B是A的子集 a 如果b∈B且B中不存在元素x使b≠x且b≤x那么元素b∈B叫做B的极大元素b 如果b∈B且B中不存在元素x使b≠x且x≤b那么元素b∈B 叫做B的极小元素定义34―4设〈A≤〉是一偏序集合B是A的子集a 如果对每一b∈Bb≤a那么元素a∈A叫做B的上界如果对每一b∈Ba≤b那么元素a∈A叫做B的下界 b 如果a是一上界并且对每一B的上界a′有a≤a′那么元素a∈A叫做B的最小上界记为lub如果a是一下界并且对每一B的下界a′有a′≤a那么元素a∈A叫做B的最大下界记为glb 例34-4 a 考虑偏序集合〈〈11〉〈10〉〈01〉〈00〉≤〉这里≤按〈 ab〉≤〈cd〉a≤c∧b≤d 规定其哈斯图如图34―6 如果B 〈10〉那么〈10〉是B的最小和最大元素也是B的极大和极小元素B的上界是〈10〉和〈11〉〈10〉是最小上界B的下界是〈00〉和〈10〉〈10〉是最大下界 b 考虑偏序集合〈I≤〉设B 2i｜i∈N那么B既没有最大元素和极大元素也没有上界和最小上界B的最小元素和极小元素是0B的下界集合是 i｜i∈I∧i≤0 0是最大下界 c 考虑在偏序集合〈256101530 整除〉其哈斯图如图34―7设B是全集合256101530 那么2和5都是B的极小元素但B没有最小元素集合B没有下界所以没有最大下界元素30是B的最大元素极大元素上界最小上界定理34―2 如果〈A≤〉是非空有限的偏序集合则A的极小大元素常存在最大下界和最小上界也可能存在或不存在但如果它们存在则是唯一的定理34―3 设〈A≤〉是偏序集合且B A 如果B的最小上界最大下界存在那么是唯一的下述定理描述了存在于诸特异元素之间的某些关系定理34―4 设〈A≤〉是偏序集合B是A的子集 a 如果b是B的最大元素那么b是B的极大元素 b 如果b是B的最大元素那么b是B的lub c 如果b是B的一个上界且b∈B那么b是B的最大元素证明可由最大元素极大元素和lub的定义直接得出故略去另外读者不难给出表达最小元素极小元素和glb间关系的定理 342 拟序集合定义34―5如果集合A上的二元关系R是传递的和反自反的那么R叫做A上的拟序〈AR〉称为拟序集合常借用符号＜表示拟序拟序是反对称的虽然定义中没有明确指出但容易证明这一点因为如果xRy和yRx由R的传递性得xRx但这与R的反自反性矛盾所以xRy∧yRx常假于是xRy∧yRx→x y常真即R是反对称的例34-5 a 实数集合中的＜是拟序关系 b 集合族中的真包含是拟序关系拟序集合和偏序集合是紧密相关的唯一区别是相等关系E下述定理将说明这一点定理34―5在集合A上 a 如果R是一拟序那么rR R∪E是偏序 b 如果R是一偏序那么R-E是一拟序 343线序集合和良序集合如果≤是一偏序或a≤b或b≤a我们说a和b 是可比较的偏序集合中的元素不一定都可比较所以叫偏序下面介绍的都是可比较的情况定义34―6在偏序集合〈A≤〉中如果每一ab∈A或者a ≤b或者b≤a那么≤叫做A上的线序或全序这时的序偶〈A≤〉叫做线序集合或链例34-6 a P a ab abc 〈P〉是线序集合其哈斯图如图34―8所示 b 〈I≤〉是线序集合其哈斯图不完全如图34―9所示 c 设S是区间套的集合〔0a ｜a∈R 则〈S〉是线序集合 d 〈 1236 整除〉不是线序集合如果A是多于一个元素的集合那么〈ρ A 〉不是线序集合定义34―7如果A上的二元关系R是一线序且A的每一非空子集都有一最小元素那么R叫做A上的良序序偶〈AR〉叫做良序集合定理34―6〈N≤〉是良序集合证我们必须证明N的每一非空子集S在关系≤之下都有一最小元素因为S非空所以在S中可以取一个数n显然S中所有不大于n的数形成非空集T S如果T有最小数那么这最小数就是S中的最小数但从0到n只有n1个自然数于是T中所含的数最多是n1个所以T有最小数因此定理成立例34-8 a 每一有限线序集合是良序的 b 线序集合〈I≤〉不是良序集合因为I的某些子集诸如I自身不包含最小元素 c 关系≤是实数R的线序但不是良序例如子集A 01〕无最小元素如果A中的a是最小元素那么也在A中而≤a且不相等这与假设a是线序关系≤下A的最小元素矛盾2 应用N上的良序定义出Nn上的良序例如n 2时N2上的次序关系可如下定义〈ab〉〈cd〉a＜c∨ a c∧b d 〈N2〉是良序集合关系严格小于可如下定义〈ab〉＜〈cd〉〈ab〉≤〈cd〉∧〈ab〉≠〈cd〉类似地应用I上的线序能定义出线序集合〈In≤〉 3 应用字母表∑上的线序可定义出∑上的通常叫词典序的线序定义34―8 设∑是一有限字母表指定了字母表序线序如果xy∈∑ a x是y的词头或 b x zu和y zv这里z∈∑是x和y的最长公共词头且在字母表序中u的第一个字符前于v的第一个字符那么x≤y≤叫做词典序4 由于〈N〉和有限线序集合都是良序集合可应用它们定义出∑上的一个良序通常叫标准序定义34―9设∑是一有限字母表指定了字母表序‖x‖表示x∈∑的长度如果xy∈∑ a ‖x‖＜‖y‖或b ‖x‖‖y‖且在∑的词典序中x前于y那么x≤y ≤叫做标准序不论在词典序和标准序下∑的每一元素都有直接后继者设∑ abc 且a≤b≤cx∈∑在标准序下xa和xb的直接后继者分别是xb和xc xc的直接后继者是ya这里y是x的直接后继者在词典序下x的直接后继者是xa 在标准序下 xb和xc的直接前趋分别是xa和xb xa的直接前趋是yc这里y是x的直接前趋在词典序下 xa的直接前趋是x非a结尾的串都无直接前趋例如babaab但有无限个前趋345 数学归纳法的推广前章我们把数学归纳法第一第二原理看作是自然数域上的一个推理规则本小节我们把它推广到一般的良序集合对任一个自然数n我们先取0如果n≠0取0的后继者1如果n≠1再取1的后继者2如此进行下去最终会得出n 给定一个良序集合如果对它的任一元素x我们先取该集合的最小元素m0如果x≠m0取m0的后继者m1如果x≠m1再取m1的后继者m2如此以往最终会得出x那么就称这样的良序集合是像自然数的例 8 1 设∑ ab 良序集合〈∑标准序〉是像自然数的因为定长的串的个数有限给定任一个串x在x之前的串的个数有限所以从∧开始反复取后继者终可得出x 2 良序集合〈N×N≤〉不像自然数这里≤按上一小节规定因为有许多元素没有直接前趋例如〈50〉就是这样因而有无限个元素前于〈50〉所以从〈00〉开始反复地取后继者不可能取得〈50〉像自然数的良序集合可以应用数学归纳法第一原理因为第一原理是建立在后继运算上而这种良序集合的每一元素都可通过重复地取后继者得到设m0是该良序集合〈S≤〉的最小元素S x 是元素x的后继者则推理规则如下对不像自然数的良序集合不能应用数学归纳法第一原理因为这种良序集合的有些元素不能由后继运算得到但对它可应用数学归纳法第二原理第二原理是建立在良序集合上的适用于一切良序集合设〈S≤〉是良序集合＜表示≤-E 即x＜y表示x≤y且x≠y 则推理规则如下下面证明良序集合上这个推理规则是有效的假设我们能证明前提例34-10〈Q≤〉是线序集合现说明在此线序集合中第二原理不是有效推理规则设谓词P x 表示x小于或等于5 i 当x≤5时 y〔y＜x→P y 〕是真P x 也真所以是真综合 i 和 ii 得在论述域Q上 x 〔 y y＜x→P y →P x 〕是真但结论x P x 是假这说明第二原理不能应用于线序集合〈Q≤〉 35 等价关系和划分 351 等价关系二元关系的另一重要类型是等价关系其定义如下定义35―1 如果集合A上的二元关系R是自反的对称的和传递的那么称R是等价关系设R是A上的等价关系abc是A的任意元素如果aRb 即〈ab〉∈R 通常我们记作a～b读做a等价于b 定义35―2 设k是一正整数而ab∈I如果对某整数ma-b m·k那么a 和b是模k等价写成a≡b modk 整数k叫做等价的模数定理35―1模k等价是任何集合A I上的等价关系证如果A 例35-1 c 已指出它是等价关系如果A≠则 i 自反的因为对任一aa-a 0·k得出a≡a modk ii 对称的因为a≡b mod k 时存在某m∈I使a-b m·k于是b-a-m·k 因此b≡a mod k iii 传递的设a≡b mod k 和b≡c mod k 那么存在m1m2∈I 使a-b m1k和b-c m2·k 将两等式两边相加得a-c m1m2 ·k所以a≡c mod k 例1 a 同学集合A abcdefgA中的关系R是住在同一房间这是等价关系因为 i 任一个人和自己同住一间具有自反性ii 若甲和乙同住一间则乙和甲也同住一间具有对称性iii 若甲和乙同住一间乙和丙同住一间则甲和丙也同住一间具有传递性现假设a 和b同住一间def同住一间c住一间则 R 〈aa〉〈ab〉〈ba〉〈bb〉〈cc〉〈dd〉〈ee〉〈ff〉〈de〉〈ed〉〈ef〉〈fe〉〈df〉〈fd〉其有向图如图35―1所示 b 数中的相等关系集合中的相等关系命题演算中的关系等都是等价关系 c 空集合中的二元关系R是等价关系因为i x x∈→xRx ii x y〔x∈∧y∈∧xRy→yRx〕iii x y z〔x∈∧y∈∧z∈∧xRy∧yRz→xRz〕都无义地真所以R是等价关系集合A上的全域关系R A×A是等价关系模数等价是整数域或其子集上的等价关系并且是等价关系中极为重要的一类定理 35-1 模k 等价是任何集合A I上的等价关系证如果A 例35-1 3 已指出它是等价关系如果A≠则 i 自反的因为对任一aa-a 0·k得出a≡a mod k ii 对称的因为a≡b modk 时存在某m∈I使a-b m·k于是b-a -m·k因此b≡a modk iii 传递的设a≡b modk 和b≡c modk 那么存在m1m2∈I 使a-b m1k和b-c m2·k将两等式两边相加得a-c m1m2 ·k所以a≡c modk 例35-2 a 若R是I上模4等价关系则〔0〕4 -8-4048 〔1〕4 -7-3159 〔2〕4 -6-22610 〔3〕4 -5-13711 b 若R是I上模2等价关系则〔0〕2 -4-2024 〔1〕2 -3-1135 每一集合中的数相互等价 c 时钟是按模12方式记数的设备13点钟和1点钟有相同的记数定义35―3 设R是集合A上等价关系对每一a∈Aa关于R 的等价类是集合x｜xRa 记为〔a〕R简记为〔a〕称a为等价类〔a〕的表示元素如果等价类个数有限则R的不同等价类的个数叫做R的秩否则秩是无限的对每一a∈A等价类〔a〕R非空因为a∈〔a〕R 例35-3 1 如图35―2设A abcdef R 〈aa〉〈bb〉〈cc〉〈ab〉〈ba〉〈ac〉〈ca〉〈bc〉〈cb〉〈dd〉〈ee〉〈de〉〈ed〉〈ff〉则等价关系R的等价类如下〔a〕〔b〕〔c〕 abc 〔d〕〔e〕 de 〔f〕 f等价关系R的秩是3 2 I上模4等价的等价类是〔0〕4〔1〕4〔2〕4〔3〕4 参看例2 a I上模2等价的等价类是〔0〕2 〔1〕2 参看例2 b3 集合A上相等关系的秩等于A的元素个数定理35―2 设R是非空集合A上的等价关系aRb 当且仅当〔a〕〔b〕证充分性因为a∈〔a〕〔b〕即a∈〔b〕所以aRb 定理35―3设R是集合A上的等价关系则对所有ab∈A或者〔a〕〔b〕或者〔a〕∩〔b〕。

离散数学PPT课件

定义2.1设A,B是两个命题公式，若A，B构成的等价式AB为重言式，则称A与B等值，记为AB。
20
例2.1判断下面两个公式是否等值： (pq), pq 例2.2判断下面各组公式是否等值：（1）p(qr) 与 (pq)r （2） ( pq)r与 (pq)r
21
置换规则：设（A）是含公式A的命题公式，（B）是用公式B置换了（A）中所有的A以后得到的命题公式，若BA，则（B）（A）。
定义1.2 设p，q为两命题，复合命题“p并且q”称为p与 q的合取式，记作“pq”。 pq为真当且仅当 p， q同时为真。
定义1.3 设p，q为两命题，复合命题“p或q”称为p与q的析取式，记作“pq”。 p q为假当且仅当 p， q同时为假。
7
例1.3将下列命题符号化（1）吴影既用功又聪明。（2）吴影不仅用功而且聪明。（3）吴影虽然聪明，但不用功。（4）张辉与王丽都是三好学生。（5）张辉与王丽是同学
16
例1.8求下列公式的真值表，并求成真赋值。 (1) (pq)r (2) (pp)(qq) (3) (p q) q r
定义1.10设A为一命题公式（1）若A在它的各种赋值下取值均为真，则称A是重言式或永真式。（2）若A在它的各种赋值下取值均为假，则称A是矛盾式或永假式。（3）若A不是矛盾式，则称A是可满足式。
离散数学
1
离散数学课件
离散数学是计算机科学的核心理论课程，是计算机专业的专业基础课。
第一部分数理逻辑第二部分集合与关系代数第三部分图论
2
第一部分数理逻辑
第一章命题逻辑基本概念第二章命题逻辑等值演算第三章命题逻辑推理理论第四章一阶逻辑基本概念第五章一阶逻辑等值演算与推理

离散数学(第11讲)二元关系

运算“ ”称为合成运算。
XDC
12
C
S
|
S
W
注意，在合成关系中，R的后域B一定是S的前域B，否则R和S是不可合成的。合成的结果R S 的前域就是R的前域A，后域就是S的后域C。如果对任意的x∈A和z∈C，不存在y∈B，使得xRy和 ySz同时成立，则R S为空，否则为非空。并且， R=R =。
S
W
U
S T
=R-1∩S-1=R-1-S-1
XDC
9
C
S
|
设R是A上的二元关系，那么R是对称的当且仅当R＝R-1 证明：充分性
a,b∈A，如<a,b>∈R，则<b,a>∈R－1，由于R－1＝R，故<b,a>∈R，∴R是对称的。必要性 <a,b>∈R－1，则<b,a>∈R，又因为R是对称的，故<a,b>∈R，∴R－1R， <a,b>∈R，因R是对称的，
S
W
U
S T
∴<b,a>∈R，∴<a,b>∈R－1，∴RR－1，
从而有 R＝R－1。
XDC
10
C
S
|
结论
R是A上反对称关系的充要条件是RR－1A。
S
W
U
S T
设R和S是A上的反对称关系，则R－1、 RS、也是A的反对称关系。 R、S均是反对称的，未必能得出RS也是反对称的。
XDC
40--11
C
S
|
三、关系的合成运算
设R是一个从集合A到集合B的二元关
S
W
系，S是从集合B到集合C的二元关系(也可

离散数学二元关系

2019/3/20 14
<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的关系图。

方世昌离散数学第三版教材课件第3章二元关系(可编辑)

方世昌离散数学第三版教材课件第3章二元关系31 基本概念 32 关系的合成 33 关系上的闭包运算 34 次序关系 35 等价关系和划分 31 基本概念311 关系关系的数学概念是建立在日常生活中关系的概念之上的让我们先看两个例子例31-1 设 A abcd 是某乒乓球队的男队员集合 B efg 是女队员集合如果A和B元素之间有混双配对关系的是a 和gd和e我们可表达为 R 〈ag〉〈de〉这里R表示具有混双配对关系的序偶集合所有可能具有混双配对关系的序偶集合是 A×B 〈xy〉x∈A∧y∈B 〈ae〉〈af〉〈ag〉〈be〉〈bf〉〈bg〉〈ce〉〈cf〉〈cg〉〈de〉〈df〉〈dg〉例31-2 设学生集合A1 abcd 选修课集合A2 日语法语成绩等级集合A3 甲乙丙如果四人的选修内容及成绩如下 a 日乙 b 法甲c 日丙 d 法乙我们可表达为S 〈a日乙〉〈b法甲〉〈c日丙〉〈d法乙〉这里S表示学生和选修课及成绩间的关系而可能出现的全部情况为 A1×A2×A3 〈xyz〉x∈A1∧y∈A2∧z∈A3 〈a日甲〉〈a 日乙〉〈a日丙〉〈a法甲〉〈a法乙〉〈a法丙〉〈b日甲〉〈b日乙〉〈b日丙〉〈b 法甲〉〈b法乙〉〈b法丙〉〈c日甲〉〈c日乙〉〈c日丙〉〈c法甲〉〈c法乙〉〈d法丙〉定〈c法丙〉〈d日甲〉〈d日乙〉〈d日丙〉〈d法甲〉〈d法乙〉义31―1 1 A×B的子集叫做A到B的一个二元关系2 A1×A2××An n≥1 的子集叫做A1×A2××An上的一个n元关系3 从定义可看出关系是一个集合所有定义集合的方法都可用来定义关系例31-1和例31-2是列举法的例子一个谓词Px1x2xn 可以定义一个n元关系R R 〈x1x2xn〉P x1x2xn 例如实数R上的二元关系＞可定义如下＞〈xy〉x∈R∧y∈R∧x＞y 反之一个n元关系也可定义一个谓词当n 1时R 〈x〉P x 称为一元关系它是一重组集合表示论述域上具有性质P的元素集合其意义与R xP x 相同仅记法不同而已例如设P x 表示x是质数论述域是N则质数集合可表示为〈x〉｜P x 或x｜P x 关系也可归纳地定义自然数上的小于关系可定义如下1 基础〈01〉∈＜2 归纳如果〈xy〉∈＜那么i 〈xy1〉∈＜ ii 〈x1y1〉∈＜ 3 极小性对一切xy∈Nx＜y当且仅当〈xy〉是由有限次应用条款 1 和 2 构成定义31―2 设R是的子集如果R 则称R为空关系如果则称R为全域关系现在定义关系相等的概念在关系相等的概念中不仅需要n重组集合相等还需其叉积扩集也相同定义31―3设R1是上的n元关系R2是上的m元关系那么R1 R2当且仅当n m且对一切i1≤i≤nAi Bi并且R1和R2是相等的有序n重组集合 312 二元关系最重要的关系是二元关系本章主要讨论二元关系今后术语关系都指二元关系若非二元关系将用三元或n元一类术语指出二元关系有自己专用的记法和若干新术语设 A x1x2x7 B y1y2y6 R〈x3y1〉〈x3y2〉〈x4y4〉〈x6y2〉 A到B的二元关系R可如图31―1那样形象地表示〈x3y1〉∈R也可写成x3Ry1称为中缀记法读做x3和y1有关系R中缀记法常用来表示诸如＜＞等关系例如〈35〉∈＜通常写作3＜5 A叫做关系R的前域B叫做关系R的陪域 D R x｜y 〈xy〉∈R 叫做关系R的定义域R R y｜x 〈xy〉∈R 叫做关系R的值域关系是序偶的集合对它可进行集合运算运算结果定义一个新关系设R和S是给定集合上的两个二元关系则R∪SR∩SR-S 等可分别定义如下x R∪S y xRy∨xSy x R∩S y xRy∧xSy x R-S y xRy∧xy x y xRy 例31-3平面上的几何图形是平面R2的子集也是一种关系设参看图31―2 R1 〈xy〉｜〈xy〉∈R2∧x2y2≤9 R2 〈xy〉｜〈xy〉∈R2∧1≤x≤3 ∧0≤y≤3 R3 〈xy〉｜〈xy〉∈R2∧x2y2≥4 则 R1∪R2 〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∨ 1≤x≤3∧0≤y≤3 R1∩R3〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∧x2y2≥4 R1-R3 〈xy〉｜〈xy〉∈R2∧ x2y2≤9∧ L x2y2≥4 〈xy〉｜〈xy〉∈R2∧ x2y2≥4 313 关系矩阵和关系图表达有限集合到有限集合的二元关系时矩阵是一有力工具定义31―4 给定集合A a1a2am 和B b1b2bn 及一个A到B的二元关系R 使例31-4 设A a1a2 B b1b2b3 R 〈a1b1〉〈a2b1〉〈a1b3〉〈a2b2〉则其关系矩阵为例31-5 设A 1234 A上的二元关系R 〈xy〉｜x＞y 试求出关系矩阵解R 〈41〉〈42〉〈43〉〈31〉〈32〉〈21〉例31-6 设 A 12345 R 〈12〉〈22〉〈32〉〈34〉〈43〉其图示如图31―3所示图中结点5叫做孤立点利用关系R的图示也可写出关系R 314 关系的特性在研究各种二元关系中关系的某些特性扮演着重要角色我们将定义这些特性并给出它的图示和矩阵的特点定义31―5 设R是A上的二元关系 1如果对A中每一xxRx那么R是自反的即 A上的关系R是自反的x x∈A→xRx A 123 R1 〈11〉〈22〉〈33〉〈12〉是自反的其关系图和关系矩阵的特点如图31―4所示 2 如果对A中每一xxRx那么R是反自反的即 A上的关系R是反自反的 x x∈A→xRx 例如 A 123 R2 〈21〉〈13〉〈32〉是反自反的其关系图和关系矩阵的特点如图31―5所示有些关系既不是自反的又不是反自反的如图31―6 例如R3 〈11〉〈12〉〈32〉〈23〉〈33〉 3 如果对每一xy∈AxRy蕴含着yRx那么R是对称的即A上的关系R是对称的x y x∈A∧y∈A∧xRy→yRx 例如A 123 R4 〈12〉〈21〉〈13〉〈31〉〈11〉是对称的其关系图和关系矩阵的特点如图31―7所示 4 如果对每一xy∈AxRyyRx蕴含着x y那么R是反对称的即A上的关系R是反对称的x y x∈A∧y∈A∧xRy∧yRx→x y 例如A 123 R5 〈12〉〈23〉是反对称的其关系图和关系矩阵的特点如图31―8所示 5 如果对每一xyz∈AxRyyRz蕴含着xRz那么R是传递的即A上的关系R是传递的x y z x∈A∧y∈A∧z ∈A∧xRy∧yRz→xRz 例如A 1234R5 〈41〉〈43〉〈42〉〈32〉〈31〉〈21〉是传递的其关系图和关系矩阵如图31―10所示例31-7 1 任何集合上的相等关系是自反的对称的反对称的和传递的但不是反自反的 2 整数集合I上关系≤是自反的反对称的可传递的但不是反自反的和对称的关系＜是反自反的反对称的可传递的但不是自反的和对称的 3 设 ab 试考察上的下列关系 i 关系与有同样长度是自反的对称的可传递的但不是反自反的和反对称的 ii xRy当且仅当x是y的真词头这里R是反自反的反对称的可传递的但不是自反的和对称的 iii xRy当且仅当x的某真词头是y的一个真词尾这里R既不是自反的又不是反自反的因为aaRaa但abRab既不是对称的也不是反对称的并且不是传递的 4 非空集合上的空关系是反自反的对称的反对称的和传递的但不是自反的空集合上的空关系则是自反的反自反的对称的反对称的和可传递的 5 基数大于1的集合上的全域关系是自反的对称的和传递的但不是反自反的和反对称的例如图31―11所示的关系 321 关系的合成前边已经指出关系是序偶的集合因此可以进行集合运算本节介绍一种对关系来说更为重要的运算合成运算假设R1是A到B的关系R2是B到C的关系参看图32-1合成关系R1R2是一个A到C的关系如果在关系图上从a∈A到c∈C有一长度路径中弧的条数为2的路径其第一条弧属于R1其第二条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合其第一条弧属于R1其第二条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合定义32―1 设R1是从A到B的关系R2是从B到C的关系从A到C的合成关系记为R1R2定义为 R1R2 〈ac〉｜a∈A∧c∈C∧b〔b∈B∧〈ab〉∈R1∧〈bc〉∈R2〕例32-11 如果R1是关系是的兄弟R2是关系是的父亲那么R1R2是关系是的叔伯R2R2是关系是的祖父 2 给定集合A 1234 B 234 C 123 设R是A到B的关系S是B到C的关系 R 〈xy〉｜xy 6 〈24〉〈33〉〈42〉S 〈yz〉｜y-z 1 〈21〉〈32〉〈43〉则R·S 〈23〉〈32〉〈41〉如图32―2所示 3 设A 12345 R和S都是A上二元关系如果 R 〈12〉〈34〉〈22〉 S 〈42〉〈25〉〈31〉〈13〉则R·S 〈15〉〈32〉〈25〉 S·R 〈42〉〈32〉〈14〉 R·S ·R 〈32〉 R· S·R 〈32〉 R·R 〈12〉〈22〉 S·S〈45〉〈33〉〈11〉 4 设R是A到B的二元关系IAIB分别是A和B上的相等关系则IA·R R·IB R 5 如果关系R的值域与关系S的定义域的交集是空集则合成关系R·S是空关系下边介绍合成关系的性质定理32―1 设R1是从A到B的关系R2和R3是从B到C的关系R4是从C到D的关系那么 1 R1 R2∪R3 R1R2∪R1R3 2 R1 R2∩R3 R1R2∩R1R3 3 R2∪R3 R4 R2R4∪R3R4 4 R2∩R3 R4 R2R4∩R3R41 2 3 部分的证明留作练习我们仅证明 2 部分证先证明公式因为〈ac〉∈R1 R2∩R3 b〔〈ab〉∈R1∧〈bc〉∈R2∩R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2 ∧〈ab〉∈R1∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2〕∧b〔〈ab〉∈R1∧〈bc〉∈R3〕〈ac〉∈R1R2∧〈ac〉∈R1R3 〈ac〉∈R1R2∩R1R3 即〈ac〉∈R1 R2∩R3 〈ac〉∈R1R2∩R1R3 所以R1 R2∩R3 R1R2∩R1R3 再证包含可能是真包含举反例证明如果 A a B b1b2b3 C c A到B的关系R1〈ab1〉〈ab2〉 B到C的关系R2 〈b1c〉〈b3c〉 B到C的关系R3〈b2c〉〈b3c〉那么R1 R2∩R3 R1R2∩R1R3 〈ac〉此时R1 R2∩R3 ≠R1R2∩R1R3证毕定理32―2 设R1R2和R3分别是从A到BB到C和C到D的关系那么 R1R2 R3 R1 R2R3 证先证 R1R2R3 R1 R2R3 设〈ad〉∈ R1R2 R3那么对某c∈C〈ac〉∈R1R2和〈cd〉∈R3因为〈ac〉∈R1R2存在b∈B使〈ab〉∈R1和〈bc〉∈R2因为〈bc〉∈R2和〈cd〉∈R3得〈bd〉∈R2R3所以〈ad〉∈R1 R2R3 这样就证明了 R1R2 R3 R1 R2R3 R1 R2R3 R1R2 R3的证明是类似的留给读者自证上述证明也可用等价序列表达 322 关系R的幂当R是A上的一个关系时R可与自身合成任意次而形成A上的一个新关系在这种情况下RR常表示为R2RRR表示为R3等等我们能归纳地定义这一符号如下定义32―2设R是集合A上的二元关系n∈N那么R的n次幂记为Rn定义如下 1R0是A上的相等关系R0 〈xx〉｜x∈A 2 Rn1 Rn·R 定理32―3 设R是A上的二元关系并设m和n是N的元素那么 1Rm·Rn Rmn 2 Rm n Rmn 可用归纳法证明请读者自证定理32―4 设｜A｜ nR是集合A上的一个关系那么存在i和j使Ri Rj而0≤i＜j≤证A上的每一二元关系是A×A的子集因为｜A×A｜ n2｜ρ A×A ｜因此A上有个不同关系所以R的不同的幂不会超过个但序列R0R1 有项因此R的这些幂中至少有两个是相等的证毕定理32―5 设R是集合A上的一个二元关系若存在i和ji＜j使Ri Rj记d j-i那么 1 对所有k≥0Rik Rjk 2 对所有km≥0Rimdk Rik 3 记S R0R1R2Rj-1 那么R的每一次幂是S的元素即对n∈NRn∈S 证 1 和 2 部分用归纳法证明留作练习3 对于 c 设n∈N如果n＜j那么根据S的定义Rn∈S假设n≥j那么我们能将n表示为imdk这里k＜d根据 b 部分得Rn Rik因为ik＜j这证明了Rn∈S定理中的ij在实用时宜取最小的非负整数以保证S中无重复元素例32-2 设 A abcd R 〈ab〉〈cb〉〈bc〉〈cd〉其关系图如图32―3所示则R0 〈aa〉〈bb〉〈cc〉〈dd〉 R2 〈ac〉〈bb〉〈bd〉〈cc〉 R3〈ab〉〈ad〉〈bc〉〈cb〉〈cd〉 R4 〈ac〉〈bb〉〈bd〉〈cc〉它们的关系图如图32―4所示由于R4 R2根据定理32―5 c 对所有n∈NRn∈ R0R1R2R3 可见不必再算了事实上易证R5 R3R6 R4 R2用归纳法可得R2n1 R3和R2n R2这里n≥1 323 合成关系的矩阵表达定理32―6 设X x1x2xm Y y1y2yn Z z1z2zp R是X到Y的关系MR 〔aij〕是m×n矩阵S是Y到Z的关系MS 〔bij〕是n×p矩阵则MR·S 〔cij〕 MR·MS这里证因为如果存在某k使aik和bki都等于1则cij 1但aik和bkj都等于1意味着xiRyk和ykSzj所以xi R·S zj可见如此求得的MR·S确实表达了R·S的关系因此上述等式是正确的如果不仅存在一个k使aik和bki都是1此时cij仍为1只是从xi到zj不止一条长度为2的路径但等式仍然正确上段的论证已隐含了不止一个k的情况本定理说明合成关系矩阵可用关系矩阵布尔矩阵的乘法表达例32-3设X 12 Y abc Z αβ R 〈1a〉〈1b〉〈2c〉 S 〈aβ〉〈bβ〉则定理32―7 关系矩阵的乘法是可结合的证利用关系合成的可结合性证明 MR·MS ·MT MR·S·MT M R·S ·T MR· S·T MR·MS·T MR· MS·MT 不仅合成关系可用关系矩阵表达而且关系的集合运算也可用关系矩阵表达设R和S是X到Y上的二元关系MR 〔aij〕MS 〔bij〕cij是运算后所得新关系之关系矩阵的元素则 MR∩S MR∧MS cij aij∧bij MR∪S MR∨MS cij aij∨bij cij aij MR-S MR∧ cij aij∧ bij 331 逆关系在讨论闭包运算时要用到逆关系的概念因此我们先介绍逆关系定义33―1设R是从A到B的二元关系关系R的逆或叫R的逆关系记为是一从B到A的二元关系定义如下例33-11 I上的关系2 集合族上的关系的逆是关系3 空关系的逆是空关系4 B×A即A×B的全域关系的逆等于B×A的全域关系定理33―1设R是从A到B的关系而S是从B到C 的关系则定理33―2 设RR1和R2都是从A到B的二元关系那么下列各式成立 332 关系的闭包运算关系的闭包运算是关系上的一元运算它把给出的关系R扩充成一新关系R′使R′具有一定的性质且所进行的扩充又是最节约的定义33―2设R是A上的二元关系R的自反对称传递闭包是关系R′使 i R′是自反的对称的传递的ii R′R iii 对任何自反的对称的传递的关系R〃如果R〃R那么R〃R′ R的自反对称和传递闭包分别记为r R s R和t R 由定义可以看出R的自反对称传递闭包是含有R并且具有自反对称传递性质的最小关系如果R已经是自反的对称的传递的那么具有该性质并含有R的最小关系就是R自身下一定理说明这一点定理33―4设R是集合A上的二元关系那么 a R是自反的当且仅当r R R b R是对称的当且仅当s R R c R是传递的当且仅当t R R 证 a 如果R是自反的那么R具有定义33―2对R′所要求的性质因此r R R反之如果r R R那么根据定义33―2的性质 i R是自反的b 和 c 的证明是类似的略构造R的自反对称和传递闭包的方法就是给R补充必要的序偶使它具有所希望的特性下面我们用关系图来说明如何实现这一点定理33―5 设R是集合A上的二元关系那么r R R ∪E 这里E是A上相等关系在本节中均如此证设R′ R∪E显然R′是自反的且R′R余下只需证明最小性现假设R〃是A上的自反关系且R〃R因R〃是自反的所以R〃E又R〃R所以R〃R∪E R′这样定义33―2都满足所以R′ r R 证毕设G是集合A上二元关系R的关系图我们把G的所有弧都画成有来有往即如果有从a到b的弧那么也有从b到a的弧就得到了R的对称闭包的有向图下一定理体现了这一想法定理33―7 设R 是集合A上的二元关系那么例33-2 a 整数集合I 上的关系＜的自反闭包是≤对称闭包是关系≠传递闭包是关系＜自身b 整数集合I上的关系≤的自反闭包是自身对称闭包是全域关系传递闭包是自身 c E的自反闭包对称闭包和传递闭包都是 E d ≠的自反闭包是全域关系对称闭包是≠≠的传递闭包是全域关系e 空关系的自反闭包是相等关系对称闭包和传递闭包是自身 f 设R是I上的关系xRy当且仅当y x1那么t R 是关系＜定理33―8设R是集合A上的二元关系这里A有n个元素那么证设〈xy〉∈t R 于是必存在最小的正整数k使〈xy〉∈Rk现证明k≤n若不然存在A的元素序列x a0a1a2ak-1ak y使xRa1a1Ra2ak-1Ry因k＞na0a1ak中必有相同者不妨设ai aj0≤i＜j≤k于是xRa1a1Ra2ai-1RaiajRaj1ak-1Ry 成立即〈xy〉∈Rs这里s k- j-i但这与k是最小的假设矛盾于是k≤n又〈xy〉是任意的故定理得证例33-3 设A abcd R如图33―1 a 所示则t R R∪R2∪R3∪R4如图33―1 b 所示本例即是32-2 定理33―9 1 如果R是自反的那么s R 和t R 都是自反的 2 如果R是对称的那么r R 和t R 都是对称的 3 如果R是传递的那么r R 是传递的定理33―10 设R是集合A上的二元关系那么 1 rs R sr R 2 rt R tr R 3 ts R st R 2 注意到ER RE R 和对一切n∈NEn E可得 34 次序关系 341 偏序集合定义34―1 如果集合A上的二元关系R是自反的反对称的和传递的那么称R为A上的偏序称序偶〈AR〉为偏序集合如果R是偏序〈AR〉常记为〈A ≤〉≤是偏序符号由于≤难以书写通常写作≤读做小于或等于因为小于或等于也是一种偏序故不会产生混乱R是偏序时aRb就记成a≤b 如果R是集合A上的偏序则 R 也是A上的偏序如果用≤表示R 可用≥表示R〈A≤〉和〈A ≥〉都是偏序集合并互为对偶例34-1 1 〈I≤〉是偏序集合这里≤表示整数中的小于或等于关系 2 〈ρ A 〉是偏序集合这里是集合间的包含关系 3 A 2468 D代表整除关系M代表整倍数关系则 D 〈22〉〈44〉〈66〉〈88〉〈24〉〈26〉〈28〉〈48〉 M 〈22〉〈44〉〈66〉〈88〉〈42〉〈62〉〈82〉〈84〉〈AD〉〈AM〉都是偏序集合且互为对偶例2 a P 1234 〈P≤〉的哈斯图为图34―2 b A 236122436 〈A整除〉的哈斯图为图34―3 c A 1212 〈A整除〉的哈斯图为图34―4 定义34―2 设〈A≤〉是一偏序集合B是A的子集 a 元素b∈B是B的最大元素如果对每一元素x∈Bx≤b b 元素b∈B是B的最小元素如果对每一元素x∈Bb≤x 例3考虑在偏序整除下整数1到6的集合其哈斯图为图34―5 a 如果B 1236 那么1是B的最小元素6是B的最大元素 b 如果B 23 因为2和3互相不能整除那么B没有最小元素和最大元素 c 如果B 4 那么4是B的最大元素也是B的最小元素定理34―1 设〈A≤〉是一偏序集合且B A如果B有最大最小元素那么它是唯一的证假设a和b都是B的最大元素那么a≤b和b≤a从≤的反对称性得到a b当a和b都是B的最小元素时证明是类似的定义34―3设〈A≤〉是一偏序集合B是A的子集 a如果b∈B且B中不存在元素x使b≠x且b≤x那么元素b∈B叫做B的极大元素b 如果b∈B且B中不存在元素x使b≠x且x≤b那么元素b∈B叫做B的极小元素定义34―4设〈A≤〉是一偏序集合B是A的子集a 如果对每一b∈Bb≤a那么元素a∈A叫做B的上界如果对每一b∈Ba≤b那么元素a∈A叫做B的下界 b 如果a是一上界并且对每一B的上界a′有a≤a′那么元素a∈A叫做B的最小上界记为lub如果a是一下界并且对每一B的下界a′有a′≤a那么元素a∈A叫做B的最大下界记为glb 例34-4 a 考虑偏序集合〈〈11〉〈10〉〈01〉〈00〉≤〉这里≤按〈 ab〉≤〈cd〉a≤c∧b≤d 规定其哈斯图如图34―6 如果B 〈10〉那么〈10〉是B的最小和最大元素也是B的极大和极小元素B的上界是〈10〉和〈11〉〈10〉是最小上界B的下界是〈00〉和〈10〉〈10〉是最大下界 b 考虑偏序集合〈I≤〉设B 2i｜i∈N那么B既没有最大元素和极大元素也没有上界和最小上界B的最小元素和极小元素是0B的下界集合是 i｜i∈I∧i≤0 0是最大下界 c 考虑在偏序集合〈 256101530 整除〉其哈斯图如图34―7设B是全集合 256101530 那么2和5都是B的极小元素但B没有最小元素集合B没有下界所以没有最大下界元素30是B的最大元素极大元素上界最小上界定理34―2 如果〈A≤〉是非空有限的偏序集合则A的极小大元素常存在最大下界和最小上界也可能存在或不存在但如果它们存在则是唯一的定理34―3 设〈A≤〉是偏序集合且B A 如果B的最小上界最大下界存在那么是唯一的下述定理描述了存在于诸特异元素之间的某些关系定理34―4 设〈A≤〉是偏序集合B是A的子集 a 如果b是B的最大元素那么b是B的极大元素 b 如果b是B的最大元素那么b是B的lub c 如果b是B的一个上界且b∈B那么b是B的最大元素证明可由最大元素极大元素和lub的定义直接得出故略去另外读者不难给出表达最小元素极小元素和glb间关系的定理 342 拟序集合定义34―5如果集合A上的二元关系R是传递的和反自反的那么R叫做A上的拟序〈AR〉称为拟序集合常借用符号＜表示拟序拟序是反对称的虽然定义中没有明确指出但容易证明这一点因为如果xRy和yRx由R的传递性得xRx但这与R的反自反性矛盾所以xRy∧yRx常假于是xRy∧yRx→x y常真即R是反对称的例34-5 a 实数集合中的＜是拟序关系 b 集合族中的真包含是拟序关系拟序集合和偏序集合是紧密相关的唯一区别是相等关系E下述定理将说明这一点定理34―5在集合A上 a 如果R是一拟序那么rR R∪E是偏序 b 如果R是一偏序那么R-E是一拟序 343线序集合和良序集合如果≤是一偏序或a≤b或b≤a我们说a和b是可比较的偏序集合中的元素不一定都可比较所以叫偏序下面介绍的都是可比较的情况定义34―6在偏序集合〈A≤〉中如果每一ab∈A或者a≤b或者b≤a那么≤叫做A上的线序或全序这时的序偶〈A≤〉叫做线序集合或链例34-6 a P a ab abc 〈P〉是线序集合其哈斯图如图34―8所示 b 〈I≤〉是线序集合其哈斯图不完全如图34―9所示 c 设S是区间套的集合〔0a ｜a∈R 则〈S〉是线序集合 d 〈 1236 整除〉不是线序集合如果A是多于一个元素的集合那么〈ρ A 〉不是线序集合定义34―7如果A上的二元关系R是一线序且A的每一非空子集都有一最小元素那么R叫做A上的良序序偶〈AR〉叫做良序集合定理34―6〈N≤〉是良序集合证我们必须证明N的每一非空子集S在关系≤之下都有一最小元素因为S非空所以在S中可以取一个数n显然S中所有不大于n的数形成非空集T S如果T有最小数那么这最小数就是S中的最小数但从0到n只有n1个自然数于是T中所含的数最多是n1个所以T有最小数因此定理成立例34-8 a 每一有限线序集合是良序的 b 线序集合〈I≤〉不是良序集合因为I的某些子集诸如I自身不包含最小元素 c 关系≤是实数R的线序但不是良序例如子集A 01〕无最小元素如果A中的a是最小元素那么也在A中而≤a且不相等这与假设a是线序关系≤下A的最小元素矛盾2 应用N上的良序定义出Nn上的良序例如n 2时N2上的次序关系可如下定义〈ab〉〈cd〉a＜c∨ a c∧b d 〈N2〉是良序集合关系严格小于可如下定义〈ab〉＜〈cd〉〈ab〉≤〈cd〉∧〈ab〉≠〈cd〉类似地应用I上的线序能定义出线序集合〈In≤〉 3 应用字母表∑上的线序可定义出∑上的通常叫词典序的线序定义34―8 设∑是一有限字母表指定了字母表序线序如果xy∈∑ a x是y的词头或 b x zu和y zv这里z∈∑是x和y的最长公共词头且在字母表序中u的第一个字符前于v的第一个字符那么x≤y≤叫做词典序4 由于〈N〉和有限线序集合都是良序集合可应用它们定义出∑上的一个良序通常叫标准序定义34―9设∑是一有限字母表指定了字母表序‖x‖表示x∈∑的长度如果xy∈∑ a ‖x‖＜‖y‖或b ‖x‖‖y‖且在∑的词典序中x前于y那么x≤y ≤叫做标准序不论在词典序和标准序下∑的每一元素都有直接后继者设∑ abc 且a≤b≤cx∈∑在标准序下 xa和xb的直接后继者分别是xb和xc xc的直接后继者是ya这里y是x的直接后继者在词典序下x的直接后继者是xa在标准序下 xb和xc的直接前趋分别是xa和xb xa的直接前趋是yc这里y是x的直接前趋在词典序下 xa的直接前趋是x非a结尾的串都无直接前趋例如babaab但有无限个前趋 345 数学归纳法的推广前章我们把数学归纳法第一第二原理看作是自然数域上的一个推理规则本小节我们把它推广到一般的良序集合对任一个自然数n我们先取0如果n≠0取0的后继者1如果n≠1再取1的后继者2如此进行下去最终会得出n 给定一个良序集合如果对它的任一元素x我们先取该集合的最小元素m0如果x≠m0取m0的后继者m1如果x≠m1再取m1的后继者m2如此以往最终会得出x那么就称这样的良序集合是像自然数的例 8 1 设∑ ab 良序集合〈∑标准序〉是像自然数的因为定长的串的个数有限给定任一个串x在x之前的串的个数有限所以从∧开始反复取后继者终可得出x 2 良序集合〈N×N≤〉不像自然数这里≤按上一小节规定因为有许多元素没有直接前趋例如〈50〉就是这样因而有无限个元素前于〈50〉所以从〈00〉开始反复地取后继者不可能取得〈50〉像自然数的良序集合可以应用数学归纳法第一原理因为第一原理是建立在后继运算上而这种良序集合的每一元素都可通过重复地取后继者得到设m0是该良序集合〈S≤〉的最小元素S x 是元素x的后继者则推理规则如下对不像自然数的良序集合不能应用数学归纳法第一原理因为这种良序集合的有些元素不能由后继运算得到但对它可应用数学归纳法第二原理第二原理是建立在良序集合上的适用于一切良序集合设〈S≤〉是良序集合＜表示≤-E 即x＜y表示x≤y且x≠y 则推理规则如下下面证明良序集合上这个推理规则是有效的假设我们能证明前提例34-10〈Q≤〉是线序集合现说明在此线序集合中第二原理不是有效推理规则设谓词P x 表示x小于或等于5 i 当x≤5时 y〔y＜x→P y 〕是真P x 也真所以是真综合 i 和 ii 得在论述域Q上 x 〔 y y＜x→P y →P x 〕是真但结论 x P x 是假这说明第二原理不能应用于线序集合〈Q≤〉 35 等价关系和划分 351 等价关系二元关系的另一重要类型是等价关系其定义如下定义35―1 如果集合A上的二元关系R是自反的对称的和传递的那么称R是等价关系设R是A上的等价关系abc是A的任意元素如果aRb 即〈ab〉∈R 通常我们记作a～b读做a等价于b 定义35―2 设k是一正整数而ab∈I如果对某整数ma-b m·k那么a和b是模k等价写成a≡b modk 整数k叫做等价的模数定理35―1模k等价是任何集合A I上的等价关系证如果A 例35-1 c 已指出它是等价关系如果A≠则 i 自反的因为对任一aa-a 0·k得出a≡a modk ii 对称的因为a≡b mod k 时存在某m∈I使a-b m·k于是b-a-m·k 因此 b≡a mod k iii 传递的设a≡b mod k 和b≡c mod k 那么存在m1m2∈I 使a-b m1k和b-c m2·k 将两等式两边相加得a-c m1m2 ·k所以a≡c mod k 例1 a 同学集合A abcdefgA中的关系R是住在同一房间这是等价关系因为 i 任一个人和自己同住一间具有自反性 ii 若甲和乙同住一间则乙和甲也同住一间具有对称性 iii 若甲和乙同住一间乙和丙同住一间则甲和丙也同住一间具有传递性现假设a和b同住一间def同住一间c住一间则 R 〈aa〉〈ab〉〈ba〉〈bb〉〈cc〉〈dd〉〈ee〉〈ff〉〈de〉〈ed〉〈ef〉〈fe〉〈df〉〈fd〉其有向图如图35―1所示 b 数中的相等关系集合中的相等关系命题演算中的关系等都是等价关系 c 空集合中的二元关系R是等价关系因为i x x∈→xRx ii x y〔x∈∧y∈∧xRy→yRx〕iii x y z〔x∈∧y∈∧z∈∧xRy∧yRz→xRz〕都无义地真所以R是等价关系集合A上的全域关系R A×A是等价关系模数等价是整数域或其子集上的等价关系并且是等价关系中极为重要的一类定理 35-1 模k等价是任何集合A I上的等价关系证如果A 例35-1 3 已指出它是等价关系如果A≠则 i 自反的因为对任一aa-a 0·k得出a≡a mod k ii 对称的因为a≡b modk 时存在某m∈I使a-b m·k于是b-a -m·k因此b≡amodk iii 传递的设a≡b modk 和b≡c modk 那么存在m1m2∈I使a-b m1k和b-c m2·k将两等式两边相加得a-c m1m2 ·k所以a≡c modk 例35-2 a 若R是I上模4等价关系则〔0〕4 -8-4048 〔1〕4 -7-3159 〔2〕4 -6-22610 〔3〕4 -5-13711 b 若R是I上模2等价关系则〔0〕2 -4-2024 〔1〕2 -3-1135 每一集合中的数相互等价 c 时钟是按模12方式记数的设备13点钟和1点钟有相同的记数定义35―3 设R是集合A上等价关系对每一a∈Aa关于R的等价类是集合 x｜xRa 记为〔a〕R简记为〔a〕称a为等价类〔a〕的表示元素如果等价类个数有限则R的不同等价类的个数叫做R的秩否则秩是无限的对每一a∈A等价类〔a〕R非空因为a∈〔a〕R 例 35-3 1 如图35―2设A abcdef R 〈aa〉〈bb〉〈cc〉〈ab〉〈ba〉〈ac〉〈ca〉〈bc〉〈cb〉〈dd〉〈ee〉〈de〉〈ed〉〈ff〉则等价关系R的等价类如下〔a〕〔b〕〔c〕 abc 〔d〕〔e〕 de 〔f〕 f等价关系R的秩是3 2 I上模4等价的等价类是〔0〕4〔1〕4〔2〕4〔3〕4 参看例2 a I上模2等价的等价类是〔0〕2 〔1〕2 参看例2 b3 集合A上相等关系的秩等于A的元素个数定理35―2 设R是非空集合A上的等价关系aRb 当且仅当〔a〕〔b〕证充分性因为a∈〔a〕〔b〕即a∈〔b〕所以aRb 定理35―3设R是集合A上的等价关系则对所有ab∈A或者〔a〕〔b〕或者〔a〕∩〔b〕证如果A 断言无义地真现设A≠若〔a〕∩〔b〕≠则存在某元素c∈〔a〕和c∈〔b〕根据定理35―2得〔a〕〔c〕〔b〕又因〔a〕和〔b〕都非空〔a〕∩〔b〕和〔a〕〔b〕不能兼得因而定理得证定义35― 4 给定非空集合A和非空集合族πA1A2Am 如果那么称集合族π是A的覆盖定理35―4设R是集合A上的等价关系则证先证定理35―5设R1和R2是集合A上的等价关系那么R1 R2当且仅当〔a〕R1｜a∈A 〔a〕R2｜a∈A 证必要性因为R1 R2所以对任意a∈A有〔a〕R1 x｜xR1a x｜xR2a。

方世昌离散数学第三版教材课件第3章二元关系（可编辑）

⽅世昌离散数学第三版教材课件第3章⼆元关系（可编辑）⽅世昌离散数学第三版教材课件第3章⼆元关系31 基本概念 32 关系的合成 33 关系上的闭包运算 34 次序关系 35 等价关系和划分 31 基本概念311 关系关系的数学概念是建⽴在⽇常⽣活中关系的概念之上的让我们先看两个例⼦例31-1 设 A abcd 是某乒乓球队的男队员集合 B efg 是⼥队员集合如果A和B元素之间有混双配对关系的是a 和gd和e我们可表达为 R 〈ag〉〈de〉这⾥R表⽰具有混双配对关系的序偶集合所有可能具有混双配对关系的序偶集合是 A×B 〈xy〉x∈A∧y∈B 〈ae〉〈af〉〈ag〉〈be〉〈bf〉〈bg〉〈ce〉〈cf〉〈cg〉〈de〉〈df〉〈dg〉例31-2 设学⽣集合A1 abcd 选修课集合A2 ⽇语法语成绩等级集合A3 甲⼄丙如果四⼈的选修内容及成绩如下 a ⽇⼄ b 法甲c ⽇丙 d 法⼄我们可表达为S 〈a⽇⼄〉〈b法甲〉〈c⽇丙〉〈d法⼄〉这⾥S表⽰学⽣和选修课及成绩间的关系⽽可能出现的全部情况为 A1×A2×A3 〈xyz〉x∈A1∧y∈A2∧z∈A3 〈a⽇甲〉〈a ⽇⼄〉〈a⽇丙〉〈a法甲〉〈a法⼄〉〈a法丙〉〈b⽇甲〉〈b⽇⼄〉〈b⽇丙〉〈b 法甲〉〈b法⼄〉〈b法丙〉〈c⽇甲〉〈c⽇⼄〉〈c⽇丙〉〈c法甲〉〈c法⼄〉〈d法丙〉定〈c法丙〉〈d⽇甲〉〈d⽇⼄〉〈d⽇丙〉〈d法甲〉〈d法⼄〉义31―1 1 A×B的⼦集叫做A到B的⼀个⼆元关系2 A1×A2××An n≥1 的⼦集叫做A1×A2××An上的⼀个n元关系3 从定义可看出关系是⼀个集合所有定义集合的⽅法都可⽤来定义关系例31-1和例31-2是列举法的例⼦⼀个谓词Px1x2xn 可以定义⼀个n元关系R R 〈x1x2xn〉P x1x2xn 例如实数R上的⼆元关系＞可定义如下＞〈xy〉x∈R∧y∈R∧x＞y 反之⼀个n元关系也可定义⼀个谓词当n 1时R 〈x〉P x 称为⼀元关系它是⼀重组集合表⽰论述域上具有性质P的元素集合其意义与R xP x 相同仅记法不同⽽已例如设P x 表⽰x是质数论述域是N则质数集合可表⽰为〈x〉｜P x 或x｜P x 关系也可归纳地定义⾃然数上的⼩于关系可定义如下1 基础〈01〉∈＜2 归纳如果〈xy〉∈＜那么i 〈xy1〉∈＜ ii 〈x1y1〉∈＜ 3 极⼩性对⼀切xy∈Nx＜y当且仅当〈xy〉是由有限次应⽤条款 1 和 2 构成定义31―2 设R是的⼦集如果R 则称R为空关系如果则称R为全域关系现在定义关系相等的概念在关系相等的概念中不仅需要n重组集合相等还需其叉积扩集也相同定义31―3设R1是上的n元关系R2是上的m元关系那么R1 R2当且仅当n m且对⼀切i1≤i≤nAi Bi并且R1和R2是相等的有序n重组集合 312 ⼆元关系最重要的关系是⼆元关系本章主要讨论⼆元关系今后术语关系都指⼆元关系若⾮⼆元关系将⽤三元或n元⼀类术语指出⼆元关系有⾃⼰专⽤的记法和若⼲新术语设 A x1x2x7 B y1y2y6 R〈x3y1〉〈x3y2〉〈x4y4〉〈x6y2〉 A到B的⼆元关系R可如图31―1那样形象地表⽰〈x3y1〉∈R也可写成x3Ry1称为中缀记法读做x3和y1有关系R中缀记法常⽤来表⽰诸如＜＞等关系例如〈35〉∈＜通常写作3＜5 A叫做关系R的前域B叫做关系R的陪域 D R x｜y 〈xy〉∈R 叫做关系R的定义域R R y｜x 〈xy〉∈R 叫做关系R的值域关系是序偶的集合对它可进⾏集合运算运算结果定义⼀个新关系设R和S是给定集合上的两个⼆元关系则R∪SR∩SR-S 等可分别定义如下x R∪S y xRy∨xSy x R∩S y xRy∧xSy x R-S y xRy∧xy x y xRy 例31-3平⾯上的⼏何图形是平⾯R2的⼦集也是⼀种关系设参看图31―2 R1 〈xy〉｜〈xy〉∈R2∧x2y2≤9 R2 〈xy〉｜〈xy〉∈R2∧1≤x≤3 ∧0≤y≤3 R3 〈xy〉｜〈xy〉∈R2∧x2y2≥4 则 R1∪R2 〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∨ 1≤x≤3∧0≤y≤3 R1∩R3〈xy〉｜〈xy〉∈R2∧ x2y2 ≤9∧x2y2≥4 R1-R3 〈xy〉｜〈xy〉∈R2∧ x2y2≤9∧ L x2y2≥4 〈xy〉｜〈xy〉∈R2∧ x2y2≥4 313 关系矩阵和关系图表达有限集合到有限集合的⼆元关系时矩阵是⼀有⼒⼯具定义31―4 给定集合A a1a2am 和B b1b2bn 及⼀个A到B的⼆元关系R 使例31-4 设A a1a2 B b1b2b3 R 〈a1b1〉〈a2b1〉〈a1b3〉〈a2b2〉则其关系矩阵为例31-5 设A 1234 A上的⼆元关系R 〈xy〉｜x＞y 试求出关系矩阵解R 〈41〉〈42〉〈43〉〈31〉〈32〉〈21〉例31-6 设 A 12345 R 〈12〉〈22〉〈32〉〈34〉〈43〉其图⽰如图31―3所⽰图中结点5叫做孤⽴点利⽤关系R的图⽰也可写出关系R 314 关系的特性在研究各种⼆元关系中关系的某些特性扮演着重要⾓⾊我们将定义这些特性并给出它的图⽰和矩阵的特点定义31―5 设R是A上的⼆元关系 1如果对A中每⼀xxRx那么R是⾃反的即 A上的关系R是⾃反的x x∈A→xRx A 123 R1 〈11〉〈22〉〈33〉〈12〉是⾃反的其关系图和关系矩阵的特点如图31―4所⽰ 2 如果对A中每⼀xxRx那么R是反⾃反的即 A上的关系R是反⾃反的 x x∈A→xRx 例如 A 123 R2 〈21〉〈13〉〈32〉是反⾃反的其关系图和关系矩阵的特点如图31―5所⽰有些关系既不是⾃反的⼜不是反⾃反的如图31―6 例如R3 〈11〉〈12〉〈32〉〈23〉〈33〉 3 如果对每⼀xy∈AxRy蕴含着yRx那么R是对称的即A上的关系R是对称的x y x∈A∧y∈A∧xRy→yRx 例如A 123 R4 〈12〉〈21〉〈13〉〈31〉〈11〉是对称的其关系图和关系矩阵的特点如图31―7所⽰ 4 如果对每⼀xy∈AxRyyRx蕴含着x y那么R是反对称的即A上的关系R是反对称的x y x∈A∧y∈A∧xRy∧yRx→x y 例如A 123 R5 〈12〉〈23〉是反对称的其关系图和关系矩阵的特点如图31―8所⽰ 5 如果对每⼀xyz∈AxRyyRz蕴含着xRz那么R是传递的即A上的关系R是传递的x y z x∈A∧y∈A∧z ∈A∧xRy∧yRz→xRz 例如A 1234R5 〈41〉〈43〉〈42〉〈32〉〈31〉〈21〉是传递的其关系图和关系矩阵如图31―10所⽰例31-7 1 任何集合上的相等关系是⾃反的对称的反对称的和传递的但不是反⾃反的 2 整数集合I上关系≤是⾃反的反对称的可传递的但不是反⾃反的和对称的关系＜是反⾃反的反对称的可传递的但不是⾃反的和对称的 3 设 ab 试考察上的下列关系 i 关系与有同样长度是⾃反的对称的可传递的但不是反⾃反的和反对称的 ii xRy当且仅当x是y的真词头这⾥R是反⾃反的反对称的可传递的但不是⾃反的和对称的 iii xRy当且仅当x的某真词头是y的⼀个真词尾这⾥R既不是⾃反的⼜不是反⾃反的因为aaRaa但abRab既不是对称的也不是反对称的并且不是传递的 4 ⾮空集合上的空关系是反⾃反的对称的反对称的和传递的但不是⾃反的空集合上的空关系则是⾃反的反⾃反的对称的反对称的和可传递的 5 基数⼤于1的集合上的全域关系是⾃反的对称的和传递的但不是反⾃反的和反对称的例如图31―11所⽰的关系 321 关系的合成前边已经指出关系是序偶的集合因此可以进⾏集合运算本节介绍⼀种对关系来说更为重要的运算合成运算假设R1是A到B的关系R2是B到C的关系参看图32-1合成关系R1R2是⼀个A到C的关系如果在关系图上从a∈A到c∈C有⼀长度路径中弧的条数为2的路径其第⼀条弧属于R1其第⼆条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合其第⼀条弧属于R1其第⼆条弧属于R2那么〈ac〉∈R1R2合成关系R1R2就是由〈ac〉这样的序偶组成的集合定义32―1 设R1是从A到B的关系R2是从B到C的关系从A到C的合成关系记为R1R2定义为 R1R2 〈ac〉｜a∈A∧c∈C∧b〔b∈B∧〈ab〉∈R1∧〈bc〉∈R2〕例32-11 如果R1是关系是的兄弟R2是关系是的⽗亲那么R1R2是关系是的叔伯R2R2是关系是的祖⽗ 2 给定集合A 1234 B 234 C 123 设R是A到B的关系S是B到C的关系 R 〈xy〉｜xy 6 〈24〉〈33〉〈42〉S 〈yz〉｜y-z 1 〈21〉〈32〉〈43〉则R·S 〈23〉〈32〉〈41〉如图32―2所⽰ 3 设A 12345 R和S都是A上⼆元关系如果 R 〈12〉〈34〉〈22〉 S 〈42〉〈25〉〈31〉〈13〉则R·S 〈15〉〈32〉〈25〉 S·R 〈42〉〈32〉〈14〉 R·S ·R 〈32〉 R· S·R 〈32〉 R·R 〈12〉〈22〉 S·S〈45〉〈33〉〈11〉 4 设R是A到B的⼆元关系IAIB分别是A和B上的相等关系则IA·R R·IB R 5 如果关系R的值域与关系S的定义域的交集是空集则合成关系R·S是空关系下边介绍合成关系的性质定理32―1 设R1是从A到B的关系R2和R3是从B到C的关系R4是从C到D的关系那么 1 R1 R2∪R3 R1R2∪R1R3 2 R1 R2∩R3 R1R2∩R1R3 3 R2∪R3 R4 R2R4∪R3R4 4 R2∩R3 R4 R2R4∩R3R41 2 3 部分的证明留作练习我们仅证明 2 部分证先证明公式因为〈ac〉∈R1 R2∩R3 b〔〈ab〉∈R1∧〈bc〉∈R2∩R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2 ∧〈ab〉∈R1∧〈bc〉∈R3 〕b〔〈ab〉∈R1∧〈bc〉∈R2〕∧b〔〈ab〉∈R1∧〈bc〉∈R3〕〈ac〉∈R1R2∧〈ac〉∈R1R3 〈ac〉∈R1R2∩R1R3 即〈ac〉∈R1 R2∩R3 〈ac〉∈R1R2∩R1R3 所以R1 R2∩R3 R1R2∩R1R3 再证包含可能是真包含举反例证明如果 A a B b1b2b3 C c A到B的关系R1〈ab1〉〈ab2〉 B到C的关系R2 〈b1c〉〈b3c〉 B到C的关系R3〈b2c〉〈b3c〉那么R1 R2∩R3 R1R2∩R1R3 〈ac〉此时R1 R2∩R3 ≠R1R2∩R1R3证毕定理32―2 设R1R2和R3分别是从A到BB到C和C到D的关系那么 R1R2 R3 R1 R2R3 证先证 R1R2R3 R1 R2R3 设〈ad〉∈ R1R2 R3那么对某c∈C〈ac〉∈R1R2和〈cd〉∈R3因为〈ac〉∈R1R2存在b∈B使〈ab〉∈R1和〈bc〉∈R2因为〈bc〉∈R2和〈cd〉∈R3得〈bd〉∈R2R3所以〈ad〉∈R1 R2R3 这样就证明了 R1R2 R3 R1 R2R3 R1 R2R3 R1R2 R3的证明是类似的留给读者⾃证上述证明也可⽤等价序列表达 322 关系R的幂当R是A上的⼀个关系时R可与⾃⾝合成任意次⽽形成A上的⼀个新关系在这种情况下RR常表⽰为R2RRR表⽰为R3等等我们能归纳地定义这⼀符号如下定义32―2设R是集合A上的⼆元关系n∈N那么R的n次幂记为Rn定义如下 1R0是A上的相等关系R0 〈xx〉｜x∈A 2 Rn1 Rn·R 定理32―3 设R是A上的⼆元关系并设m和n是N的元素那么 1Rm·Rn Rmn 2 Rm n Rmn 可⽤归纳法证明请读者⾃证定理32―4 设｜A｜ nR是集合A上的⼀个关系那么存在i和j使Ri Rj⽽0≤i＜j≤证A上的每⼀⼆元关系是A×A的⼦集因为｜A×A｜ n2｜ρ A×A ｜因此A上有个不同关系所以R的不同的幂不会超过个但序列R0R1 有项因此R的这些幂中⾄少有两个是相等的证毕定理32―5 设R是集合A上的⼀个⼆元关系若存在i和ji＜j使Ri Rj记d j-i那么 1 对所有k≥0Rik Rjk 2 对所有km≥0Rimdk Rik 3 记S R0R1R2Rj-1 那么R的每⼀次幂是S的元素即对n∈NRn∈S 证 1 和 2 部分⽤归纳法证明留作练习3 对于 c 设n∈N如果n＜j那么根据S的定义Rn∈S假设n≥j那么我们能将n表⽰为imdk这⾥k＜d根据 b 部分得Rn Rik因为ik＜j这证明了Rn∈S定理中的ij在实⽤时宜取最⼩的⾮负整数以保证S中⽆重复元素例32-2 设 A abcd R 〈ab〉〈cb〉〈bc〉〈cd〉其关系图如图32―3所⽰则R0 〈aa〉〈bb〉〈cc〉〈dd〉 R2 〈ac〉〈bb〉〈bd〉〈cc〉 R3〈ab〉〈ad〉〈bc〉〈cb〉〈cd〉 R4 〈ac〉〈bb〉〈bd〉〈cc〉它们的关系图如图32―4所⽰由于R4 R2根据定理32―5 c 对所有n∈NRn∈ R0R1R2R3 可见不必再算了事实上易证R5 R3R6 R4 R2⽤归纳法可得R2n1 R3和R2n R2这⾥n≥1 323 合成关系的矩阵表达定理32―6 设X x1x2xm Y y1y2yn Z z1z2zp R是X到Y的关系MR 〔aij〕是m×n矩阵S是Y到Z的关系MS 〔bij〕是n×p矩阵则MR·S 〔cij〕 MR·MS这⾥证因为如果存在某k使aik和bki都等于1则cij 1但aik和bkj都等于1意味着xiRyk和ykSzj所以xi R·S zj可见如此求得的MR·S确实表达了R·S的关系因此上述等式是正确的如果不仅存在⼀个k使aik和bki都是1此时cij仍为1只是从xi到zj不⽌⼀条长度为2的路径但等式仍然正确上段的论证已隐含了不⽌⼀个k的情况本定理说明合成关系矩阵可⽤关系矩阵布尔矩阵的乘法表达例32-3设X 12 Y abc Z αβ R 〈1a〉〈1b〉〈2c〉 S 〈aβ〉〈bβ〉则定理32―7 关系矩阵的乘法是可结合的证利⽤关系合成的可结合性证明 MR·MS ·MT MR·S·MT M R·S ·T MR· S·T MR·MS·T MR· MS·MT 不仅合成关系可⽤关系矩阵表达⽽且关系的集合运算也可⽤关系矩阵表达设R和S是X到Y上的⼆元关系MR 〔aij〕MS 〔bij〕cij是运算后所得新关系之关系矩阵的元素则 MR∩S MR∧MS cij aij∧bij MR∪S MR∨MS cij aij∨bij cij aij MR-S MR∧ cij aij∧ bij 331 逆关系在讨论闭包运算时要⽤到逆关系的概念因此我们先介绍逆关系定义33―1设R是从A到B的⼆元关系关系R的逆或叫R的逆关系记为是⼀从B到A的⼆元关系定义如下例33-11 I上的关系2 集合族上的关系的逆是关系3 空关系的逆是空关系4 B×A即A×B的全域关系的逆等于B×A的全域关系定理33―1设R是从A到B的关系⽽S是从B到C 的关系则定理33―2 设RR1和R2都是从A到B的⼆元关系那么下列各式成⽴ 332 关系的闭包运算关系的闭包运算是关系上的⼀元运算它把给出的关系R扩充成⼀新关系R′使R′具有⼀定的性质且所进⾏的扩充⼜是最节约的定义33―2设R是A上的⼆元关系R的⾃反对称传递闭包是关系R′使 i R′是⾃反的对称的传递的ii R′R iii 对任何⾃反的对称的传递的关系R〃如果R〃R那么R〃R′ R的⾃反对称和传递闭包分别记为r R s R和t R 由定义可以看出R的⾃反对称传递闭包是含有R并且具有⾃反对称传递性质的最⼩关系如果R已经是⾃反的对称的传递的那么具有该性质并含有R的最⼩关系就是R⾃⾝下⼀定理说明这⼀点定理33―4设R是集合A上的⼆元关系那么 a R是⾃反的当且仅当r R R b R是对称的当且仅当s R R c R是传递的当且仅当t R R 证 a 如果R是⾃反的那么R具有定义33―2对R′所要求的性质因此r R R反之如果r R R那么根据定义33―2的性质 i R是⾃反的b 和 c 的证明是类似的略构造R的⾃反对称和传递闭包的⽅法就是给R补充必要的序偶使它具有所希望的特性下⾯我们⽤关系图来说明如何实现这⼀点定理33―5 设R是集合A上的⼆元关系那么r R R ∪E 这⾥E是A上相等关系在本节中均如此证设R′ R∪E显然R′是⾃反的且R′R余下只需证明最⼩性现假设R〃是A 上的⾃反关系且R〃R因R〃是⾃反的所以R〃E⼜R〃R所以R〃R∪E R′这样定义33―2都满⾜所以R′ r R 证毕设G是集合A上⼆元关系R的关系图我们把G的所有弧都画成有来有往即如果有从a到b的弧那么也有从b到a的弧就得到了R的对称闭包的有向图下⼀定理体现了这⼀想法定理33―7 设R 是集合A上的⼆元关系那么例33-2 a 整数集合I 上的关系＜的⾃反闭包是≤对称闭包是关系≠传递闭包是关系＜⾃⾝b 整数集合I上的关系≤的⾃反闭包是⾃⾝对称闭包是全域关系传递闭包是⾃⾝ c E的⾃反闭包对称闭包和传递闭包都是 E d ≠的⾃反闭包是全域关系对称闭包是≠≠的传递闭包是全域关系e 空关系的⾃反闭包是相等关系对称闭包和传递闭包是⾃⾝ f 设R是I上的关系xRy当且仅当y x1那么t R 是关系＜定理33―8设R是集合A上的⼆元关系这⾥A有n个元素那么证设〈xy〉∈t R 于是必存在最⼩的正整数k使〈xy〉∈Rk现证明k≤n若不然存在A的元素序列x a0a1a2ak-1ak y使xRa1a1Ra2ak-1Ry因k＞na0a1ak中必有相同者不妨设ai aj0≤i＜j≤k于是xRa1a1Ra2ai-1RaiajRaj1ak-1Ry 成⽴即〈xy〉∈Rs 这⾥s k- j-i但这与k是最⼩的假设⽭盾于是k≤n⼜〈xy〉是任意的故定理得证例33-3 设A abcd R如图33―1 a 所⽰则t R R∪R2∪R3∪R4如图33―1 b 所⽰本例即是32-2 定理33―9 1 如果R是⾃反的那么s R 和t R 都是⾃反的 2 如果R是对称的那么r R 和t R 都是对称的 3 如果R是传递的那么r R 是传递的定理33―10 设R是集合A上的⼆元关系那么 1 rs R sr R 2 rt R tr R 3 ts R st R 2 注意到ER RE R 和对⼀切n∈NEn E可得 34 次序关系 341 偏序集合定义34―1 如果集合A上的⼆元关系R是⾃反的反对称的和传递的那么称R为A上的偏序称序偶〈AR〉为偏序集合如果R是偏序〈AR〉常记为〈A ≤〉≤是偏序符号由于≤难以书写通常写作≤读做⼩于或等于因为⼩于或等于也是⼀种偏序故不会产⽣混乱R是偏序时aRb就记成a≤b 如果R是集合A上的偏序则 R 也是A上的偏序如果⽤≤表⽰R 可⽤≥表⽰R〈A≤〉和〈A ≥〉都是偏序集合并互为对偶例34-1 1 〈I≤〉是偏序集合这⾥≤表⽰整数中的⼩于或等于关系 2 〈ρ A 〉是偏序集合这⾥是集合间的包含关系 3 A 2468 D代表整除关系M代表整倍数关系则 D 〈22〉〈44〉〈66〉〈88〉〈24〉〈26〉〈28〉〈48〉 M 〈22〉〈44〉〈66〉〈88〉〈42〉〈62〉〈82〉〈84〉〈AD〉〈AM〉都是偏序集合且互为对偶例2 a P 1234 〈P≤〉的哈斯图为图34―2 b A 236122436 〈A整除〉的哈斯图为图34―3 c A 1212 〈A整除〉的哈斯图为图34―4 定义34―2 设〈A≤〉是⼀偏序集合B是A的⼦集 a 元素b∈B是B的最⼤元素如果对每⼀元素x∈Bx≤b b 元素b∈B是B的最⼩元素如果对每⼀元素x∈Bb≤x 例3考虑在偏序整除下整数1到6的集合其哈斯图为图34―5 a 如果B 1236 那么1是B的最⼩元素6是B的最⼤元素 b 如果B 23 因为2和3互相不能整除那么B没有最⼩元素和最⼤元素 c 如果B 4 那么4是B的最⼤元素也是B的最⼩元素定理34―1 设〈A≤〉是⼀偏序集合且B A如果B有最⼤最⼩元素那么它是唯⼀的证假设a和b都是B的最⼤元素那么a≤b和b≤a从≤的反对称性得到a b当a和b都是B的最⼩元素时证明是类似的定义34―3设〈A≤〉是⼀偏序集合B是A的⼦集 a如果b∈B且B中不存在元素x使b≠x且b≤x那么元素b∈B叫做B的极⼤元素b 如果b∈B且B中不存在元素x使b≠x且x≤b那么元素b∈B叫做B的极⼩元素定义34―4设〈A≤〉是⼀偏序集合B是A的⼦集a 如果对每⼀b∈Bb≤a那么元素a∈A叫做B的上界如果对每⼀b∈Ba≤b那么元素a∈A叫做B的下界 b 如果a是⼀上界并且对每⼀B的上界a′有a≤a′那么元素a∈A叫做B的最⼩上界记为lub如果a是⼀下界并且对每⼀B的下界a′有a′≤a那么元素a∈A叫做B的最⼤下界记为glb 例34-4 a 考虑偏序集合〈〈11〉〈10〉〈01〉〈00〉≤〉这⾥≤按〈 ab〉≤〈cd〉a≤c∧b≤d 规定其哈斯图如图34―6 如果B 〈10〉那么〈10〉是B的最⼩和最⼤元素也是B的极⼤和极⼩元素B的上界是〈10〉和〈11〉〈10〉是最⼩上界B的下界是〈00〉和〈10〉〈10〉是最⼤下界 b 考虑偏序集合〈I≤〉设B 2i｜i∈N那么B既没有最⼤元素和极⼤元素也没有上界和最⼩上界B的最⼩元素和极⼩元素是0B的下界集合是 i｜i∈I∧i≤0 0是最⼤下界 c 考虑在偏序集合〈 256101530 整除〉其哈斯图如图34―7设B是全集合 256101530 那么2和5都是B的极⼩元素但B没有最⼩元素集合B没有下界所以没有最⼤下界元素30是B的最⼤元素极⼤元素上界最⼩上界定理34―2 如果〈A≤〉是⾮空有限的偏序集合则A的极⼩⼤元素常存在最⼤下界和最⼩上界也可能存在或不存在但如果它们存在则是唯⼀的定理34―3 设〈A≤〉是偏序集合且B A 如果B的最⼩上界最⼤下界存在那么是唯⼀的下述定理描述了存在于诸特异元素之间的某些关系定理34―4 设〈A≤〉是偏序集合B是A的⼦集 a 如果b是B的最⼤元素那么b是B的极⼤元素 b 如果b是B的最⼤元素那么b是B的lub c 如果b是B的⼀个上界且b∈B那么b是B的最⼤元素证明可由最⼤元素极⼤元素和lub的定义直接得出故略去另外读者不难给出表达最⼩元素极⼩元素和glb间关系的定理 342 拟序集合定义34―5如果集合A上的⼆元关系R是传递的和反⾃反的那么R叫做A上的拟序〈AR〉称为拟序集合常借⽤符号＜表⽰拟序拟序是反对称的虽然定义中没有明确指出但容易证明这⼀点因为如果xRy和yRx由R的传递性得xRx但这与R的反⾃反性⽭盾所以xRy∧yRx常假于是xRy∧yRx→x y常真即R是反对称的例34-5 a 实数集合中的＜是拟序关系 b 集合族中的真包含是拟序关系拟序集合和偏序集合是紧密相关的唯⼀区别是相等关系E下述定理将说明这⼀点定理34―5在集合A上 a 如果R是⼀拟序那么rR R∪E是偏序 b 如果R是⼀偏序那么R-E是⼀拟序 343线序集合和良序集合如果≤是⼀偏序或a≤b或b≤a我们说a和b是可⽐较的偏序集合中的元素不⼀定都可⽐较所以叫偏序下⾯介绍的都是可⽐较的情况定义34―6在偏序集合〈A≤〉中如果每⼀ab∈A或者a≤b或者b≤a那么≤叫做A上的线序或全序这时的序偶〈A≤〉叫做线序集合或链例34-6 a P a ab abc 〈P〉是线序集合其哈斯图如图34―8所⽰ b 〈I≤〉是线序集合其哈斯图不完全如图34―9所⽰ c 设S是区间套的集合〔0a ｜a∈R 则〈S〉是线序集合 d 〈 1236 整除〉不是线序集合如果A是多于⼀个元素的集合那么〈ρ A 〉不是线序集合定义34―7如果A上的⼆元关系R是⼀线序且A的每⼀⾮空⼦集都有⼀最⼩元素那么R叫做A上的良序序偶〈AR〉叫做良序集合定理34―6〈N≤〉是良序集合证我们必须证明N的每⼀⾮空⼦集S在关系≤之下都有⼀最⼩元素因为S⾮空所以在S中可以取⼀个数n显然S中所有不⼤于n的数形成⾮空集T S如果T有最⼩数那么这最⼩数就是S中的最⼩数但从0到n只有n1个⾃然数于是T中所含的数最多是n1个所以T有最⼩数因此定理成⽴例34-8 a 每⼀有限线序集合是良序的 b 线序集合〈I≤〉不是良序集合因为I的某些⼦集诸如I⾃⾝不包含最⼩元素 c 关系≤是实数R的线序但不是良序例如⼦集A 01〕⽆最⼩元素如果A中的a是最⼩元素那么也在A中⽽≤a且不相等这与假设a是线序关系≤下A的最⼩元素⽭盾2 应⽤N上的良序定义出Nn上的良序例如n 2时N2上的次序关系可如下定义〈ab〉〈cd〉a＜c∨ a c∧b d 〈N2〉是良序集合关系严格⼩于可如下定义〈ab〉＜〈cd〉〈ab〉≤〈cd〉∧〈ab〉≠〈cd〉类似地应⽤I上的线序能定义出线序集合〈In≤〉 3 应⽤字母表∑上的线序可定义出∑上的通常叫词典序的线序定义34―8 设∑是⼀有限字母表指定了字母表序线序如果xy∈∑ a x是y的词头或 b x zu和y zv这⾥z∈∑是x和y的最长公共词头且在字母表序中u的第⼀个字符前于v的第⼀个字符那么x≤y≤叫做词典序4 由于〈N〉和有限线序集合都是良序集合可应⽤它们定义出∑上的⼀个良序通常叫标准序定义34―9设∑是⼀有限字母表指定了字母表序‖x‖表⽰x∈∑的长度如果xy∈∑ a ‖x‖＜‖y‖或b ‖x‖‖y‖且在∑的词典序中x前于y那么x≤y ≤叫做标准序不论在词典序和标准序下∑的每⼀元素都有直接后继者设∑ abc 且a≤b≤cx∈∑在标准序下 xa和xb的直接后继者分别是xb和xc xc的直接后继者是ya这⾥y是x的直接后继者在词典序下x的直接后继者是xa 在标准序下 xb和xc的直接前趋分别是xa和xb xa的直接前趋是yc这⾥y是x的直接前趋在词典序下 xa的直接前趋是x⾮a结尾的串都⽆直接前趋例如babaab但有⽆限个前趋 345 数学归纳法的推⼴前章我们把数学归纳法第⼀第⼆原理看作是⾃然数域上的⼀个推理规则本⼩节我们把它推⼴到⼀般的良序集合对任⼀个⾃然数n我们先取0如果n≠0取0的后继者1如果n≠1再取1的后继者2如此进⾏下去最终会得出n 给定⼀个良序集合如果对它的任⼀元素x我们先取该集合的最⼩元素m0如果x≠m0取m0的后继者m1如果x≠m1再取m1的后继者m2如此以往最终会得出x那么就称这样的良序集合是像⾃然数的例 8 1 设∑ ab 良序集合〈∑标准序〉是像⾃然数的因为定长的串的个数有限给定任⼀个串x在x之前的串的个数有限所以从∧开始反复取后继者终可得出x 2 良序集合〈N×N≤〉不像⾃然数这⾥≤按上⼀⼩节规定因为有许多元素没有直接前趋例如〈50〉就是这样因⽽有⽆限个元素前于〈50〉所以从〈00〉开始反复地取后继者不可能取得〈50〉像⾃然数的良序集合可以应⽤数学归纳法第⼀原理因为第⼀原理是建⽴在后继运算上⽽这种良序集合的每⼀元素都可通过重复地取后继者得到设m0是该良序集合〈S≤〉的最⼩元素S x 是元素x的后继者则推理规则如下对不像⾃然数的良序集合不能应⽤数学归纳法第⼀原理因为这种良序集合的有些元素不能由后继运算得到但对它可应⽤数学归纳法第⼆原理第⼆原理是建⽴在良序集合上的适⽤于⼀切良序集合设〈S≤〉是良序集合＜表⽰≤-E 即x＜y表⽰x≤y且x≠y 则推理规则如下下⾯证明良序集合上这个推理规则是有效的假设我们能证明前提例34-10〈Q≤〉是线序集合现说明在此线序集合中第⼆原理不是有效推理规则设谓词Px 表⽰x⼩于或等于5 i 当x≤5时 y〔y＜x→P y 〕是真P x 也真所以是真综合 i 和 ii 得在论述域Q上 x 〔 y y＜x→P y →P x 〕是真但结论 x P x 是假这说明第⼆原理不能应⽤于线序集合〈Q≤〉 35 等价关系和划分 351 等价关系⼆元关系的另⼀重要类型是等价关系其定义如下定义35―1 如果集合A上的⼆元关系R是⾃反的对称的和传递的那么称R是等价关系设R是A上的等价关系abc是A的任意元素如果aRb 即〈ab〉∈R 通常我们记作a～b读做a等价于b 定义35―2 设k是⼀正整数⽽ab∈I如果对某整数ma-b m·k那么a和b是模k等价写成a≡b modk 整数k叫做等价的模数定理35―1模k等价是任何集合A I上的等价关系证如果A 例35-1 c 已指出它是等价关系如果A≠则 i ⾃反的因为对任⼀aa-a 0·k得出a≡a modk ii 对称的因为a≡b mod k 时存在某m∈I使a-b m·k于是b-a-m·k 因此 b≡a mod k iii 传递的设a≡b mod k 和b≡c mod k 那么存在m1m2∈I 使a-b m1k和b-c m2·k 将两等式两边相加得a-c m1m2 ·k所以a≡c mod k 例1 a 同学集合A abcdefgA中的关系R是住在同⼀房间这是等价关系因为 i 任⼀个⼈和⾃⼰同住⼀间具有⾃反性 ii 若甲和⼄同住⼀间则⼄和甲也同住⼀间具有对称性 iii 若甲和⼄同住⼀间⼄和丙同住⼀间则甲和丙也同住⼀间具有传递性现假设a和b同住⼀间def同住⼀间c住⼀间则 R 〈aa〉〈ab〉〈ba〉〈bb〉〈cc〉〈dd〉〈ee〉〈ff〉〈de〉〈ed〉〈ef〉〈fe〉〈df〉〈fd〉其有向图如图35―1所⽰ b 数中的相等关系集合中的相等关系命题演算中的关系等都是等价关系 c 空集合中的⼆元关系R是等价关系因为i x x∈→xRx ii x y〔x∈∧y∈∧xRy→yRx〕iii x y z〔x∈∧y∈∧z∈∧xRy∧yRz→xRz〕都⽆义地真所以R是等价关系集合A上的全域关系R A×A是等价关系模数等价是整数域或其⼦集上的等价关系并且是等价关系中极为重要的⼀类定理 35-1 模k等价是任何集合A I上的等价关系证如果A 例35-1 3 已指出它是等价关系如果A≠则 i ⾃反的因为对任⼀aa-a 0·k得出a≡a mod k ii 对称的因为a≡b modk 时存在某m∈I使a-b m·k于是b-a -m·k因此b≡amodk iii 传递的设a≡b modk 和b≡c modk 那么存在m1m2∈I使a-b m1k和b-c m2·k将两等式两边相加得a-c m1m2 ·k所以a≡c modk 例35-2 a 若R是I上模4等价关系则〔0〕4 -8-4048 〔1〕4 -7-3159 〔2〕4 -6-22610 〔3〕4 -5-13711 b 若R是I上模2等价关系则〔0〕2 -4-2024 〔1〕2 -3-1135 每⼀集合中的数相互等价 c 时钟是按模12⽅式记数的设备13点钟和1点钟有相同的记数定义35―3 设R是集合A上等价关系对每⼀a∈Aa关于R的等价类是集合 x｜xRa 记为〔a〕R简记为〔a〕称a为等价类〔a〕的表⽰元素如果等价类个数有限则R的不同等价类的个数叫做R的秩否则秩是⽆限的对每⼀a∈A等价类〔a〕R⾮空因为a∈〔a〕R 例 35-3 1 如图35―2设A abcdef R 〈aa〉〈bb〉〈cc〉〈ab〉〈ba〉〈ac〉〈ca〉〈bc〉〈cb〉〈dd〉〈ee〉〈de〉〈ed〉〈ff〉则等价关系R的等价类如下〔a〕〔b〕〔c〕 abc 〔d〕〔e〕 de 〔f〕 f等价关系R的秩是3 2 I上模4等价的等价类是〔0〕4〔1〕4〔2〕4〔3〕4 参看例2 a I上模2等价的等价类是〔0〕2 〔1〕2 参看例2 b3 集合A上相等关系的秩等于A的元素个数定理35―2 设R是⾮空集合A上的等价关系aRb 当且仅当〔a〕〔b〕证充分性因为a∈〔a〕〔b〕即a∈〔b〕所以aRb 定理35―3设R是集合A上的等价关系则对所有ab∈A或者〔a〕〔b〕或者〔a〕∩〔b〕证如果A 断⾔⽆义地真现设A≠若〔a〕∩〔b〕≠则存在某元素c∈〔a〕和c∈〔b〕根据定理35―2得〔a〕〔c〕〔b〕⼜因〔a〕和〔b〕都⾮空〔a〕∩〔b〕和〔a〕〔b〕不能兼得因⽽定理得证定义35― 4 给定⾮空集合A和⾮空集合族πA1A2Am 如果那么称集合族π是A的覆盖定理35―4设R是集合A上的等价关系则证先证定理35―5设R1和R2是集合A上的等价关系那么R1 R2当且仅当〔a〕R1｜a∈A 〔a〕R2｜a∈A 证必要性因为R1 R2所以对任意a∈A有〔a〕R1 x｜xR1a x｜xR2a〔a〕R2 故〔a〕R1｜a∈A 〔a〕R2｜a∈A 充分性因为〔a〕R1｜a∈A 〔a〕R2｜a∈A 得〔a〕R1 〔a〕R2所以对任意x∈A 有xR1a x∈〔a〕R1 x∈〔a〕R2 xR2a ⼜a是任意的故R1 R2证毕定理35―6 设R是A上的⼆元关系设R′ tsr R 是R的⾃反对称传递闭包那么 a R′是A上的等价关系叫做R诱导的等价关系 b 如果R〃是⼀等价关系且R〃R那么R〃R′就是说R′是包含R的最⼩等价关系证 a 根据闭包运算的定义和定理33―9可得 r R 是⾃反的 sr R是⾃反的和对称的 tsr R 是⾃反的对称的和传递的因此R′ tsr R 是A上的等价关系 b 设R〃是任意的包含R的等价关系那么R〃是⾃反的和对称的所以R〃R∪∪E sr R 因为R〃是传递的且包含sr R 所以R〃包含tsr R 证毕例4设A abc 且A上的⼆元关系R如图35―3所⽰则tsr R 如图35―4所⽰352 划分定义35―5给定⾮空集合A和⾮空集合族π A1A2Am 如果 i π是A的覆盖即ii Ai∩Aj Φ或Ai Aj ij 12m 那么集合族π叫做集合A的⼀个划分划分的元素Ai称为划分π的块如果划分是有限集合则不同块的个数叫划分的秩若划分是⽆限集合则它的秩是⽆限的划分的秩就是划分的⼤⼩例35-5 1 设S 123 有 A 12 23B 1 12 13C 1 23D 123E 1 2 3F 1 12 2 将⼀张纸撕成⼏⽚则所得的各个碎⽚是该纸的。

离散数学二元关系 PPT课件

7.2.1 二元关系的基本定义
▪ 常见的几种特殊的二元关系
▪≤ ≥ ＜＞＝ ▪| ▪ 集合之间的关系：＝ ≠
2020/7/15
20
计算机科学学院刘芳
7.2.2 二元关系的表示
1.集合表示法
2.关系矩阵(matrix of relation)
▪ 设A＝{a1,a2,…,am} ，B＝{b1,b2,…,bn}，R是A到B的一个二
所以，（A∩B）×C＝（A×C）∩（B×C）成立。
2020/7/15
11
计算机科学学院刘芳
7.1.3 有序 n 元组和 n 阶笛卡尔积
定义：
▪ n个元素x1，x2，…，xn组成的有序序列,记做：
＜x1,x2,…,xn＞
▪ 称为n重组（n元序偶、n元组）。
约定:
▪ ＜x1，x2，…, xn-1, xn＞= ＜<x1，x2，… ,xn-1 >,xn＞
1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0
2020/7/15
28
计算机科学学院刘芳
7.2.2 二元关系的表示
关系的表示方法
▪ 关系R的集合表达式 ▪ 关系矩阵MR ▪ 关系图GR
三者均可以唯一相互确定。
2020/7/15
29
计算机科学学院刘芳
7.3 关系的运算
7.3.1 关系的定义域、值域和域
例:
▪ (1) R＝{<x,y> | x,yN, x＋y＜3}
＝{<0,0>, <0,1>, <0,2>, <1,0>, <1,1>, <2,0>}
▪ (2) C＝{<x,y> | x,yR, x2＋y2＝1}

离散数学第11讲的关系2共25页

4
二元关系的闭包
2020/4/10
0 1 0
1 1 0
MR 0 1 1, Mr(R) 0 1 1,
0 0 0
0 0 1
0 1 0
0 1 1
Ms(R) 1 1 1, Mt(R) 0 1 1
0 1 0
0 0 0
5
二元关系的闭包
2020/4/10
❖例
❖ 求下列关系的r(R)、s(R)、t(R)：
i1
❖ 当i＝1时，因Rt(R),显然成立。
❖ 设i＝k时，有Rkt(R)成立。
❖ 当i＝k+1时，对任意<a,b>∈Rk+1，则存在c∈A，使得<a,c>∈Rk， <c,b>∈R，由归纳假设有：<a,c>∈t(R)，<c,b>∈t(R)，由t(R)可传递，所以<a,b>∈t(R)，
❖ 即有：Rk+1t(R)。
❖ 因RR2，所以
❖
<a,c1>∈R2,<c1,c2>∈R2,<c2,c3>∈R2,…,<cj-
1,b>∈R2。
❖ 由R2是传递的，有：
❖
<a,c2>∈R2,<c2,c3>∈R2,<c3,c4>∈R2,…,<cj-
1,b>∈R2。
❖ 一直下去，最终有：<a,b>∈R2。
❖ 所以，R1R2。 ❖ 由(1),(2),(3)知：R1是R的传递闭包，即t(R)
11
利用关系运算求闭包
2020/4/10
❖ 由归纳法知，对任意有的i∈N+,有Rit(R)。所以

(完整版)离散数学二元关系

6
二、从A到B的关系与A上的关系定义7.4 设A,B 为集合,A×B 的任何子集所定义的二元关系叫做从A 到B 的二元关系,当A=B 时则叫做A 上的二元关系. 例 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 上的二元关系.
{<1,a>,<1,b>,<1,c>,<2,a>,<2,b>,<2,c>,<3,a>,<3,b>
,<3,c>} B×A =
{<a,1>,<b,1>,<c,1>,<a,2>,<b,2>,<c,2>,<a,3>,<b,3>
,<c,3>}
2
注:笛卡儿积的性质（1）不适合交换律 A×B ≠ B×A (A≠B, A≠∅, B≠∅) （2）不适合结合律 (A×B)×C ≠ A×(B×C) (A≠∅, B≠∅, C≠∅) （3）对于并或交运算满足分配律 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) （4）若A 或B 中有一个为空集，则A×B 就是空集. A×∅ = ∅×B = ∅ （5）若 |A| = m, |B| = n, 则 |A×B| = mn
这些性质是二元集{x,y}所不具备的.例如当x≠y 时有{x,y}={y,x}.
1
二、笛卡儿积定义7.2 设A,B 为集合，用A中元素为第一元素,B中的元素为第二元素构成有序对.所有这样的有序对组成的集合叫做A 与B 的笛卡儿积,记作A×B. 笛卡儿积的符号化表示为

离散数学PPT教学课件 二元关系ppt11

离散数学ppt课件

离散数学PPT课件

离散数学代数结构部分-PPT

《离散数学》课件-第四章 二元关系

方世昌离散数学第三版教材课件第3章二元关系（可编辑）

离散数学PPT课件

离散数学(第11讲)二元关系

离散数学 二元关系

方世昌离散数学第三版教材课件第3章二元关系(可编辑)

方世昌离散数学第三版教材课件第3章二元关系（可编辑）

离散数学 二元关系 PPT课件

离散数学第11讲的关系2共25页

(完整版)离散数学二元关系

离散数学PPT教学课件二元关系ppt11

《离散数学》课件-第四章二元关系

离散数学二元关系

离散数学二元关系 PPT课件