陶哲轩实分析-第12章 度量空间 4/5节

12.4 Cauchy序列及完备度量空间

习题
12.4.1-12.4.3根据提示，与提示中证明完全类似，只写了12.4.1的。
12.4.1 根据提示
对于$x^n$，对于任意$\varepsilon$，存在N，满足如果n>N，那么$d(x_n-x)\le \varepsilon$，由于$n_j$严格增，那么存在M，满足如果j > M，则$n_j>N$，这样$d(x^{(n_j)}-x)\le\varepsilon$。

12.4.2 根据提示 略
12.4.3 根据提示 略
12.4.4
对于任意$\varepsilon$，存在M，如果$m,n>M$则$|a_m-a_n|\le\varepsilon/2$，存在N，如果$m>N$则$|a^{n_j}-x_0|\le\varepsilon/2$，取$L=max(M,n_N)$，则如果$n>L$，则 |an−x0|≤|an−anj+1|+|