| | | ①一、二、三…一百、三千等普通整数，区别于第一、第二、第三…第一百、第三千等序数。②作为计算标准或起点的数目。 | | | 用于表示事物个数的数。如一、二、三……一百、三千等普通整数，区别于第一、第二、第三……第一百、第三千等序数。 | | | 统计中计算“动态指标”时用作对比基础的数值。 | | 基数（数学）
在数学上，基数(cardinal number)也叫势(cardinality)，指集合论中刻画任意集合所含元素数量多少的一个概念。两个能够建立元素间一一对应的集合称为互相对等集合。例如3个人的集合和3匹马的集合可以建立一 一对应，是两个对等的集合。根据对等这种关系对集合进行分类，凡是互相对等的集合就划入同一类。这样，每一个集合都被划入了某一类 。任意一个集合a所属的类就称为集合a的基数，记作(或｜a｜，或carda)。这样，当a 与b同属一个类时，a与b 就有相同的基数，即。而当 a与b不同属一个类时，它们的基数也不同。即。 如果把单元素集的基数记作1，两个元素的集合的基数记作2，等等，则任一个有限集的基数就与通常意义下的自然数一致 。空集的基数也记作σ 。于是有限集的基数也就是传统概念下的“个数”。但是，对于无穷集，传统概念没有个数，而按基数概念，无穷集也有基数，例如，任一可数集（也称可列集）与自然数集n有相同的基数，即所有可数集是等基数集。不但如此，还可以证明实数集r与可数集的基数不同，即。所以集合的基数是个数概念的推广。基数可以比较大小。假设a，b的基数分别是a，β，即＝a，＝β，如果a与b的某个子集对等，就称 a 的基数不大于b的基数，记作a≤β，或β≥a。如果 a≤ β，但a≠β（ 即a与b不对等 ），就称a的基数小于b的基数，记作a＜β，或β＞a。基数可以进行运算。设＝a ，＝β，且 a∩b＝，则规定为a 与β之和记作＝a ＋β。设＝a，＝β，a×b为 a与b的积集，规定为 a 与β的积，记作＝a·β。
◆历史
康托尔在1874年～1884年引入最原始的集合论（现称朴素集合论）时, 首次引入基数概念。 他最先考虑的是集合 {1,2,3} 和 {2,3,4}，它们并非相同，但有相同的基数。骤眼看来，这是显而易见，但究竟可谓两个集合有相同数目的元素？
康托尔的答案，是所谓一一对应，即把两个集合的元素一对一的排起来——若能做到，两个集合的基数自然相同。这答案，容易理解但却是革命性的，因为用相同的方法即可比较任意集合，包括无穷集合的大小。
最先被考虑的无穷集合是自然数集 n = {1, 2, 3, ...} 及其无限子集。他把所有与 n 能一一对应的集为可数集。大出康托尔意外，原来 n 的所有无限子集都能与 n一一对应！他把n的基数称为nο，是最少的超穷基数（transfinite cardinal numbers）。
康托尔发现，原来有理数集合与代数数集合也是可数的！于是乎在1874年初，他尝试证明是否所有无限集合均是可数，稍后他得出著名的对角论证法，实数集是不可数的。实数集的基数，记作c，代表连续统。
接着康托尔构作一个比一个大的集合，得出一个比一个大的基数，而这些巨大集合的元素已不可如实数般书写出来。因此关于基数的一般理论，需要一个新的语言描述，这就是康托尔发明集合论的主因。
康托尔随后提出连续统假设： c 就是第二个超穷数n1, 即継nο之后最小的基数。多年后，数学家发现这假设是不能证明的，即接受或否定它会得出两套不同但逻辑上可行的公理化集合论。
◆动机
在非形式使用中，基数就是通常被称为计数的东西。它们同一于开始于 0 的自然数(就是 0, 1, 2, ...)。计数严格的是可形式定义为有限基数的东西。无限基数只出现在高级数学和逻辑中。
更加形式的说，非零数可以用于两个目的: 描述一个集合的大小，或描述一个元素在序列中位置。对于有限集合和序列，可以轻易的看出着两个概念是相符的，因为对于所有描述在序列中的一个位置的数，我们可以构造一个有精确的正好大小的集合，比如 3 描述 'c' 在序列 <'a','b','c','d',...> 中的位置，并且我们可以构造有三个元素的集合 {a,b,c}。但是在处理无限集合的时候，在这两个概念之间的区别是本质的 — 这两个概念对于无限集合实际上是不同的。考虑位置示象(aspect)导致序数，而大小示象被这里描述的基数所普遍化。
在基数形式定义背后的直觉是构造一个集合的相对大小的概念而不提及它有那些成员。对于有限集合这是容易的；你可以简单的计数一个集合的成员的数目。为了比较更大集合的大小，必须借助更加微妙的概念。
一个集合 y 是至少等大小于或大于等于一个集合 x，如果有从 x 的元素到 y 的元素的一个单射(一一映射)。一一映像对集合 x 的每个元素确定了一个唯一的集合 y 的元素。这通过例子是最容易理解的；假设我们有集合 x = {1,2,3} 和 y = {a,b,c,d}，则使用这个大小概念我们可以观察到有一个映射:
1 → a
2 → b
3 → c
这是一对一的，因此结论出 y 有大于等于 x 的势。注意元素 d 没有元素映像到它，但这是允许的，因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无限集合。
我们可以扩展这个概念到一个等式风格的关系。两个集合 x 和 y 被称为有相同的势，如果存在 x 和 y 之间的双射。通过 schroeder-bernstein定理，这等价于有从 x 到 y 和从 y 到 x 的两个一一映射。我们接着写为 | x | = | y |。x 的基数自身经常被定义为有着 | a | = | x | 的最小序数 a。这叫做冯·诺伊曼基数指派；为使这个定义有意义，必须证明所有集合都有同某个序数一样的势；这个陈述就是良序原理。然而有可能讨论集合的相对的势而不用明确的指派名字给对象。
在无限旅馆悖论也叫做希尔伯特大旅馆悖论中使用的经典例子。假设你是有无限个房间的旅馆的主人。旅馆客满，而又来了一个新客人。有可能通过让在房间 1 的客人转移到房间 2，房间 2 的客人转移到房间 3 以此类推，腾空房间 1 的方式安置这个新客人。我们可以明确的写出这个映射的一个片段:
1 ↔ 2
2 ↔ 3
3 ↔ 4
...
n ↔ n+1
...
在这种方式下我们可以看出集合 {1,2,3,...} 和集合 {2,3,4,...} 有相同的势，因为已经展示了这两个集合之间的双射。这激发了定义无限集合是有着相同的势的真子集的任何集合；在这个情况下 {2,3,4,...} 是 {1,2,3,...} 的真子集。
当我们考虑这些大对象的时候，我们还想看看计数次序的概念是否符合上述为无限集合定义的基数。碰巧不符合；通过考虑上面的例子，我们可以看到“比无限大一”某个对象存在，它必须有同我们起初的无限集合有一样的势。有可能使用基于计数并依次考虑每个数的想法的叫做序数的不同的数的形式概念，而我们发现势和序(ordinality)的概念对于无限数是有分歧的。
可以证明实数的势大于刚才描述的自然数的势。这可以使用对角论证法来可视化；势的经典问题(比如连续统假设)关心发现在某一对无限基数之间是否有某个基数。最近数学家已经描述了更大更大基数的性质。
因为基数是数学中如此常用的概念，使用了各种各样的名字。势相同有时叫做等势、均势或等多(equipotence, equipollence, equinumerosity)。因此称有相同势的两个集合为等势的、均势的或等多的(equipotent, equipollent, equinumerous)。
◆基数算术
我们可在基数上定义若干算术运算，这是对自然数运算的推广。给出集合 x 与 y，定义 x+y={(x,0):x ∈ x} ∪ {(y,1):y ∈ y}，则基数和是|x| + |y| = |x + y|。 若 x 与 y 不相交，则 |x| + |y| = |x ∪ y|。基数积是|x| |y| = |x × y|，其中 x × y 是 x 和 y 的笛卡儿积。基数指数是|x||y| = |xy|，其中 xy 是所有由 y 到 x 的函数的集合。
在有限集时，这些运算与自然数无异。一般地，它们亦有普通算术运算的等质：
加法和乘法是可置换的，即 |x|+|y|=|y|+|x| 及 |x||y|=|y||x|。
加法和乘法适合结合律，(|x|+|y|)+|z|=|x|+(|y|+|z|) 及 (|x||y|)|z|=|x|(|y||z|)
分配律，即 (|x|+|y|)|z|=|x||z|+|y||z|。
|x||y| + |z| = |x||y| |x||z|
|x||y| |z| = (|x||y|)|z|
(|x||y|)|z| = |x||z| |y||z|
无穷集合的加法及乘法（假设选择公理）非常简单。若 x 与 y 皆非空而其中之一为无限集，则|x| + |y| = |x||y| = max{|x|, |y|}. （注意 2| x | 是 x 的幂集之基数。由对角论证法可知 2| x | > | x |，是以并不存在最大的基数。事实上，基数的类是真类。）
还有些关于指数的有趣性质：
|x|0 = 1 (很奇怪地 00 = 1)。
0|y| = 0 若 y 非空。
1|y| = 1。
|x| ≤ |y| 则 |x||z| ≤ |y||z|。
若 |x| 和 |y| 俱有限且大于 1，而 z 是无穷，则 |x||z| = |y||z|。
若 x 是无穷而 y 是有限及非空，则 |x||y| = |x|。
◆基数序列及连续统假设
对每一个基数，存在一个最小比它大的基数。这在自然数当然是对的。自然数集的基数是nο，康托尔称下一个是 n1，相类似的,还定义了如下一个序列: nο, n1, …nn…。
注意c＝nο。连续统假设猜想，就是 c＝n1。
连续统假设是与一般集论公理（即zermelo-fraenkel 公理系统加上选择公理）是独立的。
更一般的假设，即nn+1＝2nn（2的nn次）。
广义连续统假设，就是对所有无穷基数n，都不存在界乎 n与 2n（2的n次）之间的基数。
基数（语言学）
在语言学中，基数是对应量词的“数”，例如在以下句子中的“一”及“四”：
有一个橙，有四个柑。
序数是对应排列的“数”，例如在以下句子中的“一”及“二”：
这人一不会打字，二不懂速记，所以不可以做秘书。
在某些语言如英语，基数one,two,three和序数first,second,third是不同的。
基数（军事）
军事术语基数是弹药等军械物资供应的一种计算单位，基数量是对单项装备或人员规定的物资数量或重量，对于枪炮即为弹药基数，常用于储备、请领、报销、补充弹药。例如：7.62毫米半自动步枪的一个弹药基数量为200发枪弹，一门82迫击炮一个弹药基数是120发炮弹，100人份的战救药物一个基数量为9千克。
基数量的标准由军队高层根据本国工业生产水平、军队的携行能力、武器装备的战术技术性能和一般的消耗规律统一规定。
使用术语基数的优点在于简单化、规范化，便于计算、供应、记忆和保密，方便部队指挥和保障：便于上级下达军事命令、指示和其他行文，也便于各级军械部门计算弹药数量，报告弹药保障程度。 | | 在数学上，基数(cardinal number)也叫势(cardinality)，指集合论中刻画任意集合所含元素数量多少的一个概念。两个能够建立元素间一一对应的集合称为互相对等集合。例如3个人的集合和3匹马的集合可以建立一 一对应，是两个对等的集合。根据对等这种关系对集合进行分类，凡是互相对等的集合就划入同一类。这样，每一个集合都被划入了某一类。任意一个集合A所属的类就称为集合A的基数，记作(或｜A｜，或cardA)。这样，当A 与B同属一个类时，A与B 就有相同的基数，即|A|=|B|。而当 A与B不同属一个类时，它们的基数也不同。
如果把单元素集的基数记作1，两个元素的集合的基数记作2，等等，则任一个有限集的基数就与通常意义下的自然数一致 。空集的基数也记作σ 。于是有限集的基数也就是传统概念下的“个数”。但是，对于无穷集，传统概念没有个数，而按基数概念，无穷集也有基数，例如，任一可数集（也称可列集）与自然数集N有相同的基数，即所有可数集是等基数集。不但如此，还可以证明实数集R与可数集的基数不同。所以集合的基数是个数概念的推广。
基数可以比较大小。假设A，B的基数分别是a，β，即|A|＝a，|B|＝β，如果A与B的某个子集对等，就称 A 的基数不大于B的基数，记作a≤β，或β≥a。如果 a≤ β，但a≠β（ 即A与B不对等 ），就称A的基数小于B的基数，记作a＜β，或β＞a。在承认策梅罗(Zermelo)选择公理的情况下，可以证明基数的三岐性定理——任何两个集合的基数都可以比较大小，即不存在集合A和B，使得A不能与B的任何子集对等，B也不能与A的任何子集对等。
基数可以进行运算 。设|A|＝a ，|A|＝β，且 A∩B是空集，则规定为a 与β之和记作＝a ＋β。设|A|＝a，|B|＝β，A×B为 A与B的积集，规定为 a 与β的积，记作＝a·β。
◆历史
康托尔在1874年～1884年引入最原始的集合论（现称朴素集合论）时, 首次引入基数概念。 他最先考虑的是集合 {1,2,3} 和 {2,3,4}，它们并非相同，但有相同的基数。骤眼看来，这是显而易见，但究竟何谓两个集合有相同数目的元素？
康托尔的答案，是所谓一一对应，即把两个集合的元素一对一的排起来——若能做到，两个集合的基数自然相同。这答案，容易理解但却是革命性的，因为用相同的方法即可比较任意集合，包括无穷集合的大小。
最先被考虑的无穷集合是自然数集 N = {1, 2, 3, ...} 及其无限子集。他把所有与 N 能一一对应的集为可数集。大出康托尔意外，原来 N 的所有无限子集都能与 N一一对应！他把N的基数称为Nο(读做阿列夫零，阿列夫是希伯来文的第一个字母)，是最少的超穷基数（transfinite cardinal numbers）。
康托尔发现，原来有理数集合与代数数集合也是可数的！于是乎在1874年初，他尝试证明是否所有无限集合均是可数，稍后他得出著名的对角论证法，实数集是不可数的。实数集的基数，记作c，代表连续统。
接着康托尔构作一个比一个大的集合，得出一个比一个大的基数，而这些巨大集合的元素已不可如实数般书写出来。因此关于基数的一般理论，需要一个新的语言描述，这就是康托尔发明集合论的主因。
康托尔随后提出连续统假设： c 就是第二个超穷数N1, 即継Nο之后最小的基数。多年后，数学家发现这假设是不能证明的，即接受或否定它会得出两套不同但逻辑上可行的公理化集合论。
◆动机
在非形式使用中，基数就是通常被称为计数的东西。它们同一于开始于 0 的自然数(就是 0, 1, 2, ...)。计数严格的是可形式定义为有限基数的东西。无限基数只出现在高级数学和逻辑中。
更加形式的说，非零数可以用于两个目的: 描述一个集合的大小，或描述一个元素在序列中位置。对于有限集合和序列，可以轻易的看出着两个概念是相符的，因为对于所有描述在序列中的一个位置的数，我们可以构造一个有精确的正好大小的集合，比如 3 描述 'c' 在序列 <'a','b','c','d',...> 中的位置，并且我们可以构造有三个元素的集合 {a,b,c}。但是在处理无限集合的时候，在这两个概念之间的区别是本质的 — 这两个概念对于无限集合实际上是不同的。考虑位置示象(aspect)导致序数，而大小示象被这里描述的基数所普遍化。
在基数形式定义背后的直觉是构造一个集合的相对大小的概念而不提及它有那些成员。对于有限集合这是容易的；你可以简单的计数一个集合的成员的数目。为了比较更大集合的大小，必须借助更加微妙的概念。
一个集合 Y 是至少等大小于或大于等于一个集合 X，如果有从 X 的元素到 Y 的元素的一个单射(一一映射)。一一映像对集合 X 的每个元素确定了一个唯一的集合 Y 的元素。这通过例子是最容易理解的；假设我们有集合 X = {1,2,3} 和 Y = {a,b,c,d}，则使用这个大小概念我们可以观察到有一个映射:
1 → a
2 → b
3 → c
这是一对一的，因此结论出 Y 有大于等于 X 的势。注意元素 d 没有元素映像到它，但这是允许的，因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无限集合。
我们可以扩展这个概念到一个等式风格的关系。两个集合 X 和 Y 被称为有相同的势，如果存在 X 和 Y 之间的双射。通过 Schroeder-Bernstein定理，这等价于有从 X 到 Y 和从 Y 到 X 的两个一一映射。我们接着写为 | X | = | Y |。X 的基数自身经常被定义为有着 | a | = | X | 的最小序数 a。这叫做冯·诺伊曼基数指派；为使这个定义有意义，必须证明所有集合都有同某个序数一样的势；这个陈述就是良序原理，它等价于选择公理。然而有可能讨论集合的相对的势而不用明确的指派名字给对象。
在无限旅馆悖论也叫做希尔伯特大旅馆悖论中使用的经典例子。假设你是有无限个房间的旅馆的主人。旅馆客满，而又来了一个新客人。有可能通过让在房间 1 的客人转移到房间 2，房间 2 的客人转移到房间 3 以此类推，腾空房间 1 的方式安置这个新客人。我们可以明确的写出这个映射的一个片段:
1 ↔ 2
2 ↔ 3
3 ↔ 4
...
n ↔ n+1
...
在这种方式下我们可以看出集合 {1,2,3,...} 和集合 {2,3,4,...} 有相同的势，因为已经展示了这两个集合之间的双射。这激发了定义无限集合是有着相同的势的真子集的任何集合；在这个情况下 {2,3,4,...} 是 {1,2,3,...} 的真子集。
当我们考虑这些大对象的时候，我们还想看看计数次序的概念是否符合上述为无限集合定义的基数。碰巧不符合；通过考虑上面的例子，我们可以看到“比无限大一”某个对象存在，它必须有同我们起初的无限集合有一样的势。有可能使用基于计数并依次考虑每个数的想法的叫做序数的不同的数的形式概念，而我们发现势和序(ordinality)的概念对于无限数是有分歧的。
可以证明实数的势大于刚才描述的自然数的势。这可以使用对角论证法来可视化；势的经典问题(比如连续统假设)关心发现在某一对无限基数之间是否有某个基数。最近数学家已经描述了更大更大基数的性质。
因为基数是数学中如此常用的概念，使用了各种各样的名字。势相同有时叫做等势、均势或等多(equipotence, equipollence, equinumerosity)。因此称有相同势的两个集合为等势的、均势的或等多的(equipotent, equipollent, equinumerous)。
◆基数算术
我们可在基数上定义若干算术运算，这是对自然数运算的推广。给出集合 X 与 Y，定义 X+Y={(x,0):x ∈ X} ∪ {(y,1):y ∈ Y}，则基数和是|X| + |Y| = |X + Y|。 若 X 与 Y 不相交，则 |X| + |Y| = |X ∪ Y|。基数积是|X| |Y| = |X × Y|，其中 X × Y 是 X 和 Y 的笛卡儿积。基数指数是|X||Y| = |XY|，其中 XY 是所有由 Y 到 X 的函数的集合。
在有限集时，这些运算与自然数无异。一般地，它们亦有普通算术运算的等质：
加法和乘法是可置换的，即 |X|+|Y|=|Y|+|X| 及 |X||Y|=|Y||X|。
加法和乘法适合结合律，(|X|+|Y|)+|Z|=|X|+(|Y|+|Z|) 及 (|X||Y|)|Z|=|X|(|Y||Z|)
分配律，即 (|X|+|Y|)|Z|=|X||Z|+|Y||Z|。
|X||Y| + |Z| = |X||Y| |X||Z|
|X||Y| |Z| = (|X||Y|)|Z|
(|X||Y|)|Z| = |X||Z| |Y||Z|
无穷集合的加法及乘法（假设选择公理）非常简单。若 X 与 Y 皆非空而其中之一为无限集，则|X| + |Y| = |X||Y| = max{|X|, |Y|}.
记 2 ^ | X | 是 X 的幂集之基数。由对角论证法可知 2 ^ | X | > | X |，是以并不存在最大的基数。事实上，基数的类是真类。
还有些关于指数的有趣性质：
|X|0 = 1 (很奇怪地 00 = 1)。
0|Y| = 0 若 Y 非空。
1|Y| = 1。
|X| ≤ |Y| 则 |X||Z| ≤ |Y||Z|。
若 |X| 和 |Y| 俱有限且大于 1，而 Z 是无穷，则 |X||Z| = |Y||Z|。
若 X 是无穷而 Y 是有限及非空，则 |X||Y| = |X|。
◆基数序列及连续统假设
对每一个基数，存在一个最小比它大的基数。这在自然数当然是对的。自然数集的基数是Nο，康托尔称下一个是 N1，相类似的,还定义了如下一个序列: Nο, N1, …Nn…。
注意c＝Nο。连续统假设猜想，就是 c＝N1。
连续统假设是与一般集论公理（即Zermelo-Fraenkel 公理系统加上选择公理）是独立的。
更一般的假设，即Nn+1＝2Nn（2的Nn次）。
广义连续统假设，就是对所有无穷基数N，都不存在界乎 N与 2N（2的N次）之间的基数。 | | 在语言学中，基数是对应量词的“数”，例如在以下句子中的“一”及“四”：
有一个橙，有四个柑。
序数是对应排列的“数”，例如在以下句子中的“一”及“二”：
这人一不会打字，二不懂速记，所以不可以做秘书。
在某些语言如英语，基数one,two,three和序数first,second,third是不同的。 | | 军事术语基数是弹药等军械物资供应的一种计算单位，基数量是对单项装备或人员规定的物资数量或重量，对于枪炮即为弹药基数，常用于储备、请领、报销、补充弹药。例如：7.62毫米半自动步枪的一个弹药基数量为200发枪弹，一门82迫击炮一个弹药基数是120发炮弹，100人份的战救药物一个基数量为9千克。
基数量的标准由军队高层根据本国工业生产水平、军队的携行能力、武器装备的战术技术性能和一般的消耗规律统一规定。
使用术语基数的优点在于简单化、规范化，便于计算、供应、记忆和保密，方便部队指挥和保障：便于上级下达军事命令、指示和其他行文，也便于各级军械部门计算弹药数量，报告弹药保障程度。
也有用于暗语
如：两个基数炮弹、三个基数燃料。这里的基数可以是100发，也可以是500发，但具体是多少则由通讯各方事先约定。 | | 以下的质疑常见于初学者以及“民间科学家”，其根本问题在于数学基础比较差，没有理解势的意义，而想当然地把某些直观感觉作为结论来使用。
保留本段作为反面教材，读者不难发现“反驳”中的逻辑错误。
等势（等基数）的概念。
设A、B是两个集，如果存在一个A到B的一一对应，那么称集A与集B等势（或相似、或对等、或等奇数），记为A～B，规定空集跟自身等势。
而等势的概念是我们建立势的理论从而对集合进行比较的基础。
例如，正偶数集合和自然数集，ψ:n->2n，即可使得两集合之间建立一一对应，因此他们是等势的。”
反驳：
对等的方法，只能在有限集比较中有效。扩展到无限集是不可信的。
例：“问：某班学生人数与教室的凳子数哪个多？最笨但也最显然的方法是规定每个学生都去坐在凳子上，而且一个学生只能坐一张凳子。最后，如果有学生没坐到凳子，那么便是学生多。如果最后有凳子空着，那么便是凳子多。”
如果是有限数量，可以用一对一的方法比较，无限数量，不行。
假设来个副校长，要求每两个学生坐一个凳子，然后他检查了教室一，教室2，教室三......他看到的每个教室都是如此，后面的教室他认为不用检查了（或根本不可能检查完——无穷的概念），于是他宣布，本学校凳子数量，正好是学生数量的一半。
第二天，又来个副校长，要求每个学生坐一个凳子，然后他检查了教室一，教室2，教室三......他看到的每个教室都是如此，后面的教室他认为不用检查了（或根本不可能检查完——无穷的概念），于是他宣布，本学校凳子数量，正好等于学生数量。
两位自以为是的校长都有可能是对的，也可能是错的，方法不对。
在有限集的比较过程中，关键不在建立了怎样的对应关系，关键在于我们要比较到最后，至少一个集合结束了，而另一个集合中元素数量已经超过对比集合数量，而且还没结束，我们才能证明一个集合建立的对应关系比另一个集合数量多。
自然数集中可以抽出偶数集，跟偶数集完全一一对应，而自然数集还有剩余元素，因此我们可以得到结论：自然数集比偶数集多。
康托尔对角线证明
现在来证明实数区间[0, 1]中所有的实数组成的集合是不可列集。
其实只要证明(0,1]区间的实数集是不可列的。如果它是可列的，说明其中所有的实数均可排列成一数列t1,t2,...,tn,...，只有这样，它才能对等于自然数集。好，这时我们将(0,1]中的实数用十进制的无限小数表示：
t1 = 0. t11 t12 t13 ... t1n ...
t2 = 0. t21 t22 t23 ... t2n ...
...
tm = 0. tm1 tm2 tm3 ... tmn ...
...
其中所有的tij都是0～9这十个数字中的某一个。
但是现在我们可以构造一个小数a=0. a1 a2 a3 ... ak ...，任意的ai也都是0～9这十个数字中的某一个，但我们让每个ai都不等于上述实数列中的tii，也就是让第i位的数字跟数列中第i行第i个数字不同。这是可行的，因为我们用的是十进制小数，还剩下9个不同数字可供选择呢。
当我们构造好了这样的一个小数之后，我们发现它实际上跟上述小数列中的任何一个都不相等。这就造成了逻辑上的矛盾，你说已经把所有小数都列出来了，但是我却发现至少我构造的这个小数，你还没有罗列出来。就算你亡羊补牢，把我这个也补充进去，但是我还是可以根据同样规则又构造出另一个。所以，只能说明实数是无法跟可列集形成一一对应的，也就是前面的假设是错误的。
因此[0, 1]区间的实数不是可列集。同样，取掉0，1两个数之后的(0,1)区间的实数也不是可列集。
反驳：
无限集都是不可写全的，比如跟本不能写出一个(0,1)之间小数位最长的有理数，因此本证明的假设条件不成立，其它一切都无效。除非新构造的不是实数，否则只能证明假设将所有实数列出的假设不成立。所以康托尔对角线证明法不成立。而事实上，如果允许等势的概念存在，所有无穷集，都等势。总是你有一个元素，我就能拿出一个元素对应，同样也都可以你拿1个我拿2个，或相反，你拿2个我拿1个，都是能永远对应的，没有尽头。 | | jishu
基数
cardinal number
又称势，集合论基本概念之一，是日常用以表示多少的数的概念的推广和发展。按照G.(F.P.)康托尔的原意，集合□的基数是一切与□ 具有等势关系的集(即存在一个双射把集合□的全部元素映成另一集合的全部元素)的共同特征,是对□的元素进行属性及次序双重抽象之后的结果,所以用□表示(较多用|□|)。(F.L.)G.弗雷格与B.A.W.罗素分别在1884年与1902年把□ 定义为所有与集□ 等势的集所成之集，即□＝{□｜□～□}。这一定义虽然形式简单明了,但在ZFC系统中却不能证明它构成一个集合。事实上，{□｜B～A}对于任何非空集□，是一个真类。因为由{□|B～A}是一个集可以推出所有的集合也构成一个集，而这是著名的康托尔悖论(1899)与罗素悖论(1903)产生的根源。1928年J.冯·诺伊曼建议用一个特殊的与□等势的集,即所有与□等势的序数中最小的一个作为□的基数,这样的序数称为初始序数,根据计数定理与序数的良序性，对于任何集□,它所对应的初始序数是必定存在且惟一的。两个集□、□具有相同基数的充要条件是□□～□，这完全符合G.康托尔的原意。当集的基数为有限序数时，称该基数为有限基数，否则称为超限基数。它们所对应的集分别称为有限集与无限集。可以证明集 A为无限的充要条件是存在□的一个真子集□1,使得□1～□。□与自然数集□等势的集称为可数集，它的基数是□，但习惯上常用□0表示。整数集□、有理数集□、整系数多项式集□[□]、代数数集、□ 维欧氏空间□□中的格子点集等都是可数集的例子。每一个无限集都存在可数子集，而可数集的任一无限子集必为可数集。在基数序的意义下,□0是最小的无限基数，即可数集是最小的无限集。可数集与有限集一起合称至多可数集。非可数的无限集称不可数集。无理数集、超越数集、区间(□,□)中的点集、[0,1]上的连续函数集□[0，1]、□维空间□□的点集、定义在[□,□]上的函数集等等都是不可数集的例子。
设□、β为两个基数，□、□为两个集,|□|=□,|□|=β，可以定义基数的大小关系及和、积、幂等运算如下：
□ ≤β当且仅当存在一个从□到□的单射；
□ □＋β=|{0}×□∪{1}×□|；
□□β=｜□×□｜；
□□=｜□□│,其中□□ ={□:□→□}。在上述定义中，虽然形式上需要通过集□、□来表述，但事实上它们都只与□、β有关,而不依赖于□、□的选取。即对于任何集□、□，只要｜□｜=□,｜□｜=β,所得的结果就保持不变。这就保证了定义的合理性。此外和与积还能推广到任意基数列□□(β □，
□。对于任何基数□、β、□，下列性质成立。
① 传递性：若□ ≤β且β≤□则□ ≤□。
② 自反性：□ ≤□。
③ 反对称性：若□ ≤β且β≤□ 则□ ＝β。
④ 强连结性：□ ≤β与β≤□ 二者必居其一。
⑤ 结合律：□ +(β+□)=(□ +β)+□；
□ (β·□)=(□ ·β)·□。
⑥ 交换律：□＋β＝β＋□；□□β=β□□。
⑦ 存在恒等元：0＋□＝□；1·□＝□。
⑧ 分配律：□ (β+□)=□□β+□□□。
⑨ 同底幂的积：□。
⑩ 幂的幂：□。
(11)积的幂：□。
性质①～④说明基数的≤是一个全序关系，其中性质③称为康托尔-伯恩斯坦定理,它是集合论中的一个重要定理，可用以确定若干集合的基数。1895年G.康托尔给出了这一命题的等价形式：设□、□为两个集合,若□与□的子集□1等势,□与□的子集□1等势,则□与□等势;并在基数可比较的前提下给予证明。1896年F.W.K.E.施罗德在一篇论文的 | | - : basic number, cardinality, Base Number
- n.: base, floor, operand, radix, cardinal number
- v.: cardinal numbers (any of the digits from 1 to 9)
| | - n. nombre cardinal
| | |
|
|