この場合のソボレフ空間Wk,pはLp-空間の部分集合であって、p≥1が与えられたとき函数fとその弱微分が階数kまで有限なLp-ノルムを持つ函数fの全体からなるものとして定義される。
在这个情况下，索伯列夫空间Wk,p{\displaystyleW^{k,p}}定义为Lp的子集，使得f和它的直到k阶的导数有一个有限的Lp范数，对于某个给定的p≥1。