的可测函数。考虑所有绝对值的次幂在可积的函数，也就是集合：集合中的函数可以进行加法和数乘：从不等式：|"f" + "g"| ≤ 2 (|"f"| + |"g"|)可知，两个次可积函数的和，也是一个次可积函数。另外，容易证明formula_41；闵可夫斯基不等式的积分形式说明三角不等式对formula_42成立。满足这样条件的formula_42构成一个半范数，令formula_44成为一个半赋范向量空间。之所以是半范数，是因为满足formula_45的函数formula_46不一定是零函数。然而可以通过