




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学函数5、1函数定义及其性质5、1、1函数得定义函数定义从A到B得函数5、1、2函数得像与完全原像5、1、3函数得性质函数得单射、满射、双射性构造双射函数函数定义定义5、1设f为二元关系,若
x∈domf都存在唯一得y∈ranf使xfy成立,则称f为函数、对于函数f,如果有xfy,则记作y=f(x),并称y为f在x得值、例如f1={<x1,y1>,<x2,y2>,<x3,y2>}
f2={<x1,y1>,<x1,y2>}
f1就是函数,f2不就是函数
函数相等定义5、2设f,g为函数,则
f=g
f
g∧g
f
如果两个函数f与g相等,一定满足下面两个条件:
(1)domf=domg
(2)
x∈domf=domg都有f(x)=g(x)
实例函数
f(x)=(x2
1)/(x+1),g(x)=x
1不相等,因为domf
domg、
从A到B得函数定义5、3设A,B为集合,如果
(1)f为函数
(2)domf=A
(3)
ranf
B,则称f为从A到B得函数,记作f:A→B、实例
f:N→N,f(x)=2x就是从N
到N
得函数
g:N→N,g(x)=2也就是从N到N
得函数B上A定义5、4所有从A到B得函数得集合记作BA,读作“B上A”符号化表示为
BA={f|f:A→B}计数:
|A|=m,|B|=n,且m,n>0,|BA|=nm、A=
,则BA=B
={
}、
A≠
且B=
,则BA=
A=
、
实例解BA={f0,f1,…,f7},其中
f0={<1,a>,<2,a>,<3,a>}
f1={<1,a>,<2,a>,<3,b>}
f2={<1,a>,<2,b>,<3,a>}
f3={<1,a>,<2,b>,<3,b>}
f4={<1,b>,<2,a>,<3,a>}
f5={<1,b>,<2,a>,<3,b>}
f6={<1,b>,<2,b>,<3,a>}
f7={<1,b>,<2,b>,<3,b>}
例1设A={1,2,3},B={a,b},求BA、重要函数得定义定义5、5(1)设f:A→B,如果存在c∈B使得对所有得x∈A都有
f(x)=c,则称f:A→B就是常函数、(2)称A上得恒等关系IA为A上得恒等函数,对所有得
x∈A都有IA(x)=x、(3)设<A,≼>,<B,≼>为偏序集,f:A→B,如果对任意得
x1,x2∈A,x1≺x2,就有f(x1)≼f(x2),则称f为单调递增得;如果对任意得x1,x2∈A,x1≺x2,就有f(x1)≺f(x2),则称f为严格单调递增得、
类似得也可以定义单调递减与严格单调递减得函数、重要函数得定义(续)(4)设A为集合,对于任意得A’
A,A’得特征函数
A’:A→{0,1}定义为实例:设A={a,b,c},A得每一个子集A'都对应于一个特征函数,不同得子集对应于不同得特征函数、如
={<a,0>,<b,0>,<c,0>},
{a,b}={<a,1>,<b,1>,<c,0>}、(5)设R就是A上得等价关系,令
g:A→A/R
g(a)=[a],
a∈A
称g就是从A到商集A/R得自然映射、重要函数得定义(续)实例给定集合A与A上得等价关系R,就可以确定一个自然映射g:A→A/R、不同得等价关系确定不同得自然映射,其中恒等关系所确定得自然映射就是双射,而其她得自然映射一般来说只就是满射、例如:A={1,2,3},等价关系:R1={<1,2>,<2,1>}∪IA自然映射:g1(1)=g1(2)={1,2},g1(3)={3}等价关系:IA自然映射:g2(1)={1},g2(2)={2},g2(3)={3}大家学习辛苦了,还是要坚持继续保持安静重要函数得定义(续)
W:Z+
Z+作为算法得时间复杂度函数W(n)得含义:对于规模为n得输入,该算法在最坏情况下所执行得基本运算次数就是W(n)、复杂度函数f(n)得阶得表示:
f(n)=O(g(n))
f(n)得阶不超过g(n)得阶
f(n)=
(g(n))f(n)=O(g(n))且g(n)=O(f(n))例如:f(n)=n2+n=
(n2),g(n)=nlogn=O(n2)
其中logn就是log2n得简写算法:二分搜索W(n)=O(logn)
归并排序W(n)=O(nlogn)函数得像与完全原像定义5、6设函数f:A→B,A1
A,
B1
B,称
f(A1)={f(x)|x∈A1}
为A1在f下得像,f(A)称为函数得像、
f
1(B1)={x|x∈A∧f(x)∈B1}为B1在f下得完全原像注意:函数得像与值得区别:函数值f(x)∈B,像f(A1)
B、A1
f
1(f(A1)),f(f
1(B1))
B1、
实例{1}
{1,2}=f
1({a})=f
1(f({1}))f(f
1({b,c}))=f({3})={b}{b,c}实例1、设f:N→N,且令A={0,1},B={2},那么有
f(A)=f({0,1})={f(0),f(1)}={0,2}
f(B)={f(2)}={1}2、A={1,2,3},B={a,b,c},f={<1,a>,<2,a>,<3,b>},则
f
1({a,b})={1,2,3},f
1({b,c})={3},函数得性质定义5、7设f:A→B,
(1)若ranf=B,则称f:A→B就是满射得、
(2)若
y∈ranf都存在唯一得x∈A使得f(x)=y,则称f:A→B就是单射得、
(3)若f:A→B既就是满射又就是单射得,则称f:A→B就是双射得f
满射意味着:
y
B,都存在x
A
使得
f(x)=y、f单射意味着:f(x1)=f(x2)
x1=x2实例例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+为正实数集、
解(1)f:R→R,f(x)=
x2+2x
1
(2)f:Z+→R,f(x)=lnx
(3)f:R→Z,f(x)=
x
(4)f:R→R,f(x)=2x+1
(5)f:R+→R+,f(x)=(x2+1)/x
实例(续)在x=1取得极大值0、既不就是单射也不就是满射得、单调上升,就是单射得、但不满射,ranf={ln1,ln2,…}、就是满射得,但不就是单射得,例如f(1、5)=f(1、2)=1、就是满射、单射、双射得,因为她就是单调函数并且ranf=R、有极小值f(1)=2、该函数既不就是单射得也不就是满射得、构造从A到B得双射函数有穷集之间得构造例3A=P({1,2,3}),B={0,1}{1,2,3}解
A={
,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}、
B={f0,f1,…,f7},其中
f0={<1,0>,<2,0>,<3,0>},f1={<1,0>,<2,0>,<3,1>},
f2={<1,0>,<2,1>,<3,0>},f3={<1,0>,<2,1>,<3,1>},
f4={<1,1>,<2,0>,<3,0>},f5={<1,1>,<2,0>,<3,1>},
f6={<1,1>,<2,1>,<3,0>},f7={<1,1>,<2,1>,<3,1>}、
令f:A→B,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实数区间之间构造双射构造方法:直线方程例4A=[0,1]
B=[1/4,1/2]
构造双射f:A→B
构造从A到B得双射函数(续)解令f:[0,1]→[1/4,1/2]f(x)=(x+1)/4
A与自然数集合之间构造双射方法:将A中元素排成有序图形,然后从第一个元素开始按照次序与自然数对应构造从A到B得双射函数(续)例5A=Z,B=N,构造双射f:A→B将Z中元素以下列顺序排列并与N中元素对应:
Z:0
11
22
33…
↓↓↓↓↓↓↓
N:0123456…
则这种对应所表示得函数就是:
5、2函数得复合与反函数5、2、1函数得复合函数复合得基本定理及其推论函数复合得性质5、2、2反函数反函数存在得条件反函数得性质函数复合得基本定理定理5、1设f,g就是函数,则f∘g也就是函数,且满足
(1)dom(f∘g)={x|x∈domf
f(x)∈domg}
(2)
x∈dom(f∘g)有f∘g(x)=g(f(x))
证先证明f∘g就是函数、
因为f,g就是关系,所以f∘g也就是关系、
若对某个x∈dom(f∘g),xf∘gy1与xf∘gy2,则
<x,y1>∈f∘g
<x,y2>∈f∘g
t1(<x,t1>∈f
<t1,y1>∈g)
t2(<x,t2>∈f
<t2,y2>∈g)
t1
t2(t1=t2
<t1,y1>∈g
<t2,y2>∈g)
y1=y2
所以f∘g为函数、证明
再证明结论(1)与(2)、任取x,
x∈dom(f∘g)
t
y(<x,t>∈f∧<t,y>∈g)
t(x∈domf∧t=f(x)∧t∈domg)
x∈{x|x∈domf∧f(x)∈domg}任取x,
x∈domf∧f(x)∈domg
<x,f(x)>∈f∧<f(x),g(f(x))>∈g
<x,g(f(x))>∈f∘g
x∈dom(f∘g)∧f∘g(x)=g(f(x))所以(1)与(2)得证、推论推论1设f,g,h为函数,则(f∘g)∘h与f∘(g∘h)都就是函数,且
(f∘g)∘h=f∘(g∘h)证由上述定理与关系合成运算得可结合性得证、推论2设f:A→B,g:B→C,则f∘g:A→C,且
x∈A都有
f∘g(x)=g(f(x))、证由上述定理知f∘g就是函数,且
dom(f∘g)={x|x∈domf∧f(x)∈domg}
={x|x∈A∧f(x)∈B}=A
ran(f∘g)
rang
C因此f∘g:A→C,且
x∈A有f∘g(x)=g(f(x))、函数复合得性质定理5、2设f:A→B,g:B→C、
(1)如果f:A→B,g:B→C都就是满射得,则f∘g:A→C也就是满射得、
(2)如果f:A→B,g:B→C都就是单射得,则f∘g:A→C也就是单射得、
(3)如果f:A→B,g:B→C都就是双射得,则f∘g:A→C也就是双射得、
证明(1)任取c∈C,由g:B→C得满射性,
b∈B使得g(b)=c、对于这个b,由f:A→B得满射性,
a∈A使得f(a)=b、由定理5、1有
f∘g(a)=g(f(a))=g(b)=c从而证明了f∘g:A→C就是满射得、(2)假设存在x1,x2∈A使得
f∘g(x1)=f∘g(x2)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 简约设计的力量
- 兰考三农职业学院《数字信号处理与通信》2023-2024学年第二学期期末试卷
- 上海工程技术大学《复变函数B》2023-2024学年第一学期期末试卷
- 浙江省桐乡市市级名校2025届初三TOP20九月联考(全国II卷)英语试题试卷含答案
- 2025年辽宁省抚顺本溪铁岭辽阳葫芦岛市中考模拟试卷(1)化学试题含解析
- 广东省深圳市深圳外国语达标名校2025年协作体中考摸底测试化学试题试卷含解析
- 甘肃省天水一中2025年高三下学期第二次模拟语文试题含解析
- 广东省惠州市惠东县2024-2025学年初三化学试题5月考前最后一卷含解析
- 重庆电子工程职业学院《项目管理与预算》2023-2024学年第二学期期末试卷
- 清新论文研究成果总结与展望
- 老姜盘口语言解密高级版全集
- 现代环境生物技术
- 第四章铅酸蓄电池
- GA 1517-2018金银珠宝营业场所安全防范要求
- 保险公司首转对团队的意义方法课件
- TAVI(经皮导管主动脉瓣植入术)术后护理
- 6.3.1 平面向量基本定理 课件(共15张PPT)
- 建筑消防设施巡查记录
- 混凝土护栏检查记录表
- DBJ04∕T 258-2016 建筑地基基础勘察设计规范
- 社会团体民办非清算审计报告模板
评论
0/150
提交评论