Sobolev space
函数自体だけでなくその導函数にも有界性条件を課すことでソボレフ空間の概念が導かれる。