Hilbert space
であり、複素ヒルベルト空間の場合は