漫步数学分析番外二(下)

$\textbf{定理11}$ $R^n$中的序列$\Sigma x_k$收敛，当且仅当对每个$\varepsilon>0$，存在一个数$N$，使得$k\geq N$时，不等式$\Vert x_k+x_{k+1}+\cdots+x_{k+p}\Vert<\varepsilon$对所有整数$p=0,1,2,\ldots$ 成立。

$\textbf{证明：}$令$s_k=\Sigma_{l=1}^k x_l$，那么有定力10可知，$\Sigma x_l$收敛当且仅当$s_k$是柯西序列。要想这个结论成立当且仅当对每个$\varepsilon>0$，存在一个$N$使得$l\geq N$时不等式$\Vert s_l-s_{l+p}\Vert\varepsilon$ 对所有$q=1,2,\ldots$成立。但是，$\Vert s_{l+q}-s_l\Vert=\Vert x_{l+1}+\cdots+x_{l+q}\Vert$，所以令$k=l+1,p=q-1$可得出结论。$||$

$\textbf{定理12}$ 如果$\Sigma x_k$绝对收敛，那么$\Sigma x_k$收敛。

$\textbf{证明：}$对定理11使用三角不等式得$\Vert x_k+\cdots+x_{k+p}\Vert\leq\Vert x_k\Vert+\cdots+\Vert x_{k+p}\Vert$。$||$

$\textbf{定理13}$

1. 如果$|r|<1$，那么级数$\Sigma_{n=0}^\infty r^n$ 收敛到$1/(1-r)$；如果$|r|\geq1$，那么该级数发散(不收敛)。
2. 比较测试(comparison test)：如果$\Sigma_{k=1}^\infty a_k$收敛，$a_k\geq0$并且$0\leq b_k\leq a_k$，那么$\Sigma_{k=1}^\infty b_k$ 收敛；如果$\Sigma_{k=1}^\infty c_k$发散，$c_k\geq 0$，并且$0\leq c_k\leq d_k$，那么$\Sigma_{k=1}^\infty d_k$发散。
3. p级数测试：如果$p>1$，那么级数$\Sigma_{n=1}^\infty n^{-p}$收敛；如果$p\leq 1$，那么该级数发散到$\infty$(也就是说，部分和递增且没有边界)。
4. 比率测试(ratio test)：假设极限$\lim_{n\to infty}|(a_{n+1}/a_n)|$存在并且小于1，那么级数$\Sigma_{n=1}^\infty a_n$绝对收敛；如果极限大于1，那么级数发散；如果极限等于1，那么该测试失效。
5. 根号测试(root test)：假设极限$\lim_{n\to\infty}(|a_n|)^{1/n}$ 存在且小于1，那么$\Sigma_{n=1}^\infty a_n$绝对收敛；如果极限大于1，级数发散；如果级数等于1，该测试失效。
6. 积分测试(integral test)：如果$f$是$[1,+\infty)$上的连续，非负，单调递减函数，那么$\Sigma_{n=1}^\infty f(n)$与$\int_1^\infty f(x)dx$要么都收敛，要么都发散。

$\textbf{证明：}$$\textrm{(i)}$利用基本的代数运算，如果$r\neq1$，那么

$$1+r+r^2+\cdots+r^n=\frac{1-r^{n+1}}{1-r}$$
很明显，如果 $|r|<1$，那么当 $n\to\infty$时， $r^{n+1}\to 0$，如果 $|r|>1$，那么 $|r|^{n+1}\to\infty$，所以如果 $|r|<1$可知级数收敛而 $|r|>1$时级数发散。显然，如果 $|r|=1$，因为 $r^n$不会趋向于0，所以级数 $\Sigma_{n=1}^\infty r^n$发散。

