Estos operadores no son más que las matrices de Pauli.