第五百二十四章 序偶取代映射(集合論)
嘉當(dāng)和韋伊討論在撰寫《數(shù)學(xué)原理》時,里面有映射的概念,但是映射不是集合。
如果不能用集合論解釋的東西,時決不容于本書和布爾巴基學(xué)派里的。
嘉當(dāng)說:“原來咱們寫書的時候,帶著映射的概念,大家就不高興,要不就去掉吧。”
韋伊說:“主要當(dāng)時我們認(rèn)為映射這個概念太基本了,如果去掉,那我們?nèi)绾味x函數(shù)呢?再說,你要用什么樣的概念來取代映射?”
嘉當(dāng)說:“庫拉托夫斯基的序偶?!?p> 韋伊說:“是波蘭華沙數(shù)學(xué)學(xué)派的領(lǐng)袖人物。會不會沾波蘭數(shù)學(xué)的味?”
嘉當(dāng)說:“數(shù)學(xué)無國界,別管他們怎么說,偶序完全可以說明這個概念?!?p> 嘉當(dāng)寫下(a,b)={a,{a,b}}符號。
韋伊說:“左側(cè)是序偶,右側(cè)是集合。”
嘉當(dāng)說:“庫拉托夫斯基巧妙地避開了“對應(yīng)”、“映射”,將函數(shù)概念劃歸為集合?!?p> 韋伊說:“這比豪斯多夫關(guān)于“序偶”的定義更為簡單、明了?!?p> 嘉當(dāng)說:“下一版的時候,把映射的概念去掉吧,我們用序偶?!?