部分混乱无比(1 / 1)
这个不知道是什么时候的了,翻出来放在这里。而且docx文档转作家助手会同并段落,所以就没有再分。
堆的也无比混乱,可能出现穿插之类的
从阿列夫零领域里摘出的部分可数序数(实话实说吧,这个玩意是从妄想序列复制的定义:↑ck_1=Ω。ψ_i(=sup{Ω,Ω_Ω,Ω_Ω_Ω,……}ψ_Ω_ψ_(i(+1(=sup{ψ_i(,ψ_i(↑ψ_i(,ψ_i(↑ψ_i(↑ψ_i(,……}ψ_Ω_ψ_(i(+1(Ω_ψ_(i(+1=sup{,ψ_Ω_ψ_(i(+1(,ψ_Ω_ψ_(i(+1(ψ_Ω_ψ_(i(+1(,……}ψ_Ω_ψ_(i(+1(Ω_ψ_(i(+=sup{,ψ_Ω_ψ_(i(+1(,ψ_Ω_ψ_(i(+2(,……}ψ_i(i=sup{,ψ_i(,ψ_i(ψ_i(,……}ψ_i(ψ_i_2(=sup{ψ_i(Ω_(1+1,ψ_i(Ω_Ω_(1+1,ψ_i(Ω_Ω_Ω_(1+1,……}ψ_i(ψ_i_2(i=sup{ψ_i(ψ_i_2(,ψ_i(ψ_i_2(ψ_i(ψ_i_2(,ψ_i(ψ_i_2(ψ_i(ψ_i_2(ψ_i(ψ_i_2(,……}ψ_i(ψ_i_2(i_2=sup{ψ_i(ψ_i_2(,ψ_i(ψ_i_2(ψ_i_2(,ψ_i(ψ_i_2(ψ_i_2(ψ_i_2(,……}ψ_i_(=sup{i,i_2,i_3,……}ψ_(x(1,(=sup{i,i_i,i_i_i,……}x(1,:这是最小的递归不可达序数(它远大于不可递归序数,后面还有不可达序数、马洛序数、弱紧致序数、……、反射序数、……、稳定序数、……等等ψ_(x(m,=sup{x(1,s,x(x(1,,,x(x(x(1,,,,……}x(m,是最小的hyper_递归不可达序数。m是最小的不可达序数。Ξ(k,是最小的hyper_不可达序数。k是最小的马洛序数。
zfc集合论下,定义序数a为小于a的全体序数的集合。如=?,1={},2={,1},,,自然数的集合论定义和有限序数一样。然后我们定义=n={,1,2}就是全体自然数集合。然后+1={,1,2,}。总结一下,序数定义如下:=?a+1=au{a}x=u(a<x)a对极限序数x(不能写成a+1的非序数,如)基数的定义是,把序数按等势关系划分等价类,每一类中最小序数就是基数。其中有限基数,有限序数都和自然数一样,第1+a个无限基数叫阿列夫a(用x代表阿列夫,阿列夫是第一个无限基数),阿列夫a中的a取自然数或超限序数。,+1,*3,^等序数都可以和自然数集合建立一一对应关系,而是其中最小的,所以定义阿列夫==n。整数,有理数等基数也是阿列夫,(指可以和阿列夫建立一一对应,不是阿列夫这个基数的定义。)所有和x等势的集合叫可数无穷集。然后阿列夫1是势大于阿列夫的序数中最小者。阿列夫(a加一一定大于所有和阿列夫a等势的序数。所以x1比+,^,^^^等等都大。实数集r的基数是2^x(和自然数的幂集,即全体子集的集合等势),2^x=x1叫连续统假设,在zfc下不可证明或证伪。如果2^xa=x(a+1)叫广义连续统假设。实数可以用数轴表示,所以平面上的几何点就是笛卡尔积r*r,和r等势。曲线数量如果当成几何点的子集,那有2^2^x个(以下假定广义连续统假设,就说x2吧)。但你能想象的曲线形状和实数一样,只有x1个,剩下的都是实数的不可测集的坐标图像,这些曲线不可能用任意方案画出来或者描述出来。接下来x3是大于x2的第一个基数,x是大于所有xn(n∈n)的第一个基数,等等。
有这么一个数列,x,xx,xxx,,它的极限是x=xxx,其中x的套娃有层。那么xx=xxx(1+=个x)=x。这东西离大基数还无比遥远。我们把这数简记为x(1,),接下来让x(1,n)是第1+n个满足xx=x的数x。那x(1,1)=xxx(xxx+1)。然后x(2,n)表示第1+n个满足x(1,x)=x的数x,有x(2,)=xxx,其中x有xxx+1个,其中x有个。是一座有层的x塔。类似的,x(a+1,n)是第1+n个满足x(a,x)=x的数x,对极限序数a,x(a,n)是第1+n个满足x(s,x)=x的数x,对每个s