- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
集合的运算-南京大学计算机科学与技术系
* * * * * * * * * * 若A和B皆是非空的有限集合,从A到B的不同的函数有?个 |B||A|个。(a1, a2,…, a|A|的像, 均有|B|种选择) * * * * * * * * * * * * * * * 但是… 若f ? g是满射,能推出f 和g是满射吗? f一定是满射, g不一定是满射。 若f ? g是单射,能推出f 和g是单射吗? g一定是单射,f 不一定是单射。 g f A B C 函数的加法、乘法 设f和g是从A到R的函数,那么 f+g 和 f g也是从A到R的函数,其定义为 (f+g)(x) = f(x) + g(x) , x?A f g(x) = f(x) g(x) , x?A 递增(递减)函数 设f的定义域和伴域都是实数(或其子集), f是递增的 ?x ?y (x?y ? f (x)?f(y)) f是严格递增的 ?x ?y (x?y ? f (x)? f(y)) 一个有趣的例子 自然数1,2,3,…,n2+1的任何一种排列中,必然含一个长度不小于n+1的严格递增链或严格递减链。 7,4,3,5,2,1,9,8,6,10//////10,3,2,6,4,7,5,9,1,8 在所给的序列中,以k开始的严格递增序列长度为I(k), 以k开始的严格递减序列长度为D(k)。 f: k ? (I(k), D(k)), k?{1,2,…, n2+1} f(7)=(3,5),f(4)=(4,4),f(3)=(4,3),f(5)=(3,3),f(2)=(3,2),f(1)=(3,1) f(9)=(2,3),f(8)=(2,2),f(6)=(2,1),f(10)=(1,1) f是单射:对于k1?k2,如果k1排在k2前面,则I(k1)?I(k2),如果k2排在k1前面,则D(k2)?D(k1)。 反证法:给定任一种排列,假设严格递增与递减序列最大长度均不大于n: f的值域最多有n2个元素 f不可能是单射 作业 教材[2.3] 见课程主页 * * * * * * * * * * * * * * * * * * * * * * * * * * 对称关系的有向图和0-1矩阵 a b c A={a,b,c} 关系的性质:传递性 transitivity 集合A上的关系R是 传递的 transitive: 若 (a,b)?R, (b,c)?R, 则 (a,c) ?R 设 A={1,2,3}, R?A?A {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,3)} 传递的 {(1,2),(2,3),(3,1)} 是非传递的 {(1,3)}? ?? 传递性与关系的乘幂 关系的复合(乘)运算满足结合律,可以用 Rn 表示 R? R?…? R (n是正整数) 命题:(a,b)?Rn 当且仅当:存在t1,t2,…,tn-1?A, 满足:(a,t1),(t1,t2),…,(tn-2,tn-1),(tn-1,b)?R。 对n=1用数学归纳法:n=1, trivial. 奠基n=2,直接由关系复合的定义可得;归纳基于:Rn=Rn-1 ?R 集合A上的关系R是传递关系 ? R2?R 必要性:?任取(a,b) ?R2 ,根据上述命题以及R的传递性可得(a,b)?R 充分性:? 若(a,b)?R, (b,c)?R, 则(a,c)?R2, 由R2?R可得: (a,c)?R,则 R是传递关系 传递关系的有向图和0-1矩阵 a b c A={a,b,c} 一些常用关系的性质 = ? | ?3 ? E 自反 ? ? ? ? ? ? ? 反自反 ? ? ? ? ? ? ? 对称 ? ? ? ? ? ? ? 反对称 ? ? ? ? ? ? ? 传递 ? ? ? ? ? ? ? 关系运算与性质的保持 自反 反自反 对称 反对称 传递 R1-1 ? ? ? ? ? R1?R2 ? ? ? ? ? R1?R2 ? ? ? ? ? R1?R2 ? ? ? ? ? 小结 关系:笛卡尔积的子集 关系的运算 集合运算;复合运算;逆 0-1矩阵运算 关系的性质 reflexivity, ir-~; symmetry, anti-~; transitivity 图特征;矩阵特征 作业 教材内容:[Rosen] 2.1.3、8.1 节 8.3节 课后习题: 见课程主页 函数及其运算 离散数学-集合论 南京大学计算机科学与技术系 回顾 关系:笛卡尔积的子集 关系的运算 集合运算;复合运算;逆 0-1矩阵运算 关系的性质 reflexivity, ir-~; symmetry, anti-~; transitivity 图特征;矩阵特征 提要 函数的定义 子集的像 单射与满射
文档评论(0)