Re: [分析] 高微

看板Math作者 (WickeDay)時間14年前 (2011/09/16 16:39), 編輯推噓2(209)
留言11則, 3人參與, 最新討論串3/4 (看更多)
※ 引述《jacky7987 (憶)》之銘言: : 3.Let N={1,2,3,..} and E be defined as follow: A is contained in E iff A is : a subset of N. Show that there is a bijective mapping from E to an open : interval (0,1). 題目只是要證存在,所以不要真的去找阿 Let f: E -> (0,1), f(A) := Σ 1/2^k. k in A 但空集合和N要另外定,隨便挑個值就好了 很顯然這個函數onto但是不1-1 Let g: E -> (0,1), f(A) := 1/10 + Σ 1/10^k. k in A 而這函數1-1但不onto 根據某個定理你可以得到 #E=#(0,1). -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.250.110.175

09/16 16:44, , 1F
所以說 在兩個集合中 有兩個函數f,g一個是1-1 一個是
09/16 16:44, 1F

09/16 16:45, , 2F
onto,就會有一個bijective的函數嗎?
09/16 16:45, 2F

09/16 16:50, , 3F
課本應該都有那個定理 只是我忘記名字拉
09/16 16:50, 3F

09/16 17:09, , 4F
我的課本都沒寫= =" 還是感謝你:D
09/16 17:09, 4F

09/16 18:16, , 5F
另一個想法是,先只對 A 及 N-A 有無限多個元素的 A
09/16 18:16, 5F

09/16 18:16, , 6F
定義 f(A) 如上面第一個定義
09/16 18:16, 6F

09/16 18:17, , 7F
這相當於把這些 A 對應到二進位的無限小數
09/16 18:17, 7F

09/16 18:18, , 8F
但不包含後面都是 0 或者 1 的小數
09/16 18:18, 8F

09/16 18:19, , 9F
而沒定義到的 A 有可數個,
09/16 18:19, 9F

09/16 18:20, , 10F
沒被對應到(0,1)實數也是可數個
09/16 18:20, 10F

09/16 18:20, , 11F
再把兩者對映起來就好了
09/16 18:20, 11F
文章代碼(AID): #1ESmjNW5 (Math)
討論串 (同標題文章)
本文引述了以下文章的的內容:
分析
完整討論串 (本文為第 3 之 4 篇):
分析
2
4
分析
2
11
分析
3
9
分析
文章代碼(AID): #1ESmjNW5 (Math)