- 12
- 0
- 约1.3万字
- 约 22页
- 2023-10-01 发布于上海
- 举报
习题一
1、数系扩展的原则是什么?有哪两种扩展方式?(P9——P10) 答:设数系A 扩展后得到新数系为B,则数系扩展原则为:
(1) A ? B
(2)A 的元素间所定义的一些运算或几本性质,在B 中被重新定义。而且对于A 的元素来说,重新定义的运算和关系与 A 中原来的意义完全一致。
在A 中不是总能实施的某种运算,在B 中总能施行。
在同构的意义下,B 应当是 A 的满足上述三原则的最小扩展, 而且有A 唯一确定。
数系扩展的方式有两种:
添加元素法。
构造法。
2、对自然数证明乘法单调性:设a,b,c ? N , 则
若a ? b,则ac ? bc;
若a ? b,则ac ? bc;
若a ? b,则ac ? bc;
证明:(1)设命题能成立的所有 C 组成集合M。
a ? b,a ? a ?1,b ? b?1, (P13规定)
?a ?1? b?1
?1?M
假设c?M ,即ac ? bc
ac? ? a(c ?1)? ac ? a,bc? ? b(c ?1)? bc ? b
又 ac ? bc, a ? b
?ac? a ? bc ?b
?ac?? bc?
?c??M .
由归纳公理知, M ? N , 所以命题对任意自然数成立。
若a ? b,则有b ? a ? k,k ? N. (P17 定义 9) 由(1)有bc ? (a ? k )c
? ac ? kc
?ac ? bc (P17.定义 9)
或: 若a ? b,则有b ? a ? k,k ? N. bc ? (a ? k)c ? ac ? kc
?ac ? ac ? kc ? (a ? k )c ? bc
?ac ? bc.
若a ? b,则有a ? b ? k,k ? N.
ac ? (b ? k)c ? bc ? kc.
?ac ? bc
3、对自然数证明乘法消去律: 设a,b,c? N,则
若ac ? bc,则a ? b;
若ac ? bc,则a ? b;
若ac ? bc,则a ? b。证明(1)(用反证法)
假设a ? b,则有a ? b或a ? b.
若a ? b,有ac ? bc和ac ? bc矛盾。
若a ? b,有ac ? bc,也和ac ? bc矛盾。
故假设a ? b不真,所以a ? b.
方法同上。
方法同上。
4、依据序数理论推求:
(1)3 ? 5, (2)3?5
解:(1)先求3 ?1,3 ?1 ? 3? ? 4,
(P16.例 1) 再求3? 2,3? 2 ? 3?1? ? (3?1)? ? 4? ? 5,
再求3 ? 3,3 ? 3 ? 3 ? 2? ?(3 ? 2)? ? 5? ? 6,
如此等等,直至3 ? 5 ? 3 ? 4? ?(3 ? 4)? ? 7? ? 8.
(2)先求3?1,3 ?1 ? 3,
再求3?2,3?2 ? 3?1? ? 3?1? 3 ? 6,
再求3?3,3?3 ? 3?2? ? 3? 2 ? 3 ? 6 ? 3 ? 9,
如此等等,直至3?5 ? 3?4? ? 3?4 ? 3 ?12 ? 3 ?15.
5、设n?N ,证明4n ?15n ?1是 9 的倍数。
证明: ①当n ?1时,41 ?15?1?1?18是9的倍数,故n ?1时命题成立。
② 假设当n ? k时,命题成立。即4k ?15k?1是9的倍数。
则当n=k+1 时:
4k?1 ?1(5 k ?1)?1
? (4 4k ?15k ?1)? 3?15k ?18 。
? (4 4 k ?15k ?1)? 9(5k ? 2)
4k ?15k?9是9的倍数,9(5k ? 2
4k ?15k
?(4 4k ?15k ?1)-(9 5k ?2)是9的倍数
?4k?1 ?15(k ?1)?1是9的倍数
?当n ? k ?1时,命题成立。由①,②知,对于任一自然数n 成立。
6、用数学归纳法证明下式对于任意自然数都成立:
(1-4)(1-4)(1-
4 )??(? 1-
4 )? 1? 2n .
1 9 25
(2n ?1)2
1? 2n
证明:
当n ?1时,左边 ?1-4
1
? -3,右边 ? 1? 2?1 ? -3.左边? 右边。
1-2 1
?故当n ?1时,等式成立。
?
假设当n ? k时,等式成立,即:
(1-4)(1-4)(1-
4 )??(? 1-
4 ) ? 1? 2k .
1 9 25
(2k ?1)2
1? 2k
则当n ? k ?1时,有:
(1-4)(1-4)(1- 4 )??(? 1- 4 )(1? 1 )
1 9 25 (2k ?1)2 (2k ?1)2
? 1? 2k ?(1?
1? 2k
1 ) ? (2k ?1)2
(2k ?1)(2k ? 3) ? 1? 2(k ?1)?
原创力文档

文档评论(0)