实分析一书中在8.5.10中给出了强归纳法假定,此假定的作用真的太大。因为良序集真的是无处不在,因此这个定理的可使用范围非常之广。我在做这道证明题时也遇到了很大的麻烦,想要偷懒看一看网上各路大佬的解答方法。很可惜,翻遍内网外网,却没有找到任何解答。也许这是块硬骨头,或许各位大佬觉得步骤繁琐没有上传。在此我给出一个试解:这一个解个人认为没有运用选择公理,或者无意中使用了选择公理,还请大家指出:
Y := {n ∈ X : P (m) is false for some m ∈ X with m ≤ n}
如果集合Y为空集,那么我们可以得出对于任意n隶属于集合X,p(n)都成立,也就是说强数学归纳法得以证明。
因此我们使用反证法,假设Y不是空集,寻找矛盾
如果Y不是空集
∃ n0∈X,使得P (m)为假对于某些m ∈ X with m ≤ n0
(因为强归纳的假设,如果∀m m<n0:p(m)为真→p(n0)为真)
如果p(n0)为假,那证明∃n<n0使得 p(n)为假
如果p(n0)为真,那么∃n<n0使得 p(n)为假
因此 集合S1={P (m)为假:m ∈ X with m < n0}不是空集
又因为良序集性质 ∃n1=min S1
又因为n1为假,根据同样的原理
S2={P (m)为假:m ∈ X with m < n1}不是空集<