《陶哲轩实分析》(中文第一版)——§4.1解答

习题4.1

4.1.1  证明:设a,b,c,d是自然数. 自反性:由于a+b=a+b(可参考加法定义的合理性和唯一性证明),故a\raisebox{0.05mm}{-----}b=a\raisebox{0.05mm}{-----}b.

对称性:设a\raisebox{0.05mm}{-----}b=c\raisebox{0.05mm}{-----}d,由定义4.1.1中整数相等定义知有a+d=c+b,由自然数相等遵从的四条公理中的对称公理知有c+b=a+d,再由定义4.1.1知c\raisebox{0.05mm}{-----}d=a\raisebox{0.05mm}{-----}b.

 

4.1.2  证明:由a\raisebox{0.05mm}{-----}b=a'\raisebox{0.05mm}{-----}b'和定义4.1.1知a+b'=a'+b,由加法交换律知有b'+a=b+a',再由定义4.1.1知b'\raisebox{0.05mm}{-----}a'=b\raisebox{0.05mm}{-----}a,由负运算定义4.1.4知-\left(a'\raisebox{0.05mm}{-----}b'\right)=-\left(a\raisebox{0.05mm}{-----}b\right),即-\left(a\raisebox{0.05mm}{-----}b\right)=-\left(a'\raisebox{0.05mm}{-----}b'\right).

 

4.1.3  证明:设a:=n\raisebox{0.05mm}{-----}m,其中n,m为自然数. 则\left(-1\right)\times a=\left[-\left(1\raisebox{0.05mm}{-----}0\right)\right]\times \left(n\raisebox{0.05mm}{-----}m\right)=\left(0\raisebox{0.05mm}{-----}1\right)\times \left(n\raisebox{0.05mm}{-----}m\right)=m\raisebox{0.05mm}{-----}n=-a.

 

4.1.4  证明:令x:=a\raisebox{0.05mm}{-----}bx:=c\raisebox{0.05mm}{-----}dx:=e\raisebox{0.05mm}{-----}f. 其中a,b,c,d,e,f均为自然数.

(1)x+y=\left(a\raisebox{0.05mm}{-----}b\right)+\left(c\raisebox{0.05mm}{-----}d\right)=\left(a+c\right)\raisebox{0.05mm}{-----}\left(b+d\right)=\left(c+a\right)\raisebox{0.05mm}{-----}\left(d+b\right).

y+x=\left(c\raisebox{0.05mm}{-----}d\right)+\left(a\raisebox{0.05mm}{-----}b\right)=\left(c+a\right)\raisebox{0.05mm}{-----}\left(d+b\right).

综上,有x+y=y+x.

(2)由x+y=y+xx+0=0+x,故只需证x+0=x. x+0=\left(a\raisebox{0.05mm}{-----}b\right)+\left(0\raisebox{0.05mm}{-----}0\right)=\left(a\raisebox{0.05mm}{-----}b\right)=x. 故x+0=0+x=x.

(3)由x+y=y+xx+\left(-x\right)=\left(-x\right)+x,故只需证x+\left(-x\right)=0. x+\left(-x\right)=\left(a\raisebox{0.05mm}{-----}b\right)+\left(b\raisebox{0.05mm}{-----}a\right)=\left(a+b\right)\raisebox{0.05mm}{-----}\left(b+a\right)=0\raisebox{0.05mm}{-----}0=0.

综上有x+\left(-x\right)=\left(-x\right)+x=0.

(4)x+\left(y+z\right)=\left(a\raisebox{0.05mm}{-----}b\right)+\left(\left(c\raisebox{0.05mm}{-----}d\right)+\left(e\raisebox{0.05mm}{-----}f\right)\right)=\left(a+c+e\right)\raisebox{0.05mm}{-----}\left(b+d+f\right).

\left(x+y\right)+z=\left(\left(a\raisebox{0.05mm}{-----}b\right)+\left(c\raisebox{0.05mm}{-----}d\right)\right)+\left(e\raisebox{0.05mm}{-----}f\right)=\left(a+c+e\right)\raisebox{0.05mm}{-----}\left(b+d+f\right).

综上,\left(x+y\right)+z=x+\left(y+z\right).

(5)xy=\left(a\raisebox{0.05mm}{-----}b\right)\times\left(c\raisebox{0.05mm}{-----}d\right)=\left(ac+bd\right)\raisebox{0.05mm}{-----}\left(ad+bc\right).

yx=\left(c\raisebox{0.05mm}{-----}d\right)\times\left(a\raisebox{0.05mm}{-----}b\right)=\left(ca+db\right)\raisebox{0.05mm}{-----}\left(cb+da\right).

