陶哲轩实分析 5.1 节习题试解
这一节只有一道习题。证明有理数 Cauchy 序列是有界的。
证明:
设
(an)∞n=0
是个 Cauchy 序列。
那么根据 Cauchy 序列的定义,对于
ε=1
, 存在一个自然数
N≥0
,当
i,j≥N
时,满足
|ai−aj|≤ε
,取
j=N
,有
|ai−aN|≤1
。
所以,当
i≥N
时,有
|ai|≤|aN|+1
另外,当
i<N
时,
ai
是有限序列,必然是有界的。
也就是说,存在一个
M
,当
设
M′=max(M,|aN|+1)
对任意的
an
都有
|an|<M′
所以
(an)∞n=0
是有界的。