第一范文网 - 专业文章范例文档资料分享平台

离散数学第8章 函数(2)

来源:用户分享 时间:2021-06-02 本文由淡了青衫 分享 下载这篇文档 手机版
说明:文章内容仅供预览,部分内容可能不全,需要完整文档或者需要复制内容,请下载word后使用。下载word有问题请添加微信号:xxxxxx或QQ:xxxxxx 处理(尽可能给您提供完整文档),感谢您的支持与谅解。

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

CHAPTER Eight例8.6 对给定的集合A和B构造双射函数f :A→B.(1) A P ({1, 2 , 3} ), B {0 , 1} (3) A Z , B N ;{1 ,2 ,3 }

;

( 2 ) A [ 0 , 1], B [ 4 , ]; 21 1

( 4 ) A [ , 3 ], B [ 1

,1]. 2 2 解 : (1) A { , {1} , { 2} , {3} , {1, 2} , {1, 3} , { 2 , 3} , {1, 2 , 3} }

B { f 0 , f 1 , , f 7 } , 其 中 : f 0 { 1, 0 , 2 , 0 , 3, 0 } , f 2 { 1, 0 , 2 ,1 , 3, 0 } , f 4 { 1, 0 , 2 ,1 , 3,1 } , f 6 { 1,1 , 2 ,1 , 3, 0 } , 令 f :A B使 得 : f ( ) f 0 , f ({1, 2 ,3} ) f 7 , f ({1, 2} ) f 4 , f ({1,3} ) f 5 , f 1 { 1, 0 , 2 , 0 , 3,1 } f 3 { 1,1 , 2 , 0 , 3, 0 } f 5 { 1,1 , 2 , 0 , 3,1 } f 7 { 1,1 , 2 ,1 , 3,1 }

f ({ 2 , 3} ) f 6 , f ({1} ) f 1 , f ({2} ) f 2 , f ({3} ) f 3 , .6/2/2013 9:02 PM Discrete Math. , Chen Chen 11

离散数学第8章 函数

CHAPTER Eight1 ( 2 ) A [ 0 ,1], B [ 1 , ] 4 2 令 f : [ 0 ,1] [ 1 , 1 ], f ( x ) x 1 4 2 4 (3) A Z , B N 将 Z 中 元 素 按 下 列 方 式 与 N中 元 素 对 应 Z: N: 0 0 -1 1 1 2 -2 3 2 4 -3 5 3 6 x 0 x 0

这种对应关系表示的函数是: ( 4 ) A [ , 3 ], B [ 1,1] 2 2 令3 f : [ , 2 ] [ 1,1], 2

2 x, f (x) 2 x 1,

f ( x ) s in x .12

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

定义8.7

CHAPTER Eight

(1) 设 f : A→B,如果存在c B使得对 x A都有f(x)=c,则称 f是常 函数; (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' 的特征函数XA' : A→{0,1}定义为 1 X A'(a ) 0 a A' 否则

(5) 设R是A上的等价关系,令 g: A→A/R, g(a)=[a], ( a A), 称g是从 A到商集A / R的自然映射。6/2/2013 9:02 PM Discrete Math. , Chen Chen 13

离散数学第8章 函数

§8.2 函数的复合与反函数函数的复合也就是关系的右复合。 定理8.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)) 证明: (1) ∵ F,G是关系, ∴ F 。G也是关系。若 x∈ dom(F 。G) 有x F。G y1和x F 。G y2,则<x, y1 > ∈ F 。G ∧ <x, y2 > ∈ F 。G => t1(<x, t1 > ∈F∧ < t1 , y1 >∈G)∧ t2(<x, t2>∈F∧<t2, y2>∈G)

CHAPTER Eight

=> t1(<x, t1 > ∈ F ∧ < t1 , y1 >∈G) ∧ t2(<x, t2 > ∈ F ∧ < t2 , y2 > ∈ G)=> t1 t2( t1 = t2 ∧ < t1 , y1 > ∈ G ∧ < t2 , y2 > ∈ G) (∵ F为函数) => y1 =y2 (∵ G为函数)

∴ F 。G为函数。6/2/2013 9:02 PM Discrete Math. , Chen Chen 14

离散数学第8章 函数

§8.2 函数的复合与反函数(2)对于 x, x∈dom(F。G) => t y(<x, t >∈F∧<t , y>∈G) => t (x ∈ dom

(F)∧t=F(x) ∧t ∈ dom( G)) => x ∈ {x| x ∈ dom(F) ∧ F(x) ∈ dom( G)} 对于 x,x ∈ dom(F)∧F(x)∈dom( G) => <x,F(x)>∈F∧<F(x),G(F(x))>∈ G => <x, G(F(x))>∈F。G => x ∈ dom(F) ∧F。G(x)=G(F(x))

CHAPTER Eight

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

§8.2 函数的复合与反函数

CHAPTER Eight

推论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)) 。 定理8.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也是双射的。

证明略,参见P143。

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

§8.2 函数的复合与反函数定理8.3 设 f:A → B, 则有 f=f。IB=IA。f 证明: 由前定理知 f 。IB :A → B, IA。f :A → B 对于 <x,y>, <x,y> ∈f => <x, y > ∈ f ∧ y ∈ B

CHAPTER Eight

=> <x, y > ∈ f ∧ <y,y> ∈ B => <x, y > ∈ f 。IB <x,y> ∈ f 。IB => t (<x, t > ∈f ∧ < t , y > ∈ IB) => <x, t > ∈ f ∧ t=y => <x, y > ∈ f

∴ f=f。IB同理可证明 f=f。IA

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

§8.2 函数的复合与反函数考虑: 任给函数F,那么它的逆F-1是函数吗? 答:不一定。 如F={<1,2>,<3,2>}为一从{1,3}到{2}的函数,而

CHAPTER Eight

F-1 ={<2,1>,<2,3>}不再是函数,仅是一个关系。任给单射函数f:A → B ,那么它的逆f-1是函数吗? 答: f-1 是从ranf到A的函数,而且是双射函数。但不一定是从B到A 的函数。 对于什么样的函数f:A → B的逆f-1才是从B到A的函数呢?

6/2/2013 9:02 PM

Discrete Math. , Chen Chen

离散数学第8章 函数

§8.2 函数的复合与反函数定理8.4 设 f:A → B是双射的,则f-1也是双射的。 证明: 先证明f-1是从B到A的函数f-1 :B → A。

CHAPTER Eight

∵ f是函数 ∴ f-1是关系,且 domf -1 =ranf=B, ranf -1 =domf=A 对于 x ∈B= domf -1,若 y1,y2 ∈A使得,

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读,第一范文网,提供最新人文社科离散数学第8章 函数(2)全文阅读和word下载服务。

离散数学第8章 函数(2).doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
本文链接:https://www.diyifanwen.net/wenku/1197872.html(转载请注明文章来源)
热门推荐
Copyright © 2018-2022 第一范文网 版权所有 免责声明 | 联系我们
声明 :本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
客服QQ:xxxxxx 邮箱:xxxxxx@qq.com
渝ICP备2023013149号
Top