此條目介紹的是數學上最常用的意義，即物件的個數。关于其他的意義，请见「**基數**」。

|  |
| --- |
| **的数** |
| **基本** |
| \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} 

 

|  |  |
| --- | --- |
| 正數 {\mathbb {R}}^{+}
自然数 \mathbb{N}
正整數 {\mathbb {Z}}^{+}
小数
有限小数
无限小数
循环小数
有理数 \mathbb{Q}
代數數 \mathbb{A}
实数 \mathbb {R} 
複數 \mathbb {C} 
高斯整數 \mathbb{Z}[i]
  | 负数 \mathbb{R}^-
整数 \mathbb {Z} 
负整數 {\displaystyle \mathbb {Z} ^{-}}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数 {\mathbb {I}}
二次無理數
艾森斯坦整数 {\displaystyle \mathbb {Z} [\omega ]}
  |

 |
| **延伸** |
| 
 

|  |  |
| --- | --- |
| 二元数
四元數 {\mathbb {H}}
八元数 \mathbb{O}
十六元數 \mathbb {S} 
超實數 {\displaystyle ^{\*}\mathbb {R} }
大實數
上超實數
  | 雙曲複數
雙複數
複四元數
共四元數（英语：）
超复数
超數
超現實數
  |

 |
| **其他** |
| 
 

|  |  |
| --- | --- |
| 質數 \mathbb {P} 
可計算數
基數
阿列夫數
同餘
整數數列
公稱值
  | 規矩數
可定义数
序数
超限数
*p*進數
数学常数
  |

圓周率 {\displaystyle \pi =3.14159265}…
自然對數的底 {\displaystyle e=2.718281828}…
虛數單位 {\displaystyle i={\sqrt {-{1}}}}
無窮大 \infty |
| * 
* 论
* 编
 |

在日常交流中，**基數**或**量數**是對應量詞的數，例如「一顆蘋果」中的「一」。與**序數**相對，序數是對應排列的數，例如「第一名」中的「一」及「二年級」中的「二」。

在數學上，**基數**或**势**，即集合中包含的元素的「个数」（參見势的比较），是日常交流中基數的概念在數學上的精確化（並使之不再受限於有限情形）。有限集合的基數，其意義與日常用語中的「基數」相同，例如\{a,b,c\}的基數是3。無限集合的基數，其意義在於比較兩個集的大小，例如整數集和有理數集的基數相同；整數集的基數比實數集的小。

歷史
--

阿列夫數Aleph-0,最小的無限基數
康托尔在1874年－1884年引入最原始的集合論（現稱樸素集合論）時，首次引入基數概念。
他最先考慮的是集合{\displaystyle \{1,2,3\}}和{\displaystyle \{2,3,4\}}，它們並非*相同*，但有*相同的基數*。驟眼看來，這是顯而易見，但究竟何謂兩個集合有相同數目的元素？

康托爾的答案，是所謂的一一對應，即把兩個集合的元素一對一的排起來——若能做到，兩個集合的基數自然相同。這答案，容易理解但卻是革命性的，因為用相同的方法即可比較任意集合的大小，包括無窮集合。

最先被考慮的無窮集合是自然數集{\displaystyle \mathbb {N} =\{1,2,3,...\}}及其無限子集。他把所有與\mathbb{N}能一一對應的集為可數集。令康托爾意外的是，原來\mathbb{N}的所有無限子集都能與\mathbb{N}一一對應。他把\mathbb{N}的基數稱為\aleph \_{0}，是最小的艾禮富數。

康托爾發現，原來有理數集合與代數數集合也是可數的。於是乎在1874年初，他嘗試證明是否所有無限集合均是可數，其後他得出了實數集不可數的結論。原先的證明用到了涉及區間套的複雜論證，而在他1891年的論文中，他以簡單而巧妙的對角論證法重新證明了這一結果。實數集的基數，記作c，代表連續統。

接着康托爾構作一個比一個大的集合，得出一個比一個大的基數，而這些巨大集合的元素已不可如實數般書寫出來。因此關於基數的一般理論，需要一個新的語言描述，這就是康托爾發明集合論的主因。

