それらは、ある種のソボレフ空間の間の包含関係を与えるソボレフ埋蔵定理(sobolev embedding theorem)や、わずかに強い条件の下でいくつかのソボレフ空間は別のものにコンパクトに埋め込まれることを示すレリッヒ＝コンドラショフの定理を証明するために用いられる。