logo

測度収束 📂測度論

測度収束

定義 1

測度空間 $( X , \mathcal{E} , \mu)$ が与えられているとしよう。

  1. 可測関数シーケンス $\left\{ f_{n} : X \to \mathbb{R} \right\}_{n \in \mathbb{N}}$ がある可測関数 $f : X \to \mathbb{R}$ と全ての $M >0$ に対して次を満たすならば $f$ に測度収束converge in measureすると言う。 $$ \lim_{n \to \infty} \mu \left( \left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\} \right) = 0 $$
  2. シーケンス $\left\{ f_{n} : X \to \mathbb{R} \right\}_{n \in \mathbb{N}}$ が全ての $M >0$ に対して次を満たすならば測度でコーシーCauchy in measureと言う。 $$ \lim_{n,m \to \infty} \mu \left( \left\{ x \in X : | f_{m}(x) - f_{n}(x) | \ge M \right\} \right) = 0 $$

説明

確率論の表現では確率収束と言う。

収束の定義は我々が考える収束をきれいに説明する。しかしこのように複雑に測度まで動員して新しい収束を定義する理由は、収束というものが過度に難しい場合があるためだ。しかし、測度収束するならば、すなわち $f_{n}$ が $f$ と十分に似ていない領域が $\mu$ で測定したとき $0$ に収束する程度に妥協できるならば、より多くの議論を展開することができる。これは測度論ほとんど至る所でを考えることに似ている。

基本性質

一般的な測度空間

有限測度空間

$\mu$ が有限測度であるとしよう。

  • [2-1]: $f_{n}$ が $f$ に一様収束すれば点別収束する。
  • [2-2]: $f_{n}$ が $f$ に点別収束すればほとんど至る所で収束する。
  • [2-3]: $f_{n}$ が $f$ でほとんど至る所で収束すれば測度収束する。

証明

実際に[2-1]と[2-2]の証明では $\mu (X) < \infty$ を仮定しなくてもよいが、[2-3]を証明するためには有限測度空間という条件が必要だ。[2-1]〜[2-3]をまとめると次のようになる:

  • 一様収束 $\implies$ 点別収束 $\implies$ ほとんど至る所で収束 $\overset{\mu(X) < \infty}{\implies}$ 測度収束

この事実は特に測度として定義される確率空間 $\left( \Omega , \mathcal{F}, P \right)$ で、$P$ が有限測度 $P (\Omega) = 1 < \infty$ として定義される点で非常に重要だ。

[1-1]

$M > 0$ に対して $$ \begin{align*} \int_{X} | f_{n} - f |^{p} d \mu &\ge \int_{\left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\}} |f_{n} - f |^{p} d \mu \\ &\ge \int_{\left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\}} M^{p} d \mu \\ &\ge M^{p} \mu \left( \left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\} \right) \end{align*} $$ $f_{n}$ が $f$ に$\mathcal{L}_{p}$ 収束するので $\displaystyle \lim_{n \to \infty } \int_{X} | f_{n} - f |^{p} d \mu = 0$ であり $M>0$ であるから $$ \lim_{n \to \infty} \mu \left( \left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\} \right) = 0 $$ でなければならない。したがって $f_{n}$ は $f$ に測度収束する。

[1-2] 2 3

ほとんど一様収束測度空間 $( X , \mathcal{E} , \mu)$ が与えられたとしよう。

  1. 可測関数シーケンス $\left\{ f_{n} \right\}_{n \in \mathbb{N}}$ がある可測関数 $f$ とそれぞれの $\delta > 0$ に対して $\mu \left( E_{\delta} \right) < \delta$ を満たす $E_{\delta} \in \mathcal{E}$ が存在して $X \setminus E_{\delta}$ で $f_{n}$ が $f$ に一様収束するならば $f_{n}$ は $f$ にほとんど一様収束almost uniformly convergentすると言う。
  2. すべての $\delta > 0$ に対して $\mu \left( E_{\delta} \right) < \delta$ を満たす $E_{\delta} \in \mathcal{E}$ が存在して $X \setminus E_{\delta}$ で $f_{n}$ が $f$ に一様収束すれば $f_{n}$ をほとんど一様にコーシーシーケンスalmost uniformly Cauchy sequenceと言う。

$f_{n}$ が $f$ にほとんど一様収束するということは、$\mu ( E) = 0$ を満たすある $E \in \mathcal{E}$ 以外の $X$ の全ての点 $x$ でそれぞれの関数値 $f_{n} (x)$ が $f(x)$ に収束することを意味する。任意の $M > 0$ が与えられたとしても、 $$ \left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\} \subset E $$ であり、測度の単調性によって常に $$ \mu \left( \left\{ x \in X : | f_{n}(x) - f(x) | \ge M \right\} \right) \le \mu ( E ) = 0 $$ であるので、$f_{n}$ は $f$ に測度収束する。

[2-1]

一様収束の定義によって全ての $x \in X$ と全ての $\varepsilon > 0$ に対して $n \ge N \implies |f_{n}(x) - f(x)| < \varepsilon$ を満たす $N \in \mathbb{N}$ が存在するので $f_{n}$ は $f$ に点別収束する。

[2-2]

$f_{n}$ が $f$ に点別収束するということは、$E = \emptyset$ 以外の $X$ の全ての点 $x$ でそれぞれの関数値 $f_{n} (x)$ が $f(x)$ に収束することを意味する。この時 $\mu ( \emptyset ) = 0$ であるので、$f_{n}$ は $f$ にほとんど至る所で収束する。

[2-3]

エゴロフの定理: 測度空間 $( X , \mathcal{E} , \mu)$ が与えられ、$\mu$ は有限測度であるとしよう。可測関数シーケンス $\left\{ f_{n} : X \to \mathbb{R} \right\}_{n \in \mathbb{N}}$ が $X$ である可測関数 $f$ にほとんど至る所で収束すれば、$f_{n}$ は $f$ にほとんど一様収束測度収束する。

エゴロフの定理の帰結として得られる。

参照


  1. Bartle. (1995). The Elements of Integration and Lebesgue Measure: p69. ↩︎

  2. Ramiro, Prove that if $(f_n)$ converges to $f$ almost uniformly then $(f_n)$ converges to $f$ in measure., URL (version: 2017-06-06): https://math.stackexchange.com/q/2311989 ↩︎

  3. Bartle. (1995). The Elements of Integration and Lebesgue Measure: p74. ↩︎