離散測度

数学の測度論の分野において、実数直線上のある測度が（ルベーグ測度に関する）離散測度（りさんそくど、テンプレート:Lang-en-short）であるとは、その台が高々可算集合であることを言う。この台は必ずしも離散集合でなくても良いことに注意されたい。幾何的に言うと、（ルベーグ測度に関する実数直線上の）離散測度は、点質量の集まりである。

定義と性質

実数直線に含まれるルベーグ可測集合上で定義され、$[0,\mathrm{\infty }]$ に値を取るある測度 $\mu$ が離散的であるとは、（有限である）数列

$s_1,s_2,\dots$

で

$\mu (ℝ\mathrm{\setminus }\{s_1,s_2,\dots \})=0$

を満たすようなものが存在することを言う。

実数直線上の離散測度の例として最も簡単なものは、ディラックのデルタ関数 $\delta$ である。実際 $\delta (ℝ\mathrm{\setminus }\{0\})=0$ および $\delta (\{0\})=1$ が成立している。

より一般に、$s_1,s_2,\dots$ が（有限の）実数列であるなら、$a_1,a_2,\dots$ は同じ長さの $[0,\mathrm{\infty }]$ 内の数列で、次のように定義されるディラック測度を考えることが出来る。

${\delta }_{s_i}(X)=\{\begin{array}{cc}1& \text{ if }{s}_i\in X\\ 0& \text{ if }{s}_i\in ̸X\end{array}$

ここで $X$ は任意のルベーグ可測集合である。このとき、測度

$\mu =\sum _i{a}_i{\delta }_{s_i}$

は離散測度となる。実際、実数直線上の任意の離散測度は、列 $s_1,s_2,\dots$ および $a_1,a_2,\dots$ を適切に選ぶことによって、このような形状になることを証明出来る。

拡張

離散測度の概念は、より一般的な測度空間に拡張することが出来る。ある測度空間 $(X,\mathrm{\Sigma })$ とその上の二つの測度 $\mu$ および $\nu$ が与えられたとき、$\mu$ が $\nu$ に関して離散的であるとは、$X$ の高々可算な部分集合で次を満たすものが存在することを言う。

1. $S$ 内のすべての $s$ に対する単元集合 $\{s\}$ は可測（これは $S$ 内の任意の部分集合が可測であることを意味する）
2. $\nu (S)=0$
3. $\mu (X\mathrm{\setminus }S)=0.$

初めの二つの条件は、$\nu$ がルベーグ測度であるとき実数直線の高々可算な部分集合に対しては常に満たされることに注意されたい。したがって上述の定義では、これら二つの条件は必要ではない。

実数直線上の測度の場合と同様に、$(X,\mathrm{\Sigma })$ 上の測度 $\mu$ が同じ空間上の他の測度 $\nu$ に関して離散的であるための必要十分条件は、$\mu$ が次の形状を持つことである。

$\mu =\sum _i{a}_i{\delta }_{s_i}$

ここで $S=\{s_1,s_2,\dots \}$ であり、単元集合 $\{s_i\}$ は $\mathrm{\Sigma }$ に属し、それらの測度 $\nu$ は 0 となる。

符号付測度に対しても同様に離散性の概念を定義することが出来る。このとき、上述の条件 2 と 3 の代わりに、$\nu$ は $S$ の全ての可測な部分集合上でゼロであり、$\mu$ は $X\mathrm{\setminus }S$ の可測な部分集合上でゼロであることを条件とする必要がある。

参考文献

• テンプレート:Cite book

外部リンク

• テンプレート:SpringerEOM