ヒルベルト空間 "h"0は "g" 上の両側 "k"-不変自乗可積分函数全体の成す空間 "l"2("k"\"g"/"k")と同一視することができる。