supercompact cardinal(超紧致基数)是集合论中的一种大基数概念,强度很高。直观地说,它表示某个无限基数 \(\kappa\) 具有极强的“可反映/可延拓”性质:对任意足够大的层级与任意目标大小 \(\lambda\),都能通过合适的结构嵌入(常用表述是存在某种初等嵌入 \(j:V\to M\))使得 \(\kappa\) 在许多方面表现得像“非常强的极限点”,并且能控制到任意 \(\lambda\) 的规模。
(该术语属于高等集合论;在不同教材中会以等价刻画出现。)
/ˌsuːpərˈkɑːmpækt ˈkɑːrdənəl/
A supercompact cardinal is a type of large cardinal.
超紧致基数是一类大基数。
Assuming a supercompact cardinal can yield strong consistency results in set theory, especially in areas related to forcing and reflection principles.
假设存在超紧致基数,常可在集合论中导出很强的相容性结果,尤其与强迫法和反映原理等主题相关。
super- 表示“超、极其”,compact 来自拉丁语 compactus(“紧密的、紧凑的”),在数学中常与“紧致性(compactness)”这一类性质相关;cardinal 源自拉丁语 cardinalis(“主要的、基本的”),在数学里指“基数”。“supercompact cardinal”字面上可理解为“具有极强‘紧致性’特征的基数”,但其正式定义是集合论中通过嵌入/超滤等工具给出的精确定义。