22.3 幺正结构、希尔伯特空间和狄拉克算符