Ｄ⊂Ｒ^3は有界領域とします
超関数の意味の1階の導関数を持つＤ⊂Ｒ^3上の2乗可積分関数全体からなるヒルベルト空間の元ｆについて
||ｆ|| ＝√(ｆ^2のＤの境界での面積分 ＋ |▽ｆ|^2 の Ｄでの積分)
とすると
||・||は完備なノルムになるみたいなのですが、何故でしょうか