S3、实数完备性
-
柯西收敛原理:在实数系中,数列{xn}有极限存在的充分必要条件为: ∀ ϵ > 0 , ∃ N ∈ N + \forall \epsilon>0,\exist N\in N_+ ∀ϵ>0,∃N∈N+当 n > N , m > N n>N,m>N n>N,m>N时有 ∣ x n − x m ∣ < ϵ |x_n-x_m|<\epsilon ∣xn−xm∣<ϵ
证明:
- 必要性证明:即{xn}是一个收敛数列,不妨令其收敛于a
即 ∀ ϵ > 0 , ∃ N ∈ N + \forall \epsilon>0,\exist N\in N_+ ∀ϵ>0,∃N∈N+当 n > N n>N n>N时有 ∣ x n − a ∣ < ϵ 2 |x_n-a|<\frac{\epsilon}{2} ∣xn−a∣<2ϵ同理当 m > N m>N m>N有 ∣ x m − a ∣ < ϵ 2 |x_m-a|<\frac{\epsilon}{2} ∣xm−a∣<2ϵ则 ∣ x n − x m ∣ < ∣ x n − a ∣ + ∣ x m − a ∣ < ϵ |x_n-x_m|<|x_n-a|+|x_m-a|<\epsilon ∣xn−xm∣<∣xn−a∣+∣xm−a∣<ϵ必要性证毕 - 充分性证明:对于{xn}数列由其性质得
∀
ϵ
>
0
,
∃
N
∈
N
+
\forall \epsilon>0,\exist N\in N_+
∀ϵ>0,∃N∈N+当
n
>
N
n>N
n>N时由
∣
x
n
−
x
N
+
1
∣
<
ϵ
|x_n-x_{N+1}|<\epsilon
∣xn−xN+1∣<ϵ 不妨令
ϵ
=
1
\epsilon=1
ϵ=1即
∣
x
n
∣
<
∣
x
N
+
1
∣
+
1
|x_n|<|x_{N+1}|+1
∣xn∣<∣xN+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|<M
∣xn∣<M即{xn}有界则由致密性定理得其一定存在一收敛子数列
{
x
n
k
}
\{x_{n_k}\}
{xnk}不妨令其极限为a则易得
∀
ϵ
>
0
,
∃
N
1
∈
N
+
\forall \epsilon>0,\exist N_1\in N_+
∀ϵ>0,∃N1∈N+当
n
>
N
1
,
m
>
N
1
,
s
.
t
.
∣
x
n
−
x
m
∣
<
ϵ
2
n>N_1,m>N_1,s.t.|x_n-x_m|<\frac{\epsilon}{2}
n>N1,m>N1,s.t.∣xn−xm∣<2ϵ
另一方面,存在 k 0 k_0 k0,只要 n k > n k 0 n_k>n_{k_0} nk>nk0则 ∣ x n k − a ∣ < ϵ 2 |x_{n_k}-a|<\frac{\epsilon}{2} ∣xnk−a∣<2ϵ取 N = m a x { N 1 , n k 0 } N=max\{N_1,n_{k_0}\} N=max{N1,nk0}只要 n > N n>N n>N,选取 n k > N , n_k>N, nk>N,则有
∣ x n − a ∣ ≤ ∣ x n − x n k ∣ + ∣ x n k − a ∣ < ϵ |x_n-a|\le|x_n-x_{n_k}|+|x_{n_k}-a|<\epsilon ∣xn−a∣≤∣xn−xnk∣+∣xnk−a∣<ϵ充分性证明完毕⚡️
- 必要性证明:即{xn}是一个收敛数列,不妨令其收敛于a
-
基本列(柯西列):在数系S系中,如果数列{xn}满足下列性质:任给 ϵ > 0 \epsilon>0 ϵ>0存在N,使得只要n>N,m>N,有 ∣ x n − x m ∣ < ϵ |x_n-x_m|<\epsilon ∣xn−xm∣<ϵ则称{xn}为S的基本列,或称为柯西列
-
柯西收敛原理:在实数系R中,数列{xn}有极限存在的充分必要条件是{xn}为R中的基本列
-
完备性:如果数系S中的每个基本列都在S中有极限存在,则该数系S具有完备性(即具有完备性的数系即对极限运算封闭)
-
定理:实数系R是完备的(易证)
-
连续变量的柯西收敛定理:极限 lim x → a f ( x ) = b \lim\limits_{x\to a}f(x)=b x→alimf(x)=b的充要条件为 ∀ ϵ > 0 , ∃ δ > 0 , \forall \epsilon>0,\exist\delta>0, ∀ϵ>0,∃δ>0,当 ∣ x 1 − a ∣ < δ , ∣ x 2 − a ∣ < δ , |x_1-a|<\delta,|x_2-a|<\delta, ∣x1−a∣<δ,∣x2−a∣<δ,就有 ∣ f ( x 1 ) − f ( x 2 ) ∣ < ϵ |f(x_1)-f(x_2)|<\epsilon ∣f(x1)−f(x2)∣<ϵ
证明:
-
收敛数列的本质:数列中足够远的两项(n足够大的两项)距离足够小(这是柯西收敛原理所揭示的)
-
柯西收敛的等价描述: ∀ ϵ > 0 , ∃ N ∈ N + \forall \epsilon>0,\exist N\in N_+ ∀ϵ>0,∃N∈N+当 n > N n>N n>N时 ∀ \forall ∀自然数 p p p有 ∣ x n + p − x n ∣ < ϵ |x_{n+p}-x_n|<\epsilon ∣xn+p−xn∣<ϵ
-
发散的描述: ∃ ϵ > 0 , ∀ N ∃ n 0 , m 0 > N , s . t . ∣ x n 0 − x m 0 ∣ ≥ 0 \exist\epsilon>0,\forall N\exist n_0,m_0>N,s.t.|x_{n_0}-x_{m_0}|\ge0 ∃ϵ>0,∀N∃n0,m0>N,s.t.∣xn0−xm0∣≥0