測度収束

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学の分野における測度収束(そくどしゅうそく、: convergence in measure)とは、確率収束の概念を一般化する、二つの異なる数学の概念に対して用いられる語である。

定義[編集]

f, f_n\ (n \in \mathbb N): X \to \mathbb R を、測度空間 (X,Σ,μ) 上の可測関数とする。関数列 (fn) が f へと大域的に測度収束するとは、すべての ε > 0 に対して

\lim_{n\to\infty} \mu(\{x \in X: |f(x)-f_n(x)|\geq \varepsilon\}) = 0

が成立することを言う。また、同様の関数列が f へと局所的に測度収束するとは、すべての ε > 0 および \mu (F) < \infty であるようなすべての F \in \Sigma に対して

\lim_{n\to\infty} \mu(\{x \in F: |f(x)-f_n(x)|\geq \varepsilon\}) = 0

が成立することを言う。

測度収束という語は、人によって、上述の大域的あるいは局所的のいずれかの場合に対して用いられる。

性質[編集]

以下では、ffn (n \in N) は XR の可測関数とする。

  • 大域的な測度収束は、局所的な測度収束を意味する。しかし逆は成立しない。すなわち、一般的に、局所的な測度収束は大域的な測度収束よりも厳密に弱い概念となっている。
  • しかし、もし \mu (X)<\infty であるか、あるいは一般的に、すべての fn がある有限測度の集合の外部で消失するのであれば、局所的な測度収束と大域的な測度収束の間に違いは無くなる。
  • μシグマ有限英語版で、列 (fn) が f へと(局所的あるいは大域的に)測度収束するのであれば、ほとんど至る所で f へと収束する部分列が存在する。大域的な測度収束の場合は、シグマ有限性は必要とはされない。
  • μ がシグマ有限であるなら、(fn) が f へと局所的に測度収束するための必要十分条件は、すべての部分列が、ほとんど至る所で f へと収束する部分列をさらに持つことである。
  • 特に、(fn) が f へとほとんど至る所で収束するのであれば、(fn) は f へと局所的に測度収束する。その逆は成り立たない。
  • μ がシグマ有限であるなら、ほとんど至る所での収束が(局所的あるいは大域的な)測度収束に置き換えられても、ルベーグの優収束定理は成立する[要出典]
  • X = [a,b] ⊆ R であり μルベーグ測度であるなら、f へと大域的に測度収束するような階段関数の列 (gn) および連続関数の列 (hn) が存在する。
  • ffn (nN) が、ある p > 0 に対してLp(μ)に含まれ、p-ノルムにおいて (fn) が f へと収束するなら、(fn) は f へと大域的に測度収束する。その逆は成立しない。
  • fnf へと測度収束し、gng へと測度収束するなら、fn + gnf + g へと測度収束する。加えて、もしその測度空間が有限であるなら、fngnfg へと収束する。

反例[編集]

X = \mathbb R とし、μ をルベーグ測度とし、f を値がゼロであるような定数関数とする。

  • 関数列 f_n = \chi_{[n,\infty)}f へと局所的に測度収束するが、大域的には測度収束しない。
  • k = \lfloor \log_2 n\rfloor とし、j=n-2^k とした関数列 f_n = \chi_{[\frac{j}{2^k},\frac{j+1}{2^k}]} (この初めの五つの項は \chi_{\left[0,1\right]},\;\chi_{\left[0,\frac12\right]},\;\chi_{\left[\frac12,1\right]},\;\chi_{\left[0,\frac14\right]},\;\chi_{\left[\frac14,\frac12\right]} である)は、f へと局所的に測度収束する。しかし、fn(x) がゼロへと収束するような x は存在せず、したがって (fn)f へとほとんど至る所で収束するという訳ではない。
  • 関数列 f_n = n\chi_{\left[0,\frac1n\right]}f へとほとんど至る所で収束(したがって、局所的に測度収束)する。しかし、どのような p \geq 1 に対しても、p-ノルムにおける収束はしない。

位相[編集]

X からの可測関数の系(collection)で、局所的な測度収束が位相上の収束に対応するようなものについて、(局所)測度収束の位相と呼ばれる位相が存在する。この位相は、擬距離の族

\{\rho_F : F \in \Sigma,\ \mu (F) < \infty\},

によって定義される。ここで

\rho_F(f,g) = \int_F \min\{|f-g|,1\}\, d\mu

とする。

この位相は擬距離の族によって生成されているため、一様化可能である。位相の代わりに一様構造を考えることで、コーシー性のような一様性英語版を構成することが出来る。

参考文献[編集]

  • D.H. Fremlin, 2000. Measure Theory. Torres Fremlin.
  • H.L. Royden, 1988. Real Analysis. Prentice Hall.
  • G.B. Folland 1999, Section 2.4. Real Analysis. John Wiley & Sons.