Hilbert space
복소수 힐베르트 공간 formula_58에서, 다음을 정의하자.