< ∞，则空间中的元素可以用测度空间 ("S", "Σ", "μ") 上的简单可积函数逼近。给定测度空间("S", "Σ", "μ")，其上的一个简单可积函数指的是形同：的函数。其中的是实数或复数系数，"A" ∈ "Σ" 是测度有限的可测集合。由勒贝格积分的构造方法可知，简单可积函数的集合在中稠密。如果本身也是测度空间，而是上的博雷尔测度，那么可以通过乌雷松引理证明，所有可测而且测度有限的子集对应的指示函数都可以通过连续函数逼近。所以所有的简单可积函数可以用连续函数逼近。因而可以证明，中的连续函数构