阿列夫數
在集合論中,阿列夫數或艾禮富數是一連串超窮基數。其標記符號為 ℵ (由希伯來字母א(aleph)演變而來)加角標表示。 可數集(包括自然數)的勢標記為,下一個較大的勢為,再下一個是,以此類推。一直繼續下來,便可以對任一序數 α 定義一個基數。 這一概念來自於康托尔,他定義了勢,並认识到无穷集合是可以有不同的勢的。 阿列夫數与一般在代數與微積分中出現的無限 (∞) 不同。阿列夫數用来衡量集合的大小,而無限只是在極限的寫法中出現,或是定義成擴展的實數軸上的端點。某些阿列夫數會大於另一些阿列夫數,而無限只是無限而已。 構造性定義阿列夫數的直觀定義並沒有解釋什麽叫“下一個較大的勢”,也沒有證明是否存在“下一個較大的勢”。即便承認對任意的基數都存在更大的基數,是否存在“下一個較大的勢”使得這個基數和“下一個較大的基數”之間不再有其他的基數仍然是個問題。下面的構造型定義解決這個問題:[1]:28
阿列夫1是所有可數序數集合的勢,稱為 ω1或有時為Ω。這個ω1本身是一個比所有可數序數更大的序數,因此它為一個不可數集。 數“阿列夫”在中國大陸,實數集的基數常被記爲𝖈或 ℵ,卽 ℵ := ℶ₁,這樣連續統假設就常常被表述爲 ℵ = ℵ₁.閲讀相關讀物時應避免混淆。人們在學數學分析(微積分)時常常以爲自己時常遇到的是阿列夫数,事實上他們遇到的是 “ℵ”或“𝖈”,卽角標爲1的 ℶ 數。除非討論集合論,否則阿列夫数將是最不常用的基數之一。 另見註釋參考文獻外部連結 |
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve