Sobolev space
によって定義され、通常の場合と同様にソボレフ空間がソボレフノルム有限な函数全体の成す空間として定義される。