- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三章 基数
§3.1 基数的概念
研究集合时,如果抛开集合元素所具有的特性,而只考虑集合中元素的“个数”,或者说,
考虑集合的“规模”,这就引出了集合的基数的概念。
比较两个有限集的大小,可以由它们中元素的个数来确定,但对于两个无限集来说,不能简
单地认为它们的规模相同。自然数集和的幂集2似应有所区别。最终的做法是,两个
集合规模是否相同取决于它们之间是否存在一一映射。
定义 1.1 设A ,B 是任意两个集合,若存在一个双射f :A →B ,则称A 和B 等势,或
称 A 和B 的基数相同,记为A ∼B ,A 的基数记为| A | 。
下面给出有限集和无限集的严格定义。
定义 1.2 设A 为一个集合,若A 为空集或与集合{0,1,2,,n −1}的基数相同,则称A 为有
限集。此时,| A | n =∈ (A 为空集时,| A | 0 ),若集合A 不是有限集,则称A 为无限
集。
定理 1.1 自然数集是无限集。
证明:由定义 3.2, 只要证明不是有限集即可。假设是有限集,则存在n ,使得存在双
射 f :{0,1, 2,,n −1}→。令k 1+max{f (0), f (1),, f (n −1)},显然k ∈,但
对于任意x ∈{0,1,2,,n −1} ,有f (x ) ≠k (f (x ) k ),与f 是满射矛盾。所以不是
有限集。
因此,不存在自然数能作为的基数。我们记| | ℵ ,读作“阿列夫零”。
0
下面给出一些与等势的例子。
例 1.1 {2k =+1:k ∈}, {2k :k ∈},都与等势。
1 2
说明:f :→ ,f (k ) 2k =+1 ;g :→ ,f (k ) 2k ;h :→,
1 2
1
f (k ) (=−1)k k 2 。其中 x 表示不小于x 的最小整数。
⎡ ⎤ ⎡ ⎤
⎢ ⎥ ⎢ ⎥
显然, 与 都是的真子集。上面例子表明,无限集可以与它的某个真子集等势。对
1 2
于有限集来说,这是不可能的。
定理 1.2 任何无限集必与它的某个真子集等势。
证明:设A 是任意一个无限集。因A 非空,从A 中取出一个元素,记作a ;A −{a }也非
1 1
空,从中取元素a ;继续此过程,对于任意k ∈,A −{a ,,a }非空,从中取元素a 。
2 1 k k +1
于是从A 中取出一列元素{a ,a ,}。记 A A =−{a ,a ,},B A ∪{a ,a ,},则B 是
1 2 1 2 2 4
A 的真子集,如下构造的从A 到B 的映射f 是双射。
a , if x a
⎧2i i
f (x ) ⎨ 。
您可能关注的文档
最近下载
- 浅谈初中物理教学语言严密性.doc VIP
- 高压配电柜日常维护保养方案.docx VIP
- 国考物理化学真题及答案.doc VIP
- 强制氧化-尿素还原法(FO-UR)烟气脱硝成套技术.doc VIP
- 2024年江苏赛区复赛“扬子石化杯”第38届中国化学奥林匹克(初赛)选拔赛暨化学试题含答案.pdf VIP
- 招标代理服务技术方案104页.docx
- 政府采购项目招标代理机构服务投标技术方案(技术标).pptx VIP
- 2025至2030中国建筑信息模型(BIM)行业发展趋势分析与未来投资战略咨询研究报告.docx
- 2024广东建设职业技术学院招聘笔试真题含答案详解.docx VIP
- 公司法中董事对第三人责任的性质界定与归责原则研究.docx VIP
文档评论(0)