这几天的数学分析学习，开始从“实数为什么没有空隙”走向“怎样严格描述无限接近”。上一篇整理停在有理数稠密性、上下界和上确界；随后课堂进入数列极限，我第一次需要反复使用 ε-N 定义，把“越来越接近”改写成一段量词完整的证明。
最近的学习主线
这一阶段接触的内容看起来分散，其实可以连成一条线：有理数与无理数的稠密性说明任意区间里都还能找到数；确界原理刻画实数的完备性；数列极限则进一步追问，一个数列的尾部能否落进任意窄的误差范围。
我还练习了几个较小的证明：用反证法判断有理数与无理数做加减乘除后的类型；用函数值域的上确界与下确界控制 |f(x)-f(y)|；把“收敛”与“不收敛”的量词顺序分别写清楚。这些题的计算并不复杂，真正容易漏掉的是条件、集合记号和中间的不等式。
从 ε-N 定义开始
数列 aₙ 收敛到 a 的定义是：对任意 ε>0，都存在正整数 N，使所有 n>N 都满足 |aₙ-a|<ε。
我目前的理解是：ε 由别人任意指定，表示要求多精确；N 由证明者寻找，表示从哪里开始，数列后面的每一项都不会再跑出误差带。只说“越来越接近”不够，只找出一些靠近的项也不够，最后必须根据 ε 明确选出 N 并代回验证。
伯努利不等式项目里的卡点
项目中的题目是：当 |q|<1 时，用极限定义证明 qⁿ→0。
我最先想到的是对数法。目标是让 |q|ⁿ<ε，在 0<|q|<1 时可以反解出 n>log_|q| ε，再选择一个更大的正整数 N。这个方向能做出来，但需要单独处理 q=0，还要注意底数小于 1 时不等号会反向。
接着我尝试直接对 |q|ⁿ 使用伯努利不等式，却只得到一个下界。这里暴露了我当时没有先判断证明需要什么：要证明 |q|ⁿ<ε，真正需要的是一个会趋于 0 的上界，而不是下界。
为什么要先取倒数
当 0<|q|<1 时，令
h = 1/|q| - 1 > 0，所以 1/|q| = 1+h。
这时把伯努利不等式用在倒数上：
(1/|q|)ⁿ = (1+h)ⁿ ≥ 1+nh > nh。
所有量都为正，取倒数后不等号反向，于是
|q|ⁿ ≤ 1/(1+nh) < 1/(nh)。
只要再让 1/(nh)<ε，也就是取
N = ⌊1/(hε)⌋ + 1，
那么 n≥N 时就有 |qⁿ-0|=|q|ⁿ<ε。这才完成了从“任取 ε”到“找出 N”的闭环。
其中 1/(1+nh)<1/(nh) 这一步并非必需。直接令 1/(1+nh)<ε 也能证明，只是解出的条件较繁。放缩的作用，是用一个稍大但更简单的上界代替原式：如果连这个更大的量都小于 ε，原来的 |q|ⁿ 自然也小于 ε。
这次真正留下的东西
这次项目最后形成了完整手写证明，也把“理解题目—检查对数法—尝试伯努利—发现上下界方向不对—改用倒数—解释放缩”的交互过程整理成了 PDF。比起记住结论，我更想保留的是一套检查顺序：先写目标，再判断需要上界还是下界；遇到不等式先看使用对象；选出 N 后必须代回验证。
目前我可以跟着这条路线把证明讲清楚，但还不能说已经熟练。尤其是看到 0<|q|<1 时主动想到研究倒数，以及在多个可用上界中挑一个便于选 N 的形式，仍需要靠更多题目练习。
评论
0 条