"k"才够取决于"p"以及维数这二者。但是，"W"和formula_11的表述在做了必要的修改之后还是成立的。
索伯列夫嵌入.索伯列夫空间formula_43是formula_44的子集。一个很自然的问题是:有没有其它的"L"空间包含formula_43？索伯列夫嵌入定理给出一个简单的表达（参看）:"定理:令formula_46且formula_47。则如下命题成立:"
迹.令"s" > ½。若"X"为开集，使得其边界 "G""足够光滑"，则我们可