离散数学第八章-最新版.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文档。上传文档
查看更多
离散数学第八章-最新版

第八章 自然数和基数 §8.1 自然数及数学归纳法 §8.2 基数 (3)良基性:不存在一个自然数的无穷递降序列 n1, n2, n3 , … , ni , ni+1 , … 使得 ni+1∈ ni 。 由自然数的定义可知,对于每一个自然数,比它小的 自然数总是有穷个,并且 0 ∈ 1 ∈ 2 ∈ 3 ∈ …… 0 ? 1 ? 2 ? 3 ? …… 数学归纳法(第一数学归纳法): 设 P (n) 是自然数集合上的性质(或 谓词), 如果能证明 1) P(0) 是真; 2) 对任何 n∈N, P (n) ? P (n+ )。 则对所有 n∈N, P (n) 为真。 证明: 设P(n):n2n (1)对于n=0, P(0):020=1,因此P(0)为真. (2)对于任意的m∈N,假定P(m)是真,即P(m):m2m. (3)m+1 2m+1 ? 2m+ 2m = 2? 2m= 2m+1,即m+1 2m+1. 说明P(m+1)为真. 因此P(m) ?P(m+1),由数学归纳法,对于所有的n∈N, P(n)为真. 证明 :设P(n):2n<n! (1) P(4) : 244!, 24=16,4!=24. P(4)成立 . (2) 设对于任何m>4, P(m)为真,即2m<m!. (3) 2?2m<2 ?m!, 2m+1<2 ?m!<(m+1) ×m!=(m+1)!, 即2m+1<(m+1) ! 上式说明P(m+1)为真. 因此,对于所有的n∈N , n≥4 , P(n)为真. 思考题 证明以下的二重归纳原理的正确性: 设 i0 , j0?N。假定对任意自然数i ? i0 及 j ? j0皆有 一个命题 P ( i, j ) 满足: 1) P ( i0 , j0 ) 真; 2) 对任意自然数 k ? i0 及 l ? j0, 若P (k, l) 真,则P (k+1, l) 和 P (k, l+1)皆真。 则对任意自然数 i ? i0 及 j ? j0, P (i, j) 皆真。 证明:用第一归纳法 对于每个 i ? i0,用 Q(i) 表示下列命题: 对于任意j ? j0 ,P (i, j) 皆真。 下面验证:Q(i) 满足第一归纳法 i) Q( i0 )为真,为此对 j 施用第一归纳法): a) P (i0 , j0) 为真; b) 若 P(i0, j) 为真,则 P( i0 , j+1 )为真; 由归纳法可知,Q(i0)为真。 ii) 假设Q(i) 为真(i ? i0),即对于任意i ? i0,j ? j0,P (i, j)为真 则对于任意j ? j0,P( i+1, j) 为真,即 Q (i+1)为真。 由 i) 和 ii) 可知,对于任意i ? i0 ,Q (i) 皆真。 所以,对于任意i ? i0,j ? j0, P (i, j) 为真。 § 8.2 基 数 任何两个基数都可以比较大小 设 A 和 B 为任意两个集合,则 #(A) ? #(B) ,或 #(B) ? #(A) , 二者之中至少有一个成立。 (证明要用选择公理) 基数的相等关系 “ = ” 是等价关系 设 A、B 和 C为三集合,则有 1) #(A) = #(A); 2)若 #(A) = #(B),则 #(B) = #(A); 3)若 #(A) = #(B) 且 #(B) = #(C), 则 #(A) = #(C) 基数的小于等于关系“ ? ”是半序 设 A,B 和 C 为三集合,则有 1) #(A) ? #(A); 2) 若 #(A) ? #(B) 且 #(B) ? #(A),则#(A) = #(B); 3) 若 #(A) ? #(B) 且 #(B) ? #(C),则#(A) ? #(C)。 其中, 2)为著名的 Bernstein 定理。 基数的相等关系 “ = ” 是等价关系 设A、B和C为三集合,则有 1) #(A) = #(A); 2)若 #(A) = #(B),则 #(B) = #(A); 3)若 #(A) = #(B) 且 #(B) = #(C), 则 #(A) = #(C) 无穷集的等价条件 定理

文档评论(0)

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

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

版权声明书
用户编号:6203200221000001

1亿VIP精品文档

相关文档