基数钱砀渝测(cardinalnumber)在数学上,是集合论中刻画任意集合大小的一个概念。两个能余践甍尝够建立元素间一一对应的集合称为互相对等集合。例如3个人的集合和3匹马的集合可以建立一一对应,是两个对等的集合。
基数算术:
我们可在基数上定义若干算术运算,这是对自然数运算的推广。给定集合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|=|X^Y|,其中X^Y是所有由Y到X的函数的集合。
基数可以比较大小:
假设A,B的基数分别是a,β,即|A|=a,|B|=β,如果A与B的某个子集对等,就称A的基数不大于B的基数,记作a≤β,或β≥a。如果a≤β,但a≠β(即A与B不对等),就称A的基数小于B的基数,记作a<β,或β>a。
在承认选择公理的情况下,可以证明基数的三歧性定理——任何两个集合的基数都可以比较大小,即不存在集合A和B,使得A不能与B的任何子集对等,B也不能与A的任何子集对等。