閉多様体上のソボレフ空間はテスト関数の完備化として与えられることが多いが、弱微分を使って定義した場合の定義と同値になるのかはちゃんと示したことがない...(境界が無ければまあ変なことは起きないのではと信じているが)