ヒルベルト＝シュミットノルム