臨界点 (集合論)

集合論において、推移的クラスから推移的クラスへの初等埋め込みの 臨界点(りんかいてん) とは、その埋め込みによってそれ自身に写されない最小の順序数のことである。 p. 323

 が初等埋め込みであって、 と  は推移的クラスであって、 は  のパラメータを用いた集合論の論理式によって  内で定義可能なものとする。このとき、 は順序数を順序数に写し、狭義単調増加でなければならない。また、 となる。全ての  について  であって  であるとき、 を  の臨界点という。

 が V であるとき、 ( の臨界点) は常に可測基数、すなわち、κ は不可算基数であって、 上の -完備な非単項超フィルターが存在するものとなる。具体的には、フィルターは  としてとることができ、これにより初等埋め込みと超フィルターとの間に全単射が定義される。

 と  が等しく、 が  上の恒等写像であるとき、 は自明であるという。推移的クラス  が ZFC の内部モデルであって  が臨界点を持たない、すなわち全ての順序数がそれ自身に写されるとき、 は自明となる。

 出典 

Category:巨大基数
Category:数学に関する記事