习题3.6(最新)

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

§3.6 集合的等势与基数

习题3.6

1. 判断下列集合是否为无限可数集,若是,给出自然数集合和该集合之间的一个双射函数。

(1)偶整数。

(2)0和0.5之间的实数。 (3)是7的倍数的整数。

(4)不能被3整除的整数。

(5)能被5整除但不能被7整除的整数。 (6)十进制表示中只含数字1的实数。

(7)十进制表示中只含数字1或9的实数。

解(5)、(6)略

(1) A ={偶整数}是无限可数集,其中的一个双射函数为

A f →N :,

x x f 2)(=

(2) A =(0,0.5)不是无限可数集。

(3) A ={是7的倍数的整数}是无限可数集,则Z 与A 之间的一个双射函数为 :,()7g Z A g x x → =,

而Z 与N 之间的一个双射函数

f →Z :N ,

20()10x x f x x x ≥

⎧= ⎨-2- <⎩

则1

f

g - 即为N 到A 的双射函数。

(4) A ={不能被3整除的整数}是无限可数集,其中的一个双射函数为

6

5

4

3

2

1

5

442211↓↓↓↓↓↓↓--- 13

12

11

10

9

8

7

101088775

↓↓↓↓↓↓↓----

(7) 不可数,此数集与实数集等势。设A ={只含1或9数字的实数},则A 与实数R

一个双射函数为:

:f A →R ,

f 将A 中的数映射成一个二进制表示的实数,具体就是将A 中的数中的数字9改

为0。如:

1

2

(191.119)101.110022

2

0 5.75f --=+++++=2

(二进制)=2(十进制)(十进制)

2. 若A 为不可数集合而B 是可数集合,B A -必定是不可数集合吗?若是请给予证明,若不是,请举出反例。

解 略

3. 设 ,,,,n A A A 21是可列集,证明 ∞

=1

n n A 也是可列集。即可列个可列集的并仍是

可列集。

证明 因为 ,,,,n A A A 21是可列集,所以不妨假设

}{112111 ,,,,n a a a A = }{222212 ,,,,n a a a A = }{332313 ,,,,n a a a A =

这样,类似于课本上N N N ~⨯的证明, ∞

=1

n n A 中的元素ij a 可以按下列方式进行排列:先排

2=+j i 的元素,再排3=+j i 的元素,然后是4=+j i 的元素,等等,这样集合

==1

132231211211},,,,,,{n n

a a a a a a A

也是可列集。

4. 设 ,,,,n A A A 21是连续集,证明 ∞

=1

n n A 也是连续集。即可列个连续集的并仍是

连续集。

解 略

5. 设D C B A 、、、是4个集合,且D B C A ~~,,证明D C B A ⨯⨯~。

解 略

6. 证明所有位串组成的集合是可数的。

解 略

7. 证明用特定的一种程序语言写的计算机程序组成的集合是可数的。[提示:可以认为以某种程序语言写的计算机程序是由有限字母集中字母组成的符号串。]

证明 对于有限的字母表,只有有限多个长度为n 的位串,其中n 为正整数,这样,根据

习题3知,有限字母表上长度不超过给定正整数的位串只有有限多个。由于用特定程序语言写

的计算机程序集合是某个有限字母表上的所有位串之集合的子集,所以作为可数集合的子集,程序集合也是可数的。

8. 证明从正整数集合到集合}9876543210{,,,,,,,,,的函数组成的集合是不可数的。[提示:找一个0到1之间的实数集合到这个函数组成的集合的一个子集的双射函数。为此可以让实数 n d d d 210.对应函数f ,而n d n f =)(。]

解 略

9. 如果有计算机程序能计算函数的值,就说这一函数是可计算的。利用上面的习题7和习题8证明存在不可计算的函数。

解 略

10. 设A 为任意集合,则A A P }10{)(,≈,这里A }10{,是所有从集合A 到二值集合

}10{,的函数组成的集合。[提示:)(A P 中的任意元素B 与B 的特征函数A

B

}10{,∈Ψ

一一

对应。]

解 略 11. 证明ℵ=ℵ0

2

,即证明无限可数集的幂集是连续集。[提示:结合习题8的提示和习题

10的提示进行证明。] 解 略

相关文档
最新文档