Sobolev space
で定義され、ソボレフ空間 "H""s" はノルムが有限な函数全体の空間として定まる。