El producto interior satisface ( $u,v$ vectores, $A$ escalar)
i) $<u+v,w>=<u,w>+<v,w>$
ii) $<A v,w>=A<v,w>$
iii) $<v,w>=<w,v>$
iv) $<v,v>\geq0\mbox{ and equal to $ 0 $ iff }v=0$
Definición de $<A,B>=\operatorname{trace}(AB)$ y dejando $C$ ser otro $2\times 2$ matriz da:
i) $<A+C,B>=\operatorname{trace}((A+C)B)=\operatorname{trace}(AB)+\operatorname{trace}(CB)$
ii) $<x A,B>=\operatorname{trace}(xAB)=x\operatorname{trace}(AB)=x<A,B>$
iii) $<A,B>=\operatorname{trace}(AB)=\operatorname{trace}(BA)=<B,A>$
iv) $<A,A>=\operatorname{trace}(A^2)\geq0\mbox{ and equal to $ 0 $ iff }A=0$
Puede comprobarlo en 2).