PART IV · 关系、函数与基数

14 · 集合的基数

用双射比较集合大小,区分可数与不可数无穷,比较不同基数,并以康托尔-伯恩斯坦-施罗德定理收束全书。

281-303完整原书

BEFORE READING

学习导读

先用这页确定本章任务,再进入未改动的英文原书。导读只负责给你问题和抓手,不替代作者的定义、例题、证明与练习。

本章目标

  • 用双射证明两个无限集合等势
  • 理解对角线论证的结构
  • 用双向单射得到双射

带着这些问题读

  • 无限集合为什么能与真子集等势?
  • 不可数性的矛盾在哪一步形成?
  • 康托尔-伯恩斯坦定理省掉了哪种显式构造?

做完一节以后

合上页面,用自己的话重写一个定义、一个证明骨架和一个仍不确定的问题。

基数可数不可数对角线论证康托尔-伯恩斯坦

SOURCE READER · EDITION 3.4

完整原书阅读器

页码采用 PDF 的实际页码。章内搜索读取英文文字层;公式与图形始终以原书渲染页为准。

PDF 阅读器加载失败。

正在打开原书...

原书文件保持完整,阅读器不会改写或省略任何一页。

Book of Proof by Richard Hammack, Edition 3.4. 关系、函数与基数。集合的基数。用双射比较集合大小,区分可数与不可数无穷,比较不同基数,并以康托尔-伯恩斯坦-施罗德定理收束全书。 本章目标:用双射证明两个无限集合等势;理解对角线论证的结构;用双向单射得到双射。带着这些问题读:无限集合为什么能与真子集等势?;不可数性的矛盾在哪一步形成?;康托尔-伯恩斯坦定理省掉了哪种显式构造?。原书 PDF 页码 281 至 303。关于这一章,你可以让 Flow 帮你解释定义、检查证明骨架、出一道相似练习,或分析你卡住的具体一步。Source: https://richardhammack.github.io/BookOfProof/Main.pdf#page=281