How to Prove the Commutator Relation for Quantum Spin Operators?

[jdstokes]

Homework Statement

Using the orthonormality of |+\rangle and |-\rangle, prove

[S_i,S_j]= i \varepsilon_{ijk}S_k

where
S_x = \frac{\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + |
S_y = -\frac{i\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + |
S_z = \frac{\hbar}{2}|+\rangle \langle + | - | - \rangle \langle - |

The Attempt at a Solution

Since S_x and S_y commute, their commutator should be zero which contradicts [S_x,S_y]= i S_z. What am I missing here?

 

[malawi_glenn]

S_x and S_y does not commute, check again.

If you are unsure, please write the procedure you did to get that S_x and S_y commutes.

 

[jdstokes]

Umm, is this not right?

[S_x,S_y] = \frac{\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + |\left(-\frac{i\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + | \right)<br /> <br /> -\left(-\frac{i\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + | \right)\frac{\hbar}{2}|+\rangle \langle - | + | - \rangle \langle + | = 0?

 

[jdstokes]

Is this a typo or what?

 

[George Jones]

Is this a typo or what?

Must be; the way it's written,

S_y = -iS_x.

 

[malawi_glenn]

jdstokes You must use paranthesis more carefully!

According to my copy of Sakurai:

S_y = \frac{i\hbar}{2}(-|+\rangle \langle - | + | - \rangle \langle + |)

 

[jdstokes]

OMG why do I miss these obvious things!

Thanks for your patience malawi_glenn and George.

 

[jdstokes]

If you guys have a spare moment, would you please have a look at my new post in the quantum physics forum?