离散数学屈婉玲第八章_第1页
离散数学屈婉玲第八章_第2页
离散数学屈婉玲第八章_第3页
离散数学屈婉玲第八章_第4页
离散数学屈婉玲第八章_第5页
已阅读5页,还剩45页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、1第八章第八章 函数函数主要内容主要内容函数的定义与性质函数的定义与性质l 函数定义函数定义l 函数性质函数性质函数运算函数运算l 函数的逆函数的逆l 函数的合成函数的合成双射函数与集合的基数双射函数与集合的基数28.1 函数的定义与性质函数的定义与性质主要内容主要内容函数定义与相关概念函数定义与相关概念l 函数定义函数定义l 函数相等函数相等l 从从A到到B的函数的函数f:ABl BAl 函数的像与完全原像函数的像与完全原像函数的性质函数的性质l 单射、满射、双射函数的定义与实例单射、满射、双射函数的定义与实例l 构造双射函数构造双射函数某些重要的函数某些重要的函数3函数定义函数定义定义定义

2、8.1 设设 F 为二元关系为二元关系, 若若 xdomF 都存在唯一的都存在唯一的yranF 使使 xFy 成立成立, 则称则称 F 为为函数函数 对于函数对于函数F, 如果有如果有 xFy, 则记作则记作 y=F(x), 并称并称 y 为为F 在在 x 的的值值. 例例 F1=, F2=, F1是函数是函数, F2不是函数不是函数 定义定义8.2 设设F, G 为函数为函数, 则则 F=G F GG F 如果两个函数如果两个函数F 和和 G 相等相等, 一定满足下面两个条件:一定满足下面两个条件: (1) domF=domG (2) xdomF=domG 都有都有F(x)=G(x) 函数函

3、数F(x)=(x2 1)/(x+1), G(x)=x 1不相等不相等, 因为因为 domF domG.4从从A到到B的函数的函数定义定义8.3 设设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的函数的函数. 定义定义8.4 所有从所有从A到到B的函数的集合记作的函数的集合记作BA, 符号化表示为符号化表示为 BA = f | f:AB |A|=m, |B|=n, 且且m, n0

4、, |BA|=nmA=, 则则BA=B=A且且B=, 则则BA=A= 5实例实例例例1 设设A=1,2,3, B=a,b, 求求BA.解解BA= f0, f1, , f7, 其中其中 f0 = , f1 = , f2 = , f3 = , f4 = , f5 = , f6 = , f7 = ,6函数的像和完全原像函数的像和完全原像定义定义8.5 设函数设函数 f:AB, A1 A, B1 B(1) A1在在 f 下的像下的像 f(A1) = f(x) | xA1, 函数的像函数的像 f(A) (2) B1在在 f 下的完全原像下的完全原像 f 1(B1)=x|xAf(x)B1注意:注意:l 函

