陶哲轩实分析 2.2节 习题试解
近期从网上下载到了陶哲轩写的实分析，确实是本好书。只是全部的习题都没有给出答案。我试着自己做一遍习题，整理一份习题解答。
2.2.1 证明自然数加法是结合的 (a + b) + c = a + (b + c)
数学归纳法
a=0 时。
左边：
(0+b)+c=b+c
右边：
0+(b+c)=b+c
左边 = 右边
如果当 a=n 时，(n+b)+c=n+(b+c) 成立
则，当 a=n++ 时
((n++)+b)+c=((n+b)++)+c=((n+b)+c)++=(n+(b+c))++=(n++)+(b+c)
证毕
2.2.2 设 a 是一个正数，那么恰存在一个自然数 b，使得 (b++) = a
数学归纳法
a=1 时 b=0
如果 a=n 时。 (b++)=a 成立
则当 a=n++ 时。 b=n 满足 (b++)=a
证毕
2.2.3 自然数序的基本性质
(a) a≥a （序是自反的）
a+0=a
证毕
(b) a≥b 且 b≥c 则 a≥c （序是传递的）
a+m1=bb+m2=c
所以
(a+m1)+m2=ca+(m1+m2)=c
所以 a≥c
证毕
(c) 若 a≥b 且 b≥a 则 a=b （序是反对称的）
a+m1=bb+m2=aa+m1+m2=a
所以 m1+m2=0
所以 m1=0, m2=0
所以 a=b
(d) a≥b 当且仅当 a+c≥b+c （加法保序）
先证明 a≥b⟹a+c≥b+c
数学归纳法
c=0 时， a+0≥b+0 显然成立
如果 c=n 时。 a+n≥b+n 成立
当 c=n++ 时
a+(n++)+m=((a+n)++)+m=((a+n)+m)++=(b+n)++=b+n++
所以
a+(n++)≥b+(n++)
证毕
再证明 a+c≥b+c⟹a≥b
a+c+m=b+ca+m=ba>b
(e) a<b 当且仅当 a++≤b
先证明 a<b⟹a++≤b
a<b 表明 a+m=b 且 a≠b, m≠0
由于 m≠0 所以
m=(n++)a+(n++)=b(a++)+n=b
所以
a≤b
再证明 a++≤b⟹a<b
(a++)+m=ba+(m++)=b
所以
a++≤b
由于 m++≠0 所以 a≠b
(f) a < b 当且仅当对某个正数 d。b = a + d
先证明 a<b⟹b=a+d
a<b 所以
a+d=bd≠0
所以 d 是正数
b=a+d
再证明 b=a+d⟹a<b
b=a+d⟹a≤b
由于 d≠0。 所以 b≠a。 所以 a<b
证毕
2.2.4 验证命题 2.2.13 的三个子命题
(1) 证明 0≤b 对于一切 b 成立
由于：0+b=b
所以 : 0≤b
证毕
(2) 若 a>b 证明 a++>b
若 a>b。则有 a=b+m。且 m≠0
a++=(b+m)++=b+m++a++>b
证毕
(3) 若 a=b 则 a++>b
由于：a=b
所以：(a++)=(b++)=b+1
所以：a++>b
证毕
2.2.5 证明命题 2.2.14
前提：若 P(m′) 对于一切 m0≤m′<m 成立。则 P(m) 也成立。
证明：P(m) 对于一切 m0≤m 都成立。
定义一个性质 Q(n) 。当命题 P(m) 对于一切 m0≤m<n 成立时为真，否则为假。
在 P(m′) 对于一切 m0≤m′<m 成立 这个前提成立的情况下 Q(m0) 为真，P(m0) 为真。
如果当 n=n′>m0 时， Q(n′) 成立，也就是说 P(m) 对于一切 m0≤m<n′ 成立。由前提，可知 P(n′) 也成立。
所以： P(m) 对于一切 m0≤m<n′+1 成立。也就是说 Q(n′+1) 成立。
所以 Q(n) 对于一切的 n>m0 成立。
所以 P(n−1) 对于一切的 n>m0 成立。
所以P(n) 对于一切的 n>m0 成立。
证毕
2.2.6 证明向后归纳原理
条件：若 P(m++) 成立，则 P(m) 成立。
命题：若 P(n) 成立。则对于一切 m≤n，P(m) 成立。
数学归纳法：
当 n = 1 时。若 P(1) 成立，由条件可知 P(0) 成立。
所以 P(1) 成立时对一切的m≤1 有，P(m) 成立，命题是成立的。
如果当 n=n′ 时。命题成立，即 P(n′)成立可推导出对一切的 m≤n′ 都有 P(m) 成立。
那么当 n=n′+1 时。P(n′+1) 成立，由条件可得 P(n′) 成立。
由上面如果，对一切的 m≤n′ 都有 P(m)成立，再加上P(n′+1) 成立，就有对一切的 m≤n'+1 都有 P(m)成立。
所以对于一切的 n。命题都成立。