離散測度

数学の測度論の分野において、実数直線上のある測度が（ルベーグ測度に関する）離散測度（りさんそくど、）であるとは、その台が高々可算集合であることを言う。この台は必ずしも離散集合でなくても良いことに注意されたい。幾何的に言うと、（ルベーグ測度に関する実数直線上の）離散測度は、点質量の集まりである。
定義と性質.
実数直線に含まれるルベーグ可測集合上で定義され、formula_1 に値を取るある測度 formula_2 が離散的であるとは、（有限である）数列
で
を満たすようなものが存在することを言う。
実数直線上の離散測度の例として最も簡単なものは、ディラックのデルタ関数 formula_5 である。実際 formula_6 および formula_7 が成立している。
より一般に、formula_8 が（有限の）実数列であるなら、formula_9 は同じ長さの formula_1 内の数列で、次のように定義されるディラック測度を考えることが出来る。
ここで formula_12 は任意のルベーグ可測集合である。このとき、測度
は離散測度となる。実際、実数直線上の任意の離散測度は、列 formula_8 および formula_9 を適切に選ぶことによって、このような形状になることを証明出来る。
拡張.
離散測度の概念は、より一般的な測度空間に拡張することが出来る。ある測度空間 formula_16 とその上の二つの測度 formula_2 および formula_18 が与えられたとき、formula_2 が formula_18 に関して離散的であるとは、formula_12 の高々可算な部分集合で次を満たすものが存在することを言う。
初めの二つの条件は、formula_18 がルベーグ測度であるとき実数直線の高々可算な部分集合に対しては常に満たされることに注意されたい。したがって上述の定義では、これら二つの条件は必要ではない。
実数直線上の測度の場合と同様に、formula_16 上の測度 formula_2 が同じ空間上の他の測度 formula_18 に関して離散的であるための必要十分条件は、formula_2 が次の形状を持つことである。
ここで formula_34 であり、単元集合 formula_35 は formula_36 に属し、それらの測度 formula_18 は 0 となる。
符号付測度に対しても同様に離散性の概念を定義することが出来る。このとき、上述の条件 2 と 3 の代わりに、formula_18 は formula_22 の全ての可測な部分集合上でゼロであり、formula_2 は formula_41 の可測な部分集合上でゼロであることを条件とする必要がある。