形式体系与希尔伯特空间

狄拉克符号

狄拉克符号是保罗·狄拉克用来书写量子态以及由它们构造出的各种量的简洁记法。一个态写作「右矢」,即 |ψ⟩,它的搭档称为「左矢」,写作 ⟨ψ|。把一个左矢和一个右矢拼在一起,就得到一个「左右矢」即括号 ⟨φ|ψ⟩,这是一个单一的数,量度两个态有多少重叠。这个俏皮的名字,来自把英文 bracket(括号)一词拆成 bra 与 ket 两半。

这套记法不只是一个可爱的双关:它悄悄替你记着手里拿的是哪一类对象。单独一个右矢是一个态;单独一个左矢是把态变成数的「配方」;若把右矢与左矢反过来摆成 |ψ⟩⟨φ|,则构成一个作用在态上的算符。正因为这些符号自带这份记账功能,你几乎可以机械地操作方程,而答案会带着正确的身分浮现出来。

它真正的威力在于:它从不把态固定为某一种具体的写法。同一个表达式 ⟨φ|ψ⟩ 始终代表一次重叠,无论你日后选择把态拼写成波函数、写成一列数字,还是写成朝上朝下的自旋。狄拉克符号让你能够在态与算符本身的层面上对量子力学进行推理,只有在真要动手计算时,才下降到具体的分量。

ket |ψ⟩, bra ⟨ψ|, overlap ⟨φ|ψ⟩, operator |ψ⟩⟨φ|

右矢是态,左矢把态变成数,二者结合则构成重叠或算符。

这套记法只是一种语言,并不增添额外的物理。任何用狄拉克符号写出的陈述,都可以改写成波函数或矩阵;狄拉克的符号只是让结构更易看清、更易操作。

又称
Dirac notationbracket notation刁拉克符号括号记法