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