陶哲轩实分析 5.4 节习题试解(5.4.1—5.4.4)
5.4.1 证明命题 5.4.4
分两种情况讨论。
(1)
x=0
(2)
x≠0
第一种情况下。 (a) 命题显然成立。只需(b) 和 (c) 命题不成立。
x=LIMn→∞an
因为
x=0
所以
∀ε>0
存在一个
N
,当
所以不存在任何的
c>0
满足对一切的
n
都有
所以 (b)(c) 命题不成立。
第二种情况下。
x=LIMn→∞an
,
x≠0
所以
(an)∞n=0
不与
(0)∞n=0
等价。
所以至少存在一个
ε>0
,对任意的
N≥0
都能找到一个
m>N
满足
|am|>ε
。 这表明
am>ε
或
am<−ε
。
又因为
(an)∞n=0
是 Cauchy 序列。
∀ε>0
都能找到一个
M≥0
使得任意
i,j>M
都有
|ai−aj|<ε/2
所以
|ai−am|<ε/2
如果
am>ε
,那么
ε2<ai<3ε2
, (b) 成立
如果
am<−ε
,那么
−3ε2<ai<−ε2
,(c) 成立
所以 (a)(b)(c) 有且只有一个成立。
5.4.2 设 x,y,z 是实数,那么下面的性质成立:
(a)
x=y,x<y,x>y
中恰有一个成立。
(b)
x<y
等价于
y<x
(c)如果
x<y,y<z
那么
x<z
(d)如果
x<y
那么
x+z<y+z
(e)如果
x<y,z>0
那么
xz<yz
证明 (a):
设
z=x−y
。那么三个命题
z=0,z<0,z>0
恰有一个成立。
z=0
时,对应
x=y
z<0
时,对应
x<y
z>0
时,对应
x>y
证明(b):
因为
x<y
所以
x−y<0
所以
y−x>0
所以
y>x
证明(c):
因为
z−x=z−y+y−x>0
所以
x<z
证明(d):
因为
y+z−(x+z)=y−x>0
所以
x+z<y+z
证明(e):
因为
yz−xz=(y−x)z>0
所以
xz<yz
5.4.3 设
x
是实数,证明存在唯一的整数 n 满足
n≤x<n+1
设
x=(x1,x2,…,xn,…)
是一个比例数的 Cauchy 序列,并且设
ε=12
。
那么,存在一个
M
,当
所以
x∈[xM−12,xM+12]
。
因为
xM−12
是比例数,所以存在一个
N0
满足:
所以:
分情况讨论:
(1)
x<N0+1
此时设
n=N0
,那么有
n≤x<n+1
(2)
x≥N0+1
此时设
n=N0+1
,那么有
n≤x<n+1
因此就证明了存在一个整数
n
满足
下面再证明这个整数
n
是唯一的。
反证法:
假设有两个不相同的整数
那么有
n1<n2+1
同时
n1≠n2
, 表明:
n1<n2
另一方面:
n2<n1+1
同时
n1≠n2
, 表明:
n2<n1
这两个条件矛盾。所以 n 是唯一的。
5.4.4 证明对于任何正实数 x>0 都存在正整数
N
,满足 x>1/N>0
因为
x>0
,所以
1/x>0
所以存在正整数
N
满足
所以