事实上,在获得了那镇陲总督乱界浮梦的所有记忆之后。
穆苍就对这片庞大的疆域群落,有了一个更为深入也更加系统的了解。
按照其记忆里的信息可知,这片群落的正式名称,便是浮梦群落。
没错,此名称就取自于那镇陲总督乱界浮梦之名。
从这片广袤群落诞生起,祂就驻扎在此,至今已历不可达基数岁月时光。
不过,即便这片疆域群落如此广袤辽阔,可在那整个必然国度的一重重各级各阶国土防线当中,特别是在那个所谓的【衍易支干防线】里,却只能算是一处渺微至极的小小角落罢了。
而在这片各种各类数逻疆域总数目为超穷之数,并以穆苍所在之格罗滕迪克宇宙为架构核心的疆域群落之上的更大防线结构,便是名为【天藏】的无界穹环。
这座浩瀚无垠巨硕至极的穹环,赫然蕴含了总数目足有马洛基数(mahlocardals)座的具备各种规模与构造的疆域群落,浮梦群落只是其中之一。
至于所谓的马洛基数,又名马赫罗基数,则属于一种庞大到彻底凌驾于不可达基数,且又与不可达基数紧密相关的一类大基数。
通常来讲,所有的马洛基数都是不可达基数,但却并非所有的不可达基数,就都是马洛基数。
之所以如此,则是因为马洛基数本质上即是不可达基数的一个子类,或者说是不可达基数的一种超级加强版本。
譬如,若一个基数是最小的第λ个不可达基数,那么它就一定不是马洛基数。
同时,若一个基数是马洛基数,那么其集合当中的第λ个不可达基数之序列,在该基数中便是必然无界的。
至于马洛基数的公理结构具体表述起来,即是存在一个大基数k使得集合{λ<k:λ}在k中为不动集,而k的任意无界闭子集与前述集合相交,那么k就是马洛基数。
或可写为,若对任意k的无界闭子集c均存在一个不可达基数a∈c,则可称k为马洛基数。
同时,若存在a<k使得supaa?c,那么c就不是k的无界闭子集,反之则是。
还有,关于马洛基数弱的数理定义,即是要求它们在自身之下的所有正则基数的集合上形成一个平稳集,这是一个比单纯的不可达性还要更加强大的数学性质。
而若是要求它们在自身之下的所有不可达基数的集合上形成一个平稳集,便是强马洛基数。
同时这也就意味着,马洛基数不仅自身是不可达的,且它下方的不可达基数,在它之下亦会形成一个无界闭集。
除却这一性质外,马洛基数还拥有着其他的特殊性质。
例如,若一个基数是马洛基数,那么它就必定是第"它自身"个不可达基数。
之所以会这样,则是因为马洛基数下方的那由不可达基数构成的无界闭集,必须要包含有至少一个不可达基数,同时这个不可达基数绝对不能是马洛基数自身,否则它就将不再是无界的了。
抛却这些枯燥乏味的数学理论,总之只需要知道,不可达基数无论再怎样折腾,都永远无法超过马洛基数。
或者再讲的更细致一些,便是任何可定义的增长方式,只要不涉及马洛基数的存在性,那么任汝采用何种不可达基数的存在性,都会被马洛基数下的一个不可达基数完全封顶。