福州大学:《离散数学》课程教学资源(课件讲稿)第九章 集合的基数

第九章 集合的基数
第九章 集合的基数

定义9.1 设A,B是集合,如果存在着从A到B 的双射函数,就称A和B是等势的, 记作A≈B. 如果A不与B等势,则记作A光B·
定义9.1 设A,B 是集合,如果存在着从A到B 的双射函数,就称A和B是等势的, 记作A B . 如果A不与B等势,则记作A B .

例9.1 (1)Z≈N (2)NXN≈N (3)N≈Q (4)(0,1)≈R (5S)[0,1≈(0,1) (⑥对于任意a,b∈R,a≠b,0,1刂≈[a,b]
例9.1 (1) Z N (2) N×N N (3) N Q (4) (0,1) R (5) [0,1] (0,1) (6) 对于任意a,b R ,a ≠ b ,[0,1] [a,b]

构造从A到B的双射函数(续) A与自然数集合之间构造双射 方法:将A中元素排成有序图形,然后从第一个元素开始 按照次序与自然数对应 例7A=乙,B=N,构造双射f:A→B 将Z中元素以下列顺序排列并与N中元素对应: Z:0-11-22-33. ↓↓↓↓↓↓J N:0123456. 则这种对应所表示的函数是: fZ→N,f)=仁-2x-1 2x x≥0 x<0
构造从A到B的双射函数(续) A 与自然数集合之间构造双射 方法:将A中元素排成有序图形,然后从第一个元素开始 按照次序与自然数对应 例7 A=Z, B=N,构造双射 f:A→B 将Z中元素以下列顺序排列并与N中元素对应: Z:0 1 1 2 2 3 3 . ↓ ↓ ↓ ↓ ↓ ↓ ↓ N:0 1 2 3 4 5 6 . 2 1 0 2 0 Z , ( ) x x x x f: N f x

(4)(0,1)≈R 构造双射f:(0,1)→R 2x-1 f(x)=tanπ 2 易见f是单调上升的,且ranf=R
(4) (0,1) R 构造双射 f: (0,1) → R 易见 f 是单调上升的,且ran f =R 2 2 1 ( ) tan x f x

(5)[0,1山≈(0,1) 构造区间[0,1]与(0,1)之间1-1映射的 一个例子。我们知道全体有理数的集合是 可数的,于是(0,1)区间中的有理数是可数 的,不妨将它们排成a1,a2,an,的 形式。 而闭区间[0,1]比区间(0,1)多两个数0 和1,它们是有理数,于是可建立闭区间[0, 1]中的有理数到区间(0,1)中的有理数的1-1 映射o1:
(5) [0,1] (0,1) 构造区间[0,1]与(0,1)之间1-1映射的 一个例子。我们知道全体有理数的集合是 可数的,于是(0,1)区间中的有理数是可数 的,不妨将它们排成a1 , a2 , ., an , .的 形式。 而闭区间[0,1]比区间(0,1)多两个数0 和1,它们是有理数,于是可建立闭区间[0, 1]中的有理数到区间(0,1)中的有理数的1-1 映射1:

0,1,a1, a1,a2a3 a4’ .,ant2 令区间[0,1]中的无理数到区间(0,1)中的无理数 的1-1映射o,为自己对应自己。则映射0=01U02 为区间[0,1]到区间(0,1)的1-1映射。从而区间 [0,1]与(0,1)等势
令区间[0,1]中的无理数到区间(0,1)中的无理数 的1-1映射2为自己对应自己。则映射= 1∪2 为区间[0, 1]到区间(0,1)的1-1映射。从而区间 [0,1]与(0,1)等势。 0, 1, a1, a2,.,an,. . . a1,a2,a3, a4,., an+2,

定理9.1 (1)A≈A (2)若A≈B,则B≈A 3)若A≈B,B≈C,则A≈C
定理9.1 (1) A A (2) 若A B,则B A (3) 若A B, B C,则A C

推论 R≈(a,+o∞)≈a,b]≈[a,b)≈(a,bl≈(0,1) 其中a≠b
推 论 R (a,+) [a,b] [a,b) (a,b] (0,1) 其中a≠b

定理9.2(康托尔定理) (1)N¥R (2)对任意集合A都有A*P(A)
定理9.2(康托尔定理) (1) N R (2) 对任意集合A都有 A P(A)
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 福州大学:《离散数学》课程教学资源(课件讲稿)第七章 二元关系.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第四章 一阶逻辑基本概念.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第六章 集合代数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第五章 阶逻辑等值演算与推理.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第二章 命题逻辑等值演算.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第三章 命题逻辑的推理理论.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第一章 命题逻辑基本概念.pdf
- 福州大学:《离散数学》课程教学资源(教案讲义)第十六章 树.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十八章 支配集、覆盖集、独立集与匹配.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十七章 平面图及图的着色.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十四章 图的基本概念.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十五章 欧拉图与哈密顿图.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十三章 格与布尔代数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十章 代数系统.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十二章 环与域.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第十一章 半群与群.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第八章 函数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第九章 集合的基数.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第七章 二元关系.doc
- 福州大学:《离散数学》课程教学资源(教案讲义)第六章 集合代数.doc
- 福州大学:《离散数学》课程教学资源(课件讲稿)第八章 函数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十一章 半群与群.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十三章 格与布尔代数.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十二章 环与域.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十五章 欧拉图与哈密顿图.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十六章 树.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十四章 图的基本概念.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十章 代数系统.pdf
- 福州大学:《离散数学》课程教学资源(课件讲稿)第十七章 平面图及图的着色.pdf
- 《数学分析》课程教学资源(学习资料)定积分复习.pdf
- 《数学分析》课程教学资源(学习资料)二型线面积分复习.pdf
- 《数学分析》课程教学资源(学习资料)2015-2016多变量微积分考试卷和答案.pdf
- 《数学分析》课程教学资源(学习资料)2018秋单变量微积分期中试卷及答案.pdf
- 《数学分析》课程教学资源(学习资料)Fourier级数复习.pdf
- 《数学分析》课程教学资源(学习资料)一元微分学习题课.pdf
- 《数学分析》课程教学资源(学习资料)不定积分复习.pdf
- 《数学分析》课程教学资源(学习资料)二阶线性方程组解结构.pdf
- 《数学分析》课程教学资源(学习资料)含参变量积分复习.pdf
- 《数学分析》课程教学资源(学习资料)多元微分学复习.pdf
- 《数学分析》课程教学资源(学习资料)定积分习题课.pdf