ディラック測度

数学におけるディラック測度（ディラックそくど、）は、適当な集合 （に  の部分集合からなる任意のσ-代数を入れたもの）上で、点  に対して、定義される測度  であって、任意の（可測）部分集合  に対して

を満たすものを言う。ただし  は  の指示関数を表す。

ディラック測度は確率測度であり、確率の言葉で言えば標本空間  においてほとんど確実に  が起こるかどうかを表すものである。この測度を  における単と呼ぶこともある。ただし、ディラックデルタを（デルタ列の極限として）点列で定義する場合には、ディラック測度を原子測度（atomic measure）として扱うことは正しくない。ディラック測度は  上の確率測度全体の成すの凸集合のである。

その名称は、測度が特別な種類のシュヴァルツ超函数として得られるという事実に基づいての、（例えば実数直線上で定義される）シュワルツ超函数として考えたディラックのデルタ関数からの逆成である。また、等式

（これをデルタ函数の定義の一部として書くときには

の形に書くのが普通）は、ルベーグ積分論における定理として成立する。

ディラック測度の性質 
以下、 は適当な可測空間  において、一つ選んで固定した点  を中心とするディラック測度を表す。
  は確率測度であり、したがって有限測度である。

また、 は位相空間で、 が少なくとも  上のボレル代数  と同程度には細かいと仮定する。
  が狭義正測度であるための必要十分条件は、位相  がすべての空でない開集合に  が含まれるようなものであることである。例えば、自明な位相 {∅, X} の場合が挙げられる。
  が確率測度であることからは、局所有限測度でもあることもわかる。
 ハウスドルフ位相空間  にそのボレル代数を併せて考えるとき、 は内部正則測度であるための条件を満たす。なぜならば、} のような単集合は常にコンパクトであるからである。したがって  はラドン測度でもある。
 多くの応用においてそうであるように、位相  は十分細かく} が閉となるものと仮定する。このとき  の台は} である（そうでない場合、 は  における} の閉包をとる）。さらに、 は台が} であるような唯一つの確率測度である。
  が -次元ユークリッド空間  に通常の σ-代数と -次元ルベーグ測度  を入れたものとするとき、 は  に関して特異である。実際、 を単純に } と } に分解すれば、 が成立する。

参考文献

関連項目 
 離散測度

測度論
数学に関する記事
数学のエポニム