Sobolev space
formula_1上の実数値関数で、formula_2 階までの弱微分が formula_3 に含まれるものからなるソボレフ空間を formula_4 と表す。ここで formula_2 は非負の整数で、formula_6 である。ソボレフ埋蔵定理の第一の部分では、formula_7 と formula_8 が formula_9 および