Re: [離散] 集合論的公設
※ 引述《st1009 (前端攻城師)》之銘言：
: 不好意思各位大大>///<
: 我最近學習離散老師教給我集合論的十大公設，
: 其中有一條礙於數學底子不過看不太懂，
: 懇請各位大大出手相助!!
: 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(u,v)看成一個函數 v=F(u)
後面那句是說
認給 w 存在 z={F(u)| u∈w}
(z is the set of all the images of elements in w)
兩句合起來就是 Axiom of replacement
https://en.wikipedia.org/wiki/Axiom_schema_of_replacement
: 就是這句，我該如何讀他，如何理解它呢?
: 尤其是P是什麼意思<(_ _)>
P(u,v) 是 binary predicate
例如 u > v, u+1=v, u∈v,....
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 218.164.187.153
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1457864382.A.972.html
推
03/13 19:15, , 1F
03/13 19:15, 1F
推
03/14 21:20, , 2F
03/14 21:20, 2F
→
03/14 21:21, , 3F
03/14 21:21, 3F
討論串 (同標題文章)