其导数的勒贝格积分（这可以排除康托函数这样的例子）就足够了。按照这个定义，索伯列夫空间有一个自然的范数,赋予了范数formula_7的formula_4是一个完备空间。实际上只要取序列中的第一项和最后一项就可以了，也即，如下的范数 和上述范数等价。
例子.有些索伯列夫空间有简单的表述。例如，在一维情况，formula_10就是绝对连续函数空间，而"W"是李普希兹函数空间。还有，formula_11可以自然地用其傅立叶级数的术语定义，也就是其中formula_13是"