第501章 48.阿列夫不动点

1.广义序数。

教会普通人都有能力手搓广义序数。

2.阿列夫不动点系列(落后的定义)及计算器

f(x)>x,有f(x)必然有f(f(x)),f(f(f(x)))……

所谓不动点,即f(x)=x,

将阿列夫数代入不动点,我们可得阿列夫不动点(w_a=a)。

这其中包含阿列夫第一个不动点,阿列夫第二个不动点……

阿列夫第一个不动点>一切阿列夫数。

……

阿列夫个数不动点:

定义关系式g(x)=阿列夫第x+1个不动点。

g(x)=x即为阿列夫个数不动点。

阿列夫第一个个数不动点>一切阿列夫不动点。

……

阿列夫层数不动点:

定义关系式:g(x)=阿列夫第x+1个个数不动点。

g(x)=x即为阿列夫层数不动点。

阿列夫第一个层数不动点>一切阿列夫个数不动点。

………………

按照此套路如此类推,可继续得“阿列夫塔数不动点”“阿列夫塔群不动点”“……”

………………

阿列夫不动点计算器:

一元函数φ(x)=阿列夫第x+1个不动点。

φ(x)的弱极限为φ(w),可继续嵌套得φ(φ(w)),此为第二弱极限,φ(φ(φ(w)))此为第三弱极限……

这一切弱极限的极限为φ(φ(……φ(φ(w))……))(省略号代表能塞多少φ塞多少,塞不下为止),我们用φ(Ω)代指该极限,我们称之为第一个强极限。