大名鼎鼎的单调有界定理。
因为序列
(
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∞。
91
02-23
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
