この問題は、L^p空間における関数列の収束に関するもので、特にL^pノルムでの収束と積分の交換に関連しています。問題では、関数列{f_n}がL^p(S, Σ, μ)空間で収束する場合に、積分の収束が成り立つかどうかを尋ねています。この記事では、L^p空間での収束の定義と、ヘルダーの不等式を用いてこの問題を解決します。
L^p空間におけるノルム収束と積分の収束
L^p(S, Σ, μ)空間において、関数列{f_n}がある関数fにL^pノルムで収束するとは、||f_n – f||_p → 0 が成り立つことを意味します。ここで、L^pノルムは以下のように定義されます：
||f||_p = (∫_S |f|^p dμ)^(1/p) 。この収束の仮定の下で、関数列{f_n}の積分も収束するかどうかを調べます。
ヘルダーの不等式を使った差の評価
質問の解答として、まず積分の差|∫ f_n – ∫ f|を評価します。ヘルダーの不等式を使って次のように評価できます：
|∫ f_n – ∫ f| ≤ ∫ |f_n – f| dμ。次に、L^pノルムの収束を用いて、|∫ f_n – ∫ f| ≤ μ(S)^{1/p’} ||f_n – f||_p という不等式が得られます。ここで、p’はpの共役指数（1/p + 1/p’ = 1）です。この式が0に収束することが、積分の収束を示すための鍵となります。
優収束定理の使用について
質問の中で、「優収束定理を使ってはいけないのか？」という点についてですが、優収束定理（Dominated Convergence Theorem）は、関数列がある支配関数に支配される場合に適用されます。しかし、今回の問題では収束の仮定がL^pノルムによるものであり、優収束定理を使う必要はありません。代わりにヘルダーの不等式とL^pノルムの性質を用いて解答が得られます。
結論
L^p空間において、関数列{f_n}がfにL^pノルムで収束する場合、積分も収束します。この収束を示すために、ヘルダーの不等式を用いた差の評価が有効です。また、優収束定理はこの場合に必要ないことが確認されました。
コメント