势 (数学)

势（）在數學裡是指如果存在着从集合A到集合B的双射，那么集合A与集合B等势，记为A~B。一個有限集的元素個數是一個自然數，势標誌着该集合的大小。对于有限集，势为其元素的数量。比較無窮集裡元素的多寡之方法，可在集合論裡用集合的等勢和某集合的勢比另一個集合大這兩個概念來達到目的。

 集合比較 
設和為集合。稱它們等勢，指的是存在到一個雙射，即中的元素可以與中的元素一一對應起來。例子：集合與蘋果,馬,園丁等勢，這是因為「蘋果, 馬, 園丁」是兩個集合之間的一一對應。不過在這個例子中, 不用等勢的概念也知道它們的元素不多不少, 是3個。對於無窮集可舉一個例子如下：正偶數集合和自然數集合等勢，這是因為由公式所決定的函數是一個由到的雙射。

等勢的概念只能說明兩個（有限或無限）集合的元素是否「一樣多」的問題。那麼以下說明集合的元素是否比集合「多」的問題。稱「集合的勢不小於集合的勢」，若存在一個由到的單射。稱「集合的勢大於集合的勢」，若的勢不小於的勢，但和不等勢。也就是說，存在一由到的單射，但它們之間不存在一一對應。例如，實數集合的勢嚴格大於自然數集合的勢，因為內含映射是單射的，且可證明不存在一由到的雙射函數。

 可數與不可數集合 
假設選擇公理成立，三分法就會成立於所有的勢中，所以可以有以下的定義。

任何勢小於自然數集的集合稱為有限集合。
任何勢和自然數集一樣的集合稱為可數無限集合。
任何勢大於自然數集的集合稱為不可數集合。

 基數 

注意，到目前為止，我們只是從函數的角度去定義勢的概念：我們沒有把一個集合的勢真正地定義為一具體的對象。以下將略述此一處理方法。

等勢可被視為在所有集合的類上的等價關係。一集合在此關係下的等價類包含所有和等勢的集合。然後，接下來可以有兩種定義「一集合的勢」的處理方式。

直接把一集合的勢定義成其在等勢關係下的等價類。
但這樣得出的等價類事實上是真類而不是集合，因此一般不採用這種定義。
給每個等價類指定一個集合來代表它，將其定義為集合的勢。
最一般的選擇是馮·諾伊曼基數指派。它通常被取為公理集合論中基數的定義。

集合的勢通常標記為。其冪集的勢則通常標記為。

假定選擇公理，無限集合的勢可標記為
（對每一個序數，是第一個大於的勢）。

自然數集的勢標記為，而實數集的勢則被標記為。可以證明。（請看對角論證法）。連續統假設斷言不存在介於實數集的勢和自然數集的勢之間的基數，亦即。

 例子和其他性質 
集合與集合苹果, 橘子, 桃子有同樣的勢，因為它們都有三個元素。
若對於兩個集合和有 ≤ ，則存在一的子集使得。
若對於集合有，則稱具有连续统的势。
可以證明不存在一集合，使得對任一集合， ≤ 。

證明：假設存在此一集合。然後設為的冪集，，然而（請看康托爾定理），導出矛盾。

 另見 
 基數
 連續統假設 
 艾禮富數

注释

Category:无穷集合论基本概念
S