$\textrm{(ii)}$级数$\Sigma_{k=1}^\infty a_k$的部分和形成一个柯西序列，那么级数$\Sigma_{k=1}^\infty b_k$的部分和也形成一个柯西序列，因为对于任意的$k,p$，我们有$b_k+b_{k+1}+\cdots+b_{k+p}\leq a_k+a_{k+1}+\cdots+a_{k+p}$。因此$\Sigma_{k=1}^\infty b_k$收敛。一个正级数只可能发散到$+\infty$，所以给定$M>0$，我们可以找出$k_0$，使得$k\geq k_0$时$c_1+c_2+\cdots+c_k\geq M$，因此，对于$k\geq k_0$，$d_1+d_2+\cdots+d_k\geq M$，所以$\Sigma_{k=1}^\infty d_k$也发散到$\infty$。$||$

$\textrm{(iii)}$首先假设$p\leq1$；在这种情况下对于所有的$n=1,2,\ldots$ 不等式$1/n^p\geq1/n$都成立，因此由$\textrm{(ii)}$可知如果级数$\Sigma_{n=1}^\infty 1/n$ 发散的话，级数$\Sigma_{n=1}^\infty 1/n^p$也是发散的，如果$s_k=1/1+1/2+\cdots+1/k$，那么$s_k$是严格递增的正实数序列，我们将$s_{2^k}$写成如下形式：

$$\begin{align*} s_{2^k} & =1+\frac{1}{2}+\left(\frac{1}{3}+\frac{1}{4}\right)+\left(\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}\right)+\cdots\\ &+\left(\frac{1}{2^{k-1}+1}+\cdots+\frac{1}{2^k}\right)\geq 1+\frac{1}{2}+\left(\frac{1}{4}+\frac{1}{4}\right)+\left(\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}\right)+\cdots\\ & =1+\frac{1}{2}+\left(\frac{1}{2}\right)+\left(\frac{1}{2}\right)+\cdots+\left(\frac{1}{2}\right)=1+\frac{k}{2} \end{align*}$$
由此可得如果 $k$充分大，$s_k$就能充分大；所以 $\Sigma_{n=1}^\infty 1/n$ 收敛。

假设$p>1$，如果我们令

$$s_k=\frac{1}{1^p}+\frac{1}{2^p}+\frac{1}{3^p}+\cdots+\frac{1}{k^p}$$
那么 $s_k$是正实数的递增序列，另一方面
$$\begin{align*} s_{2^{k-1}} &=\frac{1}{1^p}+\left(\frac{1}{2^p}+\frac{1}{3^p}\right)+\left(\frac{1}{4^p}+\frac{1}{5^p}+\frac{1}{6^p}+\frac{1}{7^p}\right)\cdots\\ &+\left(\frac{1}{(2^{k-1})^p}+\cdots+\frac{1}{(2^{k}-1)^p}\right)\leq\frac{1}{1^p}+\frac{2}{2^p}+\frac{4}{4^p}+\frac{2^{k-1}}{(2^{k-1})^p}\\ &=\frac{1}{1^{p-1}}+\frac{1}{2^{p-1}}+\frac{1}{4^{p-1}}+\cdots+\frac{1}{(2^{k-1})^{p-1}}<\frac{1}{1-\frac{1}{2^{p-1}}} \end{align*}$$
因此由上面的值 $1/(1-1/2^{p-1})$可知序列 ${s_k}$是有界的；所以级数 $\Sigma_{n=1}^\infty 1/n^p$收敛。

$\textrm{(iv)}$假设极限$\lim_{n\to\infty}|a_{n+1}/a_n|=r<1$，选择$r^{'}$使得$r<r^{'}<1$并且令$N$满足当$n\geq N$时

