- 1、本文档共52页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
在图4.9中,如果B={2,3,6}, B的上界?最小上界? B的下界?最大下界? B的上界是6和12,最小上界是6,B的下界是1,最大下界也是1. 而在图4.10中,令B={c,d,e}, 问题同上。 则B的上界和最小上界都是e,B的下界为a,b,但B没有最大下界. 如果最小上界或最大下界存在,一定是唯一的. * 4.6 函数的定义和性质 定义4.22 设F为二元关系,若对任意的x∈domF都存在唯一的y∈ranF使得xFy成立,则称F为函数. 例如,如下关系 F1={x1,y1,x2,y1,x3,y2} 是函数 F2={x1,y1 ,x1,y2 ,x2,y1 ,x3,y2} 不是函数, 因为对于x1?domF有x1Fy1,x1Fy2同时成立. * 如果x,y∈函数F,则记作 F(x)=y,称y是F在x的函数值. 定义4.23 设A,B是集合,如果函数f满足以下条件 (1)domf=A, (2)ranf?B, 则称f是从A到B的函数,记作f:A→B. 定义4.24 设A,B为集合,所有从A到B的函数构成集合BA,读作“B上A”.即 BA ={f | f:A→B }, * 例2:设P是一个程序,输入输出都是整数,(m, n)∈fP意为输入m时程序运行输出n。则fP是一个函数。 例3:标识图是一个图,每个顶点或每条边或两者都带有标记。例如一个图的顶点代表一个城市,边代表两个城市之间的距离。设V是顶点集,L是标记集,则f:V→L是一个函数。用E作边集,g:E→L,也是一个函数。 * 例如A={0,1,2},B={a,b},则BA={f1,f2…,f8} f1={0,a,1,a,2,a}, f2={0,a, 1,a ,2,b}, f3 ={0,a, 1,b 2,c} f4={0,a,1,b,2,b}, f5={0,b ,1,a,2,a}, f6={0,b 1,a,2,b}, f7={0,b ,1,b,2,a}, f8={0,b, 1,b ,2,b}. |A|=m,|B|=n,m,n不是0,|BA|=? * 定义4.25 设f:A→B,A’?A,则A’在f下的象是 f(A’)={f(x)|x∈A’}=f[A’], 当A’=A时,称f(A’)=f(A)=ranf是函数的象. * 函数的性质 定义4.26 设函数f:A→B. (1)若ranf=B,则称f是满射的(或到上的) (2)若对于任何的x1, x2 ∈A, x1≠x2 ,都有 f (x1)≠f(x2 ),则称f是单射的(或一一的), (3)若f既是满射的,又是单射的,则称f是双射的(或一一到上的) * 例如,函数f:{1,2}→{0},f(1)=f(2)=0, 那么f是满射的,但不是单射的. 函数f:N→N,f(x)=2x 是单射的,但不是满射的,因为ranf不含有奇数,即ranf?N. 而函数f:Z→Z,f(x)=x+1 是双射的. * 定理. 设A,B都是有限集,|A|=|B|, f:A→B是一个函数,处处有定义。 f一一?f满。 f满?f一一。 * 例4.18 分别确定以下各题中的f是否为从A到B的函数,并对其中的f:A→B指出它是否为单射、满射或双射的.如果不是,请说明理由. (1)A={1,2,3,4,5},B={6,7,8,9,10}, f={1,8,3,9,4,10,2,6,5,9}. * (2) A={1,2,3,4,5},B={6,7,8,9,10}, f={1,8 ,3,10,2,6, 4,9}. (3) A={1,2,3,4,5},B={6,7,8,9,10}, f={1,7,2,6,4,5,1,9,5,10}. * (3)A,B为实数集 f(x)=x3 . (4)A,B为实数集 f(x)= (5)A,B为正整数集, f(x)=x+1. * (6)A,B为正整数集 * (1)设:A→B,如果存在y∈B使得对所有的x∈A都有 f(x)=y,则称f:A→B是常函数. (2)A上的恒等关系IA就是A上的恒等函数,对于所有的x∈A有IA(x)=x. (3)设f:R→R,对于任意的x1 , x2 ∈R,如果x1<x2则有f(x1)≤f(x2),称y为单调递增的.如果x1<x2则有f(x1)<f(x2),就称f为严格单调递增的.类似地也可以定义单调递减和严格单调递减的函数,它们统称为单调函数. (4)设A为集合,对于任意的A’?A,A’的特征函数 :A→{0,1}定义为 * (5)设R是A上的等价关系,定义
文档评论(0)