数学分析学习(三)

数列极限

数列极限的定义

数列极限的定义就是著名的$ϵ-N$语言。在微积分刚被发明的时候，没有对极限给过严格的定义，导致了第二次数学危机。在柯西(1789-1857)和维尔斯特拉斯(1815-1897)的努力下，才基本摆脱了这次危机。
数列极限的定义：
设$x_n$是一个数列，如果对于任意给定的$ϵ>0$，存在正整数$N\in {\mathbb{N}}^{+}$，对于任意的$n>N$，都有$|x_n-a|<ϵ$，记做$\underset{n\to \infty }{\lim }{a}_n=a$ 称$x_n$收敛于a，如果不存在极限a则称数列$x_n$发散

这个定义告诉我们这几件事。
(1).$ϵ$具备任意性
(2).$ϵ$在给定的情况下，$N$也就给定了，可以说$N$随着$ϵ$的给定而给定
(3).$|x_n-a|<ϵ\Rightarrow a-ϵ<x_n<a+ϵ$，以$ϵ$为半径的开区间$(a-ϵ,a+ϵ)$称为a的领域
(4)."充分大"等价于存在正整数N，对于任意的$n>N$，以后碰到“充分大”完全可以等价翻译出来
(5).对于数列极限而言前N项无论如何变化都不会影响数列极限最终的结果

极限的证明在数学分析中是一个相当重要的问题。证明的方式主要有三类：
1.等价代换法：
$|x_n-a|<ϵ\stackrel{解不等式}{⟶}得到n>N(ϵ)，令N=[N(ϵ)]或者N=[N(ϵ)]+1即可$
2.放大法
$|x_n-a|<ϵ，如果这个不等式不好解，可以尝试放大一下。|x_n-a|\le H(n)，解H(n)<ϵ，n>N(ϵ)。这里需要注意的是，放大后的不等式需要满足0<H(n)<ϵ。原因是ϵ是任意给定的大于0，必然有上面的不等式。$
3.分步法
如 果 ∣ x n − a ∣ < ϵ 这 个 不 等 式 不 好 解 ， 可 以 放 大 一 些 。 ∣ x n − a ∣ ≤ H ( n ) 。 但 是 ， 这 个 不 等 式 ， 只 有 n 充 分 大 的 时 候 才 成 立 ， 即 存 在 正 整 数 N 1 ， 使 得 ∣ x n − a ∣ ≤ H ( n ) 。 通 过 H ( n ) < ϵ ， 得 到 n > N ( ϵ ) ， 即 N = m a x { N ( ϵ ) , N 1 } 的 时 候 ， ∣ x n − a ∣ < ϵ 成 立 如果|x_n -a| < \epsilon这个不等式不好解，可以放大一些。|x_n -a| \le H(n)。但是，这个不等式，只有n充分大的时候才成立，即存在正整数N_1，使得|x_n -a| \le H(n)。通过H(n) < \epsilon， 得到n > N(\epsilon)，即N = max\{ N(\epsilon), N_1\}的时候，|x_n -a| < \epsilon成立 如果∣xn​−a∣<ϵ这个不等式不好解，可以放大一些。∣xn​−a∣≤H(n)。但是，这个不等式，只有n充分大的时候才成立，即存在正整数N1​，使得∣xn​−a∣≤H(n)。通过H(n)<ϵ，得到n>N(ϵ)，即N=max{N(ϵ),N1​}的时候，∣xn​−a∣<ϵ成立
补充
无穷小量：无穷小量是以0为极限的数列。
定义：对于任意给定的$ϵ>0$，存在正整数$N\in {\mathbb{N}}^{+}$，对于任意的$n>N$，都有$|x_n|<ϵ$，则称$x_n$为无穷小量。

数列极限证明举例

1.证明数列 { n n + 3 } 的 极 限 是 1 \{\frac{n}{n+3}\}的极限是1 {n+3n​}的极限是1
证明的关键在于找到$N$,首先根据$ϵ-N$语言，存在正整数$N$对于任意的$n>N$得到下面的不等式：
$$|\frac{n}{n+3}-1|<ϵ$$
解出该不等式，立刻得到$$n>\frac{3}{ϵ}-3$$为了取整数N，所以取$N=[\frac{3}{ϵ}]+1$。

讨论：这里为啥可以取$N=[\frac{3}{ϵ}]+1$？首先，由$n>\frac{3}{ϵ}-3$，知道n取比$\frac{3}{ϵ}-3$大的都可以，而$\frac{3}{ϵ}+1$肯定是大于$\frac{3}{ϵ}-3$。虽然从计算上看$\frac{3}{ϵ}-3$是要更加精确，但是找N的原则是找到即可，不需要精确。而且，这里的$\frac{3}{ϵ}-3$不能保证它是一个整数。所以N取$[\frac{3}{ϵ}]+1$可以保证定义的要求。

2.证明数列$q^n$($0<|q|<1$)是无穷小量
证明：对于任意给定的$ϵ>0$，存在正整数$N$，有这个不等式：
$$|q^n|<ϵ$$去绝对值得到$|q{|}^n<ϵ$，再两边取对数，得到
$$n\lg |q|<\lg ϵ$$
$$\Downarrow$$
$$n>\frac{\lg ϵ}{\lg |q|}$$因为$0<|q|<1$，那么$\lg |q|<0$，所以小于变成大于。那么N取什么值呢？注意