L^∞の双対空間についての続き
こんにちは。ひよこてんぷらです。
前回は の双対空間について少しお話しました。
今回はその話の続きをやっていきたいと思います。
前回は具体的に何を示したのかというと、 有限な測度空間 に対して次の位相同型
\begin{equation} L^{\infty}(X,\mathcal{M},\mu)^* = ba(X,\mathcal{M},\mu) \end{equation}
を示しました。ここで は に関して絶対連続であるような有界有限加法的な符号付き測度の空間です。
さて、今回はこれが より真に広いことを見ていきましょう。よく知られているように、 に対する 空間に関してはそのHölder共役指数 を用いて位相同型 が言えることが知られています。また、 も知られています。しかし であり、 は反射的でないということは関数解析でよく目にすることです。
ですがこれは本当でしょうか??今回はこのことについてしっかりと掘り下げて示していきたいと思います。さて、 は有限加法的な測度の空間でしたが、新たに完全加法的な空間 を導入しましょう。すなわち、有界完全加法的(bounded countably additive)な符号付き測度
\begin{equation} \lambda : \mathcal{M} \to \mathbb{R} \end{equation}
を、 および任意の非交差集合列 に対して
\begin{equation} \lambda \left(\bigcup_{j=1}^{\infty}E_j\right)=\sum_{j=1}^{\infty} \lambda (E_j) \end{equation}
を満たすようなものと定義し、
\begin{equation} ca(X,\mathcal{M}) =\{\lambda : \mathcal{M} \to \mathbb{R} \, | \, \lambda : \text{countably additive}\} \end{equation}
および
\begin{equation}\begin{split} &ca(X,\mathcal{M},\mu) \\ &=\{\lambda \in ca(X,\mathcal{M}) \, | \, \lambda(E)=0 \text{ for } E \in \mathcal{M} \text{ with } \mu (E)=0\} \end{split}\end{equation}
と定義します。normは と同じ を導入します。
さて、僕が調べた結果としては見つけられなかったのですが、おそらくですがこれは と位相同型になると思います。すなわち次が成立すると思います。
を 有限な測度空間とするとき、 に対して
\begin{equation} \lambda_f(E)=\int_Ef(x)d\mu(x) \quad {}^{\forall}E \in \mathcal{M} \end{equation}
と定義すれば、 と を同一視することで
\begin{equation} L^1(X,\mathcal{M},\mu)=ca(X,\mathcal{M},\mu) \end{equation}
となります。
さて、では示してみましょう。まずは を示しましょう。これは易しいです。実際、
\begin{equation} |\lambda_f(E)| \le \int_E|f(x)|d\mu(x) \le \|f\|_{L^1(X,\mathcal{M},\mu)} \end{equation}
より有界性は分かります。
\begin{equation} \lambda_f(\varnothing)=\int_{\varnothing}f(x)d\mu(x)=0 \end{equation}
もいいでしょう。ついでに絶対連続性も
\begin{equation} \lambda_f(\Omega)=\int_{\Omega}f(x)d\mu(x)=0 \quad \text{for} \quad \mu(\Omega)=0 \end{equation}
ですね。さて、完全加法性については、非交差集合列 に対して
\begin{equation} E = \bigcup_{j=1}^{\infty} E_j \end{equation}
とするとき、
\begin{equation}\begin{split} \sum_{j=1}^N\lambda_f(E_j) &= \sum_{j=1}^N\int_{E_j}f(x)d\mu(x) \\ &= \int_{\bigcup E_j}f(x)d\mu(x) \\ &=\int_X \chi_{\bigcup E_j}(x) f(x)d\mu(x) \end{split}\end{equation}
となります。さて、ここで のとき各点収束
\begin{equation} \chi_{\bigcup E_j}(x)=\chi_E(x) \end{equation}
を見ましょう。実際、任意の に対して であり、また
\begin{equation} x \in E = \bigcup_{j=1}^{\infty} E_j \end{equation}
よりある が存在して なので、 ならば です。一方任意の に対して ですが、任意の に対して
\begin{equation} E = \bigcup_{j=1}^{\infty} E_j \supset \bigcup_{j=1}^N E_j \end{equation}
なので当然 です。したがって各点収束が言えます。あとは
\begin{equation} \int_X| \chi_{\bigcup E_j}(x) f(x)|d\mu(x) \le \int_X|f(x)|d\mu(x)=\|f\|_{L^1(X,\mathcal{M},\mu)} \end{equation}
よりLebesgueの収束定理でも使えば
\begin{equation} \sum_{j=1}^{\infty}\lambda_f(E_j) =\int_X \chi_E(x) f(x)d\mu(x)=\int_E f(x)d\mu(x)=\lambda_f (E) \end{equation}
が分かるので、 ですね。前回注意したように
\begin{equation} \sup_{E \in \mathcal{M}}|\lambda_f (E)| \le \|\lambda_f\|_{ba(X,\mathcal{M})} \le 4\sup_{E \in \mathcal{M}}|\lambda_f (E)| \end{equation}
なので、先ほどの結果と合わせて
\begin{equation} \|\lambda_f\|_{ba(X,\mathcal{M})} \le 4\|f\|_{L^1(X,\mathcal{M},\mu)} \end{equation}
を得ます。
さて、次は全単射性を見ましょう。すなわち、任意の に対してある が一意に存在して
\begin{equation} \lambda(E)=\int_Ef_{\lambda}(x)d\mu(x) \quad {}^{\forall}E \in \mathcal{M} \end{equation}
と表せるか??ということですね。一見すると難しい問題ですが、実はRadon-Nikodymの結果そのものです!!次にRadon-Nikodymの定理を述べておきます。
を 有限な測度空間とします。このとき に対して が存在して、
\begin{equation} \lambda(E)=\int_Ef(x)d\mu(x) \quad {}^{\forall}E \in \mathcal{M} \end{equation}
が成立します。さらに、 は 上の零集合を除いて一意的です。
さて、この結果を見れば全単射性はもう示されたということになります。さて、あとは が非負となる集合、負となる集合をそれぞれ とすれば、
\begin{equation}\begin{split} \|f_{\lambda}\|_{L^1(X,\mathcal{M},\mu)} &= \int_X |f_{\lambda}(x)|d\mu(x) \\ &=\int_{E^+} f_{\lambda}(x)d\mu(x)-\int_{E^-}f_{\lambda}(x)d\mu(x) \\ &= \lambda (E^+)-\lambda (E^-) \\ &\le 2\sup_{E \in \mathcal{M}}|\lambda (E)| \\ &\le 2\|\lambda\|_{ba(X,\mathcal{M})} \end{split}\end{equation}
となります。結局、写像
\begin{equation} L^1(X,\mathcal{M},\mu) \to ca(X,\mathcal{M},\mu) , \quad f \mapsto \lambda_f \end{equation}
を次の積分
\begin{equation} \lambda_f(E)=\int_Ef(x)d\mu(x) \quad {}^{\forall}E \in \mathcal{M} \end{equation}
で定めれば、これは全単射かつ
\begin{equation} \frac{1}{2}\|f\|_{L^1(X,\mathcal{M},\mu)} \le \|\lambda_f\|_{ba(X,\mathcal{M})} \le 4\|f\|_{L^1(X,\mathcal{M},\mu)} \end{equation}
となるから、位相同型
\begin{equation} L^1(X,\mathcal{M},\mu) = ca(X,\mathcal{M},\mu) \end{equation}
が示されました!!
さて、この証明は何も参考にしていないので、もしかしたら間違っているかもしれません……間違っていたらすみません。
さて、では合っていると仮定すると、次の関係
\begin{equation} L^1(X,\mathcal{M},\mu) = ca(X,\mathcal{M},\mu) \subset ba(X,\mathcal{M},\mu)=L^{\infty}(X,\mathcal{M},\mu)^* \end{equation}
が成立します。なお、
\begin{equation} ca(X,\mathcal{M},\mu) \subset ba(X,\mathcal{M},\mu) \end{equation}
なのはよいでしょう。実際、完全加法的ならば有限加法的です。というわけで、真の包含関係があることを確認しましょう。すなわち、
\begin{equation} ca(X,\mathcal{M},\mu) \subsetneq ba(X,\mathcal{M},\mu) \end{equation}
を示しましょう。一般の集合だとなかなか反例が難しいので、ここではEuclid空間、すなわちLebesgue集合族 とLebesgue測度 からなる測度空間 における
\begin{equation} ca(\mathbb{R}^n,\mathcal{L}_n,\mu_n) \subsetneq ba(\mathbb{R}^n,\mathcal{L}_n,\mu_n) \end{equation}
を示しましょう。その反例となる測度は次で与えられます。
\begin{equation} \lambda (E)=\lim_{j \to \infty} \frac{\mu_n(E \cap (0,j)^n)}{j^n} \end{equation}
さて、だいぶすごそうなのが出てきましたが、どうでしょうか……なお、 は の 個の直積です。まず初めに を見ましょう。すぐ分かるように は非負値であり、 の単調性から のとき最大の値を持ちます。このときは
\begin{equation} \lambda (\mathbb{R}^n)=\lim_{j \to \infty} \frac{\mu_n(\mathbb{R}^n \cap (0,j)^n)}{j^n}=\lim_{j \to \infty} \frac{\mu_n((0,j)^n)}{j^n}=1 \end{equation}
であるから、有界であることが分かります。さらに絶対連続性もすぐに分かり、 ならば
\begin{equation} \lambda (\Omega)=\lim_{j \to \infty} \frac{\mu_n(\Omega \cap (0,j)^n)}{j^n} \le \lim_{j \to \infty} \frac{\mu_n(\Omega)}{j^n}=0 \end{equation}
です。もちろん です。そして有限加法性ですが、これは
\begin{equation} (E_1 \cup E_2) \cap (0,j)^n=(E_1 \cap (0,j)^n) \cup (E_2 \cap (0,j)^n) \end{equation}
が成立するため、 ならば
\begin{equation}\begin{split} \lambda (E_1 \cup E_2) &=\lim_{j \to \infty} \frac{\mu_n((E_1 \cup E_2) \cap (0,j)^n)}{j^n} \\ &=\lim_{j \to \infty} \frac{\mu_n(E_1 \cap (0,j)^n)}{j^n} +\lim_{j \to \infty} \frac{\mu_n(E_2 \cap (0,j)^n)}{j^n} \\ &=\lambda (E_1)+\lambda (E_2) \end{split}\end{equation}
となり成立です。したがって です。さて、これが完全加法性を持たなければ ということで、これを確認しましょう。反例の構成には、次の集合列を考えます。
\begin{equation} E_0=[0,1)^n , \quad E_k=[0,k+1)^n \setminus [0,k)^n \end{equation}
さて、要するにこれは第1象限の立方体ブロックを交わらないようにでかくしていっている感じですね。すなわち
\begin{equation} \bigcup_{k=0}^NE_k=\bigcup_{k=0}^N[0,k+1)^n \setminus [0,k)^n=[0,N+1)^n \end{equation}
です。最後の等式は階差数列的なのを考えれば分かりますね。さて、こいつは完全加法性を満たしません。実際、
\begin{equation}\begin{split} \lambda \left( \bigcup_{k=0}^{\infty} E_k \right) &=\lambda ([0,\infty)^n) \\ &=\lim_{j=\infty} \frac{\mu_n([0,\infty)^n \cap (0,j)^n)}{j^n} \\ &=\lim_{j=\infty} \frac{\mu_n( (0,j)^n)}{j^n} \\ &=1 \end{split}\end{equation}
ですが、各 に対しては は有界ですから、十分大きな に対しては
\begin{equation} E_k \cap (0,j)^n=E_k \end{equation}
となります。したがって
\begin{equation}\begin{split} \sum_{k=0}^{\infty}\lambda (E_k) &=\sum_{k=0}^{\infty}\lim_{j \to \infty} \frac{\mu_n(E_k \cap (0,j)^n)}{j^n} \\ &=\sum_{k=0}^{\infty}\lim_{j \to \infty} \frac{\mu_n(E_k)}{j^n} \\ &=0 \end{split}\end{equation}
となります。すなわち です。この反例によって、
\begin{equation} L^1 = ca(\mathbb{R}^n,\mathcal{L}_n,\mu_n) \subsetneq ba(\mathbb{R}^n,\mathcal{L}_n,\mu_n)=(L^{\infty})^* \end{equation}
であることが確かめられました!!反例のポイントは測度の定義に極限があることですね。この極限の交換ができないという点で完全加法性を排除しています。うーん面白い反例だ。
すなわち、やっぱり の双対は より大きいということですね!!さて、今回はキリがいいここまでとします。実際はもう少し踏み込んだことをやりたいので、もし時間があれば次回は における積分定理を少し考察してみようかと思います。よろしくお願いします。