Each displayed Pauli matrix has zero trace and determinant . Direct multiplication gives , henceTheir two eigenvalues are therefore and .
Besides their squares, direct multiplication yields , and . Reversing each pair changes the sign. These identities combine into the Pauli matrix multiplication identityAdding the expression with exchanged cancels the antisymmetric term, proving . Taking the trace instead uses and , proving .
Expand the two linear combinations and use the Pauli matrix multiplication identity:Interchanging the vectors reverses the cross product, so their commutator is . The three Pauli matrices are linearly independent; alternatively, trace against to recover each coefficient. ThusFor nonzero real vectors, this means they are parallel or antiparallel, equivalently linearly dependent. The algebra also extends to complex vectors using bilinear dot and cross products, with the same linear-dependence criterion; the dot product there has no complex conjugation.
Articles by others on the same topic
There are currently no matching articles.