formula_19 上所有平方可积（square-integrable）的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formula_17 空间里，对于几乎处处( almost everywhere )相同的函数，也就是说如果两函数只在一个测度为0的集合上不相等，我们把这两函数当做在 formula_17 中相同的元素。此时两个函数formula_31和formula_32的内积定义为但需要证明的是：这个证明可以在相关的书籍中找到，与此例相关的内