数学归纳法的原理及推广-青岛大学学报.pdf

维普资讯 学 第9卷 第 1期 山 东 纺 织 工 学 院 学 报 Vol·9No·1 1994丰 3 lI JOURNALOFSHANDONG COLLEGEOFTEXTILETECHNOLOGY Mmr·1994 数学归纳法的原理及推广 PRlNCIPLE OFM ATHEM ATlCAL INDUCTION AND ITSSPREAD H u Dazhi L iu Cuiying (山东纺织工学院) (青岛大学) (Maaaoe~ tDepaTtm~t) (口“口 4ou 嘶 ) 摘要 用集合论的观点对古典的数学归纳 Abstract From theview poitofSetTheo- 法给出严格的证明。并对数学归纳法的基本 ry，the article strictly proved the m athe— 形式加 以推广 ，从而使数学归纳法有 了理论 m atical induction and spreaded the basic f0rm s ofmathe—to apply m athem aticalin- 根据 。扩大 了其应用范 围。 ductionand elllarged its scope ofapplica- 关键词 数学归纳法 良序集 tion． 中囝法分类号 01．1d3 K eyW ords SetTheory M athematical Induction． 1 引言 通常。用数学归纳法证明某命题对任意 自然数均成立 ，只须证明如下两点 1)证明命题 P(11)．当 I1=1时成立 l 2)假设命题 P(n)，当n K—l时成立．由此推出命题 P(n)，当n=K时亦成立 。 以往应用数学归纳法时 ，只能将其原理说明如下 ：即由(1)得命题P(1)成立．在 2)中令 K=1，即由P(1)成立推 P(2)成立 ，再在 2)中令 K=2，即由P(2)成立推出 P(3)成立 。如 此继续下去，即P(1) P(2) P(3) …… 我们知道 ，这种推理方法用于有限次是正确的 。 用于无 限次就不适合 了。本文用集合论的观点给 出数学归纳法 的严格证明。并将其结果给以 推广。设满足命题 P(n)的整数集为M 。 2 定义 有序集定义：集台M 中的无素之间有如下顺序关系； 1)任意二元索a，b∈M ．必有 ab或a=b或ab之一成立 。 2)对任意元素 a．b，c∈M ，如果 ab．bc，则必有ac。 称具有 以上两种关系的集合M 为有序集 良序集定义：如果有序集 M 的任何非空子集 M 都有最小元 。即存在 eEM ．使对任意 a∈M 且 e≠a，有 ea成立 则称 M 为 良序集 。 本文收到 日期 。J992—12—01 — 75 维普资讯 显然，自然数集是有序集 ，同时，自然数也是 良序集 。事实上，设 自然数集M 的非空子集 为 M ，M M。任取 m∈M．，比111小 的 自然数有 1，2，3，……，in一 1，因此 M 中比 in小的 数 只有有限个，这有限个数中经过有限次比较必