首先有下面定理：
這里的符號(hào)
分別表示恒等映射和函數(shù)映射。
上述證明中用到的定理2和定理4分別如下：
以上定理7容易看懂。
這個(gè)定義與自然數(shù)集的定義相對(duì)比：
前者是阿列夫?，后者是阿列夫零??。
以上的證明比較簡(jiǎn)單，只要建立一個(gè)相對(duì)應(yīng)的函數(shù)就可以了。
另外，集合（0，1）和集合[0,1]對(duì)等，是因?yàn)閮烧叨际菬o限集，而集合（0，1）是集合[0,1]的真子集，按照定理2即可得出結(jié)論。
由以上結(jié)論還可以推測(cè)，全體實(shí)數(shù)集合與（0，1）中的任何一個(gè)真子集都等勢(shì)，也就是任意一個(gè)開區(qū)間，無論這個(gè)開區(qū)間多小。
以上推理表示，無理數(shù)集合實(shí)際上包括有理數(shù)集合與無理數(shù)集合兩部分，而且有理數(shù)集合可數(shù)無理數(shù)集合不可數(shù)，所以我們可以認(rèn)為，無理數(shù)集合中的元素個(gè)數(shù)必有理數(shù)集合多得多。
版權(quán)聲明：本文內(nèi)容由互聯(lián)網(wǎng)用戶自發(fā)貢獻(xiàn)，該文觀點(diǎn)僅代表作者本人。本站僅提供信息存儲(chǔ)空間服務(wù)，不擁有所有權(quán)，不承擔(dān)相關(guān)法律責(zé)任。如發(fā)現(xiàn)本站有涉嫌抄襲侵權(quán)/違法違規(guī)的內(nèi)容， 請(qǐng)發(fā)送郵件至89291810@qq.com舉報(bào)，一經(jīng)查實(shí)，本站將立刻刪除。
