网站大量收购独家精品文档,联系QQ:2885784924

数学归纳原理和最小数原理的等价性证明.doc

数学归纳原理和最小数原理的等价性证明.doc

  1. 1、本文档共9页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
WORD资料整理 完美格式可编辑 数学归纳原理和最小数原理的等价性证明 这两个原理都是自然数公理系统中最基本的原理,人们常常用最小数原理证明数学归纳原理。我发现用数学归纳原理也可以证最小数原理。所谓的最小数原理是指:自然数集合的任意非空子集必有最小元素。 一:用数学归纳原理证最小数原理。 当自然数的非空子集只含一个元素时,这个元素就是最小元素。设n元集有最小元素,对于n+1 元集,新加入的元素与n元集中的最小数比较,若新加入的元素不大于该最小数,则新加入的元素为最小数,否则,原来的n元集中的最小数仍是n+1元集的最小数。由数学归纳原理,含任意个自然数数目的自然数子集都有最小数。得证。 二:用最小数原理证数学归纳原理:p(o)成立,且p(n)成立可导出p(n+1)成立,则对于一切自然数n,p(n)成立。否则,若对于若干个(可能有限个,也可能无限个)自然数m1,……mi……(i≥1)使命题不成立,由最小数原理,这若干个自然数有最小数记为w,而且,w一定是正数,那么,就一定存在唯一的自然数b,b+1=w.b不属于这个使命题不成立的元素组成的集合,因为b比最小数还小。则p(b)是成立的,由规则,p(b+1)也成立即p(w)成立。矛盾。故对于一切自然数n,p(n)成立。证毕。 其实以上发现也没啥大不了的,很直观浅显。这两个原理的等价性得证后,两者中的任意一条都可以作为皮亚杰五条公理中的一条吗?不行!因为最小数原理中的小于最开始还是没有定义的!。 还有,该等价关系非我第一次发现,由于其十分简单,在我发现等价性后,我在华罗庚的《数学归纳法》最后找到了同样的结论。 归纳原理和数学归纳法 1.数学归纳法的理论依据   归纳法和演绎法都是重要的数学方法.归纳法中的完全归纳法和演绎法都是逻辑方法;不完全归纳法是非逻辑方法,只适用于数学发现思维,不适用数学严格证明.   数学归纳法既不是归纳法,也不是演绎法,是一种递归推理,其理论依据是下列佩亚诺公理Ⅰ—Ⅴ中的归纳公理:   Ⅰ.存在一个自然数0∈N;   Ⅱ.每个自然数a有一个后继元素a′,如果a′是a的后继元素,则a叫做a′的生成元素;   Ⅲ.自然数0无生成元素;   Ⅳ.如果a′=b′,则a=b;   Ⅴ.(归纳公理)自然数集N的每个子集合M,如果M含有0,并且含有M内每个元素的后继元素,则M=N   自然数就是满足上述佩亚诺公理的集合N中的元素.关于自然数的所有性质都是这些公理的直接推论.由佩亚诺公理可知,0是自然数关于“后继”的起始元素,如果记0′=1,1′=2,2′=3,…,n′=n+1,…,则 N={0,1,2,…,n,…}   由佩亚诺公理所定义的自然数与前面由集合所定义的自然数,在本质上是一致的.90年代以前的中学数学教材中,将自然数的起始元素视作1,则自然数集即为正整数集.现在已统一采取上面的记法,将0作为第一个自然数.   定理1(最小数原理)自然数集N的任一非空子集A都有最小数.   这本是自然数集N关于序关系∈(<)为良序集的定义.现在用归纳公理来证明.   证 设M是不大于A中任何数的所有自然数的集合,即     M={n|n∈N且n≤m,对任意m∈A}   由于A非空,至少有一自然数a∈A,而 a+1(>a)不在M中.所然,就有   1° 0∈M(0不大于任一自然数);   2° 若m∈M,则m+1∈M. 根据归纳公理,应有M=N.此与M≠N相矛盾.   这个自然数m0就是集合A的最小数.因为对任何a∈A,都有m0意a∈A,于是m0+1∈M,这又与m0的选取相矛盾.   反之,利用最小数原理也可以证明归纳公理.因此,最小数原理与归纳公理是等价的.   定理2(数学归纳法原理)一个与自然数相关的命题T(n),如果    1° T(n0)(n0≥0)为真;    2° 假设T(n)(n≥n0)为真,则可以推出T(n+1)也为真.    那么,对所有大于等于n0的自然数n,命题T(n)为真.    证 用反证法.若命题T(n)不是对所有自然数n为真,则 M={m|m∈N,m≥n0且T(m)不真} 非空.根据定理1,M中有最小数m0.由1°, m0>n0,从而m0-1≥n0且T(m0-1)为真.由2°,取n=m0-1即知T(m0)为真.此与T(m0)不真相矛盾.从而证明了定理2.   在具体运用数学归纳法进行数学证明时,有多种不同形式.运用定理2中两个步骤进行证明的,为Ⅰ型数学归纳法.经常使用的还有Ⅱ型数学归纳法,Ⅱ型数学归纳法是:   如果命题T(n)满足    1° 对某一

文档评论(0)

文档分享 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档