ソボレフ空間
まずは単位円 T 上で定義される 1-次元(1-変数函数)の場合という最も単純な設定でソボレフ空間を導入することから始める。この場合のソボレフ空間 W は L-空間の部分集合であって、p ≥ 1 が与えられたとき函数 f とその弱微分が階数 k まで有限な L-ノルムを持つ函数 f の全体からなるものとして定義される。場合によっては微分を通常の強い意味での微分として扱うこともある。1-次元の問題においてはf の (k−1)-階導函数 f が殆ど至る所微分可能で、その導函数のルベーグ積分と殆ど至る所一致することを仮定すれば十分である(これによりソボレフ空間の定義の狙いとは無関係なカントール函数のような例を除くことができる)。
この定義からソボレフ空間には自然なノルム