由于\left(ac+bd\right)\raisebox{0.05mm}{-----}\left(ad+bc\right)=\left(ca+db\right)\raisebox{0.05mm}{-----}\left(cb+da\right),显然xy=yx.

(6)由于xy=yx,则有x1=1x,故只需证x1=x. x1=\left(a\raisebox{0.05mm}{-----}b\right)\times\left(1\raisebox{0.05mm}{-----}0\right)=\left(a\raisebox{0.05mm}{-----}b\right)=x,故x1=1x=x.

(7)x\left(y+z\right)=\left(a\raisebox{0.05mm}{-----}b\right)\times\left(\left(c\raisebox{0.05mm}{-----}d\right)+\left(e\raisebox{0.05mm}{-----}f\right)\right)=\left(a\times\left(c+e\right)+b\times\left(d+f\right)\right)\raisebox{0.05mm}{-----}\left(a\times\left(d+f\right)+b\times\left(c+e\right)\right).

xy+xz=\left(a\raisebox{0.05mm}{-----}b\right)\times\left(c\raisebox{0.05mm}{-----}d\right)+\left(a\raisebox{0.05mm}{-----}b\right)\times\left(e\raisebox{0.05mm}{-----}f\right)=\left(\left(ac+bd\right)+\left(ae+bf\right)\right)\raisebox{0.05mm}{-----}\left(\left(ad+bc\right)+\left(af+be\right)\right).

由自然数命题2.3.4(分配率)和加法交换律和加法结合律可知有\left(a\times\left(c+e\right)+b\times\left(d+f\right)\right)\raisebox{0.05mm}{-----}\left(a\times\left(d+f\right)+b\times\left(c+e\right)\right)=\left(\left(ac+bd\right)+\left(ae+bf\right)\right)\raisebox{0.05mm}{-----}\left(\left(ad+bc\right)+\left(af+be\right)\right).

综上有x\left(y+z\right)=xy+xz.

(8)由已证xy=yx以及x\left(y+z\right)=xy+xz\left(y+z\right)x=x\left(y+z\right)=xy+xz=yx+zx.

 

4.1.5  证明:若a,b为自然数且ab=0,由引理2.3.3知a,b中至少有一个为零. 由引理4.1.5知a,b可为负整数,即a:=-c且b:=-d(c,d均为正自然数). ab=\left(-c\right)\times\left(-d\right)=\left(\left(-1\right)\times c\right)\times\left(\left(-1\right)\times d\right)=\left(-1\right)\times\left(-1\right)\times cd=cd=0,再由引理2.3.3知c,d至少一个为零,这与c,d均为正自然数相矛盾,故此情况不会出现. 又由引理4.1.5知可a为自然数b为负整数,即ab=a\times\left(-d\right)=\left(-1\right)\times ad=0\raisebox{0.05mm}{-----}ad=0,即ad=0,由引理知a,d中至少一个为零,故a,b中至少一个为零. 当b为自然数a为负整数同理可证.

综上,命题成立.

 

证明二:设a:=i\raisebox{0.05mm}{-----}jb:=k\raisebox{0.05mm}{-----}l(其中i,j,k,l均为自然数).

ab=\left(i\raisebox{0.05mm}{-----}j\right)\times\left(k\raisebox{0.05mm}{-----}l\right)=\left(ik+jl\right)\raisebox{0.05mm}{-----}\left(il+jk\right)=0=0\raisebox{0.05mm}{-----}0,故ik+jl=il+jk,等式两边同时减去il+jlik-il=jk-jl,即i\left(k-l\right)=j\left(k-l\right).

现考虑k和l的序. 若k=l,显然b=k-l=0,故i\left(k-l\right)=j\left(k-l\right)显然成立. 若k>l,即k=l+u(u为正自然数),故k-l=u,所以k-l为正自然数,再由推论2.3.7可知i=j,故a=0b\neq0. 若k<l,同理可证a=0b\neq0.

综上,a,b中至少有一个为零.

 

4.1.6  证明:由整数及其加、乘、负、减运算的定义我们易知其运算结果仍是整数,即整数系对加、减、乘、负运算是封闭的. 现已知ac=bc,两边同时减去bc得ac-bc=0,即\left(a-b\right)c=0,由c不为0和命题4.1.8知a-b=0,即a=b.

 

证明二:当c为正自然数时. 若a,b均为自然数,由推论2.3.7知a=b. 若a,b中一个为自然数一个为负整数,不失一般性设a:=-m(m为正自然数),由ac=bc-mc=bc,即\left(b+m\right)c=0,由推论2.3.3知b+m=0,故b=-m=a. 若a,b均为负整数数,设a:=-mb:=-n(m,n为正自然数),由ac=bc-mc=-nc,即mc=nc,由推论2.3.7知m=n,故-m=-n,即a=b.

