- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学4.6–4.7函数
§4.6 函数的定义和性质 高等数学课程中详细研究了函数的概念和性质,但这些函数概念一般不好直接应用地计算机科学。如数据结构,开关理论,自动机等。计算机科学要求推广以往的函数概念。 函数:设F为二元关系, 如 dom(F)={x1,x2,x3} F1 = {x1,y1, x2,y1, x3,y2}是函数 F2 = {x1,y1, x1,y2, x2,y1, x3,y2}不是函数 F3 = {x1,y1, x2,y1}不是函数 若对任意的x?domF都存在唯一的y?ranF,使得xFy成立,则F为函数,y是F在x的函数值。 从A到B的函数:设A、B是集合, 如果函数f 满足以下条件 (1) domf = A (2) ranf ? B 则称 f 是从A到B的函数,记作:f:A?B A中不可剩 B中可剩 没有一对多 可以多对一 例4.6.1:设A={a,b},B={1,2,3},求所以A到B的函数 f1={a,1,b,1} f2={a,1,b,2} f3={a,1,b,3} f4={a,2,b,1} f5={a,2,b,2} f6={a,2,b,3} f7={a,3,b,1} f8={a,3,b,2} f9={a,3,b,3} 若|A|=m, |B|=n,则从A到B的函数有nm 个 函数的元素有m 个 例:A={1,2,3,4} ,B={a,b,c},F为从A到B的函数,则 |F|=4 , F有34 种可能。 B上A:把所有从A到B的函数构成的集合称为“B上A” ,记作BA。 若|A|=n,|B|=m,则:|BA |=mn。 像,原像,像集:若F为A到B的函数,x,y∈F, 则:y是x的像,x是y的原像; 若集合C ?dom(F),则C的像集为{y| ?x, x ∈C,x,y ∈F}。 例如:F={1,a,2,b,3,c,4,c} 1是a的原像 b是2的像 {1,2}的像集是{a,b} {1,2,3}的像集是{a,b,c} 设函数 f:A?B 若ranf = B,则说f 具有满射性;(B不可剩) (2) 若对于任何x1, x2?A,x1?x2都有 f (x1)?f (x2),则说f具有单射性;(没有多对一) (3) 若f 既具有满射性,又具有单射性,则说f 具有双射性。(一一对应) 函数的性质 (|A|≥|B|) (|A|≤|B|) (|A|=|B|) 不同类型的对应关系的示例 a b c 1 2 3 4 a b c 1 2 3 4 a b c 1 2 3 4 d a b c 1 2 3 4 d a b c 1 2 3 d 单射 不是函数 双射 函数 满射 计算: 若|A|=n, |B|=m (1)若m=n, 则从A到B的双射有m! 个; (2)若n≤m, 则从A到B的单射有 个。 例4.6.2 判断下面函数是否为单射, 满射, 双射的, 为什么? (1) f:R→R, f(x) = ?x2+2x?1 (2) f:Z+→R, f(x) = lnx, Z+为正整数集 (3) f:R→Z, f(x) = ?x? (4) f:R→R, f(x) = 2x+1 (5) f:R+→R+, f(x)=(x2+1)/x, 其中R+为正实数集. (6) f: R→R, f(x)=1/x ? 练习: 解 : (1) f:R→R, f(x)=?x2+2x?1 在x=1取得极大值0. 既不单射也不满射. (2) f:Z+→R, f(x)=lnx 单调上升, 是单射. 但不满射, ranf={ln1, ln2, …}. (3) f:R→Z, f(x)= ?x? 满射, 但不单射, 例如 f(1.5)=f(1.2)=1. (4) f:R→R, f(x)=2x+1 双射, 因为它是单调的并且ranf=R. (5) f:R+→R+, f(x)=(x2+1)/x 有极小值f(1)=2. 该函数既不单射也不满射. (6) f: R→R, f(x)=1/x 不是函数,x ?0 课后例题:4.34;课后习题:4.7,4.8,4.17 常用的函数 (1) 常函数:设f:A→B, 若?c?B, ?x?A, 都有: f(x) = c (2) 恒等函数:?x?A, 都有: f(x) = x (3) 单调函数:设A, ?和B, ?为偏序集, f: A→B ?x1, x2?A, 若x1x2, 有: f(x1) ? f(x2), 则称f为单调递增的 ?x1, x2?A, 若x1x2, 有:
您可能关注的文档
- 研究生开题汇报经典模板.ppt
- 研究生数值分析高斯–赛德尔(Gauss–Seidel)迭代法.ppt
- 研究方向介绍–刘洁琳.ppt
- 研究生答辩经典模板.ppt
- 研究有机化合物的一般步骤和方法1–4.ppt
- 研究物质性质的方法和程序–1.ppt
- 研究生答辩〔英语专业〕.ppt
- 硕士学位论文答辩会–东北电力大学.ppt
- 研究生医学统计学–生存分析.ppt
- 硕士学位论文答辩秘书讲训.ppt
- 深度解析(2026)《ISO 22002-12025食品安全前提方案—第1部分:食品制造》.pptx
- 深度解析(2026)《ISO 22002-52025食品安全前提方案—第5部分:运输和储存》.pptx
- 深度解析(2026)《ISO 22002-42025 食品安全前提方案 — 第4部分:食品包装制造》.pptx
- 徒步活动策划方案.doc
- 深度解析(2026)《ISO 22002-62025食品安全前提方案—第6部分:饲料及动物食品生产》.pptx
- 2026年新版郯城期末真题卷.doc
- 深度解析(2026)《ISO 22476-72012岩土工程勘察与测试 — 现场测试 — 第7部分:钻孔千斤顶试验》.pptx
- 深度解析(2026)《ISO 22090-22014 船舶与海洋技术 — 航向传送装置(THD) — 第2部分:地磁原理》.pptx
- 深度解析(2026)《ISO 23584-22012 光学和光子学 — 参考字典规范 — 第 2 部分:类与特性定义》:构建智能制造数据基石的专家视角与未来展望.pptx
- 深度解析(2026)《ISO 22932-92025 Mining — Vocabulary — Part 9 Drainage》:构建未来矿山“水脉”治理与可持续发展的新语言体系.pptx
原创力文档


文档评论(0)