- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
ch5-函数-2nd-hy研讨
5.4反函数 什么是反函数? 5.5特征函数 什么是特征函数? 5.6 集合的基数 有限集合的基数 集合中元素的个数 无限集合的基数应该如何定义呢? 5.6基数 首先,引入等势的概念 5.6基数 例:设集合N={0,1,2,…},N1={0,2,4,6,…} 显然有N1? N 那么能不能说N的势力大于N1呢? 构建函数f:N→N1, f(x)=2x 这是一个双射函数,于是我们有N~N1 集合的等势 集合等势的实例 例6 (1) Z~N. 实例 例7 设A为任意集合, 则P(A) ~{0,1}A. 等势的性质 定理8.6 设A, B,C是任意集合, (1) A~A (2) 若A~B,则B~A (3) 若A~B,B~C,则A~C. 有关势的重要结果 等势结果 N ~ Z ~ Q ~ N×N 任何非空实数区间都与实数集合R等势 Cantor定理的证明 证 (1) 规定[0,1]中数的表示. 对任意的x∈[0,1], 令 x = 0. x1 x2 … , 0 ≤ xi ≤ 9 规定在 x 的表示式中不允许在某位后有无数个1的情况. 设 f: N→[0,1]是任何函数,列出 f 的所有函数值: f(0) = 0.a1(1)a2(1)… f(1) = 0.a1(2)a2(2)… … f(n?1) = 0.a1(n)a2(n)… … 令 y 的表示式为0.b1b2…, 并且满足bi ≠ ai(i), i=1,2,…, 那么 y?[0,1], 且y与上面列出的任何函数值都不相等. 这就推出 y?ranf, 即 f 不是满射的. Cantor定理的证明 (2) 我们将证明任何函数 g:A→P(A)都不是满射的. 设 g:A→P(A)是从A到P(A)的函数, 如下构造集合B: B={x| x∈A∧x?g(x)} 则B∈P(A), 但对任意x∈A都有 x∈B ? x?g(x) 从而证明了对任意的 x∈A都有 B≠g(x). 即B?rang. 注意:根据Cantor定理可以知道N?P(N),N?{0,1}N. */46 基数 为了确认集合A是有穷的或可数的,可以把集合A的各元素排列起来,并令序列中的第一个元素对应1,第二个元素对应2等等,这样就能建立一个从A到 或N的双射函数关系。这种安排,目的在于计数集合A的各元素。因此,有限集合及无限可数集合都称作可计数的集合。 定义:如果集合A是有限的或无限可数的,则称A是可计数的;如果集合A是无限的且不是可数的,则称A是不可计数的。 */46 基数 结论: (1)和自然数等势的无限集的基数为 。 (2)和实数集合等势的无限集的基数为 。 (3) */46 基数 证明:只需证 即可。 定义g: 为 显然g是双射,所以 例:试证 的基数是 。 */46 作业 P110 13,14,17(2)(4),18(2)(3),21 * 说明,可以用反函数的相反次序的合成,来表达合成函数的反函数。 ΨA(x) */46 第五章 函数 */46 回顾 函数的概念与性质 函数的描述方法 关系描述:定义(文字描述) 关系图 关系矩阵 函数的合成与性质 特殊函数 满射、单射、双射 两条性质 =函数的逆 */46 5.4反函数 我们用关系的合成直接定义函数的合成。那么,能否用关系的逆关系直接定义函数的反函数呢? 例:考察函数f: Z→Z; f={i,i2|i ∈Z} 于是 f-1={i2,i|i ∈Z} 显然,f-1不是从Z到Z的函数。因此,不能直接用关系的逆关系来定义函数的反函数。 */46 反函数 定义:设f: X→Y是一个双射函数。于是f的逆关系是f的反函数(或称逆函数),并记作f-1。对于f来说,如果存在f-1,则函数f是可逆的。 注意:仅当f是双射函数时,才有对应于f的反函数 f-1。 定义:若存在函数g: Y→X,使得g?f=IX,则称g为f
文档评论(0)