la_52的零空间。对可测函数formula_46来说，formula_54几乎处处为零（在测度"μ"意义下）。所以而formula_51同时也是formula_44的一个子空间。设formula_59是formula_44关于formula_51的商空间。formula_59中的某个元素formula_46可以看作是所有和函数formula_46相差一个formula_51中元素的函数构成的等价类。这样定义的空间formula_59是一个赋范向量空间，称为上函数关于测度"μ"的"L"空间。formula