Je charakterizován optimální Sobolevův prostor funkcí, majících stopy na podprostoru dané dimenze. Odpovídaj ící věta o stopách je dokázána.