Sobolev space
で与えられる。ただし、右辺のドット積は各階の偏導関数全体の成すユークリッド空間におけるドット積である。 が整数でない場合にもソボレフ空間は定義できる。