习题4.1
4.1.1 证明:设a,b,c,d是自然数. 自反性:由于(可参考加法定义的合理性和唯一性证明),故
.
对称性:设,由定义4.1.1中整数相等定义知有
,由自然数相等遵从的四条公理中的对称公理知有
,再由定义4.1.1知
.
4.1.2 证明:由和定义4.1.1知
,由加法交换律知有
,再由定义4.1.1知
,由负运算定义4.1.4知
,即
.
4.1.3 证明:设,其中n,m为自然数. 则
.
4.1.4 证明:令,
,
. 其中a,b,c,d,e,f均为自然数.
(1).
.
综上,有.
(2)由知
,故只需证
.
. 故
.
(3)由知
,故只需证
.
.
综上有.
(4).
.
综上,.
(5).
.
由于,显然
.
(6)由于,则有
,故只需证
.
,故
.
(7).
.
由自然数命题2.3.4(分配率)和加法交换律和加法结合律可知有.
综上有.
(8)由已证以及
知
.
4.1.5 证明:若a,b为自然数且,由引理2.3.3知a,b中至少有一个为零. 由引理4.1.5知a,b可为负整数,即a:=-c且b:=-d(c,d均为正自然数).
,再由引理2.3.3知c,d至少一个为零,这与c,d均为正自然数相矛盾,故此情况不会出现. 又由引理4.1.5知可a为自然数b为负整数,即
,即ad=0,由引理知a,d中至少一个为零,故a,b中至少一个为零. 当b为自然数a为负整数同理可证.
综上,命题成立.
证明二:设,
(其中i,j,k,l均为自然数).
,故
,等式两边同时减去
得
,即
.
现考虑k和l的序. 若,显然
,故
显然成立. 若
,即
(u为正自然数),故
,所以k-l为正自然数,再由推论2.3.7可知
,故
且
. 若
,同理可证
且
.
综上,a,b中至少有一个为零.
4.1.6 证明:由整数及其加、乘、负、减运算的定义我们易知其运算结果仍是整数,即整数系对加、减、乘、负运算是封闭的. 现已知,两边同时减去bc得
,即
,由c不为0和命题4.1.8知
,即
.
证明二:当c为正自然数时. 若a,b均为自然数,由推论2.3.7知. 若a,b中一个为自然数一个为负整数,不失一般性设
(m为正自然数),由
得
,即
,由推论2.3.3知
,故
. 若a,b均为负整数数,设
且
(m,n为正自然数),由
得
,即
,由推论2.3.7知
,故
,即
.
同理可证当c为负整数时亦有.
4.1.7 证明:(a)由和定义4.1.10知对某自然数m有
且
. 假若
,则
,这与
相矛盾,故
. 再由
知
,所以a-b为正自然数.
若a-b为正自然数,设(m为某正自然数),故有
,由定义4.1.10知
. 若
,由
可推出
,这与m为正自然数矛盾,故
,再由定义4.1.10和
知
.
(b)若,由定义4.1.10知对某自然数m有
且
. 则有
且
. 再由定义4.1.10知
.
(c)若,由定义4.1.10知对某自然数m有
且
. 则有
且
. 再由定义4.1.10知
.
(d)若,由习题4.1.7(b)知
,即
,由定义4.1.10知
.
(e)若和
,由由定义4.1.10知对某自然数m,n有
且
和
且
. 由此得
,由定义4.1.10知
. 假若
,由
和命题2.2.6知
,再由推论2.2.9知
,此时
且
,与
和
都矛盾,故
,再由定义4.1.10
和知
.
(f)首先证明三者至多一个成立. 由定义4.1.10知和
不能同时成立;同理可证
和
不能同时成立;若
且
,由定义4.1.10知存在自然数m,n使得
和
和
,则
,由命题2.2.6知
,再由推论2.2.9知
,此时
,与
相矛盾,所以
且
不成立. 综上我们证明了三命题至多有一个成立.
再证明三者至少一个成立. 对整数a,b,我们知道a-b也是整数,由引理4.1.5知a-b为0,为正自然数或为负整数三者之一,且只能是三者中一个. 若,则
;若
为正自然数,由习题4.1.7(a)知
;若
为负整数,则
为正自然数,由习题4.1.7(a)知
,由习题4.1.7(d)知
. 综上,至少一个命题成立.
4.1.8 证明:性质P(n)为——n+1为自然数.
文内补充
1.同构.
详见汪芳庭《数学基础》第五章5.2节——同构与同态.
2.整数的排序. 定义4.1.10定义了整数的顺序,其“”的定义不是使用“
或
”,而是“存在某自然数c,使得
”. 我们来证明两种定义的等价性.
若知道或
. 如果
,由定义4.1.10知
;若
,由定义4.1.10中“严格大于”的定义知有
.
若知道,由定义4.1.10知存在某自然数c,使得
. 如果自然数
,则
,即
;如果
,假若
,由
知
,这与
矛盾,所以
. 再由
和定义4.1.10知
. 综上由
可知
或
.
所以,当我们用整数中“”的概念时,可以用定义4.1.10,也可以用“
或
”. 使用后者在证明某些命题时可能带来方便,而且和后面比例数和实数的序的定义是相容的.
我们还可以证明
.
如果且
,那么
.
如果且
,那么
.
当且仅当
.
如果那么
.
当且仅当
.
当且仅当
.
如果a,b为自然数且c为正自然数且,那么
.
等价于对某正数d有
.
同自然数的序的定义一样,整数的序也是由加法定义的,容易验证整数的序的概念也满足代入公理.