- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学及其应用-树的关系课件
离散数学及其应用
1
第4章 关系和函数
4.1 关系的概念
4.2 关系的表示法
4.3 关系的运算
4.4 关系的性质
4.5 关系的闭包
4.6 等价关系和等价类
4.7 偏序关系
4.8 函数
2
背景
本章研究集合内元素间的关系和集合间元素的关系,即关系和函数。从本质上认识集合。
离散数学中的关系理论广泛应用于计算机科学的很多方面,如数据结构、数据库、算法分析等,是一个非常重要的数学概念。
3
4.1 关系的概念
4.1.4 序偶和有序n元组
定义4.1.4 由两个元素a和b按一定的顺序排列成的二元组叫做一个有序对(也称序偶),记作(a,b),其中a是它的第一元素,b是它的第二元素。
一般说来有序偶具有以下特点:
1. 当ab时,则(a,b) (b,a)。
2. 两个有序偶相等,即(a,b) =(c,d)的充分必要条件是a=c且b=d。
注意:区别(a,b)和{a,b}。例如,当ab时,有{a,b}={b,a}。
4
有序n元组
定义4.1.2 由n个元素a1,a2,…an按一定的顺序排列成的一个序列(a1,a2,…an),称为有序n元组,其中a1为第一元素,a2为第二元素,…an为第n元素。
例如n维空间中点的坐标或n维向量都是有序n元组,(1,2,5),(−1,−2,3)等是三维空间直角坐标系中点的坐标。
(a1,a2,…,an)=(b1,b2,…,bn),当且仅当 ai = bi ,i=1,2,…,n。
5
4.1.2 集合的直积(笛卡儿积 )
定义4.1.3 设A,B为集合,取A中的元素作为第一元素,取B中的元素做为第二元素构成有序对,所有这样的有序对组成的集合,称为A和B的笛卡儿积(直积),表示为AB。于是
AB={(x,y)|xA yB}
6
例题
例4.1.1 A={a,b,c},B={1,3}。求AB, BA,A,B
A B={(a,1),(a,3),(b,1),(b,3),(c,1),(c,3)}
B A={(1,a),(1,b),(1,c),(3,a),(3,b),(3,c)}
A= , B=
例4.1.2 已知A={a,b,c},B={1,3},C={x}。求(AB)C,A(BC)。
解 (AB)C= {((a,1), x), ((a,3), x), ((b,1), x), ((b,3), x), ((c,1), x), ((c,3), x)}
A(BC)= {(a, (1, x)), (a, (3, x)), (b, (1, x)), (b, (3, x)), (c, (1, x)), (c, (3, x))}
7
笛卡儿积
当A,B为非空集合且A B时,笛卡尔积运算不满足交换律,即 AB BA
AB=,当且仅当A=或B=。
当A,B,C均为非空集合时,笛卡尔积运算不满足结合律,即 (AB)C A(BC)
当集合A和B都是有限集时,根据乘法原理,有| AB|=|A||B|。
8
定理
定理4.1.1 设A,B,C为任意集合,则
A(BC)=(A B)(A C)
A(BC)=(A B)(A C)
(AB)C =(A C)(B C)
(AB)C =(A C)(B C)
9
例题
例4.1.3 设A,B,C为任意集合,证明A(BC)=(AB)(A C)
证明 对于任意有序对(x,y)
(x,y) A(BC)
x A y (BC)
x A (y B y C)
(x A y B)(x A y C)
(x,y)(A B)(x,y)(A C)
(x,y)(A B)(A C)
所以有A(BC)=(AB)(A C)。
10
n个集合的直积
定义4.1.4 设A1,A2,…An为任意n个集合,它们的笛卡尔积(又称n阶直积)为
当A1=A2=…=An=A时,A1A2…An=An。
若| A1|=n1,| A2|=n2,…| An|=nn,,则n个集合的笛卡尔积中的元素个数为
11
例题
证明:对于任意有序对(x,y),
12
例题
例4.1.5 设A,B,C,D是任意集合,判断下列命题是否为真?
(1)
(2)
(3)
解 (1) 不一定为真。
(2) 为真。
(3) 不一定为真。
13
4.1.3 关系的概念
定义4.1.5 如果一个集合非空且它的元素都是有序对,或集
文档评论(0)