大名鼎鼎的单调有界定理。
因为序列
(
a
n
)
∞
n
=
m
(a_n) \! {\infty \atop n=m}
(an)n=m∞是有界的,故存在上确界
a
=
sup
(
a
n
)
∞
n
=
m
a = \sup (a_n) \! {\infty \atop n=m}
a=sup(an)n=m∞;
对于任意的正实数
ε
>
0
\varepsilon > 0
ε>0,由于
a
−
ε
<
a
a-\varepsilon < a
a−ε<a,存在自然数
N
N
N使得
a
N
>
a
−
ε
a_N>a-\varepsilon
aN>a−ε;
而序列是递增的,所以对于任意的
n
>
N
n>N
n>N,都有
a
−
ε
<
a
N
<
a
n
<
a
+
ε
a-\varepsilon<a_N<a_n<a+\varepsilon
a−ε<aN<an<a+ε,
−
ε
<
a
n
−
a
<
ε
-\varepsilon<a_n-a<\varepsilon
−ε<an−a<ε,
∣
a
n
−
a
∣
<
ε
|a_n-a|<\varepsilon
∣an−a∣<ε,
这表明序列
(
a
n
)
∞
n
=
m
(a_n) \! {\infty \atop n=m}
(an)n=m∞是终极
ε
−
\varepsilon-
ε−接近于
a
a
a的,故序列
(
a
n
)
∞
n
=
m
(a_n) \! {\infty \atop n=m}
(an)n=m∞收敛到
sup
(
a
n
)
∞
n
=
m
\sup (a_n) \! {\infty \atop n=m}
sup(an)n=m∞。
陶哲轩实分析 习题6.3.3
最新推荐文章于 2022-01-27 23:12:03 发布