狄拉克δ函数
这是有限维公式的推广，也参看狄拉克δ函数和雅可比行列式。然后