Dirac delta function
実数直線上の離散測度の例として最も簡単なものは、ディラックのデルタ関数 formula_5 である。実際 formula_6 および formula_7 が成立している。