1

只做部分, 且不完全做完因为我懒.

(3)

$$ \frac{n!}{n^n}<\frac{1}{n} $$ 于是显然成立.

(5)

$$ \frac{2n+3}{5n-10} = \frac{2}{5}+\frac{7}{5n-10} $$ 显然成立.

(9)

取 $N=[\tan( \frac{\pi}{2}-\epsilon)]+1$, 那么当 $n>N$ 时, $\arctan n>\frac{\pi}{2}-\epsilon$ , 等价于 $|\arctan n-\frac{\pi}{2}|<\epsilon$ , 因此成立.

2

狄利克雷函数.

3

令 $\lim_{n\to\infty}a_n=a$ , $a$ 显然是个整数, 如若不然, $|a_n-a|\geqslant \max{(a-[a], [a]+1-a)}$ , 数列不收敛. 当 $a$ 为整数时, 若从某项起数列的项都等于一个常数 $b$ , 由收敛的定义得显然数列收敛且 $\lim_{n\to\infty}a_n=a=b$ . 若不存在某项使得在这项之后的项都等于一个常数, 那么 $|a_n-a|\geqslant 1$ , 原数列显然不收敛.

4

(1)

不可以. 只需令这无限多个正数都大于 1 即可.

(2)

不可以, 书里明确说了, 考虑的是 “小的方面” .

(3)

可以, 理由同上.

(4)

可以, 只需令 $k>[\frac{1}{\epsilon}]+1$ 即可.

(5)

可以.对于任意的 $\epsilon’>0$ , 只需取 $\epsilon=\delta<\epsilon’$ , 并取 $N$ 使得这有限多项全在 $N$ 项之前即可.

5

$a$ 是一个实数, 如果存在 $\epsilon>0$ , 使得对于任取的 $N\in\mathbb{N^*}$ , 都存在 $n>N$ 使得 $$ |a_n-a|>\epsilon $$

6

对于任意的 $\epsilon>0$ , 存在 $N'$ 使得当 $n>N$ 时, $\frac{a_n}{n}<\epsilon$ , 那么只需找到 $N\geqslant N'$ 使得 $\max(a_1, a_2, \dots, a_N, a_{N+1})=a_{N+!}$ , 先假设可以找到这样的 $N$ , 那么当 $n>N$ 时, 假设 $a_k=\max(a_1, a_2, \dots,a_{n})$ 那么就有 $$ \frac{\max(a_1, a_2, \dots,a_{n})}{n}\leqslant\frac{a_k}{k}<\epsilon $$ 若无法找到这样的 $N$ , 那么说明数列在 $N$ 项之后是不单调递增的, 因此 $\max(a_1, a_2, \dots,a_{n})\leqslant\max(a_1, a_2, \dots,a_{N})=a_k, k\in\{1,2,3,\dots,N\}$ .因此只需取 $N=\left[\frac{a_k}{\epsilon}\right]+1$ 即可.

7

$$ \begin{aligned} \because a_n-b_n=\frac{b_{n-1}-a_{n-1}}{2}\\ \therefore \lim_{n\to\infty}a_n-b_n=0\\ \forall\epsilon>0, \exist N\in\mathbb{Z}^*, |a_n-b_n|<\epsilon \end{aligned} $$ 对 $a_n-c_n$ 做同样讨论, 最终得到 $$ \exist N\in\mathbb{Z}^*,a_n-\epsilon
文章作者: 云玩家
文章链接: http://example.com/math/mathematical_analysis/mathematical_analysis_practice/1/1-2/
版权声明: 本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来自 云玩家

评论