,x会是x中无限递增的序数的极限,
或者准确点说,对于x中每个小于x的序数a,都会存在另一个比x小的序数b大于a。
比如,wxw中的极限点就是:x3这些极限序数。w^w中的极限点就是其中的极限序数,而{阿列夫w+a:a∈wxw}中的极限点则是阿列夫wxn那些,序数的极限点就是其中的所有极限序数。但序数的集合或基数的集合不一定是序数的情况,极限序数和极限基数孤身一人,就是看其中有没有相对表现的像极限序数的成员。
现在,已知u中存在k中阿列夫不动点的集合b,那么h(b)就是b中极限点的集合,这个集合其实就是那些第极限序数个不动点,比如第w个,第wxn个,这些极限点构成的集合就在u中,然后,既然在u中,记为h1,那么h(h1)就也在u中,这一次其中还剩下什么序数?
h1中只有wxn之类的数变成了后继序数的类似物,其极限点就是,这样的极限点,或者说w^n,再一次筛选,就只剩下这样的极限点。
这样堆叠太慢了。
修改条件:
h(x)={x∈x:x是x中第x大的序数}。
b是阿列夫不动点的集合,
则h(b)={a∈b:a是b中依序枚举函数的不动点}。
因为b是阿列夫不动点的集合,所以b中按序数顺序枚举的函数f(a)就等于第a个阿列夫不动点。
h(b)中的序数则是在b中在该函数下的不动点。
若a是第a个阿列夫不动点,我们称作1-阿列夫不动点,
若a是第a个1-阿列夫不动点,我们就称作2-阿列夫不动点,
称k为a+1-阿列夫不动点,当且仅当k是第k个a-阿列夫不动点,
定义记号h0=b
ha+1=h(ha),
不难看出,x∈ha意味着x是a-阿列夫不动点。
懂了没?
被启示者:……
——啊也是,阿列夫不动点之间差距突然太大了。
第1个第2个不动点在朴素直观上是w+w这样可数序数长的阿列夫叠加序列,这还是可数序数长,
但a是第a个阿列夫不动点,这个叠加长度有叠加长度本身表达的基数那么长,就一瞬暴涨到不知道哪去了。
……
救赎之神教会的最高主神是太一,太一象征着绝对的一,不存在任何行为与动作,一切描绘太一的词汇都是可有可无的,去掉这些不必要的对于太一来说无意义的词汇,你会发现描述太一除了“太一”这个两字外,再无任何更加贴切的词汇了。
太一除了“一”之外再无其他,这是最为纯粹的一,纯粹到任何面对太一的人都是除了一还会是什么都茫然无措。
当然,虽然救赎之神名叫太一,但救赎之神并不只局限于太一,太一相对于救赎之神来说只是无限个微不足道的侧面之一,是救赎之神的伟大荣光折叠于哲学之中的一种形式。
…………”
“……这些颂词我都快听烦了。”颂词换了两三个人来念,念了七八个小时,洛晨曦无聊的翻了个白眼,觉得自己过来是个错误决定,“念来念去除了数学就是哲学,唔……算了,回去吧,调戏调戏弱音老婆,好久都没看到弱音老婆了,有点想她。”
请收藏:https://m.bqg4.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)