Hahn-Banachの定理の応用（Riesz-Markov-角谷の定理）
Riesz-Markov-角谷の定理
この定理は色々バリエーションがありますが今回示すのは次の主張です：
第二可算コンパクト（Hausdorff）空間$X$上の$\R$値連続関数環$C(X)$について、正値線形汎関数$\phi:C(X)\to\R$と$X$上の有限測度$\mu$は次の関係で一対一に対応する：
$\displaystyle \phi(f)=\int_Xfd\mu$
ここで線形汎関数$\phi$が正値とは次の同値な条件のうち片方（従って両方）を満たすこととします。特に正値性は有界性（連続性）を導きます。
$\phi(1)=\norm{\phi}\iff \forall f\in C(X)_+\ \phi(f)\geq0$
ここで$f\in C(X)_+\overset{def}{\iff}\forall x\in X\ f(x)\geq0$
証明
$(\Leftarrow)$ $f\in C(X)$に対し$-\norm{f}\leq f\leq\norm{f}$だから$-\norm{f}\phi(1)\leq\phi(f)\leq\norm{f}\phi(1)$故に$\norm{\phi}\leq\phi(1)$だが、上が$f=1$でサチってるのでちゃんと等号。
$(\Rightarrow)$ $f\geq0$に対し十分小さい$\ve>0$を用いて$\norm{1-\ve f}\leq1$とできる。
$\norm{\phi}-\ve\phi(f)=\phi(1-\ve f)\leq\norm{\phi}\norm{1-\ve f}$より従う。
測度が積分から復元されること（$\forall f\in C(X)\ \int fd\mu=\int fd\nuならば\mu=\nu$）は例えば$\pi-\lambda$定理とか単調族定理から出ます（今回は省略）。
実はCantor空間$K:=\{0,1\}^\N$から$X$への連続全射$p$が存在するので一つ取る。引き戻し（$p$との合成）$p^*:C(X)\to C(K)$が等長なので、これを閉部分空間だと思い、Hahn-Banachの定理を使って$\phi':C(K)\to\R$を$\phi'\lvert_{C(X)}=\phi$かつ$\norm{\phi'}=\norm{\phi}$と取る。$\phi'(1)=\phi(1)$より$\phi$の正値性は$\phi'$のそれを導くが、実は$\phi'$がある$K$上の測度$\mu'$で表現されることは以下により分かり、その像測度$\mu:=\mu'p^{-1}$が所望の$X$上の測度を与える：
$\mathcal{C}:=\set{A\subset K}{\text{開かつ閉}}$は有限加法族であり$\Phi(A):=\phi'(\chi_A)$は有限加法的だが、実は$\mathcal{C}$上可算加法的だからHopfの拡張定理から従う。なぜなら、$A=\bigcup_n A_n$かつ$A,A_n\in\mathcal{C}$となるdisjointな$A_n$は$A$のコンパクト性と$A_n$の開性から自明なものだけであるから。
普通は$X$は一般の（第二可算）局所コンパクトHausdorff空間で取ります。関数空間を$C_c(X)$にして無限測度を許すバージョンと正値性を有界性にして複素測度を許すバージョンと大きく分けて二つバリエーションがあります。今回は$X$にコンパクト性を課しましたが、局所コンパクト空間はコンパクト集合の増大列（ネット）で書けることからどちらも基本的にコンパクトな場合に帰着されます。複素測度の方も、実部と虚部に分けて更に正と負に分ける（こっちは少し大変だが、実は別のバリエーションのHahn-Banachでショートカットできる）ことで同じく今回の場合に帰着されます。
Wikipediaとかは第二可算性を課してないんですが、そうすると測度に正則性を課すかBaire集合族を使うかをする必要があります。しかしそれは特に使うことはないので気にしないで良いです。
おまけ1（局所コンパクトな場合）
第二可算局所コンパクト（Hausdorff）空間$X$上の$\R$値コンパクト台連続関数環$C_c(X)$について、正値線形汎関数$\phi:C_c(X)\to\R$と$X$上の非負測度（無限を許す）$\mu$は次の関係で一対一に対応する：
$\displaystyle \phi(f)=\int_Xfd\mu$
$1\notin C_c(X)$という理由で正値性は$\sup$ノルムでの有界性すら導きません（上の補題の証明が回らない）。$C_c(X)$の適切な位相は$\sup$ノルムではなく、$\{\partial K\text{で消える}K\text{上連続関数}\}$というBanach空間の$K\Subset X$を渡るincreasing unionと書いた時の終位相（各$K$について制限が開になってる部分集合全てを開集合系として取ってくる）であり、この位相についての連続性なら正値性から導かれます。
ちなみに、この位相は（普通の関数解析じゃ見慣れないかもしれませんが）局所凸位相線形空間を与え、位相線形空間として完備（各seminormでCauchyとなるネットが収束する）です。こう言うと驚かれるかもしれませんが、seminormを連続体濃度分真に使うのでこういうことが起きます。非有界を許す$i:X\to\R$に対し$p_i(f):=\max_X\abs{if}$は$f$がコンパクト台なので定まりますが、全ての$i$についてこれを考えたら良いです。
更にちなみに、これと似たようなことをすることで$C^\infty_c(M)$についても局所凸位相が定まり、それはテスト関数の空間と呼ばれます。核型空間（Schwartzの核定理が一般化されるような位相線形空間のクラス）の最も重要な例です。
$g\in C_c(X)$に対し$K\Subset X$を$g$の台より大きいコンパクト集合とすれば、$f\in C(K)$に対し$gf\in C_c(X)$が定まります。正値な$\phi:C_c(X)\to\R$に対して
$$C(K)\ni f\longmapsto\phi(gf)\in\C$$
に対してコンパクトな場合の主定理を使えば$X$上の有限測度$\mu_g$で$\phi(gf)=\int_K fd\mu_g=\int_X fd\mu_g$と表現できます。$K$上の測度を$X$上の測度と思い直しています。この式は$f$が$\partial K$で消える$K$上連続関数で特に成立しています。
今単調広義一様収束$g_n\nearrow1$をコンパクト台に取る（$X$のコンパクト増大被覆を取ればいい）と、上式が成立する$f$はどんどん増えていき、$\lim_n\phi(g_n f)=\lim_n\int_X fd\mu_{g_n}$です。左辺は極限する前から$\phi(f)$であり、右辺は$\mu(A):=\lim_n\mu_{g_n}(A)$として$\int_X fd\mu$です。右辺についてはこの$\mu$が完全加法的な測度になることのみが非自明ですが、次の微積から分かります。手を動かすと見たことのある議論だと思います。
無限和は$[0,\infty]$内の単調収束について連続。つまり、$x_n^i\nearrow x_n\in[0,\infty]$について$\sum_n x_n^i\nearrow\sum_n x_n\in[0,\infty]$。
おまけ2
第二可算局所コンパクト（Hausdorff）空間$X$上の$\C$値無限遠で消える連続関数環$C_0(X)$について、有界線形汎関数$\phi:C_0(X)\to\C$と$X$上の複素測度$\mu$は次の関係で一対一に対応する：
$\displaystyle \phi(f)=\int_Xfd\mu$
上の場合と違い、$C_0(X)$は$\sup$ノルムについてBanach空間をなします。
複素測度とは可測集合族から$\C$への写像であって完全加法性が絶対収束の意味で成り立つものです。絶対収束性のおかげで結局有限測度の複素数係数線形結合（有限個）で書けることが知られています、実部と虚部に分かれるのはすぐ分かりますが符号付き測度を正負に分けるのは少し骨が折れるかもしれません（がHahn-Banachでshort cutできます）。これで計4つの線形結合で書けます。
別の見方として、極分解というものがあり、有限非負測度$\abs{\mu}$と$w:X\to\C$という絶対値1の関数が存在して$d\mu=wd\abs{\mu}$と書けます。このとき上の$\norm{\phi}=\norm{\mu}:=\abs{\mu}(X)$です。これを全変動と呼びます。
$\norm{\phi}=1$と仮定していい。もし$\phi$が正値だったら一個前のバージョンから対応する非負測度$\mu$が取れ、$\mu(X)=\norm{\phi}$となる。特に$\mu$が有限測度になる。
$S:=\{\text{正値で}\norm{\phi}\leq1\text{な}\phi\in(C_0(X))^*\text{全体}\}$とおく、つまり$\mu(X)\leq1$なる非負測度全体のなすコンパクト凸集合である。弱-位相についての単位球のコンパクト性（Banach-Alaogluの定理）と$\abs{\phi(f)}\leq\norm{f}$がclosed conditionであることから従う。
Hahn-Banachの定理は複素数倍$S':=\bigcup_{\abs{z}=1}zS$は$(C_0(X))^*$の弱-位相についての閉凸包がその単位球になることに使う。実際これは$f\in C_0(X)$に対して$\sup_{\phi\in\text{単位球}}\Re(\phi(f))=\sup_{\phi\in S'}\Re(\phi(f))$を確認すればいいが、左辺は$\norm{f}$であり右辺は$\phi$として点でのevaluation（点測度での積分）の複素数倍を取ればいい。
つまり単位球から取ってきた$\phi$は$zS$の元の凸結合の極限と書ける。$z$の部分を実部と虚部、更に正と負に分けることで、$S$の凸性に気を付ければ、$i^kS\ (k=1,\dots,4)$の元の和の極限となる。$\phi=\lim_\lambda\sum_k i^k\phi_\lambda^k$と$\phi_\lambda^k\in S$が取れるが、このネット$\Lambda$を普遍ネット（またはultralimit）に取り替えて$S$のコンパクト性から$\phi=\sum_k i^k\phi^k$なる$\phi^k\in S$が取れる。$S$の元は有限測度だから、その線形結合である$\phi$が複素測度として実現された。
この証明で副産物的に複素測度は有限測度の複素数係数線形結合で書けることが得られた。ただし、複素測度$\mu$の全変動
$$\sup\left\{\sum_n^\infty\abs{\mu(A_n)}:(A_n)\text{は}X\text{の可算分割}\right\}$$
が有限であることは素手で示さないといけない、$C_0(X)$上汎関数としての有界性のため。
Jordan分解
上の証明中、凸結合を実部虚部に分けたところで評価が少し落ちているが、正負で分けるところでは落ちない。つまり元から符号付き測度（実数値測度）になっている場合は$t_\lambda\phi^+_\lambda+(1-t_\lambda)(-\phi^-_\lambda)$の極限と書ける（$t\in[0,1],\phi^{\pm}\in S$）ので、そのまま普遍ネットで落とし$\phi=t\phi^++(1-t)(-\phi^-)$と書ける。評価が落ちていないとは$\norm{\phi}=\norm{t\phi^+}+\norm{(1-t)\phi^-}$となっているということである。これは符号付き測度のJordan分解を与えている。
符号付き測度$\mu$の非負な分解$\mu=\mu^+-\mu^-$であって$\norm{\mu}=\norm{\mu^+}+\norm{\mu^-}$なるものは一意。更に、勝手な非負な分解$\mu=\nu^+-\nu^-$は$\nu^\pm(E)\geq\mu^\pm(E)\ \forall E\subset X$となる。
まず、符号付き（複素）測度のノルムとは全変動と$C_0(X)$上のノルムと$B^\infty(X)$,有界可測関数の空間上のノルムがあるが、これらは全て一致します。後者二つの一致を言えば全て挟めるが、これは単調族定理か「その指示関数を連続関数で$L^1$近似できる集合族」と言って測度論をやると良いです。
評価が落ちていないことから$\norm{\mu\lvert_E}=\norm{\mu^+\lvert_E}+\norm{\mu^-\lvert_E}$が出る、これは$E$上の測度としてのノルム。$\norm{\nu^+\lvert_E}+\norm{\nu^-\lvert_E}\geq\norm{\mu\lvert_E}$は三角不等式であり、$\mu^+(E)+\mu^-(E)\leq\nu^+(E)+\nu^-(E)$となる。$\mu^+-\mu^-=\nu^+-\nu^-=\mu$に気を付けるとどちらの不等号も降ってきます。と言うか$\nu^+-\mu^+=\nu^--\mu^-$です。
おわり
ここまでくると複素測度の極分解まで流れに沿って示したいが、まあRadon-Nicodymの定理に投げちゃう方が楽だよなあ。一応やるとしたら、$zS$の元での凸結合を$S^1\times X$上の（有限個のmassからなる）確率測度と思って、その意味で弱収束極限を取り、その確率測度のレベルで上の「評価が落ちてない」の議論をすれば$S^1\times X$と$X$がとしてmeasure algebraとして同型だから射影$S^1\times X\to S^1$を$X\to S^1$に持ってくることができる。
この記事を高評価した人
この記事に送られたバッジ
投稿者
