離散測度のソースを表示

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

== 定義と性質 ==
実数直線に含まれる[[ルベーグ測度|ルベーグ可測集合]]上で定義され、<math>[0, \infty]</math> に値を取るある測度 <math>\mu</math> が'''離散的'''であるとは、（有限である）[[数列]]
: <math>s_1, s_2, \dots \,</math>
で
: <math>\mu(\mathbb R\backslash\{s_1, s_2, \dots\})=0</math>
を満たすようなものが存在することを言う。

実数直線上の離散測度の例として最も簡単なものは、[[ディラックのデルタ関数]] <math>\delta</math> である。実際 <math>\delta(\mathbb R\backslash\{0\})=0</math> および <math>\delta(\{0\})=1</math> が成立している。

より一般に、<math>s_1, s_2, \dots</math> が（有限の）実数列であるなら、<math>a_1, a_2, \dots</math> は同じ長さの <math>[0, \infty]</math> 内の数列で、次のように定義される[[ディラック測度]]を考えることが出来る。
: <math>\delta_{s_i}(X) = 
\begin{cases} 
1 & \mbox { if } s_i \in X\\ 
0 & \mbox { if } s_i \not\in X\\ 
\end{cases} 
</math>
ここで <math>X</math> は任意のルベーグ可測集合である。このとき、測度

: <math>\mu = \sum_{i} a_i \delta_{s_i}</math>

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

== 拡張 ==
離散測度の概念は、より一般的な[[測度空間]]に拡張することが出来る。ある測度空間 <math>(X, \Sigma)</math> とその上の二つの測度 <math>\mu</math> および <math>\nu</math> が与えられたとき、<math>\mu</math> が <math>\nu</math> に関して'''離散的'''であるとは、<math>X</math> の高々可算な部分集合で次を満たすものが存在することを言う。
# <math>S</math> 内のすべての <math>s</math> に対する単元集合 <math>\{s\}</math> は可測（これは <math>S</math> 内の任意の部分集合が可測であることを意味する）
# <math>\nu(S)=0\,</math>
# <math>\mu(X\backslash S)=0.\,</math>
初めの二つの条件は、<math>\nu</math> がルベーグ測度であるとき実数直線の高々可算な部分集合に対しては常に満たされることに注意されたい。したがって上述の定義では、これら二つの条件は必要ではない。

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

: <math>\mu = \sum_{i} a_i \delta_{s_i}</math>

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

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

== 参考文献 ==
* {{cite book
 | last       = Kurbatov
 | first      = V. G.
 | title      = Functional differential operators and equations
 | publisher  = Kluwer Academic Publishers
 | year       = 1999
 | pages      = 
 | isbn       = 0-7923-5624-1
}}

== 外部リンク ==
* {{SpringerEOM|title=Discrete measure|author=A.P. Terekhin|urlname=Discrete_measure}}

{{DEFAULTSORT:りさんそくと}}
[[Category:測度論]]
[[Category:数学に関する記事]]