




已阅读5页,还剩30页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第4章 二元关系和函数 Relation 在高等数学中,函数是在实数集合上进行讨论的, 其定义域是连续的。 本章把函数概念予以推广 定义域为一般的集合,支持离散应用。 把函数看作是一种特殊的关系:单值二元关系。 4.6 函 数 的 定 义 与 性 质 函数定义 定义 设 F 为二元关系, 若 xdomF 都存在唯一的 yranF 使 xFy 成立, 则称 F 为函数. 对于函数F, 如果有 xFy, 则记作 y=F(x), 并称 y 为 F 在 x 的函数值. 例1 F1=, F2=, F1是函数, F2不是函数 4.6 函 数 的 定 义 与 性 质 函数与关系的区别 从A到B的函数f与一般从A到B的二元关系R有 如下区别: A的每一元素都必须是f的序偶的第一坐 标,即dom(f)=A;但dom(R)R 若f(x)=y,则函数f在x处的值是惟一的 ,即(f(x)=y)(f(x)=z)(y=z),; 但(xRy)(xRz)得不到y=z 4.6 函 数 的 定 义 与 性 质 例1 设A=1,2,3,4,5,B=6,7,8,9,10,分别 确定下列各式中的f是否为由A到B的函数。 (1)f=(1,8),(3,9),(4,10),(2,6),(5,9) (2)f=(1,9),(3,10),(2,6),(4,9) (3)f=(1,7),(2,6),(4,5),(1,9),(5,10),(3,9) 解 (1)能构成函数,因为为符合函数的定义义条件 。 (2)不能构成函数,因为为A中的元素5没有像 ,不满满足像的存在性。 (3)不能构成函数,因为为A中的元素1有两个 像7和9,不满满足像的惟一性。 4.6 函 数 的 定 义 与 性 质 函数相等 定义 设F, G为函数, 则 F = G FGGF 一般使用下面两个条件: (1) domF = domG (2) xdomF = domG 都有 F(x) = G(x) 实例 函数 F(x)=(x21)/(x+1), G(x)=x1 不相等, 因为 domFdomG. 4.6 函 数 的 定 义 与 性 质 从A到B的函数 定义 设A, B为集合, 如果 f 为函数 domf = A ranf B, 则称 f 为从A到B的函数, 记作 f:AB. 实例 f:NN, f(x)=2x 是从 N 到 N 的函数 g:NN, g(x)=2也是从 N 到 N 的函数 4.6 函 数 的 定 义 与 性 质 B上A 定义 所有从 A 到 B 的函数的集合记作 BA, 读作“B上A”,符号化表示为 BA = f | f:AB 计数: |A|=m, |B|=n, 且m, n0, |BA|=nm. A=, 则 BA=B=. A且B=, 则 BA=A= . 4.6 函 数 的 定 义 与 性 质 实例 例2 设 A = 1, 2, 3, B = a, b, 求BA. 解 BA = f0, f1, , f7, 其中 f0=, f1=, f2=,, f3=, f4=,, f5=, f6=, f7=, 4.6 函 数 的 定 义 与 性 质 函数的像 定义 设函数 f:AB, A1A. A1 在 f 下的像: f(A1) = f(x) | xA1 函数的像 f(A) = ranf 注意: 函数值 f(x)B, 而像 f(A1)B. 例3 设 f:NN, 且 令A=0,1, B=2, 那么有 f(A) = f(0,1) = f(0), f(1) = 0, 2 4.6 函 数 的 定 义 与 性 质 函数的性质 定义 设 f:AB, (1)若ranf = B, 则称 f:AB是满射的. (2)若任意x1, x2 A 而且不相等,都有f(x1)与 f(x2)不相等, 则称 f:AB是单射的. (3)若 f:AB既是满射又是单射的, 则称 f: AB是双射的 f 满射意味着:y B, 都存在 x使得 f(x) = y. f 单射意味着:f(x1) = f(x2) x1= x2 4.6 函 数 的 定 义 与 性 质 注意: 由单射的定义可知,设X和Y是有限集 合,若存在单射函数f:XY,则 |X|Y|。 由满射的定义可知,设X和Y是有限集 合,若存在满射函数f:XY,则 |X|Y|。 由双射的定义可知,设X和Y是有限集 合,若存在双射函数f:XY,则 |X|=|Y|。 4.6 函 数 的 定 义 与 性 质 实例 例4 判断下面函数是否为单射, 满射, 双射的, 为什么? (1) f:RR, f(x) = x2+2x1 (2) f:Z+R, f(x) = lnx, Z+为正整数集 (3) f:RZ, f(x) = x (4) f:RR, f(x) = 2x+1 (5) f:R+R+, f(x)=(x2+1)/x, 其中R+为正实数集. 4.6 函 数 的 定 义 与 性 质 解 (1) f:RR, f(x)=x2+2x1 在x=1取得极大值0. 既不单射也不满射. (2) f:Z+R, f(x)=lnx 单调上升, 是单射. 但不满射, ranf=ln1, ln2, . (3) f:RZ, f(x)= x 满射, 但不单射, 例如 f(1.5)=f(1.2)=1. (4) f:RR, f(x)=2x+1 满射、单射、双射, 因为它是单调的并且ranf=R. (5) f:R+R+, f(x)=(x2+1)/x 有极小值f(1)=2. 该函数既不单射也不满射. 实例(续) 4.6 函 数 的 定 义 与 性 质 构造从A到B的双射函数 有穷集之间的构造 例5 A=P(1,2,3), B=0,11,2,3 解 A=,1,2,3,1,2,1,3,2,3,1,2,3. B= f0, f1, , f7 , 其中 f0=, f1=, f2=, f3=, f4=, f5=, f6=, f7=,. 令 f:AB, f()=f0, f(1)=f1, f(2)=f2, f(3)=f3, f(1,2)=f4, f(1,3)=f5, f(2,3)=f6, f(1,2,3)=f7 4.6 函 数 的 定 义 与 性 质 实数区间之间构造双射 构造方法:直线方程 例6 A=0,1 B=1/4,1/2 构造双射 f :AB 构造从A到B的双射函数(续) 解 令 f:0,11/4,1/2 f(x)=(x+1)/4 4.6 函 数 的 定 义 与 性 质 构造从A到B的双射函数(续) A 与自然数集合之间构造双射 方法:将A中元素排成有序图形,然后从第一个元素开始 按照次序与自然数对应 例7 A=Z, B=N,构造双射 f:AB 将Z中元素以下列顺序排列并与N中元素对应: Z:0 1 1 2 2 3 3 N:0 1 2 3 4 5 6 则这种对应所表示的函数是: 4.6 函 数 的 定 义 与 性 质 常函数、恒等函数、单调函数 1. 设f:AB, 若存在 cB 使得 xA 都有 f(x)=c, 则称 f:AB是常函数. 2. 称 A 上的恒等关系 IA为 A 上的恒等函数, 对所有 的 xA 都有 IA(x)=x. 3. 设 f:RR,如果对任意的 x1, x2R,x1, , , a,b = , , (2) 给定集合 A, A 上不同的等价关系确定不同 的自然映射, 其中恒等关系确定的自然映射是双 射, 其他的自然映射一般来说是满射. 例如 A=1, 2, 3, R=,IA g(1) = g(2) = 1,2, g(3) = 3 4.6 函 数 的 定 义 与 性 质 函数复合的定理 定理 设F, G是函数, 则F G也是函数, 且满足 (1) dom( FG)= x | xdomG G(x)domF (2) xdom(F G) 有FG(x) = F (G(x) 推论1 设F, G, H为函数, 则 (FG)H 和 F(GH) 都是函数, 且 (FG)H = F(GH) 推论2 设 f: BC, g: AB, 则 fg:AC, 且 xA 都有 fg(x) = f (g(x). 4.7 函 数 复 合 和 反 函 数 函数复合运算的性质 定理 设g :AB, f :BC. (1) 如果f,g都是满射, 则 fg:AC也是满射. (2) 如果 g, f 都是单射, 则f g:AC也是单射. (3) 如果 g, f 都是双射, 则 fg:AC也是双射. 证 (1) cC, 由 f:BC 的满射性, bB 使得 f(b)=c. 对这个b, 由 g:AB 的满射性,aA 使得 f(a)=b. 由合成定理 fg(a)= f ( g(a)=f(b)=c 从而证明了 fg:AC是满射的. 函数复合运算的性质 (2) 假设存在 x1, x2A使得 fg(x1) = f g(x2) 由合成定理有 f (g(x1)= f (g(x2). 因为 f:BC是单射的, 故 g(x1)=g(x2). 又由 于 g:AB也是单射的, 所以 x1=x2. 从而证 明 fg:AC是单射的. (3) 由 (1) 和 (2) 得证. 定理 设 f: AB,则 f = fIB = IAf 定理 设f:XY,g:YZ,那么 (1)若gf是单射,则f是单射。 (2)若gf是满射,则g是满射。 (3)若gf是双射,则f是单射,g是满射。 函数复合运算的性质 反函数存在的条件 任给函数 F, 它的逆F 1不一定是函数, 是二元关系 . 实例:F=,, F 1=, 任给单射函数 f:AB, 则 f 1是函数, 且是从 ranf 到 A的双射函数, 但不一定是从 B 到 A 的双射函 数. 实例:f : N N, f(x) = 2x, f 1 : ranf N, f 1 (x) = x/2 反函数 定理 设 f:AB是双射的, 则f 1:BA也是双射函数. 证 因为 f 是函数, 所以 f 1 是关系, 且 dom f 1 = ranf = B , ran f 1 = domf = A, 对于任意的 yB = dom f 1, 假设有x1, x2A使得 f 1f 1 成立, 则由逆的定义有 ff 根据 f 的单射性可得 x1 = x2, 从而证明了f 1是函数,且是 满射的. 下面证明 f 1 的单射性. 若存在 y1, y2B 使得 f 1 (y1) = f 1 (y2) = x, 从而有 f 1f 1 ff y1 = y2 反函数的定义及性质 对于双射函数f:AB, 称 f 1:BA是它的反 函数. 反函数的性质 定理 设 f:AB是双射的, 则 f 1f = IA, ff 1 = IB 对于双射函数 f:AA, 有 f 1f = ff 1 = IA 定理 若f:XY是可逆的,那么 (l)(f-1)-1=f (2)f-1f=IX,ff-1=IY 定理3.9 设X,Y,Z是集合,如果f:XY, g:YZ都是可逆的,那么gf也是可逆的, 且(gf)-1=f-1g-1 。 函数复合与反函数的计算 例 设 f:RR, g:RR 求 f g, g f. 如果 f 和 g 存在反函数, 求出它们的反函数. 解 f:RR不是双射的, 不存在反函数. g:RR是双射的, 它 的反函数是 g1:RR, g1(x) = x2 一、两个有限集如何比较多少。 设两个班级A 和B,要比较这两个班级的学生 哪班多,哪班少,可采取两种方法。 方法1:报数。报数后看谁的数目大,数目大的 就表示这个班上学生人数多。但这个方法对无限 集却行不通。 方法2:配对。将A 中的一个学生a1 和B 中的一 个学生b1 配成一对,配好以后,不许他们再和 别人配对了。然后再把A 中的另一个学生a2 和B 中的一个学生b2 配成一对,同样,配好以后也 不准他们再和其他人配对了。这样一对一配下去 ,如果A中的人都配完了,而B还剩下一些人,则 说B中的学生比A多;如果B 中的人都配完了,而 A 剩下一些人,则说A中的学生比B多;如果A和B 中的学生正好都能一对一地搭配起来,则说A和B 的学生人数一样多。这种“配对”的办法可以应 用到无限集中去。 定义一 设A与B为集合,若存在从A到B的双射 ,则称A和B为等势,记为AB。 例6.13 (-1,1)(-,+)。 证明 因存在着双射 ,x(-1,1),所以(- 1,1)(-,+)。 等势关系具有如下性质 AA。 若AB,则BA。 若AB,BC,则AC。 所以等势关系是等价关系。 定义二 设Nn=0,1,2,n-1,A 为任一集合。若A= 或A 与某个Nn等势,则称A为有限集;否则称A 为无限 集。 定理一 自然数集N为无限集。 证明 任取nN,f 是从Nn 到N 的任意一个函数。 令k=1+maxf(0),f(1),f(n-1),则kN。但对每 个xNn,都有f(x)k,因此f不是满射,从而f 不 是双射。由n和f的任意性得知N 是无限的。 定义三 (1)对于有限集合A,有唯一的Nn与其等势 ,对应的n称为A的基数,记为|A| (2)自然数集N 的基数记为 0(读作阿列夫
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 租赁设备包清工合同样本
- 工业机器人技术与应用模拟习题与答案
- 植物学习题库含答案
- 线上升国旗课件
- 水电工程承包合作合同
- 2024年2月份暗物质探测器共有权分割技术标准协议
- 机电安装工程合同补充条款范本
- 肩关节镜手术护理
- 给排水工程承包合同范本
- 2024年3月份墙体广告动态紫外线消毒集成协议
- 校长在中考复习备考研讨会上讲话:聚焦中考命题核心!靶向突破薄弱环节
- 2025年湖北省八市高三(3月)联考化学
- 健康管理师的心理健康指导试题及答案
- 3.2《做自尊的人》课件-2024-2025学年统编版道德与法治七年级下册
- 德育测试试题及答案
- 设计院挂靠合作协议书范本
- 2025年中国电子信息产业集团有限公司招聘笔试参考题库含答案解析
- 2025年江苏省职业院校技能大赛高职组(智慧物流)参考试题库资料及答案
- 2025年《中央一号文件》参考试题库资料100题及答案(含单选、多选、判断题)
- 上海市松江区届2024-2025学年高三上学期一模考试历史试题(解析版)
- 2025年浙江省高职单招《职业适应性测试》高频必练考试题(附答案)
评论
0/150
提交评论