1樓:超濾空間
這樣定義的要點是保證下述「有序對公理」成立:
abcd(〈a,b〉=〈c,d〉→ a = c ∧ b = d).
不管怎樣定義〈a,b〉,只要能使上述「有序對公理」成立即可。我們甚至可以直接把 〈,〉 作為初始符號引入形式系統,然後加上上述「有序對公理」作為形式系統的初始公理(對於這種處理方式,見 Bourbaki 的 Theory of Sets)。
如果按照你所說的方式定義,即〈a,b〉= },那麼「有序對公理」是不成立的:此時,我們有
事實上,最早把有序對定義為集合的人是 Wiener (1914),他的定義是:
〈a,b〉= ,},}}.
容易驗證,這個定義也可以使「有序對公理」成立。
現在流行的定義,即〈a,b〉= ,},由 Kuratowski (1921) 給出。
文獻:Wiener, N. 1914, A simplification of the logic of relations, Proc.
Cambridge Philos. Soc. 17, 387--390.
Kuratowski, K. 1921, Sur la notion d'ordre dans la théorie des ensembles. Fund.
Math. 2, 161--171.
為什麼自己的付出一定要被別人看到?
首先,關於你那個室友為什麼總是去圖書館學習,我個人猜測可能是圖書館的學習環境好,能夠快速讓自己沉浸在學習的氣氛中,在宿舍裡學習的話,如果不是自制力很強很強的大神是很容易被分散注意力被打擾的,另外,就算不想學習,圖書館有那麼多書,隨便看一本感興趣的書也未嘗不是好事,可能書中的某個小想法就改變你的人生了...
為什麼長得不好看一定要被排擠?
先蹲個坑,開個頭。首先我覺得這個問題是有一點問題的,因為不是每乙個所謂不是那麼好看的都會被排擠,非要這麼問,沒有理由,因為它根本就是乙個站不住腳的假命題。我真的很感謝我遇到的所有人,他們讓我感受到了環境的美好影響。身處環境中的人的思想,很大程度上影響了你的處境。不能說排擠吧但至少會被比較職場上學校中...
為什麼妹子玩遊戲就一定要被特殊對待?
LadyBlanche sorry,要是遊戲中對面妹子公屏打字要我們讓讓她,我第乙個上去錘爆她。身為乙個女性玩家,我並不認為妹子應該被特殊照顧。不會走位?練啊!槍法不行?練啊!不然咧?打的好的妹子也不是沒有,我反感的是仗著自己是女孩子要求被 特殊照顧 的妹子們。性別並不是菜的理由,長點兒心吧。 乙個...