手机浏览器扫描二维码访问
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费!“行走于V家世界(.shg.tw)”!
1.关于人类数学里集合论的一些阐述。
问:很多人都说阿列夫一是阿列夫零的幂集,或者2的阿列夫零次方(阿列夫零对应ω,而无限盒子就是ω的ω次方了),可是根据战力圈的说法,阿列夫一又是ω无论如何堆叠都无法到达的。这两种说法是否矛盾?而且阿列夫一是全体实数的集合,如何证明ω无论如何堆叠自身都无法抵达它的大小?连续统假设中,2的阿列夫零次方就等于阿列夫一,是否与图中ω的无穷次幂都无法到达阿列夫一相矛盾?
ω的ω次方肯定不会<2的ω次方吧?
答:次方的定义:
a^b=b个a相乘,
2的阿列夫0次方就是阿列夫0个2相乘,
运算中出现极限序数的情况,我们是取其下序数的运算极限的情况,
2^阿列夫0就是,
2^1,2^2,2^3,2^4,……这一系列运算结果的极限,也还是阿列夫0,
之所以如此,是因为次方运算的定义是:
a^(b+1)=a×(a^b),
这样依赖于“前一步”,它是基于乘法次数的延伸,
但极限序数不存在前一个序数。
“2^阿列夫0”之所以表示更大基数,是因为这种记法在集合论中也是函数集的记法,a^b是:b到a的函数的集合,
严格的写应该是|2^阿列夫0|=阿列夫1,|X|表示集合X的基数,只是一般会省略,
阿列夫a是第1+a个无穷基数,
阿列夫0就是第1+0个无穷基数,阿列夫1就是下一个无穷基数,
康托认为2^阿列夫0的基数就是阿列夫0之后的下一个无穷基数,也就是阿列夫1,
|2^阿列夫0|=阿列夫1,
这句话就是所谓的连续统假设,以前的科普都会默认连续统假设成立。
ω是你要叠堆的目标时,首先你就不能使用ω本身或者包括ω的总体来叠堆它,
所以ω+1或阿列夫1用1就超越阿列夫0了这种叠堆是不算数的,
而被叠堆得到是指,5和4均小于10,但5×4大于10。
而5×4等于+5重复4次,从a开始的叠堆你可以抽象的理解为以a为起点的类推序列,这个序列的长度为b,然后上界就是类推的结果,
5,5+5,5+5+5,5+5+5+5,
5和4均小于10,但这个序列的上界是20。
2^ω=ω,
ω^ω=ω^1,ω^2,ω^3,……这个序列的上界,也是你们说的无限盒子。
问:那如何证明阿列夫一(实数集)无法被ω无限堆叠之后抵达?
答:实际上,我们称这种无法从下方抵达的序数叫基数,这样阿列夫1才算是本性的超越了无限,基数是一种特殊的序数,比它小的序数都不存在和它之间的双射,所有有限序数和可数无穷序数的集合就是阿列夫1,所有有限序数的集合则是阿列夫0。
你简单这样理解就好了,
龙珠开局:拐走传超布罗利 他把星星摘给我 灵物进化商 鸿蒙教皇 哈利波特之Hello黑魔王 魔王你老婆又重生了 尸唐:开局救了长乐公主 最牛玉帝系统 都市超级闲汉 魔武机神 大唐西游之最强网吧 人在盗笔,我妹妹惹不起 兵王之极品老板娘 快穿之超凶萌宠 五域九天 斗罗之真君显圣 诸天之从吊打五绝开始 宙灵世界 我觉醒了高达独角兽 你好,我的上官先生
横行由作者断刃天涯创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供横行全文无弹窗的纯文字在线阅读。...
七年后她携三个萌宝归来复仇,可她怎么也没想到,当她离开时他会已经堵上门来了。...
新炎黄历八百年,世界早已告别古修真时代,步入现代。交流共赢,既竞争又合作是当前时代的主流。有人一只宝葫炼万物。有人大梦平生我先觉。有人天生神人起凡尘未知的道理,无尽的星空是所有修士共同的全新征途。一艘先进程度超越时代,却又来历神秘的彼岸神舟,载着少年沈健驶向宇宙大航海时代。新时代修真,未来在星空,乘风破浪会有时...
重生成了一头猪,不沮丧,因为俺是天地间最伟大的猪。别人吃虎还需费心扮猪,俺就不用扮,因为俺是本色演出!...
全城惊闻!傅家大少竟娶了个傻子当傅太太,人人都等着看他们什么时候离婚收场,结果傅大少却把傻子宠上了天。傅太太每天只想吃饭睡觉赚大钱,傅大少每天跟在后面大把大把给傅太太撒钱,连眼皮都不抬一下。某日,云雨过后,傅太太扒着矜贵男人老公,我们离婚吧。傅大少骗够了我的钱就想甩了我?天底下哪有白吃的午餐?傅太太怒,每天胡搅蛮缠求离婚,众人惊诧,傅大少却云淡风轻乖,别闹。...
闺蜜背叛,未婚夫出轨,秦思甜本想凭借自己手撕白莲,狠虐渣男,却没想到竟然就被越城最有名望的陆令山看上了,还对她步步紧逼!不仅帮她认清渣男嘴脸,更是各种日常宠溺,令她招架不住。后来,她才知道,她是他的药,第一次见面,他就想将她独宠入怀!...