Hilbert space
が成立する。ここで 〈•,•〉 はヒルベルト空間 formula_2 の内積を表す。