4 是 formula_20 上的测度。更仔细的说，formula_26( 简写做 formula_17 ) 表示 formula_19 上所有平方可积（square-integrable）的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formula_17 空间里，对于几乎处处( almost everywhere )相同的函数，也就是说如果两函数只在一个测度为0的集合上不相等，我们把这两函数当做在 formula_17 中相同的元素。此时两个函数formu