S^=2ℏσ^⟺S^i=2ℏσ^i (i=x,y,z or 1,2,3) [S^i,S^j]=iℏϵijkS^k⟹[σ^i,σ^j]=2iϵijkσ^k S^2=43ℏ2I⟹σ^2=3I, σ^i2=I 数学上,这三条性质可以互相导出(1→2,3 | 3→1,2 | 2不可单独): [Ai,Aj]=2iϵijkAk , Ai2=I {Ai,Aj}=2δijI AiAj=δijI+iϵijkAk