regular cardinal(正则基数):集合论中的一个基数 \(\kappa\),满足它的共终数(cofinality)等于它本身,即 \(\mathrm{cf}(\kappa)=\kappa\)。直观上说:\(\kappa\) 不能被“更少个(小于 \(\kappa\) 个)更小的基数/序数的并”逐步逼近到 \(\kappa\)。
(补充:与之相对的是 singular cardinal(奇异基数),其 \(\mathrm{cf}(\kappa)<\kappa\)。)
/ˈrɛɡjələr ˈkɑːrdɪnəl/
regular 来自拉丁语 regularis,意为“按规则的、规律的”;cardinal 来自拉丁语 cardinalis,意为“主要的、枢纽的”,在数学中引申为“表示数量大小的(基数)”。“regular cardinal” 作为术语用于区分“结构上不易被更小规模组合逼近”的基数,与 “singular cardinal” 构成对照。
\(\aleph_0\) is a regular cardinal.
\(\aleph_0\) 是一个正则基数。
If \(\kappa\) is a regular cardinal, many transfinite constructions can proceed by induction of length \(\kappa\) without collapsing at limit stages.
如果 \(\kappa\) 是正则基数,许多超限构造可以进行长度为 \(\kappa\) 的归纳,并且在极限阶段不易出现“合并后突然越界”的问题。