打开主菜单

势 (数学)

集合的元素个数的测度
(重定向自势的比较

數學裡,一個有限集的元素個數是一個自然數,势標誌着该集合的大小。对于有限集,势为其元素的数量。比較無窮集裡元素的多寡之方法,可在集合論裡用集合的等勢某集合的勢比另一個集合大這兩個概念來達到目的。

  • 注意:在某些語境下(尤其是本文),勢的概念只用於比較兩個無窮集的元素多寡,而不能直接指稱某集合的「元素個數」。要達到後一目的,可以使用基數的概念。
  • 在一般語境下,尤其是當一切都定義好了以後,也經常使用勢作爲基數的同義詞。

集合比較编辑

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

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

可數與不可數集合编辑

假設選擇公理成立,三分法就會成立於所有的勢中,所以可以有以下的定義。

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

基數编辑

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

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

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

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

假定選擇公理,無限集合的勢可標記為

 (對每一個序數  是第一個大於 的勢)。

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

例子和其他性質编辑

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

證明:假設存在此一集合 。然後設  冪集 ,然而 (請看康托爾定理),導出矛盾。

另見编辑