看板 Math 關於我們 聯絡資訊
午安!想請教一個問題,請看圖: https://imgur.com/Pw7PX3I 我看不懂紅色箭頭所指的部分, 為何存在g_k (g_k≧0,∥g_k∥_p'=1)使得∥f_k∥_p=∫_E f_k g_k ?謝謝回答。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.233.124 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1550644867.A.50D.html
Desperato : 因為 |f_k| < inf 適用上面的 case 02/20 16:02
聽不懂,請問前面哪裡提到infimum? ※ 編輯: rtyxn (140.112.233.124), 02/20/2019 20:01:59
lala840819 : fk belongs to Lp 02/20 20:15
※ 編輯: rtyxn (140.112.233.124), 02/20/2019 20:20:03
keroro321 : 你書討論|f|inf時 透過構造fk (Lp),|fk|->|f|,f>=fk 02/20 23:11
keroro321 : fk滿足上面討論的那段 所以結論可拿來用推導結果 02/20 23:13
Desperato : 啊 那是infty 忘記區別了 02/20 23:36
抱歉,我還是無法理解各位的意思,現在0<∥f_k∥_p<∞沒錯,我的確回到上一個 情形,但是∥f_k∥_p並沒有等於1呀,我如何能叫出那個g_k?謝謝。 ※ 編輯: rtyxn (140.112.233.124), 02/22/2019 00:01:31
Desperato : 上面那個情形已經證完 0 < |f_k| < infty 了 我想 02/22 09:18
Desperato : 在 Holder 那邊就示範過一次為什麼可以設 |f_k| = 02/22 09:18
Desperato : 1 02/22 09:18
Desperato : 這個作者很喜歡先簡化情況 再繼續證明 例如要證明 02/22 09:23
Desperato : 所所有實數 R 的情況 他會先說若 x_n 對則 limit 02/22 09:23
Desperato : pt x 也對 所以可以先證 Q 的情況 再說若 a, b 對 02/22 09:23
Desperato : 則加減乘除都對 所以做 1 的情況就夠了 (但實際上 02/22 09:23
Desperato : 是先證 1 再證 Q 再證 R) 02/22 09:23
Desperato : 像 (further) assume / simplify to / suffice to 02/22 09:27
Desperato : consider 大抵都是在做這種事 02/22 09:27
Desperato : 所以 |f_k| = 0 就直接 0 掉 若 0 < |f_k| < inft 02/22 09:35
Desperato : y 則兩邊除掉 |f_k| 會回到 |f_k| = 1 而這個證了 02/22 09:35
謝謝回應,我發現自己很不適應這種論述方式,沒有辦法跳過一些瑣碎的細節,剛剛 把式子整個寫開來,感覺好了點。謝謝,真希望擁有你這種眼睛。 ※ 編輯: rtyxn (140.112.233.124), 02/22/2019 11:41:56 ※ 編輯: rtyxn (140.112.233.124), 02/22/2019 11:45:14