陶哲轩实分析8.5.10 良序集上的强数学归纳法证明 试解答

实分析一书中在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}不是空集<