Riesz-Markov-角谷の定理
この定理は色々バリエーションがありますが今回示すのは次の主張です:
Riesz-Markov-角谷の定理
第二可算コンパクト(Hausdorff)空間上の値連続関数環について、正値線形汎関数と上の有限測度は次の関係で一対一に対応する:
ここで線形汎関数が正値とは次の同値な条件のうち片方(従って両方)を満たすこととします。特に正値性は有界性(連続性)を導きます。
証明
に対しだから
故にだが、上がでサチってるのでちゃんと等号。
に対し十分小さいを用いてとできる。
より従う。
測度が積分から復元されること()は例えば定理とか単調族定理から出ます(今回は省略)。
定理1の証明(測度を構成する方)
実はCantor空間からへの連続全射が存在するので一つ取る。引き戻し(との合成)が等長なので、これを閉部分空間だと思い、Hahn-Banachの定理を使ってをかつと取る。よりの正値性はのそれを導くが、実はがある上の測度で表現されることは以下により分かり、その像測度が所望の上の測度を与える:
は有限加法族でありは有限加法的だが、実は上可算加法的だからHopfの拡張定理から従う。なぜなら、かつとなるdisjointなはのコンパクト性との開性から自明なものだけであるから。
定理のバリエーションについて
普通はは一般の(第二可算)局所コンパクトHausdorff空間で取ります。関数空間をにして無限測度を許すバージョンと正値性を有界性にして複素測度を許すバージョンと大きく分けて二つバリエーションがあります。今回はにコンパクト性を課しましたが、局所コンパクト空間はコンパクト集合の増大列(ネット)で書けることからどちらも基本的にコンパクトな場合に帰着されます。複素測度の方も、実部と虚部に分けて更に正と負に分ける(こっちは少し大変だが、実は別のバリエーションのHahn-Banachでショートカットできる)ことで同じく今回の場合に帰着されます。
Wikipediaとかは第二可算性を課してないんですが、そうすると測度に正則性を課すかBaire集合族を使うかをする必要があります。しかしそれは特に使うことはないので気にしないで良いです。
おまけ1(局所コンパクトな場合)
Riesz-Markov-角谷の定理
第二可算局所コンパクト(Hausdorff)空間上の値コンパクト台連続関数環について、正値線形汎関数と上の非負測度(無限を許す)は次の関係で一対一に対応する:
というか余談
という理由で正値性はノルムでの有界性すら導きません(上の補題の証明が回らない)。の適切な位相はノルムではなく、というBanach空間のを渡るincreasing unionと書いた時の終位相(各について制限が開になってる部分集合全てを開集合系として取ってくる)であり、この位相についての連続性なら正値性から導かれます。
ちなみに、この位相は(普通の関数解析じゃ見慣れないかもしれませんが)局所凸位相線形空間を与え、位相線形空間として完備(各seminormでCauchyとなるネットが収束する)です。こう言うと驚かれるかもしれませんが、seminormを連続体濃度分真に使うのでこういうことが起きます。非有界を許すに対しはがコンパクト台なので定まりますが、全てのについてこれを考えたら良いです。
更にちなみに、これと似たようなことをすることでについても局所凸位相が定まり、それはテスト関数の空間と呼ばれます。核型空間(Schwartzの核定理が一般化されるような位相線形空間のクラス)の最も重要な例です。
に対しをの台より大きいコンパクト集合とすれば、に対しが定まります。正値なに対して
に対してコンパクトな場合の主定理を使えば上の有限測度でと表現できます。上の測度を上の測度と思い直しています。この式はがで消える上連続関数で特に成立しています。
今単調広義一様収束をコンパクト台に取る(のコンパクト増大被覆を取ればいい)と、上式が成立するはどんどん増えていき、です。左辺は極限する前からであり、右辺はとしてです。右辺についてはこのが完全加法的な測度になることのみが非自明ですが、次の微積から分かります。手を動かすと見たことのある議論だと思います。
微積
無限和は内の単調収束について連続。つまり、について。
おまけ2
Riesz-Markov-角谷の定理
第二可算局所コンパクト(Hausdorff)空間上の値無限遠で消える連続関数環について、有界線形汎関数と上の複素測度は次の関係で一対一に対応する:
上の場合と違い、はノルムについてBanach空間をなします。
複素測度とは可測集合族からへの写像であって完全加法性が絶対収束の意味で成り立つものです。絶対収束性のおかげで結局有限測度の複素数係数線形結合(有限個)で書けることが知られています、実部と虚部に分かれるのはすぐ分かりますが符号付き測度を正負に分けるのは少し骨が折れるかもしれません(がHahn-Banachでshort cutできます)。これで計4つの線形結合で書けます。
別の見方として、極分解というものがあり、有限非負測度とという絶対値1の関数が存在してと書けます。このとき上のです。これを全変動と呼びます。
と仮定していい。もしが正値だったら一個前のバージョンから対応する非負測度が取れ、となる。特にが有限測度になる。
とおく、つまりなる非負測度全体のなすコンパクト凸集合である。弱-位相についての単位球のコンパクト性(Banach-Alaogluの定理)とがclosed conditionであることから従う。
Hahn-Banachの定理は複素数倍はの弱-位相についての閉凸包がその単位球になることに使う。実際これはに対してを確認すればいいが、左辺はであり右辺はとして点でのevaluation(点測度での積分)の複素数倍を取ればいい。
つまり単位球から取ってきたはの元の凸結合の極限と書ける。の部分を実部と虚部、更に正と負に分けることで、の凸性に気を付ければ、の元の和の極限となる。とが取れるが、このネットを普遍ネット(またはultralimit)に取り替えてのコンパクト性からなるが取れる。の元は有限測度だから、その線形結合であるが複素測度として実現された。
この証明で副産物的に複素測度は有限測度の複素数係数線形結合で書けることが得られた。ただし、複素測度の全変動
が有限であることは素手で示さないといけない、上汎関数としての有界性のため。
Jordan分解
上の証明中、凸結合を実部虚部に分けたところで評価が少し落ちているが、正負で分けるところでは落ちない。つまり元から符号付き測度(実数値測度)になっている場合はの極限と書ける()ので、そのまま普遍ネットで落としと書ける。評価が落ちていないとはとなっているということである。これは符号付き測度のJordan分解を与えている。
Jordan分解の一意性
符号付き測度の非負な分解であってなるものは一意。更に、勝手な非負な分解はとなる。
まず、符号付き(複素)測度のノルムとは全変動と上のノルムと,有界可測関数の空間上のノルムがあるが、これらは全て一致します。後者二つの一致を言えば全て挟めるが、これは単調族定理か「その指示関数を連続関数で近似できる集合族」と言って測度論をやると良いです。
評価が落ちていないことからが出る、これは上の測度としてのノルム。は三角不等式であり、となる。に気を付けるとどちらの不等号も降ってきます。と言うかです。
おわり
ここまでくると複素測度の極分解まで流れに沿って示したいが、まあRadon-Nicodymの定理に投げちゃう方が楽だよなあ。一応やるとしたら、の元での凸結合を上の(有限個のmassからなる)確率測度と思って、その意味で弱収束極限を取り、その確率測度のレベルで上の「評価が落ちてない」の議論をすればとがとしてmeasure algebraとして同型だから射影をに持ってくることができる。