1階のtensor同士のtensor積の交換法則
$ \bm{a}\otimes\bm{b} = (\bm{b}\otimes\bm{a})^\top
が成立する
証明
https://kakeru.app/5bfa2db6dcf5b3616047a7f43f5654ab https://i.kakeru.app/5bfa2db6dcf5b3616047a7f43f5654ab.svg
これだとややわかりにくい
https://kakeru.app/3f6f0ecda99e549b629e591db4bc50ae https://i.kakeru.app/3f6f0ecda99e549b629e591db4bc50ae.svg
やっぱり$ \gdef\mat#1{\begin{pmatrix}#1\end{pmatrix}} \left(\mat{a_0\\a_1\\a_2}\mat{b_0&b_1&b_2}\right)^\top = \mat{b_0&b_1&b_2}^\top\mat{a_0\\a_1\\a_2}^\top = \mat{b_0\\b_1\\b_2}\mat{a_0&a_1&a_2} が本質か。