作者st1009 (前端攻城師)
看板Math
標題[離散] 集合論的公設
時間Sun Mar 13 12:10:16 2016
不好意思各位大大>///<
我最近學習離散老師教給我集合論的十大公設，
其中有一條礙於數學底子不過看不太懂，
懇請各位大大出手相助!!
Replacement given a predicate P(u,v)
∀x∀u∀v(([P(x,u)ΛP(x,v)]->u=v)->∀w∃z∀v(v∈z iff ∃u[u∈wΛP(u,v)])
就是這句，我該如何讀他，如何理解它呢?
尤其是P是什麼意思<(_ _)>
--
往昔所造諸罪業
皆由無始貪瞋癡
從身語意之所生...
一切，我今皆懺悔!
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.151.69
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1457842232.A.157.html
推 Pieteacher : Power set? 03/13 16:53
推 LPH66 : 這個應該是替代公理, 不是冪集公理 03/13 18:09
→ LPH66 : P 是替代方式, 前半段在講 P 的性質 03/13 18:11
→ LPH66 : 對每個 u 只有一個 v 使 P(u,v) 成立 03/13 18:11
→ LPH66 : 後半段就是對 w 內的每個東西代入這個像函數的 P 03/13 18:12
→ LPH66 : 得到的 z 是個集合 03/13 18:12
強大!!謝謝您 <3
※ 編輯: st1009 (114.44.151.69), 03/13/2016 19:11:12