S9.3再论实数系-实数完备性

S3、实数完备性

1. 柯西收敛原理：在实数系中，数列｛x_n｝有极限存在的充分必要条件为：$\forall ϵ>0,\exists N\in N_{+}$当$n>N,m>N$时有$|x_n-x_m|<ϵ$

   证明：

   • 必要性证明:即｛x_n}是一个收敛数列，不妨令其收敛于a
     即$\forall ϵ>0,\exists N\in N_{+}$当$n>N$时有$|x_n-a|<\frac{ϵ}{2}$同理当$m>N$有$|x_m-a|<\frac{ϵ}{2}$则$|x_n-x_m|<|x_n-a|+|x_m-a|<ϵ$必要性证毕
   • 充分性证明：对于｛x_n｝数列由其性质得$\forall ϵ>0,\exists N\in N_{+}$当$n>N$时由$|x_n-x_{N+1}|<ϵ$ 不妨令$ϵ=1$即$|x_n|<|x_{N+1}|+1$则取 M = m a x { ∣ x 1 ∣ , ∣ x 2 ∣ , … , ∣ x N ∣ , ∣ x N + 1 ∣ } M=max\{|x_1|,|x_2|,\dots,|x_N|,|x_{N+1}|\} M=max{∣x1​∣,∣x2​∣,…,∣xN​∣,∣xN+1​∣}则$|x_n|<M$即｛x_n｝有界则由致密性定理得其一定存在一收敛子数列 { x n k } \{x_{n_k}\} {xnk​​}不妨令其极限为a则易得$\forall ϵ>0,\exists N_1\in N_{+}$当$n>N_1,m>N_1,s.t.|x_n-x_m|<\frac{ϵ}{2}$
     另一方面,存在$k_0$,只要$n_k>n_{k_0}$则$|x_{n_k}-a|<\frac{ϵ}{2}$取 N = m a x { N 1 , n k 0 } N=max\{N_1,n_{k_0}\} N=max{N1​,nk0​​}只要$n>N$,选取$n_k>N,$则有
     $|x_n-a|\le |x_n-x_{n_k}|+|x_{n_k}-a|<ϵ$充分性证明完毕⚡️

2. 基本列（柯西列）：在数系S系中，如果数列{x_n}满足下列性质：任给$ϵ>0$存在N，使得只要n>N,m>N,有$|x_n-x_m|<ϵ$则称{x_n}为S的基本列，或称为柯西列

3. 柯西收敛原理：在实数系R中，数列｛x_n｝有极限存在的充分必要条件是｛x_n｝为R中的基本列

4. 完备性：如果数系S中的每个基本列都在S中有极限存在，则该数系S具有完备性（即具有完备性的数系即对极限运算封闭）

5. 定理：实数系R是完备的（易证）

6. 连续变量的柯西收敛定理:极限$\underset{x\to a}{\lim }f(x)=b$的充要条件为$\forall ϵ>0,\exists \delta >0,$当$|x_1-a|<\delta ,|x_2-a|<\delta ,$就有$|f(x_1)-f(x_2)|<ϵ$

   证明：

7. 收敛数列的本质：数列中足够远的两项（n足够大的两项）距离足够小（这是柯西收敛原理所揭示的）

8. 柯西收敛的等价描述：$\forall ϵ>0,\exists N\in N_{+}$当$n>N$时$\forall$自然数$p$有$|x_{n+p}-x_n|<ϵ$

9. 发散的描述：$\exists ϵ>0,\forall N\exists n_0,m_0>N,s.t.|x_{n_0}-x_{m_0}|\ge 0$