我地可以做一個思想實驗
睇吓如果我地用subset嚟定義cardinality會有咩問題
首先,最少嘅無限並唔存在
如果X係最細嘅infinite set,咁喺X入面是但掉走一個element,我地就得到一個細啲嘅infinite set,矛盾
雖然你可以唔信axiom of choice嘅,我都吹你唔漲
其次,呢個並唔係一個total order,即係唔係所有嘅set都可以比大小
你可以判斷到整數比雙數多
但係你答唔到雙數定質數多
同埋你連單數定雙數多都答唔到
最後,攞返你個example
如果0至100嘅數字多過0至1嘅數字
咁你就即係話f(x)=100x呢條function憑空變咗啲數字出嚟
所以subset呢個定義睇落去好似好直觀
但係越諗就越唔對路
返嚟單數多定雙數多呢個間題
我諗大家嘅直覺都會答一樣多
你可以諗吓你點解會得出呢個結論
大多數人嘅諗法(好似係)都係將啲數撮成一對
好似(1,2), (3,4), (5,6), ... 咁樣
咁其實呢個就正正係用bijection嘅定義
呢個定義違反直覺嘅位就係pairing up嘅方法唔一定係最直接嘅辦法
喺啲人比較整數定雙數多嘅時候
佢地可能會淨係將雙數同雙數pair up,留返啲單數喺度鳩fing
咁就會有整數比雙數多嘅錯覺
但係如果你要亂咁排嘅話,單數同雙數都可以亂咁排
例如(1,100), (3, 300), (5, 500)呢個排法會淨低好多雙數
咁唔通單數就比雙數多?
於是我地又歸納出一個原則
因為個pairing係我地自己憑空諗出嚟,唔係本身個infinite set有嘅野
所以兩個infinite set嘅cardinality係唔應該受到pairing up嘅方法影響
所以你最後見到嘅definition係there exists a bijection
即係你求其搵到個方法排好曬佢地就得
例如整數同雙數之間嘅bijection就係f(x) = 2x
咁我地就有(1,2), (2,4), (3,6), ... 呢個pairing
呢個定義嘅後果就係好鬼多野都係同一個cardinality
例如質數,正整數,整數,有理數個cardinality都係一樣
但係我地無辦法再細分而唔出現奇怪嘅情況
所以都係唯有接受