陶哲轩实分析 5.5 节习题试解
5.5.1 设
E
是
R
的一个非空子集,
E
有最小上界
M
,它是个实数,即 M=sup(E) 。令
−E
为集合:
−E={−x:x∈E}
,证明
−M=inf(−E)
先证明
−M
为下界。
反证法:
假设
−M
不是下界,也就是说存在一个
−x0∈−E
满足
−x0<−M
。
所以
x0>M,x0∈E
这与
M
是
再证明
−M
是最大下界。
反证法:
假设
−M
不是最大下界,也就是说存在
−M′
满足
−M′<−M
,并且
∀−x∈−E,−x>−M′
那么有
∀x∈E,x<M′
这与
M
是
所以
−M
是最大下界。
5.5.2 设 E 是 R 的一个非空子集, n≥1 是整数,并且 L<K 是两个整数。假设 K/n 是 E 的上界,但 L/n 不是 E 的上界。证明存在整数 m,L<m≤K 使得 m/n 是 E 的上界,但 (m−1)/n 不是 E 的上界。
反证法:
假设不存在这样的整数,也就是对于任意
L<m≤K
要么
m/n
和
(m−1)/n
同是
E
的上界,要么同不是
E
的上界。
当
用数学归纳法可以证明任意
L<m≤K
都有
m/n
不是
E
的上界。
上面已经证明了
m=L+1
时
m/n
不是
E
的上界。
假设对
m=p,L<p≤K
时,
p/n
不是
E
的上界成立。
那么对于
m=p+1
时,由于
(m−1)/n=p/n
不是
E
的上界。所以
(p+1)/n=m/n
也不是
E
的上界。
所以任意
L<m≤K
都有
m/n
不是
E
的上界。
而这与
K/n
是
E
的上界矛盾。所以一定存在这样的整数
L<m≤K
满足
m/n
是
E
的上界,但
(m−1)/n
不是
E
的上界。
5.5.3 设 E 是 R 的一个非空子集, n≥1 是整数,并设 m,m′ 是具有下述性质的整数: m/n 和 m′/n 是 E 的上界, (m−1)/n 和 (m′−1)/n 不是 E 的上界。证明 m=m′ 。
证明,根据上界的性质,有:
所以:
假设
m≠m′
那么
导致矛盾,所以 m=m′ 。
5.5.4 设 q1,q2,q3,⋯ 是比例数序列,并具有这样的性质:只要 M≥1 是整数,并且 n,n′≥M ,就有 |qn−qn′|≤1M 。证明 q1,q2,q3,⋯ 是 Cauchy 序列,进而证明:如果 S:=LIMn→∞qn ,那么对于每个 M≥1 ,都有 |qM−S|≤1/M
先证明
q1,q2,q3,⋯
是 Cauchy 序列。
对于任意的
ε>0
都存在一个自然数
N
满足:
当
n,n′>N
时,有
所以 q1,q2,q3,⋯ 是 Cauchy 序列。
证明如果
S:=LIMn→∞qn
,那么对于每个
M≥1
,都有
对任意的自然数
M
,
所以
|qM−S|
等价于 Cauchy 序列
|qM−q1|,|qM−q2|,|qM−q3|,⋯
我们知道一个 Cauchy 序列去掉前面有限项之后得到的序列是与原序列等价的。
所以
|qM−S|
等价于 Cauchy 序列
|qM−qM+1|,|qM−qM+2|,|qM−qM+3|,⋯
设
pn=|qM−qM+n|
,那么
|qM−S|=LIMn→∞pn
对任意的正整数
n
,都有