[理工] 離散 2^N (power set of N)為不可數集

看板Grad-ProbAsk作者 (Stitch)時間9年前 (2016/11/24 09:08), 9年前編輯推噓7(708)
留言15則, 3人參與, 最新討論串1/2 (看更多)
http://i.imgur.com/KgxhUI3.jpg
不懂鉛筆畫線的地方,為何要這樣'令' a不屬於f(a) ,B包含於N,為何呢? 這樣最後 b到底屬不屬於f(b)? 實在看得不懂... 也去問過老師兩遍,還是聽不懂.. ----- Sent from JPTT on my iPhone -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.247.165.136 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1479949707.A.DEA.html

11/24 09:54, , 1F
這樣令是為了造出一個你沒有對到的函數
11/24 09:54, 1F

11/24 09:56, , 2F
他用矛盾證法,一開始先假設有一組對應可以對完所有函數
11/24 09:56, 2F
那為何1-1 onto 必須 a不屬於f(a)呢

11/24 09:56, , 3F
,接著再找出一組你絕對沒有對到的函數矛盾你的假設
11/24 09:56, 3F

11/24 10:00, , 4F
他那段證明主要是在證那個函數你一定沒對到
11/24 10:00, 4F
※ 編輯: ab830921 (27.247.165.136), 11/24/2016 11:21:10

11/24 12:07, , 5F
1-1 onto 跟a不屬於f(a)沒有關係 是B的定義
11/24 12:07, 5F

11/24 12:08, , 6F
我覺得你可以用舉例的方式先幫自己釐清觀念
11/24 12:08, 6F

11/24 12:08, , 7F
這題這樣換來換去的確實會有點亂
11/24 12:08, 7F

11/24 12:33, , 8F

11/24 21:03, , 9F
想問hop大圖中箭頭右邊{} 是代表甚麼?
11/24 21:03, 9F

11/25 00:02, , 10F
N對到2^N不就代表每個自然數會對應到一個自然數的子集合
11/25 00:02, 10F

11/25 00:02, , 11F
嗎 又因為我們假設有一組對應可以對到所以2^N的子集合 所
11/25 00:02, 11F

11/25 00:02, , 12F
以右邊大括號是我假設某個自然數經過函數作用後所對到的2
11/25 00:02, 12F

11/25 00:02, , 13F
^N的某個元素
11/25 00:02, 13F

11/25 00:12, , 14F
感謝了解了 剛剛會錯意題目 以為N代表自然數
11/25 00:12, 14F

11/25 00:14, , 15F
以為f:2->2^2
11/25 00:14, 15F
文章代碼(AID): #1ODZsBtg (Grad-ProbAsk)
文章代碼(AID): #1ODZsBtg (Grad-ProbAsk)