推 st1009 : 感謝您!! 03/13 19:15
推 Desperato : 不好意思 Λ是什麼意思呢? 03/14 21:20
→ Desperato : ...好的我知道了 抱歉不過它長的真的有點怪 03/14 21:21
※ 引述《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