Pauli matrices
と表せる。このとき、恒等演算子とパウリ行列に対応する演算子