測度収束

測度収束についての解説

測度収束とは、確率収束の概念を一般化するものであり、数学において特に重要な役割を果たしています。これは、可測関数の列が別の可測関数に収束する様子を捉えたものです。この収束には、大域的なものと局所的なものの二つの異なるタイプが存在します。

定義

可測関数$f$とその列$f_n$ ($n ext{は自然数}$)を考え、これらは測度空間$(X, Σ, μ)$上で定義されています。関数列$(f_n)$が$f$へと大域的に測度収束するというのは、任意のε > 0に対して、次の条件が成り立つことを意味します：

$$ ext{lim}_{n o ext{∞}} μ(ig\{x ∈ X: |f(x) - f_n(x)| ext{≥} ε\big\ ext{)}) = 0.$$

一方、関数列が局所的に測度収束するとされるためには、全てのε > 0および月の条件が必要です。この条件とは、測度が有限である任意の測度集合$F$に対して、

$$ ext{lim}_{n o ext{∞}} μ(ig\{x ∈ F: |f(x) - f_n(x)| ext{≥} ε\big\ ext{)}) = 0$$

が成り立つことです。ここで「測度収束」という用語は、文脈によって大域的または局所的のいずれかを指すことがあります。

性質

一般に、大域的な測度収束は局所的な測度収束よりも強い概念です。つまり、局所的な収束が必ずしも大域的な収束につながるわけではありません。しかし、両者の違いは、測度空間に関連する条件に依存します。例えば、$μ(X) < ∞$であれば、局所的な測度収束と大域的な測度収束は同値になります。さらに、ある関数列が局所的に測度収束すると同時に、ほとんど至る所で収束する部分列を持つ場合、それは大域的に測度収束することを意味します。

例と反例

局所的な測度収束に関する典型的な例は、以下のような関数列に見られます。まず、$f_n = ext{χ}_{[n, ∞)}$の形を取ると、これは$f$へと局所的に収束しますが、大域的には収束しません。また、$f_n = n ext{χ}_{[0, rac{1}{n}]}$という形の関数列は、ほとんど至る所で収束しますが、p-ノルムにおいては収束が成り立ちません。

位相

測度収束には、収束の許す位相も考えられ、局所的な測度収束が位相的な収束に対応するような構造が持たれています。この位相は、任意の測度が有限な領域$F$における擬距離を用いて定義され、様々な収束性を比較する役割を果たします。

関連項目

測度収束に関する理解を深めるためには、関数列の収束や、リミット定理、特にファトゥの補題や単調収束定理に関する知識が重要です。これらは計算機数学や統計学など多くの分野で広く応用されています。

参考文献

• - D.H. Fremlin, 2000. Measure Theory. Torres Fremlin. ISBN 978-0-9538129-8-1.
• - H.L. Royden, 1988. Real Analysis. Prentice Hall. ISBN 0-02-404151-3.
• - G.B. Folland, 1999. Real Analysis. John Wiley & Sons. ISBN 0-471-31716-0.

もう一度検索