数演算子
数演算子の固有ベクトルに消滅演算子が作用すると、
a ^ | N ⟩ = N | N − 1 ⟩ {\displaystyle {\hat {a}}|N\rangle ={\sqrt {N}}|N-1\rangle }