Hilbert space
が成立する。また、ヒルベルト空間上の作用素ノルムについては