康托爾隨後提出連續統假設：c就是第二個超窮基數\aleph \_{1}，即継\aleph \_{0}之後最小的基數。現已知這假設是不能證明的，即接受或否定它會得出兩套不同但邏輯上可行的公理化集合论。

动机
--

在非正式使用中，**基数**就是通常被称为**计数**的东西。它们同一于开始于{\displaystyle 0}的自然数（就是{\displaystyle 0,1,2,\ldots }）。计数可以形式化地定义为有限基数，而无限基数出现在高等数学和逻辑中。

更正式地，一個非零的数可以用于两个目的：描述一个集合的大小，或描述一个元素在序列中位置。对于有限集合和序列，可以轻易的看出着两个概念是相符的，因为对于所有描述在序列中的一个位置的数，我们可以构造一个有正好大小的集合，比如3描述了c在序列{\displaystyle a,b,c,d,...}中的位置，并且我们可以构造有三个元素的集合{\displaystyle \{a,b,c\}}。但是在处理无限集合的时候，在这两个概念之间的区别是本质的—这两个概念对于无限集合实际上是不同的。考虑位置的方面會引申出序数的概念，而大小則被这里描述的**基数**所廣義化。

在基数的形式定义背后的直觀想法是，可以构造一个記號來指明集合的相对大小，而不需理會它有哪些種類的成员。对于有限集合这是容易的：只需简单的數算一个集合的成员数目。为了比较更大集合的大小，得借助更加巧妙的概念。

一个集合Y至少等大小于（或稱大于等于）一个集合X，如果有从X到Y的一个单射（一一映射）。一一映射对集合X的每个元素确定了一个唯一的集合Y的元素。通过例子就最易理解了；假设有集合{\displaystyle X=\{1,2,3\}}和{\displaystyle Y=\{a,b,c,d\}}，我们可以注意到有一个映射：

{\displaystyle 1\to a}
{\displaystyle 2\to b}
{\displaystyle 3\to c}
这是一对一的，使用上述的大小概念，我們因此總結出Y有大于等于X的势。注意元素d没有元素映射到它，但这是允许的，因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无限集合。

我们可以把这个概念扩展到一个類似於等式的关系。两个集合X和Y被称为有相同的"势"，如果存在X和Y之间的双射。通过Schroeder-Bernstein定理，这等价于有从X到Y和从Y到X的两个一一映射。我们接着記之为 {\displaystyle |X|=|Y|}。X的基数自身经常被定义为有着 {\displaystyle |a|=|X|} 的最小序数a。这叫做冯·诺伊曼基数指派；为使这个定义有意义，必须证明所有集合都有同某个序数一样的势；这个陈述就是良序原理。然而即使不給集合的勢指派一個名字，討論集合之間相對的勢還是可以的。

一個经典例子是无限旅馆悖论，也叫做希尔伯特旅馆悖论。假设你是有无限个房间的旅馆主人。旅馆客满，而又来了一个新客人。可以让在房间1的客人转移到房间2，房间2的客人转移到房间3，以此类推，腾空房间1的方式安置这个新客人。我们可以明确的写出这个映射的一个片段：

{\displaystyle 1\longleftrightarrow 2}
{\displaystyle 2\longleftrightarrow 3}
{\displaystyle 3\longleftrightarrow 4}
...
{\displaystyle n\longleftrightarrow n+1}
...
在这种方式下我们可以看出集合\{1,2,3,...\}和集合{\displaystyle \{2,3,4,...\}}有相同的势，因为已知这两个集合之间存在双射。这便給"无限集合"提供了一個合適的定義，即是與自身某個真子集有著相同的勢的任何集合；在上面的例子中{\displaystyle \{2,3,4,...\}}是\{1,2,3,...\}的真子集。

当我们考虑这些大对象的时候，我们还想看看计数次序的概念是否符合上述为无限集合定义的基数。事實上是不一致的；通过考虑上面的例子，我们可以看到如果有"比无限大一"的某个对象存在，它必须跟起初的无限集合有一样的势。這時候可以使用另一種稱為序数的形式概念，它是建基于计数并依次考虑每个数的想法上。而我们會发现，势和序（ordinality）的概念对于无限的情況是有分歧的。

