ヒルベルト空間
"B" をヒルベルト空間 "H" の直交基底とすれば、"H" の各元 "x" は