5、数值与像的区别:函数值函数值与像的区别:函数值 f(x)B, 像像f(A1) Bl 一般说来一般说来 f 1(f(A1)A1, 但是但是A1 f 1(f(A1)例例 设设 f:NN, 且且令令A=0,1, B=2, 那么有那么有 f(A) = f( 0,1) = f(0), f(1)=0,2 f 1(B) = f 1(2)=1,4 为奇数为奇数若若为偶数为偶数若若xxxxxf12/)(7函数的性质函数的性质定义定义8.6 设设 f:AB,(1) 若若 ranf=B, 则称则称 f:AB是是满射满射的的(2) 若若 yranf 都存在唯一的都存在唯一的 xA 使得使得 f(x)=y, 则称则称

6、f:AB 是是单射单射的的(3) 若若 f:AB 既是满射又是单射的既是满射又是单射的, 则称则称 f:AB是是双射双射的的例例2 判断下面函数是否为单射判断下面函数是否为单射, 满射满射, 双射的双射的, 为什么为什么?(1) f:RR, f(x) = x2+2x 1(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+为正实数集为正实数集. 8例题解答例题解答解解(1) f:RR, f(x)= x2+2x 1 在在x=1取得极大值取得

7、极大值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. 该函数既不是单射的也不是满射的该函数既不是单射的也不是满射的

8、9实例实例例例3 对于给定的集合对于给定的集合A和和B构造双射函数构造双射函数 f:AB(1) A=P(1,2,3), B=0,11,2,3(2) A=0,1, B=1/4,1/2(3) A=Z, B=N(4) , B= 1,123,2 A10解答解答(1) 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

9、,3)=f711(2) 令令 f:0,11/4,1/2, f(x)=(x+1)/4 01202)(,NZxxxxff:(4) 令令 f : :/2,3/2 1,1 f(x) = sinx 解答解答(3) 将将Z中元素以下列顺序排列并与中元素以下列顺序排列并与N中元素对应:中元素对应:Z: 0 11 2 2 3 3 N: 0 1 2 3 4 5 6 这种对应所表示的函数是:这种对应所表示的函数是:12某些重要函数某些重要函数定义定义8.7 (1)设设 f:AB, 如果存在如果存在cB使得对所有的使得对所有的 xA都有都有 f(x)=c, 则称则称 f:AB是是常函数常函数.(2) 称称 A上的恒

10、等关系上的恒等关系IA为为A上的上的恒等函数恒等函数, 对所有的对所有的xA都都 有有IA(x)=x.(3) 设设, 为偏序集,为偏序集,f:AB,如果对任意的,如果对任意的 x1, x2A, x1 x2, 就有就有 f(x1) f(x2), 则称则称 f 为为单调递增单调递增的;的;如如 果对任意的果对任意的x1, x2A, x1 x2, 就有就有f(x1) f(x2), 则称则称 f 为为严严 格单调递增格单调递增的的. 类似的也可以定义单调递减和严格单调递类似的也可以定义单调递减和严格单调递 减的函数减的函数13(4) 设设A为集合为集合, 对于任意的对于任意的A A, A的的特征函数特

11、征函数 A :A0,1定义为定义为 A(a)=1, aA A(a)=0, aA A(5) 设设R是是A上的等价关系上的等价关系, 令令 g:AA/R g(a)=a, aA称称 g 是从是从 A 到商集到商集 A/R 的的自然映射自然映射某些重要函数某些重要函数14实例实例例例4 (1) 偏序集偏序集, , R 为包含关系为包含关系, 为为一般的小于等于关系一般的小于等于关系, 令令 f:P(a,b)0,1, f()=f(a)=f(b)=0, f(a,b)=1, f 是单调递增的是单调递增的, 但不是严格单调递增的但不是严格单调递增的(3) 不同的等价关系确定不同的自然映射不同的等价关系确定不同

12、的自然映射, 恒等关系确定的自恒等关系确定的自然映射是双射然映射是双射, 其他自然映射一般来说只是满射其他自然映射一般来说只是满射. 例如例如 A=1,2,3, R=,IA g: AA/R, g(1)=g(2)=1,2, g(3)=3(2) A的每一个子集的每一个子集 A都对应于一个特征函数都对应于一个特征函数, 不同的子集对不同的子集对 应于不同的特征函数应于不同的特征函数. 例如例如A=a,b,c, 则有则有 =,, a,b=,158.2 函数的复合与反函数函数的复合与反函数 主要内容主要内容l 复合函数基本定理复合函数基本定理l 函数的复合运算与函数性质函数的复合运算与函数性质l 反函数

13、的存在条件反函数的存在条件l 反函数的性质反函数的性质16复合函数基本定理复合函数基本定理定理定理8.1 设设F, G是函数是函数, 则则F G也是函数也是函数, 且满足且满足(1) dom(F G)=x|xdomFF(x)domG(2) xdom(F G)有有F G(x)=G(F(x)证证 先证明先证明F G是函数是函数. 因为因为F, G是关系是关系, 所以所以F G也是关系也是关系. 若对某个若对某个xdom(F G)有有xF Gy1和和 xF Gy2, 则则 F GF G t1(FG) t2(FG) t1 t2(t1=t2GG (F为函数)为函数) y1=y2 (G为函数)为函数)所以

14、所以 F G 为函数为函数17证明证明任取任取x, xdom(F G) t y(FG) t (xdomFt=F(x)tdomG) x x | xdomFF(x)domG 任取任取x, xdomFF(x)domG FG F G xdom(F G)F G(x)G(F(x)所以所以(1) 和和(2) 得证得证18推论推论推论推论1 设设F, G, H为函数为函数, 则则(F G) H和和F (G H)都是函数都是函数, 且且 (F G) H=F (G H)证证 由上述定理和运算满足结合律得证由上述定理和运算满足结合律得证.推论推论2 设设 f:AB, g:BC, 则则 f g:AC, 且且 xA都有

15、都有 f g(x)=g(f(x)证证 由上述定理知由上述定理知 f g是函数是函数, 且且 dom(f g)=x|xdomff(x)domg =x|xAf(x)B=A ran(f g) rang C因此因此 f g:AC, 且且 xA有有 f g(x)=g(f(x)19函数复合与函数性质函数复合与函数性质定理定理8.2 设设f:AB, g:BC (1) 如果如果 f:AB, g:BC是满射的是满射的, 则则 f g:AC也是满射的也是满射的(2) 如果如果 f:AB, g:BC是单射的是单射的, 则则 f g:AC也是单射的也是单射的 (3) 如果如果 f:AB, g:BC是双射的是双射的,

16、则则 f g:AC也是双射的也是双射的 A=a1,a2, B=b1,b2,b3,C=c1,c2. f=, g=, f g=,f:AB 和和 f g:AC是单射的是单射的, 但但g:BC不是单射的不是单射的. A=a1,a2,a3, B=b1,b2,b3, C=c1,c2. f=, g=, f g=,g:BC 和和 f g:AC是满射的是满射的, 但但 f:AB不是满射的不是满射的.20反函数反函数反函数存在的条件反函数存在的条件(1) 任给函数任给函数F, 它的逆它的逆F 1不一定是函数不一定是函数, 只是一个二元关系只是一个二元关系.(2) 任给单射函数任给单射函数 f:AB, 则则f 1是

17、函数是函数, 且是从且是从ranf 到到A的双的双 射函数射函数, 但不一定是从但不一定是从B到到A的双射函数的双射函数(3) 对于双射函数对于双射函数 f:AB, f 1:BA是从是从B到到A的双射函数的双射函数. 定理定理8.4 设设 f:AB是双射的是双射的, 则则f 1:BA也是双射的也是双射的.证明思路:证明思路:先证明先证明 f 1:BA,即,即f 1是函数,且是函数,且domf 1=B, ranf 1=A. 再证明再证明f 1:BA的双射性质的双射性质. 21证明证明证证 因为因为 f 是函数是函数, 所以所以 f 1是关系是关系, 且且 dom f 1 = ranf = B ,

18、 ran f 1 = domf = A对于任意的对于任意的 xB = dom f 1, 假设有假设有y1, y2A使得使得 f 1f 1成立成立, 则由逆的定义有则由逆的定义有 ff根据根据 f 的单射性可得的单射性可得y1=y2, 从而证明了从而证明了f 1是函数,且是满射的是函数,且是满射的. 若存在若存在x1, x2B使得使得f 1 (x1)= f 1 (x2)=y, 从而有从而有 f 1f 1 ff x1=x2 对于双射函数对于双射函数f:AB, 称称 f 1:BA是它的是它的反函数反函数. 22反函数的性质反函数的性质定理定理8.5 (1) 设设 f:AB是双射的是双射的, 则则 f

19、 1 f = IB, f f 1 = IA(2) 对于双射函数对于双射函数 f:AA, 有有 f 1 f = f f 1 = IA 证明思路:证明思路:根据定理可知根据定理可知 f 1:BA也是双射的也是双射的, 由合成基本定理可知由合成基本定理可知 f 1 f:BB, f f 1:AA,且它们都是恒等函数,且它们都是恒等函数. 例例5 设设 求求 f g, g f. 如果如果f 和和 g 存在反函数存在反函数, 求出它们的反函数求出它们的反函数.2)(323)(RR:,RR:2 xxgxxxxfgf23解解 121)2()(RR:3032)(RR:22xxxxfgfgxxxxgfgff:RR

20、不是双射的不是双射的, 不存在反函数不存在反函数. g:RR是双射的是双射的, 它的反函数是它的反函数是g 1:RR, g 1(x)=x 2求解求解248.3 双射函数与集合的基数双射函数与集合的基数主要内容主要内容l 集合的等势及其性质集合的等势及其性质l 重要的等势或不等势的结果重要的等势或不等势的结果l 集合的优势及其性质集合的优势及其性质l 集合的基数集合的基数l 可数集可数集25 01202)(,NZ:xxxxxff则则 f 是是Z到到N的双射函数的双射函数. 从而证明了从而证明了ZN.集合的等势集合的等势集合等势的实例集合等势的实例例例6 (1) ZN. 定义定义8.8 设设A,

21、B是集合是集合, 如果存在着从如果存在着从A到到B的双射函数的双射函数, 就称就称A和和B是是等势等势的的, 记作记作AB. 如果如果A不与不与B 等势等势, 则记作则记作A B.26mnmnmnmff 2)(1(),(,NNN:集合等势的实例集合等势的实例: NNNNNN. NN中所有的元素排成有序图形中所有的元素排成有序图形27-2/1-2/155-1/1-1/144-3/1-3/118182/12/110103/13/111110/10/1001/11/111-2/2-2/2-1/2-1/233-3/2-3/217172/22/23/23/212120/20/21/21/222-2/3-

22、2/366-1/3-1/377-3/3-3/32/32/3993/33/30/30/31/31/388-2/4-2/4-1/4-1/41515-3/4-3/416162/42/43/43/413130/40/41/41/41414PLAYNQ. 双射函数双射函数 f:NQ, 其中其中f(n)是是n下方的有理数下方的有理数. 集合等势的实例集合等势的实例: NQ28212tan)(,R)1 , 0(: xxff xxnxxxxfnn其它其它,.2 , 1,2/12/112/102/1)(12(6) 对任何对任何a, bR, ab, 0,1a,b,双射函数双射函数 f:0,1a,b, f(x)=(

23、b a)x+a类似地可以证明类似地可以证明, 对任何对任何a, bR, ab, 有有(0,1)(a,b).(4) (0,1)R. 其中实数区间其中实数区间 (0,1)=x| xR0 x1. 令令(5) 0,1(0,1). 其中其中(0,1)和和0,1分别为实数开区间和闭区间分别为实数开区间和闭区间. 令令 f : 0,1(0,1)实数集合的等势实数集合的等势29等势的性质及结果等势的性质及结果定理定理8.6 设设A, B,C是任意集合,是任意集合,(1) AA(2) 若若AB,则,则BA(3) 若若AB,BC,则,则AC.不等势的结果不等势的结果: 定理定理8.7 (康托定理康托定理)(1)

24、N R; (2) 对任意集合对任意集合A都有都有A P(A)等势结果等势结果l N Z Q NNl 任何实数区间都与实数集合任何实数区间都与实数集合R等势等势30集合的优势集合的优势定义定义8.9 (1) 设设A, B是集合是集合, 如果存在从如果存在从A到到B的单射函数的单射函数, 就就称称B优势于优势于A, 记作记作A B. 如果如果B不是优势于不是优势于A, 则记作则记作A B.(2) 设设A, B是集合是集合, 若若A B 且且 A B, 则称则称 B 真优势于真优势于A, 记作记作 A B. 如果如果 B 不是真优势于不是真优势于A, 则记作则记作A B. 实例实例 N N, N R

25、, A P(A), R N N R, A P(A), 但但N N定理定理8.8 设设 A, B, C是任意的集合是任意的集合, 则则(1) A A(2) 若若A B且且B A, 则则AB(3) 若若A B且且B C, 则则A C 31集合基数的定义集合基数的定义定义定义8.10(1) 对于有穷集合对于有穷集合A, 称称A的元素个数为的元素个数为A的的基数基数, 记作记作cardA (也可以记作也可以记作|A|) cardA = n A n (2) 自然数集合自然数集合N的基数记作的基数记作0, 即即 cardN =0(3) 实数集实数集R的基数记作的基数记作, 即即 cardR =32基数的相

26、等和大小基数的相等和大小定义定义8.11 设设A, B为集合为集合, 则则(1) cardA=cardB AB(2) cardAcardB A B(3) cardAcardB cardAcardBcardAcardB根据上一节关于势的讨论不难得到:根据上一节关于势的讨论不难得到: card Z = card Q = card NN =0 card P(N) = card 2N = card a,b = card (c,d) = 0 card Acard P(A)其中其中2N = 0,1N33基数的大小基数的大小不存在最大的基数不存在最大的基数. 将已知的基数按从小到大的顺序排列就将已知的基数按

27、从小到大的顺序排列就得到:得到: 0, 1, 2, , n, , 0, , 其中:其中: 0, 1, 2, n, 是全体自然数是全体自然数, 是有穷基数是有穷基数. 0, , 是无穷基数是无穷基数, 0是最小的无穷基数是最小的无穷基数, 后面还后面还有更大的基数有更大的基数, 如如cardP(R)等等. 34可数集可数集定义定义8.12 设设A为集合为集合, 若若cardA0, 则称则称A为为可数集可数集或或可列集可列集.实例:实例:a,b,c, 5, 整数集整数集Z, 有理数集有理数集Q, NN等都是可数集等都是可数集, 实数集实数集 R不是可数集不是可数集, 与与R等势的集合也不是可数集等

28、势的集合也不是可数集. 对于任何的可数集对于任何的可数集, 它的元素都可以排列成一个有序图形它的元素都可以排列成一个有序图形. 换换句话说句话说, 都可以找到一个都可以找到一个“数遍数遍”集合中全体元素的顺序集合中全体元素的顺序. 可数集的性质:可数集的性质:l 可数集的任何子集都是可数集可数集的任何子集都是可数集.l 两个可数集的并是可数集两个可数集的并是可数集.l 两个可数集的笛卡儿积是可数集两个可数集的笛卡儿积是可数集.l 可数个可数集的笛卡儿积仍是可数集可数个可数集的笛卡儿积仍是可数集.l 无穷集无穷集A的幂集的幂集P(A)不是可数集不是可数集35实例实例解解 (1) 由由T=B, A

29、, S, E, L知知 cardT=5(2) 由由B=, 可知可知 cardB=0.(3) 由由|A|=4 可知可知 cardC=cardP(A)=|P(A)|=24=16.例例7 求下列集合的基数求下列集合的基数(1) T=x | x是单词是单词“BASEBALL”中的字母中的字母(2) B=x | xRx2=92x=8(3) C=P(A), A=1, 3, 7, 1136例例8 设设A, B为集合为集合, 且且 cardA=0, cardB=n, n是自然数是自然数, n0. 求求card AB.实例实例解解 方法一方法一 构造双射函数构造双射函数由由cardA=0, cardB=n, 可

30、知可知 A, B都是可数集都是可数集. 令令 A=a0,a1,a2, B=b0,b1,b2,bn 1 对任意的对任意的, AB有有 = i=kj=l 定义函数定义函数 f :ABN f()=in+j, i=0,1, j=0,1,n 1易见易见f是是AB到到N的双射函数的双射函数, 所以所以 card AB=card N = 037方法二方法二 直接使用可数集的性质求解直接使用可数集的性质求解. 因为因为 card A=0, card B=n, 所以所以A, B都是可数集都是可数集.根据性质根据性质(3) 可知可知 AB也是可数集也是可数集, 所以所以 card AB0 显然当显然当 B时时,

31、card A card AB, 这就推出这就推出 0 card AB综合上述得到综合上述得到 card AB=0. 实例实例38第八章第八章 习题课习题课主要内容主要内容l 函数,函数,从从A到到B的函数的函数 f:AB,BA,函数的像与完全原像,函数的像与完全原像l 函数的性质:单射、满射、双射函数函数的性质:单射、满射、双射函数l 重要函数:恒等函数、常函数、单调函数、集合的特征函重要函数:恒等函数、常函数、单调函数、集合的特征函 数、自然映射数、自然映射l 集合等势的定义与性质集合等势的定义与性质l 集合优势的定义与性质集合优势的定义与性质l 重要的集合等势以及优势的结果重要的集合等势以

32、及优势的结果l 集合基数的定义集合基数的定义39基本要求基本要求l 给定给定 f, A, B, 判别判别 f 是否为从是否为从A到到B的函数的函数l 判别函数判别函数 f:AB的性质(单射、满射、双射)的性质(单射、满射、双射)l 熟练计算函数的值、像、复合以及反函数熟练计算函数的值、像、复合以及反函数l 证明函数证明函数 f:AB的性质(单射、满射、双射)的性质(单射、满射、双射)l 给定集合给定集合A, B,构造双射函数,构造双射函数 f:AB l 能够证明两个集合等势能够证明两个集合等势l 能够证明一个集合优势于另一个集合能够证明一个集合优势于另一个集合l 知道什么是可数集与不可数集知道

33、什么是可数集与不可数集l 会求一个简单集合的基数会求一个简单集合的基数40练习练习11给定给定A, B 和和 f, 判断是否构成函数判断是否构成函数 f:AB. 如果是如果是, 说明该说明该 函数是否为单射、满射、双射的函数是否为单射、满射、双射的. 并根据要求进行计算并根据要求进行计算.(1) A=1,2,3,4,5, B=6,7,8,9,10, f=,.(2) A,B同同(1), f=,.(3) A,B同同(1), f=,.(4) A=B=R, f(x)=x3(5) A=B=R+, f(x)=x/(x2+1).(6) A=B=RR, f()=, 令令 L=|x,yRy=x+1, 计算计算

34、f(L).(7) A=NN, B=N, f()=|x2 y2|. 计算计算f(N0), f 1(0)41解解答解答(1) 能构成能构成 f:AB, f:AB既不是单射也不是满射既不是单射也不是满射, 因为因为 f(3)=f(5)=9, 且且7 ranf.(2) 不构成不构成 f:AB, 因为因为 f 不是函数不是函数. f 且且f, 与函与函 数定义矛盾数定义矛盾(3) 不构成不构成 f:AB, 因为因为dom f = 1,2,3,4 A(4) 能构成能构成 f:AB, 且且 f:AB是双射的是双射的(5) 能构成能构成 f:AB, f:AB既不是单射的也不是满射的既不是单射的也不是满射的.

35、因为该因为该 函数在函数在 x=1取极大值取极大值 f(1)=1/2. 函数不是单调的函数不是单调的,且且ranfR+.(6) 能构成能构成 f:AB, 且且 f:AB是双射的是双射的. f(L) = |xR=R 1(7) 能构成能构成 f:AB, f:AB既不是单射的也不是满射的既不是单射的也不是满射的. 因为因为 f()=f()=0, 2 ranf. f(N0) = n2 02|nN = n2|nN f 1(0) = |nN421)(, 1, 1)(,)(,0, 10, 1)(4321 xfZxZxxfxxfxxxf练习练习22. 设设 f1, f2, f3, f4 RR,且,且令令Ei

36、是由是由 fi 导出的等价关系,导出的等价关系,i=1,2,3,4,即,即 xEiy fi(x)=fi(y) (1) 画出偏序集画出偏序集的哈斯图,其中的哈斯图,其中T 是加细关系:是加细关系: T x(x R/Eiy(y R/Ej x y) (2) gi:RR/Ei 是自然映射,求是自然映射,求gi(0), i=1,2,3,4.(3) 对每个对每个i, 说明说明 gi 的性质(单射、满射、双射)的性质(单射、满射、双射).43(1) 哈斯图如下哈斯图如下(2) g1(0) = x | x R x 0, g2(0)=0, g3(0)=Z, g4(0)=R(3) g1, g3, g4是满射的;是

37、满射的;g2是双射的是双射的. 解图1解答解答44练习练习33对于以下集合对于以下集合A和和B,构造从,构造从A到到B的双射函数的双射函数 f:AB(1) A=1,2,3,B=a, b, c(2) A=(0,1),B=(0,2)(3) A=x| x Zx0,B=N (4) A=R,B=R+ 解解 (1) f=, , (2) f:AB, f(x)=2x(3) f:AB, f(x)= x 1(4) f:AB, f(x)=ex 454.4.设设 证明证明 f 既是满射的,也是单射的既是满射的,也是单射的. yxyxyxff,),(,RRRR: 2,2vuvu vuvuvuf,)2,2( vuyxvy

38、uxvuyxvuyxvuvuyxyxvufyxf,),(),(证证 任取任取 R R,存在,存在使得使得 练习练习4因此因此 f 是满射的是满射的对于任意的对于任意的 , R R, 有有因此因此 f 是单射的是单射的.46证明方法证明方法1. 证明证明 f:AB是满射的方法是满射的方法: 任取任取 y B, 找到找到 x (即给出即给出x的的表示表示)或者证明存在或者证明存在x A,使得,使得f(x)=y. 2. 证明证明 f:AB是单射的方法是单射的方法 方法一方法一 x1,x2 A, f(x1)=f(x2) x1=x2 推理前提推理前提 推理过程推理过程 推理结论推理结论 方法二方法二 x1,x2 A, x1 x2 f(x1) f(x2) 推理前提推理前提 推理过程推理过程 推理结论推理结论 3. 证明证明 f:AB不是满射的方法:不是满射的方法: 找到找到 y B, y ranf 4. 证明证明 f:AB不是单射的方法:找到不是单射的方法:找到 x1,x2 A, x1 x2, 且且 f(x1)=f(x2)475. 设设A, B为二集合为二集合, 证明:如果证明:如果AB, 则则P(A)P(B)练习练习5证

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论