短语词组短语complex separable hilbert space 可分离的复数希尔伯特空间realification of complex Hilbert space 复Hilbert空间的实化 返回 complex hilbert space