可以证明实数的势大于刚才描述的自然数的势，透過对角论证法可以一目瞭然。跟势相關的经典问题（比如连续统假设）主要关注在某一对无限基数之间是否有別的基数。現時数学家已经在描述更大更大基数的性质。

因为基数是数学中如此常用的概念，有各种各样的名字指涉它。势相同有时也叫做等势、均势或等多（equipotence, equipollence, equinumerosity）。因此称有相同势的两个集合为等势的、均势的或等多的（equipotent, equipollent, equinumerous）。

定義
--

首先，給出集合X和Y，我們稱X的勢小於等於Y，記作 {\displaystyle |X|\leq |Y|}，當且僅當存在由X到Y的單射；稱X的勢與Y相等，記作 {\displaystyle |X|=|Y|}， 當且僅當存在由X到Y的雙射（即一一對應）。

康托尔-伯恩斯坦-施罗德定理指出如果 {\displaystyle |X|\leq |Y|} 及 {\displaystyle |Y|\leq |X|} 則 {\displaystyle |X|=|Y|}。 

假設選擇公理，所有集合都可良序，且對於所有集合X與Y，有 {\displaystyle |X|\leq |Y|} 或 {\displaystyle |Y|\leq |X|}。因此，我們可以定義序數，而
集合X的**基數**則是與X等勢的最小序數\alpha 。 

（若不接受選擇公理，我們也可對非良序集X定義基數，就是所有與X等勢的集的階中下确界。）

### 有限集的基数

自然數的一種定義是{\displaystyle 0=\{\},1=\{0\},2=\{0,1\},3=\{0,1,2\},\ldots ,N=\{0,1,\ldots ,N-1\}}。可以見到，與數N等勢的集必有N個元素。如集合{\displaystyle \{2,3,5\}}的基数为3。

以下是有限集的三個等價定義：它與某自然數等勢；它只有一個等勢的序數，就是它的基數；它沒有等勢的真子集。

### 无限集的基数

最小的無限集合是自然數集。{\displaystyle \{1,2,3,4,\ldots ,n,\ldots \}}与{\displaystyle \{2,4,6,8,\ldots ,2n,\ldots \}}基数相同，因为可以让前一集合的n与后一集合的2n一一对应。从这个例子可以看出，对于一个无穷集合来说，它可以和它的一个真子集有相同的基数。

以下是无限集的四個等價定義：它不與任何自然數等勢；它有超過一個等勢的序數；它有至少一个真子集和它等勢；存在由自然數集到它的單射。

基數算術
----

我們可在基數上定義算術運算，這是對自然數運算的推廣。

給出集合X與Y，定義 {\displaystyle X+Y=\{(x,0):x\in X\}\cup \{(y,1):y\in Y\}}，則基數和是

{\displaystyle |X|+|Y|=|X+Y|}。
若X與Y不相交，則 {\displaystyle |X|+|Y|=|X\cup Y|}。

基數積是

{\displaystyle |X||Y|=|X\times Y|}
其中{\displaystyle X\times Y}是X和Y的笛卡儿积。

基數指數是

{\displaystyle |X|^{|Y|}=|X^{Y}|}
其中{\displaystyle X^{Y}}是所有由Y到X的函數的集合。

在有限集時，這些運算與自然數無異。一般地，它們亦有普通算術運算的性質：

* 加法和乘法是可交換的，即 {\displaystyle |X|+|Y|=|Y|+|X|} 及 {\displaystyle |X||Y|=|Y||X|}
* 加法和乘法符合結合律，{\displaystyle (|X|+|Y|)+|Z|=|X|+(|Y|+|Z|)}及 {\displaystyle (|X||Y|)|Z|=|X|(|Y||Z|)}
* 分配律，即 {\displaystyle (|X|+|Y|)|Z|=|X||Z|+|Y||Z|}。
* {\displaystyle |X|^{|Y|+|Z|}=|X|^{|Y|}|X|^{|Z|}}
* {\displaystyle |X|^{|Y||Z|}=(|X|^{|Y|})^{|Z|}}
* {\displaystyle (|X||Y|)^{|Z|}=|X|^{|Z|}|Y|^{|Z|}}

無窮集合的加法及乘法（假設選擇公理）非常簡單。若X與Y皆非空而其中之一為無限集，則

