基数钱砀渝测(cardinal number)在数学上,是集合论中刻画任意集合大小的一个概念。两个能余践甍尝够建立元素间一一对应的集合称为互相对等集合。例如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的任何子集对等。