到達不能基数

ウィキペディア

到達不能基数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/10 20:49 UTC 版)

集合論において、非可算基数 κ が弱到達不能基数（じゃくとうたつふのうきすう、英: weakly inaccessible）であるとは、それが正則な極限基数であることを言い、強到達不能基数 (strongly inaccessible) または単に到達不能基数 (inaccessible) であるとは、κ 未満の任意の基数 λ に対し、$2^{\lambda }<\kappa$ を満たす正則基数であることを言う。