[微積] Dini Theorem
設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
07/23 17:57, 2F
→
07/23 17:57, , 3F
07/23 17:57, 3F
→
07/23 18:21, , 4F
07/23 18:21, 4F
→
07/23 18:21, , 5F
07/23 18:21, 5F
→
07/23 18:25, , 6F
07/23 18:25, 6F
→
07/23 18:26, , 7F
07/23 18:26, 7F
→
07/23 18:27, , 8F
07/23 18:27, 8F
→
07/23 18:27, , 9F
07/23 18:27, 9F
→
07/23 18:27, , 10F
07/23 18:27, 10F
推
07/23 19:45, , 11F
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
07/23 23:59, 14F
→
07/23 23:59, , 15F
07/23 23:59, 15F
→
07/24 00:02, , 16F
07/24 00:02, 16F
推
07/24 02:55, , 17F
07/24 02:55, 17F
→
07/24 10:27, , 18F
07/24 10:27, 18F
→
07/24 10:27, , 19F
07/24 10:27, 19F
推
07/24 10:43, , 20F
07/24 10:43, 20F
→
07/24 10:43, , 21F
07/24 10:43, 21F