推 hopward: 這樣令是為了造出一個你沒有對到的函數 11/24 09:54
→ hopward: 他用矛盾證法，一開始先假設有一組對應可以對完所有函數 11/24 09:56
那為何1-1 onto 必須 a不屬於f(a)呢
→ hopward: ，接著再找出一組你絕對沒有對到的函數矛盾你的假設 11/24 09:56
推 hopward: 他那段證明主要是在證那個函數你一定沒對到 11/24 10:00
※ 編輯: ab830921 (27.247.165.136), 11/24/2016 11:21:10
推 feathwine: 1-1 onto 跟a不屬於f(a)沒有關係 是B的定義 11/24 12:07
→ feathwine: 我覺得你可以用舉例的方式先幫自己釐清觀念 11/24 12:08
→ feathwine: 這題這樣換來換去的確實會有點亂 11/24 12:08
推 PTTleader: 想問hop大圖中箭頭右邊{} 是代表甚麼? 11/24 21:03
推 hopward: N對到2^N不就代表每個自然數會對應到一個自然數的子集合 11/25 00:02
→ hopward: 嗎 又因為我們假設有一組對應可以對到所以2^N的子集合 所 11/25 00:02
→ hopward: 以右邊大括號是我假設某個自然數經過函數作用後所對到的2 11/25 00:02
→ hopward: ^N的某個元素 11/25 00:02
推 PTTleader: 感謝了解了 剛剛會錯意題目 以為N代表自然數 11/25 00:12
→ PTTleader: 以為f:2->2^2 11/25 00:14