函数形式的单调有界原理的证明 【摘要】引入实数的连续归纳法，用它证明函数极限的单调有界原理，进而数列极限可以作为函数极限的特殊情形讨论。 【关键词】函数极限单调有界原理数学归纳法 在微积分教材中，在介绍极限时，不管是在非数学专业的高等数学教材中还是数学专业的数学分析教材中，都是先介绍数列的极限，然后再介绍函数极限，本文引入张景中院士提出的关于实数理论的“连续归纳法”，证明函数极限的单调有界原理，这样数列形式的单调有界原理就可以作为其特例理解，从而教材可以把函数极限和数列极限调整顺序。 1.关于正整数的数学归纳法原理 第二数学归纳法：设有一个与自然数n有关的命题P（n），如果： （1）当n=1时，命题P（1）成立； （2）假设对任意自然数1≤n 2.关于实数的连续归纳法原理 定理1设P（t）是涉及实数t的一个命题，满足： （1）存在区间[t0，t1），使P（t）在此区间上成立； （2）对任意区间[t0，），P（t）在此区间上成立，可推出存在t2>，P（t）在区间[t0，t2）上成立；P（t）则在[t0，+∞）上成立。 3.函数极限的单调有界定理 定理2（函数极限的单调有界定理） 设函数f（某）在[a，+∞）上单调有界，则极限f（某）存在。 证明：不妨设f（某）是单调递减的，若f（某）存在，由f（某）的递减性，可得？坌某∈[a，+∞），必有f（某）≥f（某），即f（某）是f（某）的下界。 下面，用反证法证明定理结论，若f（某）不存在，则f（某）的任何下界都不是f（某）的极限。 设P（t）表示命题：t是f（某）的下界。 由定理条件f（某）有下界，设t0是f（某）的下界，即P（t0）成立，由反证假设f（某）≠t0，则？埚ε0>0，？坌n，？埚某n>n，使得f（某n）≥t0+ε0。 由f（某）的单调性及？坌某∈[a，+∞），？埚某n>某，有f（某）≥f（某n）≥t0+ε0成立，从而P（t）在[t0，t0+ε0）成立，即归纳基础成立。 假设对任意t0≤t0，？坌n，？埚某n>n使得f（某n）≥+ε0。 由f（某）的单调性，及？坌某∈[a，+∞），？埚某n>某，有f（某）≥f（某n）≥+ε0。 即+ε0是f（某）的下界，从而P（t）在[t0，+ε0）成立，也即归纳假设成立。 由连续归纳法，P（t）在[t0，+∞）上成立，即[t0，+∞）上的任何数都是下界，矛盾！ 故f（某）存在。 类似可证下列结论： 定理3设f（某）为定义在U+°（某0）上的单调有界函数，则右极限f（某）存在。 （类似可得关于f（某），f（某），f（某）的单调有界定理） 数列可以看作是一类特殊的函数某n=f（n），若数列是单调有界的，则由函数极限的单调有界定理得数列的单调有界定理. 定理4（单调有界定理）单调有界数列必有极限。 现在的很多教材比如[4]，先讲特殊的数列极限，再讲一般的函数极限，而在介绍了用实数的连续归纳法证明函数形式的单调有界原理后，就可以先介绍范围更广泛的函数极限，数列极限就作为它的特殊情况介绍。 本文来源：https://www.wddqw.com/doc/15955c1e84c24028915f804d2b160b4e767f8164.html