關燈 巨大 直達底部
親,雙擊螢幕即可自動滾動
第五百二十四章 序偶取代對映(集合論)

嘉當和韋伊討論在撰寫《數學原理》時,裡面有對映的概念,但是對映不是集合。

如果不能用集合論解釋的東西,時決不容於本書和布林巴基學派裡的。

嘉當說:“原來咱們寫書的時候,帶著對映的概念,大家就不高興,要不就去掉吧。”

韋伊說:“主要當時我們認為對映這個概念太基本了,如果去掉,那我們如何定義函式呢?再說,你要用什麼樣的概念來取代對映?”

嘉當說:“庫拉托夫斯基的序偶。”

韋伊說:“是波蘭華沙數學學派的領袖人物。會不會沾波蘭數學的味?”

嘉當說:“數學無國界,別管他們怎麼說,偶序完全可以說明這個概念。”

嘉當寫下(a,b)={a,{a,b}}符號。

韋伊說:“左側是序偶,右側是集合。”

嘉當說:“庫拉托夫斯基巧妙地避開了“對應”、“對映”,將函式概念劃歸為集合。”

韋伊說:“這比豪斯多夫關於“序偶”的定義更為簡單、明瞭。”

嘉當說:“下一版的時候,把對映的概念去掉吧,我們用序偶。”