同理可证当c为负整数时亦有a=b.

 

4.1.7  证明:(a)由a>b和定义4.1.10知对某自然数m有a=b+ma\neq b. 假若m=0,则a=b,这与a\neq b相矛盾,故m\neq 0. 再由a=b+ma-b=m\neq 0,所以a-b为正自然数.

若a-b为正自然数,设a-b:=m(m为某正自然数),故有a=b+m,由定义4.1.10知a\geqslant b. 若a=b,由a=b+m可推出m=0,这与m为正自然数矛盾,故a\neq b,再由定义4.1.10和a\geqslant ba>b.

(b)若a>b,由定义4.1.10知对某自然数m有a=b+ma\neq b. 则有a+c=\left(b+c\right)+ma+c\neq b+c. 再由定义4.1.10知a+c>b+c.

(c)若a>b,由定义4.1.10知对某自然数m有a=b+ma\neq b. 则有ac=bc+mcac\neq bc. 再由定义4.1.10知ac>bc.

(d)若a>b,由习题4.1.7(b)知a+\left(-a-b\right)>b+\left(-a-b\right),即-b>-a,由定义4.1.10知-a<-b.

(e)若a>bb>c,由由定义4.1.10知对某自然数m,n有a=b+ma\neq bb=c+nb\neq c. 由此得a=b+m=\left(c+n\right)+m=c+\left(n+m\right),由定义4.1.10知a\geqslant c. 假若a=c,由a=c+\left(n+m\right)和命题2.2.6知n+m=0,再由推论2.2.9知n=m=0,此时a=bb=c,与a\neq bb\neq c都矛盾,故a\neq c,再由定义4.1.10a\geqslant c和知a>c.

(f)首先证明三者至多一个成立. 由定义4.1.10知a>ba=b不能同时成立;同理可证a<ba=b不能同时成立;若a>ba<b,由定义4.1.10知存在自然数m,n使得a=b+mb=a+na\neq b,则a=b+m=\left(a+n\right)+m=a+\left(n+m\right),由命题2.2.6知n+m=0,再由推论2.2.9知n=m=0,此时a=b,与a\neq b相矛盾,所以a>ba<b不成立. 综上我们证明了三命题至多有一个成立.

再证明三者至少一个成立. 对整数a,b,我们知道a-b也是整数,由引理4.1.5知a-b为0,为正自然数或为负整数三者之一,且只能是三者中一个. 若a-b=0,则a=b;若a-b为正自然数,由习题4.1.7(a)知a>b;若a-b为负整数,则-\left(a-b\right)=\left(-a\right)-\left(-b\right)为正自然数,由习题4.1.7(a)知-a>-b,由习题4.1.7(d)知a<b. 综上,至少一个命题成立.

 

4.1.8  证明:性质P(n)为——n+1为自然数.

 

 

文内补充

1.同构.

详见汪芳庭《数学基础》第五章5.2节——同构与同态.

 

2.整数的排序. 定义4.1.10定义了整数的顺序,其“a\geqslant b”的定义不是使用“a>ba=b”,而是“存在某自然数c,使得a=b+c”. 我们来证明两种定义的等价性.

若知道a>ba=b. 如果a=b,由定义4.1.10知a\geqslant b;若a>b,由定义4.1.10中“严格大于”的定义知有a\geqslant b.

若知道a\geqslant b,由定义4.1.10知存在某自然数c,使得a=b+c. 如果自然数c=0,则a=b+c=b+0=b,即a=b;如果c\ne 0,假若a=b,由a=b+cc=0,这与c\ne 0矛盾,所以a\neq b. 再由a\geqslant b和定义4.1.10知a>b. 综上由a\geqslant b可知a>ba=b.

所以,当我们用整数中“a\geqslant b”的概念时,可以用定义4.1.10,也可以用“a>ba=b”. 使用后者在证明某些命题时可能带来方便,而且和后面比例数和实数的序的定义是相容的.

我们还可以证明

a\geqslant a.

如果a\geqslant bb\geqslant c,那么a\geqslant c.

如果a\geqslant bb\geqslant a,那么a=b.

a\geqslant b当且仅当a+c\geqslant b+c.

如果a+c>b+c那么a>b.

a<b当且仅当a++\leqslant b.

a<b++当且仅当a\leqslant b.

如果a,b为自然数且c为正自然数且ac<bc,那么a<b.

a<b等价于对某正数d有b=a+d.

同自然数的序的定义一样,整数的序也是由加法定义的,容易验证整数的序的概念也满足代入公理.

 

 

留下评论