大萌蛇提示您:看后求收藏(炎黄中文www.yhzw.org),接着再看更方便。
事实上,在获得了那镇陲总督乱界浮梦的所有记忆之后。
穆苍就对这片庞大的疆域群落,有了一个更为深入也更加系统的了解。
按照其记忆里的信息可知,这片群落的正式名称,便是浮梦群落。
没错,此名称就取自于那镇陲总督乱界浮梦之名。
从这片广袤群落诞生起,祂就驻扎在此,至今已历不可达基数岁月时光。
不过,即便这片疆域群落如此广袤辽阔,可在那整个必然国度的一重重各级各阶国土防线当中,特别是在那个所谓的【衍易支干防线】里,却只能算是一处渺微至极的小小角落罢了。
而在这片各种各类数逻疆域总数目为超穷之数,并以穆苍所在之格罗滕迪克宇宙为架构核心的疆域群落之上的更大防线结构,便是名为【天藏】的无界穹环。
这座浩瀚无垠巨硕至极的穹环,赫然蕴含了总数目足有马洛基数(Mahlo cardinals)座的具备各种规模与构造的疆域群落,浮梦群落只是其中之一。
至于所谓的马洛基数,又名马赫罗基数,则属于一种庞大到彻底凌驾于不可达基数,且又与不可达基数紧密相关的一类大基数。
通常来讲,所有的马洛基数都是不可达基数,但却并非所有的不可达基数,就都是马洛基数。
之所以如此,则是因为马洛基数本质上即是不可达基数的一个子类,或者说是不可达基数的一种超级加强版本。
譬如,若一个基数是最小的第λ个不可达基数,那么它就一定不是马洛基数。
同时,若一个基数是马洛基数,那么其集合当中的第λ个不可达基数之序列,在该基数中便是必然无界的。
至于马洛基数的公理结构具体表述起来,即是存在一个大基数κ使得集合{λ<κ:λ}在κ中为不动集,而κ的任意无界闭子集与前述集合相交,那么κ就是马洛基数。
或可写为,若对任意κ的无界闭子集C均存在一个不可达基数α∈C,则可称κ为马洛基数。
同时,若存在α<κ使得supC∩α=α?C,那么C就不是κ的无界闭子集,反之则是。
还有,关于马洛基数弱的数理定义,即是要求它们在自身之下的所有正则基数的集合上形成一个平稳集,这是一个比单纯的不可达性还要更加强大的数学性质。
而若是要求它们在自身之下的所有不可达基数的集合上形成一个平稳集,便是强马洛基数。