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