北大集合论与图论10节.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* 《集合论与图论》第10讲 * ?m,n?N, m++n = (m+n)+ 证明: (数学归纳法). 对任意m?N, 令 S = { n | n?N ? m++n=(m+n)+ }. (1) 0?S: m++0=m+=(m+0)+. (2) ?n(n?S?n+?S): 设n?S,下证n+?S. m++n+ = Am+(n+) = Am+(n)+ (+与Am定义) =(m++n)+ = (m+n)++ (归纳假设) =(m+n+)+ (定理: m+n+ = (m+n)+ ) ? S = N. # * 《集合论与图论》第10讲 * 加法交换律 加法交换律: ?m,n?N, m+n=n+m. 证明: 对任意m?N, 令S={ n | n?N ? m+n=n+m }. (1) 0?S: m+0=m=0+m. (0是加法单位元) (2) ?n(n?S?n+?S): 设n?S,下证n+?S. m+n+=Am(n+)=Am(n)+=(m+n)+ =(n+m)+ (归纳假设) = n++m (性质: m++n = (m+n)+) ? S = N. # * 《集合论与图论》第10讲 * 加法性质 加法单位元0: 0+n=n+0=n 交换律: n+m = m+n 结合律: (m+n)+k = m+(n+k) * 《集合论与图论》第10讲 * 乘法 “乘m”: m固定, Mm:N?N, Mm(0) = 0, Mm(n+) = Mm(n)+m. 例: M2(3)=M2(2+)=M2(2)+2=M2(1+)+2 = M2(1)+2+2=M2(0)+2+2+2=0+2+2+2=6. 乘法: ?:N?N?N, m?n=Mm(n) 例: 3?2=M3(2)=M3(1)+3=M3(0)+3+3 =0+3+3=3+++=6. # * 《集合论与图论》第10讲 * 乘法性质 1是乘法单位元: 1?n=n?1=n 交换律: n?m = m?n 结合律: (m?n)?k = m?(n?k) 分配律: m?(n+k) = (m?n)+(m?k) * 《集合论与图论》第10讲 * 自然数的序 “属于等于”: m?n ? m?n ? m=n “小于等于”: m?n ? mn ? m=n mn ? m?n mn ? n?m m?n ? m?n m?n ? n?m * 《集合论与图论》第10讲 * 总结 1. Peano系统 2. 后继, 归纳集, 自然数, 自然数集 3. 数学归纳法原理 4. 传递集 5. 自然数的运算 6. 自然数上的序关系 * 《集合论与图论》第10讲 * 作业讲解(#1) p25, 习题一,3, 7, 10, 16 3. TF,FT,TT,FT,TFF 7. 10. TT,FT,TF 16. { {3},{4},3,4 }, ?, {?,{?}} A B C A B C A B C A B C * 《集合论与图论》第10讲 * 作业讲解(#2) p27,习题一,11,13,14,20 11. A-B=A?A?B=? 证一: 利用 A=(A-B)?(A?B), (A-B)?(A?B)=? 证二: A?~B ??x(x?A?x?B) ???x(x?A?x?B) ? A?B=? A B * 《集合论与图论》第10讲 * 作业讲解(#2) 13. (1) 证一: 直接证. 证二: 利用X?Y=Y? X?Y (2) A?C=? (利用文氏图) 14. 利用X=(X-Y)?(X?Y) 20. 类似14题. * 《集合论与图论》第10讲 * 习题讲解(#3) p80, 习题二, 6, 7,11,12 6.(1)(2) 7.(1)(2) ----------- OK * 《集合论与图论》第10讲 * 习题讲解(#3) 11.(1) R1?R2={a,b,b,d,c,c,c,d, a,c,d,b,d,d} R1?R2={b,d} R1?R2={a,b, c,c,c,d, a,c,d,b,d,d} (2) domR1={a,b,c} domR2={a,b,d} dom(R1?R2)={a,b,c,d} * 《集合论与图论》第10讲 *

文档评论(0)

精品课件 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档