陶哲轩实分析 4.1 节习题试解
陶哲轩的书中定义整数时用的是一个比正常 “
−
” 号长的符号,但是我没有找到如何输入那个符号,只能找到个类似的符号“
这个 “
4.1.1
(1)证明整数相等是自反的。
设
a⊖b
是一个任意的整数。
因为
a+b=a+b
所以
a⊖b=a⊖b
(2)证明整数相等是对称的。
设
a⊖b
和
c⊖d
是两个任意的整数。
已知
a⊖b=c⊖d
所以
a+d=c+b
所以
c+b=a+d
所以
c⊖d=a⊖b
4.1.2
如果 a⊖b=a′⊖b′ ,证明 : −(a⊖b)=−(a′⊖b′)
因为
a⊖b=a′⊖b′
所以
a+b′=a′+b
所以
b+a′=b′+a
所以
b⊖a=b′⊖a′
所以
−(a⊖b)=−(a′⊖b′)
4.1.3
证明 (−1)×a=−a
−1=0⊖1
设
a=c⊖d
则
(−1)×a=(0⊖1)×(c⊖d)=d⊖c=−a
4.1.4
(1) 证明
x+y=y+x
设
x=a⊖b
和
y=c⊖d
是两个任意的整数。
则
(a⊖b)+(c⊖d)=(a+d)⊖(b+d)=(c⊖d)+(a⊖b)
(2)证明
(x+y)+z=x+(y+z)
设
x=a⊖b
、
y=c⊖d
、
z=e⊖f
是三个任意的整数。
(3)证明
x+0=0+x=x
设
x=a⊖b
,
0
可以表示为
(4) 证明
x+(−x)=(−x)+x=0
设
x=a⊖b
,则
−x=b⊖a
(5) 证明
xy=yx
设
x=a⊖b
,
y=c⊖d
(6)证明
(xy)z=x(yz)
设
x=a⊖b
、
y=c⊖d
、
z=e⊖f
是三个任意的整数。
所以 (xy)z=x(yz)
(7) 证明
x×1=1×x=x
由 (5) 可知
x×1=1×x
,因此只需证明
1×x=x
设
x=a⊖b
。
1
可表示为
(8)证明
x(y+z)=xy+xz
设
x=a⊖b
、
y=c⊖d
、
z=e⊖f
是三个任意的整数。
(9)证明
(y+z)x=yx+zx
4.1.5
由整数的三歧性。对
x
和
1.
x=0,y=0
2.
x=0,y>0
3.
x=0,y<0
4.
x>0,y=0
5.
x<0,y=0
无论哪种情况,都有 x=0 或 y=0 和 二者都为 0 。
4.1.6
所以 (a−b)=0 或 c=0 。而 c≠0 。所以 (a−b)=0 。
所以 a=b
4.1.7
(a)
a>b
当且仅当
a−b
是正的自然数。
a>b
表明存在一个自然数
m
,满足
所以
a−b=m
。因为
a≠b
,所以
m≠0
所以
m
是正的自然数。
(b) 如果
a>b
表明存在一个自然数
m
,满足
所以
a+c=b+c+m
,并且
m≠0
。
所以
a+c>b+c
(c)如果
a>b
,并且
c
是正的,那么
a>b
表明存在一个自然数
m
,满足
所以
ac=bc+mc
。因为
m,c
都是正的。所以
mc
也是正的。
所以
ac>bc
(d)如果
a>b
,那么
−a<−b
a>b
表明存在一个自然数
m
,满足
所以
−b=−a+m
所以
−a<−b
(e)如果
a>b
,
b>c
,那么
a>c
a>b
表明存在一个自然数
m
,满足
b>c
表明存在一个自然数
n
,满足
所以
a=b+m=c+(n+m)
因为
m,n
都是正数,所以
n+m
也是正数。
所以
a>c
(f)证明
a>b
,
a=b
,
a<b
恰有一个成立。
设
x=a−b
那么由整数的三歧性可知,下面三个命题恰有一个成立。
1.
x=0
2.
x
等于一个正的自然数
3.
x
等于一个正的的自然数的负数
当
x=0
时,只有
a=b
成立。
当
x
等于一个正的自然数
当
x
等于一个正的的自然数的负数
4.1.8
数学归纳法不直接适用于整数系。比如性质
P(n)≥0
对
P(0)
成立。当
P(n)
成立时,
P(n++)
也成立。但是
P(n)
对负整数不成立。