离散数学-09集合的基数(课件模板)

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

构造两个单射f:AB 和 g:BA函数容易集合等势。
例题
例题:证明[0,1]与(0,1)等势。 证明:构造两个单射函数 f: (0,1)→[0,1],f(x)=x g: [0,1]→(0,1),g(x)=x/2+1/4
等势集合的实例(6)
(6)对任何a, b∈R,a<b, [0,1]≈[a,b]。
双射函数 f:[0,1]→[a,b],f(x)=(ba)x+a。
例9.2
例9.2 设A为任意集合,则P(A)≈{0,1}A。
证明
复习
构造f:P(A)→{0,1}A, f(A)=A ,A∈P(A)。
其中A 是集合A 的特征函数。 (1)易证 f 是单射的。 (2)对于任意的 g∈{0,1}A,
(2) N×N≈N。
双射函数 f : N N N, f ( m, n ) (m n 1)(m n) m
2
等势集合的实例(3)
(3)N≈Q。
把所有形式为p/q (p,q为整数且q>0) 的数排成一张表。
以0/1作为第一个数,按照箭头规定的顺序可以“数遍”表中 所有的数。计数过程中必须跳过第二次以及以后各次所遇到的 同一个有理数。
[15]
-1/4 0/4
[14]
1/4
2/4
[13]
3/4 …
等势集合的实例(4)
(4)(0,1)≈R。 其中实数区间 (0,1)={x| x∈R∧0<x<1}。
f : (0,1) R, f (x) tan 2x 1
2
则 f 是(0,1)到R的双射函数。从而证明了(0,1)≈R 。
等势集合的实例(5)
证明 {0,1}N≈[0,1)
(2) 定义函数g:{0,1}N→[0,1)。 g的映射法则恰好与 f 相反, 即 t∈{0,1}N,t:N→{0,1},g(t)=0Fra Baidu bibliotekx1x2…, 其中xn+1=t(n)。 但不同的是,将0.x1x2…看作数x的十进制表示。 例如t1,t2∈{0,1}N,且g(t1)=0.0111…,g(t2)=0.1000…, 若将g(t1)和g(t2)都看成二进制表示,则g(t1)=g(t2); 但若看成十进制表示,则g(t1)≠g(t2)。 所以, g:{0,1}N→[0,1) 是单射的。 根据定理9.3,有{0,1}N≈[0,1)。
例如:
N ≤·N N ≤·R A ≤·P(A)
N <·R A <·P(A)
R ≮·N N ≮·N R≤·N
优势的性质
定理9.3 设A, B, C是任意的集合,则 (1)A≤·A。 (2)若A ≤·B且B ≤·A,则A≈B。 (3)若A ≤·B且B ≤·C, 则A ≤·C 。 证明: (1)IA是A到A的单射,因此A≤· A。 (2)证明略。 (3)假设A ≤·B且B ≤·C,那么存在单射 f:A→B,g:B→C,
(2) 假设A≈B ,存在 f : AB是双射, 那么 f1 : BA是从B到A的双射,所以B≈A。
(3) 假设A≈B,B≈C,存在 f :AB,g:BC是双射, 则fg : AC是从 A 到 C 的双射。 所以A≈C。
若干等势集合
N ≈ Z ≈ Q ≈ N×N R ≈ [0,1] ≈(0,1) 任何的实数区间(开区间、闭区间以及半开半闭的区间)
假设A≈P(A),则必有函数 f : A→P(A)是双射函数。 如下构造集合B: B={x| x∈A∧x f (x)} 可知 B∈P(A)。 于是存在唯一一个元素b∈A,使得 f(b)=B。 若b∈B,则由B的定义知,b f (b),即 bB,矛盾。 若bB,则b f (b),于是由B的定义知, b∈B,矛盾。
大学本科生课程
离散数学
第9章 集合的基数
计算机系
本章说明
本章的主要内容
–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集
本章内容
9.1 集合的等势与优势 9.2 集合的基数
本章小结 习题 作业
9.1 集合的等势与优势
通俗的说,集合的势是量度集合所含元素多少的量。 集合的势越大,所含的元素越多。
那么有 g:A→{0,1}。令 B={x| x∈A∧g(x)=1}
则BA,且B=g,即B∈P(A),使得f(B)=g。 所以 f 是满射的。 由等势定义得P(A)≈{0,1}A。
等势的性质
定理9.1 设A,B,C是任意集合, (1)A≈A。 (2)若A≈B,则B≈A。 (3)若A≈B,B≈C,则A≈C。 证明 (1) IA是从A到A的双射,因此A≈A。
”这一概念,当时只是直观地理解成含有有限多个元素的 集合,但一直没有精确地给出有穷集的定义。为解决这个 问题我们需要先定义自然数和自然数集合。
后继
定义9.3 设a为集合,称a∪{a}为a的后继,记作a+,即 a+=a∪{a}。
例9.3 考虑空集的一系列后继。
+ = ∪{}
++ = {}+
={}
= {}∪{{}}
自然数n和自然数集合N的定义
定义9.5 自然数 (1)一个自然数n是属于每一个归纳集的集合。 (2)自然数集N是所有归纳集的交集。 说明:根据定义9.5得到的自然数集 N 恰好由, +, ++,
+++,…等集合构成。而这些集合正是构造性方法所定义的 全体自然数。
例如:自然数都是集合,集合的运算对自然数都适用。 2∪5={0,1}∪{0,1,2,3,4}={0,1,2,3,4}=5 3∩4={0,1,2}∩{0,1,2,3}={0,1,2}=3 4-2={0,1,2,3}-{0,1}={2,3} 2×3={0,1}×{0,1,2}={<0,0>,<0,1>,<0,2>,<1,0>,<1,1>,<1,2>}
(2)任取函数f:AP(A),构造B∈P(A),使得B在A中不存在 原像。 或者使用反证法。
康托定理
(1)首先规定[0,1]中数的表示。 对任意的x∈[0,1],令x = 0.x1x2… , (0 ≤ xi ≤ 9) 注意:为了保证表示式的唯一性,如果遇到0.24999…,则将x 表示为0.25000…。 设 f:N→[0,1]是从N到[0,1]的任何一个函数。f的所有函数值为:
[18]
[5]
… -3/1 -2/1
[17]
… -3/2 -2/2
… -3/3
[6]
-2/3
[16]
… -3/4 -2/4
[4]
[0]
-1/1 0/1
[1]
1/1
[10]
[11]
2/1 3/1 …
[3]
-1/2 0/2
[2]
1/2
2/2
[12]
3/2 …
[7]
-1/3 0/3
[8]
1/3
[9]
2/3 3/3 …
定义9.1 设A, B是集合,如果存在着从A到B的双射函数, 就称A和B是等势(same cardinality)的,记作A≈B。 如果A不与B等势,则记作A ≈ B。
等势集合的实例(1)
(1)Z≈N。 f :Z N,
f
(x)
2x 2x
1
x0 x0
则f是Z到N的双射函数。 从而证明了Z≈N。
等势集合的实例(2)
都与实数集合R等势。 问题:N和R是否等势?
康托定理
定理9.2 康托定理
(1)N ≈ R。
(2)对任意集合A都有A ≈ P(A)。
分析
(1)如果能证明N ≈ [0,1],就可以断定N≈ R。 只需证明任何函数f:N→[0,1]都不是满射的。 构造一个[0,1]区间的小数b,使得b在N中不存在原像。
总结
N ≈ Z ≈ Q ≈ N×N R ≈ [a,b] ≈ (c,d) ≈ {0,1}N ≈ P(N)
其中[a,b],(c,d)代表任意的实数闭区间和开区间。 {0,1}A ≈ P(A) N <·R A <·P(A)
9.2 集合的基数
上一节我们只是抽象地讨论了集合的等势与优势。 本节将进一步研究度量集合的势的方法。 最简单的集合是有穷集。尽管前面已经多次用到“有穷集
康托定理
(2)设g:A→P(A)是从A到P(A)的任意函数, 如下构造集合B: B={x| x∈A∧xg(x)}
则B∈P(A)。
但是对任意x∈A,都有
x∈B xg(x) 所以,对任意的x∈A都有B≠g(x),即Bran g 即P(A) 中存在元素B,在A中找不到原像。 所以,g不是满射的。 所以, A ≈ P(A)。
说 根据这个定理可以知道N ≈ P(N)。 明 综合前面的结果,可知N≈ {0,1}N 。
实际上,P(N),{0,1}N和R都是比N“更大”的集合。
优势
定义9.2
(1) 设A, B是集合,如果存在从A到B的单射函数,就称B优 势于A,记作A≤·B。 如果B不是优势于A, 则记作A≤·B。
(2)设A, B是集合,若A≤·B且A≈ B,则称B真优势于A,记 作A<·B。如果B不是真优势于A,则记作A≮·B。
自然数的性质
(1) 对任何自然数n,有n ≈ n。
(2) 对任何自然数n, m,若m n,则m ≈ n。 (3) 对任何自然数n, m,若m∈n,则m n。 (4) 对任何自然数n和m,以下三个式子:
m∈n,m ≈ n, n∈m 必成立其一且仅成立其一。 (5) 自然数的相等与大小顺序 对任何自然数m和n,有
f(0)=0.a1(1)a2(1)… f(1)=0.a1(2)a2(2)…
… f(n1)=0.a1(n)a2(n)…
… 令y的表示式为0.b1b2…,并且满足bi ≠ ai(i),i=1,2,…, 则y∈[0,1], 但y与上面列出的任何一个函数值都不相等。
即f不是满射的。 所以,N ≈R。
康托定理
(5)[0,1]≈(0,1)。 其中(0,1)和[0,1]分别为实数开区间和闭区间。
0
1
1 2
1 22
1 1
23
2n
1 11
1
1 1
2
22 23
24
25
2n2
1/ 2
双射函数
f
:
[0,1](0,1),
f
(
x)
1/ 22 1/ 2n12
x
x0 x 1 x 1/ 2n , n 1, 2,... 其它x
举例
P(1)=P({0})={,{0}}={0,1} 23={0,1}{0,1,2}={f | f:{0,1,2}→{0,1}}={f0,f1,…,f7}
其中f0={<0,0>,<1,0>,<2,0>} f1 ={<0,0>,<1,0>,<2,1>} f2 ={<0,0>,<1,1>,<2,0>} f3 ={<0,0>,<1,1>,<2,1>} f4 ={<0,1>,<1,0>,<2,0>} f5 ={<0,1>,<1,0>,<2,1>} f6 ={<0,1>,<1,1>,<2,0>} f7 ={<0,1>,<1,1>,<2,1>}
证明 {0,1}N≈[0,1)
(1) 设x[0,1),0.x1x2…是x的二进制表示。 为了使表示唯一,规定表示式中不允许出现连续无数个1。 例如 x=0.1010111,应按规定记为0.1011000。 对于x,如下定义f:[0,1)→{0,1}N,使得 f(x) = tx,且tx:N→{0,1}, tx(n) = xn+1,n = 0,1,2,… 例如 x = 0.10110100…,则对应于x的函数tx是: n 0 1 2 3 4 5 6 7… tx(n) 1 0 1 1 0 1 0 0… 易见tx∈{0,1}N,且对于x,y∈[0,1),x≠y,必有tx ≠ ty, 即f(x) ≠ f(y)。 所以,f:[0,1)→{0,1}N是单射的。
= {,{}}
= {, +}
+++ ={,{}}+ = {,{}}∪{{,{}}} = {,{},{,{}}} = {, +, ++ }
说 前边的集合都是后边集合的元素。 明 前边的集合都是后边集合的子集。
自然数的定义
利用后继的性质,可以考虑以构造性的方法用集合来给出自 然数的定义,即
0= 1=0+=+ ={}={0} 2=1+={}+ ={}∪{{}}={,{}}={0,1} 3=2+={,{}}+={,{},{,{}}}= {0,1,2}
… n={0, 1, …, n1}

说 明
这种定义没有概括出自然数的共同特征。
归纳集
定义9.4 设A为集合,如果满足下面的两个条件: (1)∈A (2)a(a∈A→a+∈A)
称A是归纳集。
例如:下面的集合 {, +, ++, +++,…} {, +, ++, +++, … , a, a+, a++, a+++, …} 都是归纳集。
相关文档
最新文档