上册 2.1 函数的连续性 第35题
📝 题目
35．叙述数列的柯西（Cauchy）收敛原理，并证明之．（北京大学 2014（用致密性定理证明），中山大学 2013，浙江大学 2003，安徽大学 2002，北京科技 2012）
💡 答案解析
解题分析：见数学分析教材．
📋 详细解题步骤
步骤 1/6
目标：叙述柯西收敛原理
数列$\{a_n\}$收敛的充要条件是：对任意$\varepsilon>0$，存在正整数$N$，使得当$m,n>N$时，有$|a_m-a_n|<\varepsilon$。
公式：|a_m - a_n| < \varepsilon
提示：注意$m,n$是任意大于$N$的正整数，不是特定的。
步骤 2/6
目标：必要性证明（收敛⇒柯西条件）
设$\lim_{n\to\infty}a_n=a$，则对任意$\varepsilon>0$，存在$N$，当$n>N$时，$|a_n-a|<\frac{\varepsilon}{2}$。于是当$m,n>N$时，$|a_m-a_n|\leq|a_m-a|+|a_n-a|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon$。
公式：|a_m - a_n| \leq |a_m - a| + |a_n - a|
提示：利用三角不等式时注意放缩。
步骤 3/6
目标：充分性证明（柯西条件⇒收敛）——准备：证明有界性
由柯西条件，取$\varepsilon=1$，存在$N_0$，当$m,n>N_0$时，$|a_m-a_n|<1$。特别地，取$n=N_0+1$，则当$m>N_0$时，$|a_m-a_{N_0+1}|<1$，故$|a_m|<|a_{N_0+1}|+1$。令$M=\max\{|a_1|,\dots,|a_{N_0}|,|a_{N_0+1}|+1\}$，则$\{a_n\}$有界。
提示：注意有界性的证明中，$N_0$是固定的，要确保所有项都被覆盖。
步骤 4/6
目标：充分性证明——应用致密性定理
由致密性定理，有界数列$\{a_n\}$必有收敛子列$\{a_{n_k}\}$，设其极限为$a$。
提示：致密性定理（Bolzano-Weierstrass定理）是实数完备性的体现。
步骤 5/6
目标：充分性证明——证明原数列收敛于a
对任意$\varepsilon>0$，由柯西条件，存在$N_1$，当$m,n>N_1$时，$|a_m-a_n|<\frac{\varepsilon}{2}$。又因为$\lim_{k\to\infty}a_{n_k}=a$，存在$K$，当$k>K$时，$|a_{n_k}-a|<\frac{\varepsilon}{2}$。取$N=\max\{N_1, n_K\}$，则当$n>N$时，取$k$充分大使得$n_k>N$，有$|a_n-a|\leq|a_n-a_{n_k}|+|a_{n_k}-a|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon$。
公式：|a_n - a| \leq |a_n - a_{n_k}| + |a_{n_k} - a|
提示：注意$n_k$的选取要同时满足$n_k>N_1$和$n_k>N$。
步骤 6/6
目标：总结
综上，数列$\{a_n\}$收敛当且仅当它是柯西列。
提示：柯西收敛原理是实数完备性的等价表述之一。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。