logo

导航菜单

柯西收敛准则

柯西收敛准则是判断数列收敛性的重要工具,它不依赖于极限的具体值,而是通过数列内部的性质来判断收敛性。

定理

数列 {xn}\{x_n\} 收敛的充要条件是:对于任意 ε>0\varepsilon > 0,存在正整数 NN,使得当 m,n>Nm, n > N 时,xmxn<ε|x_m - x_n| < \varepsilon

几何意义

柯西准则的几何意义是:如果数列收敛,那么从某一项开始,数列中任意两项的距离都可以任意小。

证明思路

必要性(收敛数列满足柯西条件)

  1. limxn=A\lim x_n = A
  2. 对于任意 ε>0\varepsilon > 0,存在 NN,使得当 n>Nn > N 时,xnA<ε2|x_n - A| < \frac{\varepsilon}{2}
  3. m,n>Nm, n > N 时,xmxnxmA+xnA<ε2+ε2=ε|x_m - x_n| \leq |x_m - A| + |x_n - A| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon

充分性(满足柯西条件的数列收敛)

  1. 首先证明满足柯西条件的数列有界
  2. 利用有界性,构造子数列
  3. 证明子数列收敛
  4. 利用柯西条件,证明原数列收敛于同一极限

应用场景

何时使用柯西准则

  • 数列的单调性不明显
  • 需要证明收敛性但无法求出极限
  • 数列有复杂的递推关系
  • 数列涉及无理数或超越数

练习题

练习 1

证明数列 xn=k=1n1k2x_n = \sum_{k=1}^{n} \frac{1}{k^2} 收敛。

参考答案

解题思路: 利用柯西准则,证明数列满足柯西条件。

详细步骤

  1. 对于任意 ε>0\varepsilon > 0,取 N=1εN = \left\lceil \frac{1}{\varepsilon} \right\rceil

  2. m>n>Nm > n > N 时: xmxn=k=n+1m1k2<k=n+1m1k(k1)=1n1m<1n<ε|x_m - x_n| = \sum_{k=n+1}^{m} \frac{1}{k^2} < \sum_{k=n+1}^{m} \frac{1}{k(k-1)} = \frac{1}{n} - \frac{1}{m} < \frac{1}{n} < \varepsilon

  3. 因此数列满足柯西条件,收敛

答案:数列收敛。

练习 2

证明数列 xn=k=1n1kx_n = \sum_{k=1}^{n} \frac{1}{k} 发散。

参考答案

解题思路: 利用柯西准则的逆否命题,证明数列不满足柯西条件。

详细步骤

  1. ε=12\varepsilon = \frac{1}{2}

  2. 对于任意 NN,取 n=Nn = Nm=2Nm = 2N

  3. xmxn=k=N+12N1kN12N=12=ε|x_m - x_n| = \sum_{k=N+1}^{2N} \frac{1}{k} \geq N \cdot \frac{1}{2N} = \frac{1}{2} = \varepsilon

  4. 因此数列不满足柯西条件,发散

答案:数列发散。

练习 3

证明数列 xn=11+122+132++1n2x_n = \frac{1}{1} + \frac{1}{2^2} + \frac{1}{3^2} + \cdots + \frac{1}{n^2} 收敛。

参考答案

解题思路: 利用柯西准则和比较判别法。

详细步骤

  1. 对于任意 ε>0\varepsilon > 0,取 N=1εN = \left\lceil \frac{1}{\varepsilon} \right\rceil

  2. m>n>Nm > n > N 时: xmxn=k=n+1m1k2<k=n+1m1k(k1)=1n1m<1n<ε|x_m - x_n| = \sum_{k=n+1}^{m} \frac{1}{k^2} < \sum_{k=n+1}^{m} \frac{1}{k(k-1)} = \frac{1}{n} - \frac{1}{m} < \frac{1}{n} < \varepsilon

  3. 因此数列满足柯西条件,收敛

答案:数列收敛。

练习 4

判断数列 xn=sinnx_n = \sin n 是否收敛。

参考答案

解题思路: 利用柯西准则的逆否命题,证明数列不满足柯西条件。

详细步骤

  1. ε=1\varepsilon = 1

  2. 对于任意 NN,可以找到 m,n>Nm, n > N,使得 sinmsinn1|\sin m - \sin n| \geq 1

  3. 这是因为 sin\sin 函数在 [0,2π][0, 2\pi] 上的值域为 [1,1][-1, 1],且可以取到任意接近的值

  4. 因此数列不满足柯西条件,发散

答案:数列发散。

搜索