离散数学第八讲-NanjingUniversity.PDFVIP

集合计数 离散数学：第八讲 提要  集合的大小  无限集合  等势与优势关系  集合计数  容斥原理 自然数与无穷集合 回顾：无穷公理 回顾：从集合构造自然数 自然数的Peano公理系统 有关自然数的若干命题 我们怎么比较集合的大小  “数得清”的我们就数元素个数。  “无数”的怎么办？  “常识”不一定经得起追问。  集合的大小称为集合的“势” (cardinality)  集合S 的势记为|S | 集合的等势关系  等势关系的定义：  如果存在从集合A到集合B的双射，则称集合A与 B等势。  集合A与B等势记为：AB, 否则A≉B  AB意味着：A ，B 中的元素可以 “一一对应”。  要证明AB ，找出任意一个从A到B的双射即可。  “等势”的集合就被认为是 “一样大” 自然数集是无限集 可列集 可列集 有限集与无限集  S是有限集合，iff. 存在自然数n ，使得S与n等势  S不是有限集合(即：无限集) ，iff. 存在S的真子集S’，使得S 与S’等势  S一定包含一个与自然