ここで、消滅演算子formula_2を以下で定義し、そのエルミート共役formula_3を生成演算子と呼ぶことにする。