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