[其他] 集合問題 in Marsden ex.

[pop10353 (卡卡:目)]

P.20

ex.3.(d).Prove f(D1∩D2) ﹙ f(D1)∩f(D2)

<pf>

y in f(D1∩D2),there is an x in D1∩D2 with f(x)=y
=> x in D1 and x in D2
=>f(x) in f(D1) and f(x) in f(D2)
=>f(x) in f(D1)∩f(D2)

Q1:這樣證明對嗎？

Q2:那麼我們知道在左包的情形下是錯的，
但如果我把上面的證明的單向箭頭改成雙向，
感覺上也是推的過去，請問哪裡有問題？

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.9.193.140
→ arthurduh1  :你的there is an x不應該在 => 後面
修改了對嗎？
※ 編輯: pop10353        來自: 124.9.193.140        (10/13 20:37)
→ arthurduh1  :這樣有點亂
→ arthurduh1  :回去的話  f(x) in f(D1) 不代表  x in D1
→ pop10353    :感謝!!! I get it~!!!
→ arthurduh1  :其實應該說 x in D1...  成為另一段論述的開頭比較好
請問要怎樣改???
※ 編輯: pop10353        來自: 124.9.193.140        (10/13 21:18)
推 arthurduh1  :個人覺得 x in D1前面的 => 可以拿掉啦
→ arthurduh1  :不過其實你這樣寫大家應該都知道是怎麼回事啦
→ arthurduh1  :個人小挑剔一下而已XD