自然的问题是:有没有其它的"L"空间包含formula_43？索伯列夫嵌入定理给出一个简单的表达（参看）:"定理:令formula_46且formula_47。则如下命题成立:"
迹.令"s" > ½。若"X"为开集，使得其边界"G""足够光滑"，则我们可以定义映射"P"的"迹"（也即，"限制")如下也即，"u"限制到边界"G"上。一个可能的光滑条件是一致formula_55， "m" ≥ "s"。 （但是注意，这个矩阵迹没有关系。）这个迹映射"P"其定义域为form