[微積] Dini Theorem

看板Math作者 (CK)時間14年前 (2011/07/23 17:02), 編輯推噓5(5016)
留言21則, 7人參與, 最新討論串1/1
設K為compact set,{fn}為定義於K的連續函數數列 若滿足以下性質 <1>fn->f pointwisely on K ,f為定義於K之連續函數 <2>fn(x)遞減 對所有的x屬於K 則 fn -> f uniformly on K PF: 取hn=fn-f 則{hn}為定義在K的連續函數數列 滿足hn遞減 且hn->0 pointwisely on K 給定任意r>0 定義集合 Un={x屬於K|hn(x)大於等於r} 且Un+1包含在Un內 因為Un是閉子集 compact中的閉子集必為compact 因此Un為compact 對所有的x屬於K 則hn(x)->0 as n->無限大 所以當n夠大 則x不屬於Un 所以x不屬於Un的交集 所以在n大過N之後 Un為空集合 所以n大過N之後 0<hn(x)<r 對所有的x屬於K 所以fn->f uniformly on K 我有點不太明白為什麼要證明Un是compact的 證明這樣寫感覺證明compact並不是必要的阿 -- 讀書苦 讀書累 不如加入黑澀會 ╭───╮ 上三堂 睡五堂 歡迎加入棒棒堂 不用考 不用背 還有美女陪你睡 ▕-Θ︿Θ-▏美 不用腦 只需娘 還有智障給你糖 〝甜 心 轟 炸 機〞 ▕ ▽ ▏眉上 〝粉 紅 高 壓 電〞 ψdevil  ┌ ▋ █ ┐\●/ ● ●︿● ╲╴╴/ 們課 ●/ ● (● ● \●   │ ▋ █ │ ▲ <▲> /▲ ▲\ <█@m ,囉 <▲ (▲) ▲) [▲] ▲>.  └ ◥ ◤ ┘ ∥ >\ /\ /< ∕﹨ ! /) >\ <> /\ (( -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 58.115.68.86

07/23 17:09, , 1F
這裡有用到非空並且有包含關係的緊緻集交集為非空
07/23 17:09, 1F

07/23 17:57, , 2F
那他最後說Un是空集合阿
07/23 17:57, 2F

07/23 17:57, , 3F
感覺是多證的
07/23 17:57, 3F

07/23 18:21, , 4F
我不能一開始設完hn之後 就直接說他收斂到0嗎?
07/23 18:21, 4F

07/23 18:21, , 5F
這樣不是就證明完畢了嗎?
07/23 18:21, 5F

07/23 18:25, , 6F
弄清楚收斂pointwise和uniform的差別
07/23 18:25, 6F

07/23 18:26, , 7F
我知道逐點收斂跟均勻收斂的關係阿
07/23 18:26, 7F

07/23 18:27, , 8F
我只是想知道為什麼要多證compact
07/23 18:27, 8F

07/23 18:27, , 9F
是為了確保N是有限就可以發生吧
07/23 18:27, 9F

07/23 18:27, , 10F
而不是單純Un的n趨近無限才會變成空集合
07/23 18:27, 10F

07/23 19:45, , 11F
因為 Un 均為 compact, 若非在某個有限項變空集合,
07/23 19:45, 11F

07/23 19:45, , 12F
不可能最後交集為空. 同前面其他板友所述.
07/23 19:45, 12F

07/23 21:44, , 13F
謝謝各位的答案 我再想一想
07/23 21:44, 13F

07/23 23:59, , 14F
你可以考慮 fn(x)=1, if x>n, 0 otherwise.
07/23 23:59, 14F

07/23 23:59, , 15F
然後去跑一次這個證明你就知道問題在哪了
07/23 23:59, 15F

07/24 00:02, , 16F
如果你擔心 fn不連續的話,畫個斜線把它補成連續即可
07/24 00:02, 16F

07/24 02:55, , 17F
07/24 02:55, 17F

07/24 10:27, , 18F
樓上那個PDF中下面那些ex. 為啥用sup來證明非uniform
07/24 10:27, 18F

07/24 10:27, , 19F
在學的時候沒看過這種方法耶 也不知道原因@@"
07/24 10:27, 19F

07/24 10:43, , 20F
這個方法蠻直接的。我的意思是你把 unif. 的定義寫出
07/24 10:43, 20F

07/24 10:43, , 21F
來你就可以知道為什麼那樣就一定不會 unif.
07/24 10:43, 21F
文章代碼(AID): #1EAeuiVU (Math)