Tr[sl[a]sl[b]]=a・ｂの計算について
Tr[sl[a]sl[b]]=a・ｂの計算について教えてください。
aのスラッシュをsl[a]、bのスラッシュをsl[b]とすると下記のようになると思います。
sl[a]={{a0,0,a3,a1-a2 i},{0,a0,a1+a2 i,-a3},{-a3,-a1+a2 i,-a0,0},{-a1-a2 i,a3,0,-a0}};
sl[b]={{b0,0,b3,b1-b2 i},{0,b0,b1+b2 i,-b3},{-b3,-b1+b2 i,-b0,0},{-b1-b2 i,b3,0,-b0}};
この積のトレースは、
Tr[sl[a].sl[b]]=4 a0 b0-4 a3 b3+(a1-a2 i) (-b1-b2 i)+(-a1-a2 i) (b1-b2 i)+(a1+a2 i) (-b1+b2 i)+(-a1+a2 i) (b1+b2 i);
となります。
また、a・bは、下記になると思います。
a・b={{a0 b0-a1 b1-a2 b2-a3 b3,0,0,0},{0,a0 b0-a1 b1-a2 b2-a3 b3,0,0},{0,0,a0 b0-a1 b1-a2 b2-a3 b3,0},{0,0,0,a0 b0-a1 b1-a2 b2-a3 b3}};
このトレースは、
Tr[a・b]=4 a0 b0-4 a1 b1-4 a2 b2-4 a3 b3;
になります。引き算をすると、
Tr[sl[a].sl[b]]-Tr[a・b]=0;
となります。
質問１、
Tr[sl[a]sl[b]]=a・ｂは、Tr[sl[a].sl[b]]-Tr[a・b]=0;でよろしいのでしょうか？
自分では、納得できませんが？
質問２、
sl[a].sl[b]は、多分、非対角成分が０でないはずですが、トレースを取るということは、対角成分のみを拾い出すことになりますが、非対角成分は廃棄して良いのでしょうか？
