- ベストアンサー
L^pノルムについての収束とは
- L^pノルムについての収束とは、関数列{f_n}が f∈L^pに収束することを指します。
- 具体的には、「L^pノルムで収束する」とは、ほとんどすべての点xにおいて、f_n(x)がf(x)に近づくことを意味します。
- 例えば、L^2ノルムでの収束が可能な関数列は、L^2の元に収束しているだけであり、ほとんどすべての点で同じ値を返すわけではありません。
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
p≧1、T=[0,2π]として、仮に||f||_p=0でA={x∈T;f(x)≠0},μ(A)>0とすると、 A(r)={x∈T;f(x)≧r},A=∪{A(r);r>0}として、μ(A(r))=0（∀r)とすると（可算個のrを考えて）μ(A)=0となって矛盾するので、あるr>0があってμ(A(r))>0 ||f||^p=∫[x∈T](|f(x)|^p)dx≧∫[x∈A(r)](|f(x)|^p)dx≧μ(A(r))(r^p)>0となり矛盾。したがってμ(A)=0、つまりf(x)=0(a.e.x∈T) フーリエ級数の一つの解釈として、p=2としてトーラス上2乗可積分で||f-g||=0となるfとgを同一視するとパーセバルの等式から質問文にある関数たちを一つのC.O.N.S.にもつヒルベルト空間とみなせるわけですが、ヒルベルト空間としての抽象的な一般論がそのまま使えるというに過ぎません。 抽象論だけみてすべてわかったというほど単純なことではありません。抽象化というのはある見やすい面だけ見てそれ以外の条件を無視することでもあるので、そういう抽象化をしないでフーリエ級数が各点でどのような挙動をするのかというのは一般には難しい問題です。 積分という道具を使う限りは測度0を除いて一致するという程度で特に支障はないから、応用上はそれ以上詮索しないでも済むというだけのことです。
その他の回答 (3)
L^2で収束しても、測度0の差は無視されるから各点でみるとズレがあるのは仕方ない。 それを無視したくないなら測度以外の道具を使わなきゃならない。 フーリエ級数が各点で元の関数と一致するべきと思い込んでません？ そう感じたからA.No.1のような書き方をしたわけで。 それと、一様収束の位相で考えちゃうと、連続関数である三角級数の部分和で近似できるのは連続な関数だけになってしまう。
お礼
なるほど、回答者様の文章をよく読んでじっくり考えてみたら自分の勘違いが明らかになってきた気がします。 確認しておきたいのですが、よろしいでしょうか。 A.No2より、|f_n|のp乗積分が0に収束するのにf_n(x)が0に収束しないようなx全体の集合の測度が正であると仮定したら矛盾が生じる ➡ g∈L^2と{g_n}∈L^2をとってきて、f_n=g-g_nとおく。 このとき、f_nのL^2ノルムが０に収束するとしたら、f_n(x)=g(x)-g_n(x)はalmost everywhereで0に収束。 よってたとえば（全く別の）f∈L^2のフーリエ級数展開はalmost everywhereでfに一致。 という流れだと、自分の中でもフーリエ級数展開に明確な意味が見いだせた気がします。これまではL＾２ノルムでの収束が言えたからなんなんだって感じだったんですが。 もちろんBAはつけさせていただきますので、ご回答いただけたらと思います。
> p乗可積分関数全体で、μ-a.eで同値類を考えたものを指していました。 それがわかるなら、何が分からないのかわからない（笑）。 |f_n|のp乗積分が0に収束するのにf_n(x)が0に収束しないようなx全体の集合の測度が正であると仮定したらどうなるか計算してみてください。
お礼
つきあってくださってありがとうございます。 えーと、疑問点としてはつまり、もしf∈L^2ならば、fのフーリエ級数展開はfにL^2収束しますよね。（{（1/√2）×(exp(inx)) }(n∈Z)がL^2での完全正規直交系より） でもL＾２ノルムで収束していたからといって、L^2の元がx a.eで”同じ値”を返すとは書かれていないので、フーリエ級数展開自体の意味が分からない状態です。fのフーリエ級数展開がfに一様ノルムについて収束していたら、同じ値を返す気はするのですが・・。 本などの雰囲気からL^2ノルムについて収束していたらa.eについて同じ値を返している、といっている気はします。
前半は、非退化性のことを言いたいのでしょうか。 そもそもL^pの元は関数ではないんですが、そこがあやふやにみえます。 「例えば」以下の「これらはL^2の元にL^2ノルムについて収束している」というのが意味不明。その列は収束しませんよ。
お礼
素早いお返事ありがとうございます。 L^pの元が関数でないということですが、p乗可積分関数全体で、μ-a.eで同値類を考えたものを指していました。（L^p空間） 書き方の流儀がおかしかったならお詫びいたします。 ご指摘の「例えば」以下は書き方がおかしかったです。この列が収束するという意味ではなく、これらから作った フーリエ級数がL^2の元に収束するという意味です。 L^2で {（1/√2）×(exp(inx)) }(n∈Z)はCONSなのは正しいと思うので、この意味でもおかしいでしょうか。
お礼
何回もおつきあいいただいてありがとうございました。遅くなって大変申し訳ありません。 おかげさまで、自分なりに消化できたと思います。これからも頑張って勉強しようと思います。 また機会がありましたらよろしくお願いします。