Remove ads

(英语:Cardinality)在数学里是指如果存在着从集合A到集合B的双射,那么集合A与集合B等势,记为A~B。一个有限集的元素个数是一个自然数,势标志着该集合的大小。对于有限集,势为其元素的数量。比较无穷集里元素的多寡之方法,可在集合论里用集合的等势和某集合的势比另一个集合大这两个概念来达到目的。[注 1]

集合比较

为集合。称它们等势,指的是存在一个双射,即中的元素可以与中的元素一一对应起来。例子:集合苹果,马,园丁等势,这是因为“苹果, 马, 园丁”是两个集合之间的一一对应。不过在这个例子中, 不用等势的概念也知道它们的元素不多不少, 是3个。对于无穷集可举一个例子如下:偶数集合自然数集合等势,这是因为由公式所决定的函数是一个由的双射。

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

Remove ads

可数与不可数集合

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

  • 任何势小于自然数集的集合称为有限集合。
  • 任何势和自然数集一样的集合称为可数无限集合。
  • 任何势大于自然数集的集合称为不可数集合。

基数

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

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

  • 直接把一集合的势定义成其在等势关系下的等价类。
但这样得出的等价类事实上是真类而不是集合,因此一般不采用这种定义。
  • 给每个等价类指定一个集合来代表它,将其定义为集合的势。
最一般的选择是冯·诺伊曼基数指派。它通常被取为公理集合论基数的定义。

集合的势通常标记为。其幂集的势则通常标记为

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

(对每一个序数是第一个大于的势)。

自然数集的势标记为,而实数集的势则被标记为。可以证明。(请看对角论证法)。连续统假设断言不存在介于实数集的势和自然数集的势之间的基数,亦即

Remove ads

例子和其他性质

  • 集合与集合苹果, 橘子, 桃子有同样的势,因为它们都有三个元素。
  • 若对于两个集合,则存在一子集使得
  • 若对于集合,则称具有连续统的势
  • 可以证明不存在一集合,使得对任一集合

证明:假设存在此一集合。然后设幂集,然而(请看康托尔定理),导出矛盾。

Remove ads

另见

注释

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Remove ads