$$|\frac{a_{n+1}}{a_n}|<r^{'}$$
那么 $|a_{N+p}|<|a_N|(r^{'})^p$，考虑级数 $|a_1|+\cdots+|a_N|+|a_N|r^{'}+|a_N|(r^{'})^2+|a_N|(r^{'})^3+cdots$，该级数收敛到
$$|a_1|+\cdots+|a_{N-1}|+\frac{|a_N|}{1-r^{'}}$$
由 $\textrm{(ii)}$可知 $\Sigma_{k=1}^\infty|a_k|$收敛。如果极限 $\lim_{n\to\infty}|a_{n+1}/a_n|=r>1$，选择 $r^{'}$使得 $1<r^{'}<r$且令 $N$满足$n\geq N$时 $|a_{n+1}/a_n|>r^{'}$，因此 $|a_{N+p}|>(r^{'})^p|a_N|$，所以极限 $\lim_{n\to\infty}|a_N|=\infty$，如果和收敛的话极限必须为零。因此 $\Sigma_{k=1}^\infty a_k$发散。为了明白 $\lim_{n\to\infty}|a_{n+1}/a_n|=1$时该测试方法失效，我们考虑级数 $1+1+1+\cdots$以及 $p>1$时的 $\Sigma_{n=1}^\infty 1/n^p$，这两种情况下 $\lim_{n\to\infty}|a_{n+1}/a_n|=1$，但是第一个级数发散而第二个收敛。

$\textrm{(v)}$假设$\lim_{n\to\infty}(|a_n|)^{1/n}=r<1$，选择$r^{'}$使得$r<r^{'}<1$，还有$N$使得$n\geq N$时$|a_n|^{1/n}<r^{'}$；换句话说，$|a_n|<(r^{'})^n$，级数$|a_1|+|a_2|+\cdots+|a_{N-1}|+(r^{'})^N+(r^{'})^{N+1}+\cdots$ 收敛到$|a_1|+|a_2|+\cdots+|a_{N-1}|+(r^{'})/(1-r^{'})$，所以由$\textrm{(ii)}$可知，$\Sigma_{k=1}^\infty a_k$收敛。如果$\lim_{n\to\infty}(|a_n|)^{1/n}=r>1$，选择$1<r^{'}<r$，还有$N$使得$n\geq N$时$|a_n|^{1/n}>r^{'}$；换句话说，$|a_n|>(r^{'})^n$，因此$\lim_{n\to\infty}|a_n|=\infty$，所以级数$\Sigma_{k=1}^\infty a_k$发散。

为了展示$\lim_{n\to\infty}(|a_n|)^{1/n}=1$时该测试失效，考虑极限

$$\lim_{n\to\infty}\left(\frac{1}{n}\right)^{1/n}=1\quad\lim_{n\to\infty}\left(\frac{1}{n^2}\right)^{1/n}=1$$
(取对数，然后利用事实：当 $x\to\infty$时 $(\log x)/x\to 0$)，但是 $\Sigma_{n=1}^\infty 1/n$发散而 $\Sigma_{n=1}^\infty 1/n^2$收敛。

图1

$\textrm{(vi)}$对于该部分证明，我们利用一些积分的基本性质。图$\ref{fig:2-16}$中从$x=1$到$x=n+1$的矩形面积$a_1,a_2,\ldots,a_n$比曲线下面的面积要大，因此，我们有

$$a_1+a_2+\cdots+a_n\geq\int_1^{n+1}f(x)dx$$
如果我们考虑图 $\ref{fig:2-16}$，我们有
$$a_2+a_3+\cdots+a_n\leq\int_1^{n}f(x)dx$$
两边都加 $a_1$可得
$$a_1+a_2+\cdots+a_n\leq a_1+\int_1^{n}f(x)dx$$
结合这两个结果可得
$$\int_{1}^{n+1}f(x)dx\leq a_1+a_2+\cdots+a_n\leq a_1+\int_1^{n}f(x)dx$$
如果积分 $\int_1^{\infty}f(x)dx$是有限的，那么右边的不等式表明级数 $\Sigma_{n=1}^\infty a_n$也是有限的；但是如果 $\int_{1}^{\infty}f(x)dx$是无限的，左边不等式表明级数也是无限的，因此，级数与积分要么一起收敛要么一起发散。 $||$

$\textbf{例1：}$令$S={(x_1,x_2)\in R^2||x_1|\leq 1,|x_2|<1}$，$S$是开集或是闭集或都不是？$S$的内部是什么？

$\textbf{解：}$$S$不是开集，因为满足$x_1=1$的$S$中任何点都没有包含$S$的邻域，如图2-5所示。另一方面，$S$也不是闭集，因为

$$R^2\S={(x_1,x_2)\in R^2||x_1|>1,|x_2|\geq 1}$$
满足$x_2=1$的$R^2\S$中任何点都不含于$R^2\S$。

或者，我们注意到序列$(0,1-1/n)$收敛，但是极限点$(0,1)$不在$S$中，所以$S$不是闭的。

$\text{int}(S)={(x_1,x_2)\in R^2||x_1|<1,|x_2|<1}$，我们通过说明这个集合的元素都是$S$的内点来验证这个结论。如果$|x_1|<1,|x_2|<2$，那么圆心为$(x_1,x_2)$半径为$r=\min{1-|x_1|,1-|x_2|}$的圆位于$S$中，$S$中的其余点都不是内点。

当对这种类型的判断熟悉后，一些细节就可以忽略了。

$\textbf{例2：}$说明如果$x$是集合$S\subset R^n$的聚点，那么包含$x$的每个开集包含$S$中无穷多个点。

$\textbf{解：}$我们使用反正法。假设存在一个包含$x$的开集$U$，它只包含有限多个$S$的点，令$x_1,x_2,\ldots,x_m$ 是除$x$外$U$中属于$S$的点，令$\varepsilon$是$d(x,x_1)$，$d(x,x_2)$，$\ldots$，$d(x,x_m)$中最小的值，很明显$\varepsilon>0$，那么$D(x,\varepsilon)$除了$x$外没有任何点了，这与$x$是$S$的聚点相矛盾。

$\textbf{例3：}$如果对于$S\subset R,x=\sup(S)$，那么$x\in\text{cl}(S)$。

$\textbf{解：}$根据定理5，要么$x\in S$，要么$x$是$S$的聚点。根据定理2，对于任意$\varepsilon>0$，存在$y$满足$d(x,y)<\varepsilon$，这意味着如果$x\in S$，那么$x$就是$S$的聚点。

$\textbf{例4：}$序列最多收敛到一个点(极限是唯一的)。

$\textbf{解：}$令$x_k\to x,x_k\to y$。给定$\varepsilon>0$，选择$N$使得$k\geq N$时$\Vert x_k-x\Vert<\varepsilon/2$，选择$M$使得$k\geq M$时$\Vert x_k-y\Vert<\varepsilon/2$。那么，如果$k\geq N,k\geq M$，我们有$\Vert x-y\Vert\leq\Vert x-x_k\Vert+\Vert x_k-y\Vert<\varepsilon$(利用三角不等式)。因为对于每个$\varepsilon>0$，不等式$0\leq\Vert x-y\Vert<\varepsilon$成立，所以$\Vert x-y\Vert=0$，即$x=y$。

$\textbf{例5：}$如果$x$充分大时$g(x)>0$并且$f(x)/g(x)$ 是有界的，那么我们写作$f=O(g)$；如果$x$趋向$+\infty$时$f/g$趋向零，那么我们写作$f=o(g)$。如果$x\to\infty$时$f/g\to1$，那么我们写作$f\sim g$(读作$f$渐近$g$)。证明下面命题：

(a)$x^2+x=O(x^2)$
(b)$x^2+x\sim x^2$
(c)$e^{\sqrt{\log x}}=o(x)$

$\textbf{解：}$我们注意到如果$f$渐近$g$，那么自然$f=O(g)$，因此(a)可由(b)导出，但是(b)很容易证明，因为当$x$趋近无穷大时，$(x^2+x)/x^2=1+1/x$趋近于1。为了证明(c)，注意到$e^{\log x}=x$，所以$e^{\sqrt{\log x}}/x=e^{\sqrt{\log x}-\log x}$，但是因为$x\to\infty$ 时$\log x\to\infty$，所以对于充分大的$x$，$\sqrt{\log x}\leq(\log x)/2$因此对于充分大的$x$，当$x\to\infty$时$e^{\sqrt{\log x}}/x\leq e^{-(\log x)/2}$趋近于零。