[拼音]：chaoxian guinafa

[外文]：transfinite induction

又称超穷归纳法，数学中用来证明某种类型命题的重要方法，亦称超限归纳证法。设 (Χ，≤)是一个良序集，对任意α∈Χ，Χα={b∈Χ│b<α}称为在Χ中由α所确定的截段。E嶅Χ称为归纳子集，如果对于任何α∈Χ，只要截段Χα嶅E，就有α∈E。超限归纳定理断言：设E为良序集(Χ，≤)的归纳子集，则E＝Χ。因为若α为Χ的小元素，则由，可得α∈E:如果α┡为Bα={b∈Χ│b>α}的小元素，那么Χα'={x∈Χ│x<α┡}={α}嶅E，遂有α┡∈E。同理可得α″=(α┡)┡∈E等等。容易看出，Χ的良序性是定理成立的重要依据，倘若把它改为Χ是全序集，则Χ的非空子集可以没有小元素，命题就不成立了。当Χ为自然数集N时，就得到上述定理的一个常用的特殊情况，称为数学归纳法，表述为：若E嶅N，满足①0∈E；

（2）对于任何n∈N，如果由一切小于n的自然数k∈E，可以推出n∈E，则E=N。其中一切小于 n的自然数k∈E相当于Nn嶅E，而0∈E则是的结果。在引进“类”概念的前提下，超限归纳定理可以叙述为：设C是一个序数类，如果①0∈C；

（2）若α∈C，可得α┡=α+1∈C；

（3）若α为极限序数，并且对一切β<α，β∈C，就必然有α∈C，则C是所有序数的类。

严正声明：本文由历史百科网注册或游客用户星剑自行上传发布关于» 超限归纳法的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：星剑；本文链接：https://www.freedefine.cn/wenzhan/41414.html