在数学里,一个有限集的元素个数是一个自然数,势标志着该集合的大小。对于有限集,势为其元素的数量。比较无穷集里元素的多寡之方法,可在集合论里用集合的等势某集合的势比另一个集合大这两个概念来达到目的。

集合比较

A {\displaystyle A} B {\displaystyle B} 为集合。称它们等势,指的是存在 A {\displaystyle A} B {\displaystyle B} 一个双射 f {\displaystyle f} ,即 A {\displaystyle A} 中的元素可以与 B {\displaystyle B} 中的元素一一对应起来。例子:集合 A = { 1 , 2 , 3 } {\displaystyle A=\{1,2,3\}} B = { {\displaystyle B=\{} 苹果,马,园丁 } {\displaystyle \}} 等势,这是因为“ 1 {\displaystyle 1\rightarrow } 苹果, 2 {\displaystyle 2\rightarrow } 马, 3 {\displaystyle 3\rightarrow } 园丁”是两个集合之间的一一对应。不过在这个例子中, 不用等势的概念也知道它们的元素不多不少, 是3个。对于无穷集可举一个例子如下:正偶数集合 E = { 2 , 4 , 6 , } {\displaystyle E=\{2,4,6,\ldots \}} 和自然数集合 N = { 1 , 2 , 3 , } {\displaystyle \mathbb {N} =\{1,2,3,\ldots \}} 等势,这是因为由公式 f ( n ) = 2 n {\displaystyle f(n)=2n} 所决定的函数 f : N E {\displaystyle f:\mathbb {N} \rightarrow E} 是一个由 N {\displaystyle \mathbb {N} } E {\displaystyle E} 的双射。

等势的概念只能说明两个(有限或无限)集合的元素是否“一样多”的问题。那么以下说明集合 A {\displaystyle A} 的元素是否比集合 B {\displaystyle B} “多”的问题。称“集合 A {\displaystyle A} 的势不小于集合 B {\displaystyle B} 的势”,若存在一个由 B {\displaystyle B} A {\displaystyle A} 的单射。称“集合 A {\displaystyle A} 的势大于集合 B {\displaystyle B} 的势”,若 A {\displaystyle A} 的势不小于 B {\displaystyle B} 的势,但 A {\displaystyle A} B {\displaystyle B} 不等势。也就是说,存在一由 B {\displaystyle B} A {\displaystyle A} 的单射,但它们之间不存在一一对应。例如,实数集合 R {\displaystyle \mathbb {R} } 的势严格大于自然数集合 N {\displaystyle \mathbb {N} } 的势,因为内含映射 i : N R {\displaystyle i:\mathbb {N} \rightarrow \mathbb {R} } 是单射的,且可证明不存在一由 N {\displaystyle \mathbb {N} } R {\displaystyle \mathbb {R} } 的双射函数。

可数与不可数集合

假设选择公理成立,三分法就会成立于所有的势中,所以可以有以下的定义。

基数

主条目:基数 (数学)

注意,到目前为止,我们只是从函数的角度去定义势的概念:我们没有把一个集合的势真正地定义为一具体的对象。以下将略述此一处理方法。

等势可被视为在所有集合的类上的等价关系。一集合 A {\displaystyle A} 在此关系下的等价类包含所有和 A {\displaystyle A} 等势的集合。然后,接下来可以有两种定义“一集合的势”的处理方式。

但这样得出的等价类事实上是真类而不是集合,因此一般不采用这种定义。
最一般的选择是冯·诺伊曼基数指派。它通常被取为公理集合论中基数的定义。

集合 S {\displaystyle S} 的势通常标记为 | S | {\displaystyle |S|} 。其幂集的势则通常标记为 2 | S | {\displaystyle 2^{|S|}}

假定选择公理,无限集合的势可标记为

0 < 1 < 2 < . . . {\displaystyle \aleph _{0}<\aleph _{1}<\aleph _{2}<...} (对每一个序数 α {\displaystyle \alpha } α + 1 {\displaystyle \aleph _{\alpha +1}} 是第一个大于 α {\displaystyle \aleph _{\alpha }} 的势)。

自然数集的势标记为 0 {\displaystyle \aleph _{0}} ,而实数集的势则被标记为 c {\displaystyle \mathbf {c} } 。可以证明 c = 2 0 > 0 {\displaystyle \mathbf {c} =2^{\aleph _{0}}>{\aleph _{0}}} 。(请看对角论证法)。连续统假设断言不存在介于实数集的势和自然数集的势之间的基数,亦即 c = 1 {\displaystyle \mathbf {c} =\aleph _{1}}

例子和其他性质

证明:假设存在此一集合 X {\displaystyle X} 。然后设 Y {\displaystyle Y} X {\displaystyle X} 的幂集, | Y | = 2 | X | {\displaystyle |Y|=2^{|X|}} ,然而 | Y | > | X | {\displaystyle |Y|>|X|} (请看康托尔定理),导出矛盾。

另见

集合论
公理
  • 选择
    • 可数
    • 相关英语Axiom of dependent choice
  • 外延
  • 无穷
  • 配对
  • 幂集
  • 正则性
  • 并集
  • 马丁公理英语Martin's axiom
  • 公理模式
    • 替代
    • 分类
运算
  • 笛卡儿积
  • 德摩根定律
  • 交集
  • 幂集
  • 补集
  • 对称差
  • 并集
  • 概念
  • 方法
  • 基数(大基数)
  • 可构造全集英语Constructible universe
  • 连续统假设
  • 对角论证法
  • 元素
    • 有序对
    • 多元组
  • 集合族
  • 力迫
  • 一一对应
  • 序数
  • 超限归纳法
  • 文氏图
集合类型
  • 可数集
  • 空集
  • 有限集合(继承有限集合)
  • 模糊集
  • 无限集合
  • 递归集合
  • 子集
  • 传递集合
  • 不可数集
  • 泛集英语Universal set
理论
  • 可替代的集合论
  • 集合论
  • 朴素集合论
  • 康托尔定理
  • 策梅洛
    • 广义英语General set theory
  • 数学原理
    • 新基础
  • 策梅洛-弗兰克
    • 冯诺伊曼-博内斯-哥德尔
      • Morse–Kelley英语Morse–Kelley set theory
    • 克里普克–普拉特克英语Kripke–Platek set theory
    • 塔斯基–格罗滕迪克英语Tarski–Grothendieck set theory
  • 悖论英语Paradoxes of set theory
  • 问题
  • 罗素悖论
  • 萨斯林问题英语Suslin's problem
  • ZFC系统无法确定的命题列表
集合论者
  • 亚伯拉罕·弗兰克尔英语Abraham Fraenkel
  • 伯特兰·罗素
  • 恩斯特·策梅洛
  • 格奥尔格·康托尔
  • 约翰·冯·诺伊曼
  • 库尔特·哥德尔
  • 卢菲特·泽德
  • 保尔·贝尔奈斯英语Paul Bernays
  • 保罗·寇恩
  • 理查德·戴德金
  • 托马斯·耶赫英语Thomas Jech
  • 威拉德·蒯因
www.zuoweixin.com
问题反馈联系QQ:暂无联系方式,也可发qq邮箱。