24小时热门版块排行榜    

查看: 2749  |  回复: 12
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

limes

新虫 (初入文坛)

[交流] 【求助】求助,《陶哲轩实分析》书中的一个公里的理解 已有10人参与

公理:设P(n)是关于自然数的一个性质,假设P(0)是真,并假设只要P(n)是真,则P(n++)也是真。那么对于每个自然数n,P(n)都是真。
以上是公里原文。
后面对该公理解释:由于P(0)是真,则P(0++)=P(1)也是真。这里是隐含了一个过渡说明:假设n=0时。
问题:实际情况是0很特殊,即使P(0)是真,也未必能当n=0时,P(0++)=P(1)也是真啊?
帮我解释解释吧,谢谢!
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

made21

银虫 (初入文坛)


小木虫(金币+0.5):给个红包,谢谢回帖交流
引用回帖:
Originally posted by limes at 2010-09-21 22:49:43:


数学归纳法“从0开始”与“从1开始”有没有本质的区别?

没有什么本质区别吧,归纳法本来就是针对无限集合命题的一种解决方法,去掉开头的有限项,如果遵循上面的法则,应该还是成立的。
个人感觉与可数集联系一下,或许没这样的疑问?
没仔细考虑,不知对不对
9楼2010-09-30 14:44:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 13 个回答

hill008

金虫 (正式写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
这不就是数学归纳法嘛?
1.经验证P(0)为真
2.证明:若P(n)为真,则P(n++)亦为真。
综上所述,P(n)对一切自然数为真。
2楼2010-09-21 12:09:42
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

limes

新虫 (初入文坛)

是归纳法,问题是:我们一般假设第一个值是1,即P(1)为真。但是这里是先假设P(0)为真,这个可行吗?
3楼2010-09-21 14:31:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

金虫 (小有名气)


小木虫(金币+0.5):给个红包,谢谢回帖交流
这是由于“自然数是否包含0”这一问题造成的。
过去认为自然数是{1,2,3......},是不包括0的。
近来大家共识,自然数集合把0包含了进来。 自然数集合从0开始。

于是数学归纳法也从0开始。

另,数学归纳法(较弱的)可以从任意一个自然数开始。
1)如果命题P对自然数N成立
2)如果从"命题P对自然数M(M>=N)成立"出发,可推出命题P对自然数M+1也成立
那么,命题P对不小于N的自然数成立。

[ Last edited by lizh714285 on 2010-9-21 at 16:51 ]
4楼2010-09-21 16:45:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 时间戳变了,能看出什么问题? +17 基诺咪客 2026-08-17 22/1100 2026-08-20 16:47 by 基诺咪客
[基金申请] 时间戳又变了 +11 wuchongjun 2026-08-20 14/700 2026-08-20 16:26 by 虫友是什么虫
[基金申请] 科研孤儿太难了 +4 我4大白菜 2026-08-20 4/200 2026-08-20 15:58 by 陈晨晨陈啊
[基金申请] 今天系统多次维护,明天很可能放榜! +9 zju2000 2026-08-16 10/500 2026-08-20 15:56 by Leogzhya
[基金申请] 放榜前的不淡定 40+3 snowwithsea 2026-08-19 12/600 2026-08-20 15:56 by lfy8008
[基金申请] 言之凿凿,明天官网会通知放榜? +14 医学老男孩 2026-08-20 16/800 2026-08-20 15:47 by LNP@mRNA
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 只有每年这种时候来逛逛小木虫 +21 yaoyewhu2008 2026-08-20 21/1050 2026-08-20 10:37 by Vivilian
[基金申请] 今天基金会出结果吗?20260819 +14 kkkl_v 2026-08-19 15/750 2026-08-20 08:21 by sunzitan
[基金申请] filecode,4个jtjc了 +11 ziyangfang 2026-08-19 13/650 2026-08-19 21:28 by aasahr
[基金申请] 今天放榜没戏了吧 +4 yuleib84 2026-08-19 5/250 2026-08-19 19:52 by hhs666
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] filecode=后面第一个是大写字母 +10 wangze12014 2026-08-14 12/600 2026-08-19 16:56 by 苦难博士
[基金申请] 快农历七夕节了,轻松一下,男人悄悄话,女施主请不要进来。 +6 Tide man 2026-08-14 7/350 2026-08-19 09:56 by ZJTJZ
[基金申请] 什么时候开奖? +6 CrisMessi 2026-08-18 6/300 2026-08-19 08:06 by Equinoxhua
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
信息提示
请填处理意见