為什麼有序對一定要被定義為 a,b a , a,b 而不能是 a, b 呢?

時間 2021-06-01 14:04:33

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,要是遊戲中對面妹子公屏打字要我們讓讓她,我第乙個上去錘爆她。身為乙個女性玩家,我並不認為妹子應該被特殊照顧。不會走位?練啊!槍法不行?練啊!不然咧?打的好的妹子也不是沒有,我反感的是仗著自己是女孩子要求被 特殊照顧 的妹子們。性別並不是菜的理由,長點兒心吧。 乙個...