[理工] 離散 ONTO函數問題

[aoowacb (Dance With Wind)]

各位大大安安 小第才疏學淺 請請問一下ONTO函數的問題

關於例45的ONTO舉證不懂他的意思 還有函數不是不可一對多嗎

為什麼例一中證明ONTO的時候{a b c d} 對到{1 2 3 4 5}

雖然ONTO的定義是F(A)=B 所以有的B都可找到一個A對應

可是不太懂底下這兩張圖怎麼證出ONTO的 請大大解惑 謝謝:D











http://imgur.com/gxZBGil

http://imgur.com/mcAdJDa

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.238.137.204
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1439520508.A.A34.html
推 A4P8T6X9: 例1沒有證明他是 onto 只有說明他不是
推 amge1524: 任給一個Y屬於F的對應域，若可找到X屬於F的定義域使得F(
→ amge1524: X)=Y則ONTO
推 amge1524: 所以證明ONTO就找出一個函數對回定義域，證明不是ONTO就
→ amge1524: 舉反例
→ aoowacb: 謝謝