{\displaystyle |X|+|Y|=|X||Y|=\max\{|X|,|Y|\}}
注意{\displaystyle 2^{|X|}}是X的幂集之基數。由对角论证法可知{\displaystyle 2^{|X|}>|X|}，是以並不存在最大的基數。事实上，基数的类是真类。

還有些關於指數的性質：

* {\displaystyle |X|^{0}=1}（特别地，{\displaystyle 0^{0}=1}）。
* {\displaystyle 0^{|Y|}=0}，若Y非空。
* {\displaystyle 1^{|Y|}=1}。
* 若{\displaystyle |X|\leq |Y|}，則 {\displaystyle |X|^{|Z|}\leq |Y|^{|Z|}}。
* 若 |X| 和 |Y| 俱有限且大於1，而Z是無窮集，則 {\displaystyle |X|^{|Z|}=|Y|^{|Z|}}。
* 若X是無窮而Y是有限及非空，則 {\displaystyle |X|^{|Y|}=|X|}。

基數序列及連續統假設
----------

条目：连续统假设
對每一個基數，存在一個最小比它大的基數。這在自然數當然是對的。自然數集的基數是\aleph \_{0}，康托尔稱下一個為\aleph \_{1}，相类似的，还定义了如下一个序列：\aleph\_0, \aleph\_1,\ldots,\aleph\_n \ldots。

设c=2^{\aleph\_0}。连续统假设猜想，就是c=\aleph\_1。

連續統假設是與一般集論公理（即Zermelo-Fraenkel公理系統加上選擇公理）是獨立的。

更一般的假設，即\aleph\_{n+1}=2^{\aleph\_n}。

广义连续统假设，就是對所有無窮基數 \aleph ，都不存在介乎\aleph 與2^\aleph 之間的基數。

參考文獻
----

* Hahn, Hans, *Infinity*, Part IX, Chapter 2, Volume 3 of *The World of Mathematics*. New York: Simon and Schuster, 1956.
* Halmos, Paul, *Naive set theory*. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).

外部链接
----

* 
* Infinite Ink: Cardinal Numbers（页面存档备份，存于）

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数的系統 |
| --- |
|  |
| 可數集 | 
* 自然数 ({\mathbb N})
* 整数 (\mathbb Z)
* 有理数 (\mathbb {Q} )
* 規矩數
* 代數數 ({\displaystyle \mathbb {A} })
* 周期（英语：）
* 可計算數
* 可定义数
* 高斯整數 (\mathbb{Z}[i])
* 艾森斯坦整数

 |
|  |
| 合成代數（英语：） | 
* 可除代數（英语：）：实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})

 |
|  |
| 凯莱－迪克森结构 | 
* 实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})
* 十六元數 ({\displaystyle \mathbb {S} })
* 三十二元數
* 六十四元數
* 一百二十八元數
* 二百五十六元數……

 |
|  |
| 分裂形式 | 
* 於{\displaystyle \mathbb {R} }：雙曲複數
* 分裂四元数
* 分裂複四元數（英语：）
* 分裂八元數（英语：） 於{\displaystyle \mathbb {C} }：雙複數
* 複四元數
* 複八元數（英语：）

 |
|  |
| 其他超複數 | 
* 二元数
* 二元四元數（英语：）
* 二元複數（英语：）
* 雙曲四元數（英语：）
* 十六元數  ({\displaystyle \mathbb {S} })
* 三十二元數
* 分裂複四元數（英语：）
* 多重複數
* 幾何代數（英语：）
	+ 物理空間代數（英语：）
	+ 時空代數（英语：）
* 三元數
	+ 無法良好構建
* 六元數

 |
|  |
| 其他系統 | 
* 基數
* 擴展自然數（英语：）
* 無理數
* 模糊數（英语：）
* 超實數
* 列維-奇維塔域（英语：）
* 超現實數
* 超越數
* 序数
* *p*進數
* 超自然數（英语：）
* 上超實數（英语：）

 |
|  |
| 
* 分類
* 列表级条目 列表（英语：）

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理（英语：）

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 托马斯·耶赫（英语：）
* 威拉德·蒯因

 |

 |