陶哲轩实分析 5.4 节习题试解
5.4.5 给定任意两个实数
x<y
,可以找到一个比例数
q
,使得 x<q<y
反证法:假设不存在比例数
q
满足
那么对任意的比例数
q
都有
另外,由于 x<y ,所以存在比例数 ε>0 满足 ε<y−x
分
q
情况讨论:
当
是一个正的实数。所以存在一个整数 N 满足:
因此:
设
q′=q+(N+1)ε/3
那么
q′
是比例数。
所以 x<q′<y 与 q>y 或 q<x 矛盾。
当
q≥y
时。
是一个正的实数。所以存在一个整数 N 满足:
因此:
设
q′=q−(N+1)ε/3
那么
q′
是比例数。
所以 x<q′<y 与 q>y 或 q<x 矛盾。
所以给定任意两个实数 x<y ,可以找到一个比例数 q ,使得
5.4.6 设 x,y 是实数, ε>0 是正实数,证明:
并且:
(1)先证明 |x−y|<ε 当且仅当 y−ε<x<y+ε
分情况讨论:
当
x≥y
时,
|x−y|=x−y
当 x<y 时, |x−y|=y−x
综合上面两种情况,都有 |x−y|<ε 当且仅当 y−ε<x<y+ε
(2)证明 |x−y|≤ε 当且仅当 y−ε≤x≤y+ε
分情况讨论:
当
x≥y
时,
|x−y|=x−y
当 x<y 时, |x−y|=y−x
综合上面两种情况,都有 |x−y|<ε 当且仅当 y−ε≤x≤y+ε
5.4.7 设 x,y 是实数。证明 x≤y+ε 对于一切实数 ε>0 成立,当且仅当 x≤y 。证明 |x−y|≤ε 对于一切实数 ε>0 成立,当且仅当 x=y 。
(1)证明
x≤y+ε
对于一切实数
ε>0
成立,当且仅当
x≤y
。
先证明
x≤y⇒x≤y+ε
如果
x≤y
那么
y−x≥0
那么
y+ε−x≥0
那么
x≤y+ε
再证明
x≤y+ε⇒x≤y
反证法:假设有实数
x>y
满足
x≤y+ε
设
q=x−y>0
那么
x=y+q
那么对于
ε=q/2>0
有
x−(y+ε)=ε>0
所以
x>y+ε
与题设矛盾。所以
x≤y+ε⇒x≤y
所以
x≤y+ε⇔x≤y
(2)证明
|x−y|≤ε
对于一切实数
ε>0
成立,当且仅当
x=y
。
先证明
x=y⇒|x−y|≤ε
因为
x=y
所以
x−y=0
所以
|x−y|=0≤ε
再证明
|x−y|≤ε⇒x=y
反证法:假设存在
x≠y
也满足
|x−y|≤ε
不妨设
x>y
,那么
q=x−y>0
取
ε=q/2>0
那么
|x−y|=x−y=2ε>ε
与
|x−y|≤ε
矛盾。
所以
|x−y|≤ε⇒x=y
综上所述:
|x−y|≤ε⇔x=y
5.4.8
证明如果对于一切的
n≥1
有
an≤x
,那么
证明如果对于一切的 n≥1 有 an≥x ,那么
(1)证明如果对于一切的
n≥1
有
an≤x
,那么
反证法:
假设有一个比例数 Cauchy 序列 LIMn→∞an 和一个实数 x 满足:
那么 LIMn→∞(an−x)>0
也就是说 {an−x} 是终极正限制离开 0 序列。
所以存在一个
这与 an≤x 矛盾。所以不存在这样的比例数 Cauchy 序列 LIMn→∞an 和实数 x 。
(2)证明如果对于一切的
反证法:
假设有一个比例数 Cauchy 序列 LIMn→∞an 和一个实数 x 满足:
那么 LIMn→∞(an−x)<0
也就是说 {an−x} 是终极负限制离开 0 序列。
所以存在一个
这与 an≥x 矛盾。所以不存在这样的比例数 Cauchy 序列 LIMn→∞an 和实数 x <script id="MathJax-Element-235" type="math/tex">x</script>。