基数(数学)
在数学上,基数(cardinalnumber)也叫势(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ο,是最少的超穷基数(transfinitecardinalnumbers)。
康托尔发现,原来有理数集合与代数数集合也是可数的!于是乎在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千克。
基数量的标准由军队高层根据本国工业生产水平、军队的携行能力、武器装备的战术技术性能和一般的消耗规律统一规定。
使用术语基数的优点在于简单化、规范化,便于计算、供应、记忆和保密,方便部队指挥和保障:便于上级下达军事命令、指示和其他行文,也便于各级军械部门计算弹药数量,报告弹药保障程度。