Как получить результат 3⊗3=6⊕3¯3⊗3=6⊕3¯3 \otimes 3 = 6 \oplus \bar{3} для SU(3)SU(3)SU(3) неприводимых представлений?

Раздел А: Связь преобразований сложных$\:3\times 3\:$антисимметричные тензоры и их репрезентативный комплекс$\:3$-векторы.

---

Позволять$\:U\:$— специальное унитарное преобразование в$\:SU(3)\:$в лице$\:3\times 3\:$сложная матрица

$$\begin{equation} U= \begin{bmatrix} u_{11} & u_{12} & u_{13} \\ u_{21} & u_{22} & u_{23} \\ u_{31} & u_{32} & u_{33} \end{bmatrix} \tag{A-01} \end{equation}$$ С $\:UU^{\boldsymbol{*}}=I\:$у нас есть $\:U^{\boldsymbol{*}}=U^{-1}$, так $$\begin{equation} U^{\boldsymbol{*}}=\left(\overline{U}\right)^{\mathsf{T}}=\overline{U^{\mathsf{T}}} \begin{bmatrix} \overline{u}_{11} & \overline{u}_{21} & \overline{u}_{31} \\ \overline{u}_{12} & \overline{u}_{22} & \overline{u}_{32} \\ \overline{u}_{13} & \overline{u}_{23} & \overline{u}_{33} \end{bmatrix} = U^{-1} \tag{A-02} \end{equation}$$ где $\:\overline{u}\:$= комплексное сопряжение $\:u\:$и $\:U^{\mathsf{T}}\:$транспонированная матрица $\:U$. К $\:\det\left(U\right)=1$у нас есть $$\begin{equation} U^{-1}= \begin{bmatrix} (u_{22}u_{33}-u_{23}u_{32}) & (u_{13}u_{32}-u_{12}u_{33}) & (u_{12}u_{23}-u_{13}u_{22}) \\ (u_{23}u_{31}-u_{21}u_{33}) & (u_{11}u_{33}-u_{13}u_{31}) & (u_{13}u_{21}-u_{11}u_{23}) \\ (u_{21}u_{32}-u_{22}u_{31}) & (u_{12}u_{31}-u_{11}u_{32}) & (u_{11}u_{22}-u_{12}u_{21}) \end{bmatrix} \tag{A-03} \end{equation}$$

$$\begin{equation} U^{-1}= \begin{bmatrix} + \begin{vmatrix} u_{22} & u_{23}\\ u_{32} & u_{33} \end{vmatrix} & - \begin{vmatrix} u_{12} & u_{13}\\ u_{32} & u_{33} \end{vmatrix} & +\begin{vmatrix} u_{12} & u_{13}\\ u_{22} & u_{23} \end{vmatrix} \\ &&\\ - \begin{vmatrix} u_{21} & u_{23}\\ u_{31} & u_{33} \end{vmatrix} & + \begin{vmatrix} u_{11} & u_{13}\\ u_{31} & u_{33} \end{vmatrix} & - \begin{vmatrix} u_{11} & u_{13}\\ u_{21} & u_{23} \end{vmatrix} \\ &&\\ + \begin{vmatrix} u_{21} & u_{22}\\ u_{31} & u_{32} \end{vmatrix} & - \begin{vmatrix} u_{11} & u_{12}\\ u_{31} & u_{32} \end{vmatrix} & + \begin{vmatrix} u_{11} & u_{12}\\ u_{21} & u_{22} \end{vmatrix} \end{bmatrix} \tag{A-03$^{\prime}$} \end{equation}$$

По уравнениям (A-02) и (A-03) комплексно сопряженные элементы$\:U\:$выражаются через сами элементы

$$\begin{equation} \begin{bmatrix} \overline{u}_{11} & \overline{u}_{21} & \overline{u}_{31} \\ \overline{u}_{12} & \overline{u}_{22} & \overline{u}_{32} \\ \overline{u}_{13} & \overline{u}_{23} & \overline{u}_{33} \end{bmatrix} \\= \begin{bmatrix} (u_{22}u_{33}-u_{23}u_{32}) & (u_{32}u_{13}-u_{33}u_{12}) & (u_{12}u_{23}-u_{13}u_{22}) \\ (u_{23}u_{31}-u_{21}u_{33}) & (u_{33}u_{11}-u_{31}u_{13}) & (u_{13}u_{21}-u_{11}u_{23}) \\ (u_{21}u_{32}-u_{22}u_{31}) & (u_{31}u_{12}-u_{32}u_{11}) & (u_{11}u_{22}-u_{12}u_{21}) \end{bmatrix} \tag{A-04} \end{equation}$$ то есть $\:\overline{u}_{11}=u_{22}u_{33}-u_{23}u_{32}\:$, $\:\overline{u}_{21}=u_{32}u_{13}-u_{33}u_{12}\:$... и т. д.

Теперь пусть$\:\boldsymbol{\omega}=\left(\omega_{1},\omega_{2}, \omega_{3}\right)\:$комплекс$\:3$-вектор в$\:\mathbb{C}^{3}\:$и$\:\mathrm{\Omega}\:$антисимметричная матрица, представляющая операцию$\:\boldsymbol{\omega}\boldsymbol{\times}\:$

$$\begin{equation} \mathrm{\Omega}= \begin{bmatrix} 0 & -\omega_{3} & \omega_{2} \\ \omega_{3} & 0 & -\omega_{1} \\ -\omega_{2} & \omega_{1} & 0 \end{bmatrix} =\boldsymbol{\omega}\boldsymbol{\times} \tag{A-05} \end{equation}$$ Предположим, что $\:\boldsymbol{\omega}\:$превращается в $\:\boldsymbol{\omega}^{\prime}\:$при специальном унитарном преобразовании $\:U \in SU(3)\:$
$$\begin{equation} \boldsymbol{\omega}^{\prime}=U\boldsymbol{\omega} \tag{A-06} \end{equation}$$ и $\:\mathrm{\Omega}^{\prime}\:$антисимметричная матрица, представляющая операцию $\:\boldsymbol{\omega}^{\prime}\boldsymbol{\times}\:$ $$\begin{equation} \mathrm{\Omega}^{\prime}= \begin{bmatrix} 0 & -\omega^{\prime}_{3} & \omega^{\prime}_{2} \\ \omega^{\prime}_{3} & 0 & -\omega^{\prime}_{1} \\ -\omega^{\prime}_{2} & \omega^{\prime}_{1} & 0 \end{bmatrix} =\boldsymbol{\omega}^{\prime}\boldsymbol{\times} \tag{A-07} \end{equation}$$ Определим теперь связь между антисимметричными матрицами $\:\mathrm{\Omega}^{\prime}\:$и $\:\mathrm{\Omega}$. Для любого $\:\mathbf{z} \in \mathbb{C}^{3}\:$
$$\begin{equation} \mathrm{\Omega}^{\prime}\mathbf{z}=\boldsymbol{\omega}^{\prime}\boldsymbol{\times}\mathbf{z} =U\boldsymbol{\omega}\boldsymbol{\times}\mathbf{z}=U\boldsymbol{\omega}\boldsymbol{\times} UU^{\boldsymbol{*}}\mathbf{z}=\left[\;\det\left(U\right)\cdot\left(U^{-1}\right)^{\mathsf{T}}\; \right]\left(\boldsymbol{\omega}\boldsymbol{\times}U^{\boldsymbol{*}}\mathbf{z}\right) \tag{A-08} \end{equation}$$ Для последнего справа равенства в (A-08) воспользуемся тождеством

$$\begin{equation} \bbox[#E6E6E6,8px]{\boldsymbol{\mathrm{M}}\mathbf{a} \boldsymbol{\times} \boldsymbol{\mathrm{M}}\mathbf{b} = \left[\;\det\left(\boldsymbol{\mathrm{M}}\right)\cdot\left(\boldsymbol{\mathrm{M}}^{-1}\right)^{\mathsf{T}}\; \right]\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right)} \tag{B-02} \end{equation}$$ раскрыты и доказаны в разделе B.

С$\:\det\left(U\right)=1\:$и$\:U^{-1}=U^{\boldsymbol{*}}\:$

$$\begin{equation*} \left[\det\left(U\right)\cdot\left(U^{-1}\right)^{\mathsf{T}}\right] \left(\boldsymbol{\omega}\boldsymbol{\times}U^{\boldsymbol{*}}\mathbf{z}\right) =\left[\left(U^{\boldsymbol{*}}\right)^{\mathsf{T}}\left(\boldsymbol{\omega}\boldsymbol{\times}\right) U^{\boldsymbol{*}}\right]\mathbf{z}=\left[\left(U^{\boldsymbol{*}}\right)^{\mathsf{T}}\mathrm{\Omega} U^{\boldsymbol{*}}\right]\mathbf{z}=\left[\overline{U}\mathrm{\Omega} \left(\overline{U}\right)^{\mathsf{T}}\right]\mathbf{z} \end{equation*}$$ так наконец $$\begin{equation} \boldsymbol{\omega}^{\prime}=U\boldsymbol{\omega}\qquad\Longrightarrow\qquad \mathrm{\Omega}^{\prime}=\left(U^{\boldsymbol{*}}\right)^{\mathsf{T}}\mathrm{\Omega} U^{\boldsymbol{*}}=\overline{U}\mathrm{\Omega} \left(\overline{U}\right)^{\mathsf{T}} \tag{A-09} \end{equation}$$ С $\:\overline{U}\:$также является специальным унитарным преобразованием, $\:\overline{U}\in SU(3)\:$, замена $\:U\:$к $\:\overline{U}\:$в приведенном выше уравнении (A-09) мы имеем

$$\begin{equation} \boldsymbol{\omega}^{\prime}=\overline{U}\boldsymbol{\omega}\quad\Longrightarrow\quad \mathrm{\Omega}^{\prime}=U\mathrm{\Omega}U^{\mathsf{T}} \tag{A-10} \end{equation}$$ Обратите внимание, что два уравнения в (A-10) эквивалентны в следующем смысле: Если $\:\mathrm{\Omega}\:$это $\:3\times 3\:$антисимметричная матрица, представляющая произведение $\:\boldsymbol{\omega}\boldsymbol{\times}\:$где $\:\boldsymbol{\omega} \in \mathbb{C}^{3}$, и $\mathrm{\Omega}^{\prime}=U\mathrm{\Omega}U^{\mathsf{T}}$,где $U \in SU(3)$, затем $\:\mathrm{\Omega}^{\prime}\:$также является $\:3\times 3\:$антисимметричная матрица

$$\begin{equation*} \text{Proof : } \left(\mathrm{\Omega}^{\prime}\right)^{\mathsf{T}} =\left(U\mathrm{\Omega}U^{\mathsf{T}}\right)^{\mathsf{T}} =\left(U^{\mathsf{T}}\right)^{\mathsf{T}}\mathrm{\Omega}^{\mathsf{T}}U^{\mathsf{T}} =U\left(-\mathrm{\Omega}\right)U^{\mathsf{T}}=-U\mathrm{\Omega}U^{\mathsf{T}} =-\mathrm{\Omega}^{\prime} \end{equation*}$$ и представляет продукт $\:\boldsymbol{\omega}^{\prime}\boldsymbol{\times}\:$, где $\:\boldsymbol{\omega}^{\prime}=\overline{U}\boldsymbol{\omega}\:$.

$$\begin{equation} \bbox[#FFFF88,8px]{\mathrm{\Omega}^{\prime}=U\mathrm{\Omega}U^{\mathsf{T}}\quad\Longleftrightarrow\quad \boldsymbol{\omega}^{\prime}=\overline{U}\boldsymbol{\omega}} \tag{A-10$^{\prime}$} \end{equation}$$ Это подтверждается также приравниванием элементов в уравнении $$\begin{equation*} \begin{bmatrix} 0 & -\omega^{\prime}_{3} & \omega^{\prime}_{2} \\ \omega^{\prime}_{3} & 0 & -\omega^{\prime}_{1} \\ -\omega^{\prime}_{2} & \omega^{\prime}_{1} & 0 \end{bmatrix} = \begin{bmatrix} u_{11} & u_{12} & u_{13} \\ u_{21} & u_{22} & u_{23} \\ u_{31} & u_{32} & u_{33} \end{bmatrix} \begin{bmatrix} 0 & -\omega_{3} & \omega_{2} \\ \omega_{3} & 0 & -\omega_{1} \\ -\omega_{2} & \omega_{1} & 0 \end{bmatrix} \begin{bmatrix} u_{11} & u_{21} & u_{31} \\ u_{12} & u_{22} & u_{32} \\ u_{13} & u_{23} & u_{33} \end{bmatrix} \end{equation*}$$ уступающий $$\begin{equation*} \begin{bmatrix} \omega^{\prime}_{1} \\ \omega^{\prime}_{2} \\ \omega^{\prime}_{3} \end{bmatrix} = \begin{bmatrix} (u_{22}u_{33}-u_{23}u_{32}) &(u_{23}u_{31}-u_{21}u_{33}) & (u_{21}u_{32}-u_{22}u_{31}) \\ (u_{32}u_{13}-u_{33}u_{12} & (u_{33}u_{11}-u_{31}u_{13}) & (u_{31}u_{12}-u_{32}u_{11}) \\ (u_{12}u_{23}-u_{13}u_{22} & (u_{13}u_{21}-u_{11}u_{23}) & (u_{11}u_{22}-u_{12}u_{21}) \end{bmatrix} \begin{bmatrix} \omega_{1} \\ \omega_{2} \\ \omega_{3} \end{bmatrix} \end{equation*}$$ и так по (А-04) $$\begin{equation} \boldsymbol{\omega}^{\prime}=\overline{U}\boldsymbol{\omega} \tag{A-11} \end{equation}$$

Примечание. Этот результат относится к первому шагу построения барионов из трех кварков.

$$\begin{equation} \boldsymbol{3}\boldsymbol{\otimes}\boldsymbol{3}=\boldsymbol{6}\boldsymbol{\oplus}\overline{\boldsymbol{3}} \tag{A-12} \end{equation}$$

Инвариантность ( комплекса$\:3\times 3\:$тензорная ) антисимметрия относительно$\:U \in SU(3)\:$является инвариантностью комплекса$\:3$-мерное пространство их представителя$\:3$-векторы$\:\boldsymbol{\omega}\:$, которые преобразуются под $\:\overline{U}\:$ и не под $\:U\:$. Это объясняет, почему$\:\overline{\boldsymbol{3}}\:$и не$\:\boldsymbol{3}$.

Если$\:U=\overline{U}=\mathrm{M}$, то есть$\:U\:$действительна, то она представляет собой чистое вращение в$\:\mathbb{R}^{3}\:$,$\:\mathrm{M}^{\mathsf{T}}=\mathrm{M}^{-1}\:$и (А-10$^{\prime}$) дает

$$\begin{equation} \mathrm{\Omega}^{\prime}=\mathrm{M}\mathrm{\Omega}\mathrm{M}^{-1}\quad\Longleftrightarrow\quad \boldsymbol{\omega}^{\prime}=\mathrm{M}\boldsymbol{\omega} \tag{A-13} \end{equation}$$

---

Раздел B : полезная идентификация, необходимая в разделе A

---

Если$\:\mathbf{a}= \left( \mathrm{a}_{1}, \mathrm{a}_{2}, \mathrm{a}_{3}\right),\:\mathbf{b}= \left( \mathrm{b}_{1}, \mathrm{b}_{2}, \mathrm{b }_{3}\right)$сложные$\:3$-векторы в$\:\mathbb{C}^{3}\:$и$\:\boldsymbol{\mathrm{M}}\:$обратимое линейное преобразование в этом пространстве, представленное$\:3\times 3\:$сложная матрица

$$\begin{equation} \boldsymbol{\mathrm{M}}= \begin{bmatrix} \mathrm{M}_{11} & \mathrm{M}_{12} & \mathrm{M}_{13} \\ \mathrm{M}_{21} & \mathrm{M}_{22} & \mathrm{M}_{23} \\ \mathrm{M}_{31} & \mathrm{M}_{32} & \mathrm{M}_{33} \end{bmatrix} = \begin{bmatrix} \boldsymbol{\rho}_{1} \\ \boldsymbol{\rho}_{2} \\ \boldsymbol{\rho}_{3} \end{bmatrix} \tag{B-01} \end{equation}$$ где $\:\boldsymbol{\rho}_{i}\; (i=1,2,3)\:$обозначим его комплекс-строку $\:3$-векторы, то $$\begin{equation} \bbox[#E6E6E6,8px]{\boldsymbol{\mathrm{M}}\mathbf{a} \boldsymbol{\times} \boldsymbol{\mathrm{M}}\mathbf{b} = \left[\;\det\left(\boldsymbol{\mathrm{M}}\right)\cdot\left(\boldsymbol{\mathrm{M}}^{-1}\right)^{\mathsf{T}}\; \right]\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right)} \tag{B-02} \end{equation}$$ где $$\begin{equation} \det \left(\boldsymbol{\mathrm{M}}\right) =\text{the determinant of } \boldsymbol{\mathrm{M}} = \boldsymbol{\rho}_{1}\circ \left(\boldsymbol{\rho}_{2} \boldsymbol{\times}\boldsymbol{\rho}_{3}\right) \tag{B-03} \end{equation}$$

$$\begin{equation} \left(\boldsymbol{\mathrm{M}}^{-1}\right)^{\mathsf{T}} = \text{the transposed inverse of} \: \boldsymbol{\mathrm{M}}= \dfrac{1}{\det\left(\boldsymbol{\mathrm{M}}\right)} \begin{bmatrix} \left(\boldsymbol{\rho}_{2} \boldsymbol{\times}\boldsymbol{\rho}_{3}\right) \\ \left(\boldsymbol{\rho}_{3} \boldsymbol{\times}\boldsymbol{\rho}_{1}\right) \\ \left(\boldsymbol{\rho}_{1} \boldsymbol{\times}\boldsymbol{\rho}_{2}\right) \end{bmatrix} \tag{B-04} \end{equation}$$ Выражение $\:\mathbf{a}\circ\mathbf{b}\:$определяется $$\begin{equation} \mathbf{a}\circ\mathbf{b}=\mathrm{a}_{1}\mathrm{b}_{1}+\mathrm{a}_{2}\mathrm{b}_{2}+\mathrm{a}_{3}\mathrm{b}_{3} \tag{B-05} \end{equation}$$ не путать с обычным внутренним продуктом в $\:\mathbb{C}^{3}\:$ $$\begin{equation} \boldsymbol{\langle}\mathbf{a},\mathbf{b}\boldsymbol{\rangle}=\mathrm{a}_{1}\overline{\mathrm{b}}_{1}+\mathrm{a}_{2}\overline{\mathrm{b}}_{2}+\mathrm{a}_{3}\overline{\mathrm{b}}_{3} \tag{B-06} \end{equation}$$ Доказательство: пусть $$\begin{equation*} \mathbf{h}=\boldsymbol{\mathrm{M}}\mathbf{a} \boldsymbol{\times}\boldsymbol{\mathrm{M}}\mathbf{b} \end{equation*}$$ Если $\:\left\lbrace \mathbf{e}_{1}, \mathbf{e}_{2}, \mathbf{e}_{3}\right\rbrace\:$является ортонормированной базой $\:\mathbb{C}^{3}\:$тогда можно формально написать для любых двух векторов-строк $$\begin{equation} \boldsymbol{\rho} \boldsymbol{\times}\boldsymbol{\sigma} = \begin{vmatrix} \mathbf{e}_{1} & \mathbf{e}_{2} & \mathbf{e}_{3} \\ \rho_1 & \rho_2 & \rho_3 \\ \sigma_1 & \sigma_2 & \sigma_3 \end{vmatrix} \end{equation}$$ ("формально", потому что определитель есть число, здесь $\mathbf{e}_i$являются векторами). Следовательно $$\begin{equation} \mathbf{h} = \begin{vmatrix} \mathbf{e}_{1} & \mathbf{e}_{2} & \mathbf{e}_{3} \\ \left( \mathrm{M}_{11}\mathrm{a}_{1}+\mathrm{M}_{12}\mathrm{a}_{2} +\mathrm{M}_{13}\mathrm{a}_{3}\right) & \left( \mathrm{M}_{21}\mathrm{a}_{1}+\mathrm{M}_{22}\mathrm{a}_{2} +\mathrm{M}_{23}\mathrm{a}_{3}\right) & \left( \mathrm{M}_{31}\mathrm{a}_{1}+\mathrm{M}_{32}\mathrm{a}_{2} +\mathrm{M}_{33}\mathrm{a}_{3}\right) \\ \left( \mathrm{M}_{11}\mathrm{b}_{1}+\mathrm{M}_{12}\mathrm{b}_{2} +\mathrm{M}_{13}\mathrm{b}_{3}\right) & \left( \mathrm{M}_{21}\mathrm{b}_{1}+\mathrm{M}_{22}\mathrm{b}_{2} +\mathrm{M}_{23}\mathrm{b}_{3}\right) & \left( \mathrm{M}_{31}\mathrm{b}_{1}+\mathrm{M}_{32}\mathrm{b}_{2} +\mathrm{M}_{33}\mathrm{b}_{3}\right) \end{vmatrix} \end{equation}$$ или в более компактной форме $$\begin{equation*} \mathbf{h} = \begin{vmatrix} \mathbf{e}_{1} & \mathbf{e}_{2} & \mathbf{e}_{3} \\ \left(\boldsymbol{\rho}_{1}\circ\mathbf{a}\right) & \left(\boldsymbol{\rho}_{2}\circ\mathbf{a}\right) & \left(\boldsymbol{\rho}_{3}\circ\mathbf{a}\right) \\ \left(\boldsymbol{\rho}_{1}\circ\mathbf{b}\right) & \left(\boldsymbol{\rho}_{2}\circ\mathbf{b}\right) & \left(\boldsymbol{\rho}_{3}\circ\mathbf{b}\right) \end{vmatrix} \end{equation*}$$ так $$\begin{eqnarray*} \mathrm{h}_{1} & = & \left(\boldsymbol{\rho}_{2}\circ \mathbf{a}\right)\left(\boldsymbol{\rho}_{3}\circ\mathbf{b}\right) -\left(\boldsymbol{\rho}_{2}\circ\mathbf{b}\right)\left(\boldsymbol{\rho}_{3}\circ\mathbf{a}\right)\\ & = & \boldsymbol{\rho}_{2}\circ\underbrace{\left[\left(\boldsymbol{\rho}_{3}\circ\mathbf{b}\right)\mathbf{a} -\left(\boldsymbol{\rho}_{3}\circ\mathbf{a}\right)\mathbf{b}\right]} _{\boldsymbol{\rho}_{3}\boldsymbol{\times}\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right)} = \boldsymbol{\rho}_{2}\circ\left[\boldsymbol{\rho}_{3}\boldsymbol{\times}\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right)\right]\\ & = & \left(\boldsymbol{\rho}_{2} \boldsymbol{\times}\boldsymbol{\rho}_{3}\right) \circ \left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{eqnarray*}$$ то есть
$$\begin{equation*} \mathrm{h}_{1}=\left(\boldsymbol{\rho}_{2} \boldsymbol{\times}\boldsymbol{\rho}_{3}\right) \circ \left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{equation*}$$ и циклической перестановкой индексов 1,2,3 имеем для двух других компонент $$\begin{equation*} \mathrm{h}_{2}=\left(\boldsymbol{\rho}_{3} \boldsymbol{\times}\boldsymbol{\rho}_{1}\right) \circ \left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{equation*}$$ $$\begin{equation*} \mathrm{h}_{3}=\left(\boldsymbol{\rho}_{1} \boldsymbol{\times}\boldsymbol{\rho}_{2}\right) \circ \left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{equation*}$$ и наконец $$\begin{equation*} \mathbf{h}=\boldsymbol{\mathrm{M}}\mathbf{a} \boldsymbol{\times}\boldsymbol{\mathrm{M}}\mathbf{b} = \begin{bmatrix} \left(\boldsymbol{\rho}_{2} \boldsymbol{\times}\boldsymbol{\rho}_{3}\right) \\ \left(\boldsymbol{\rho}_{3} \boldsymbol{\times}\boldsymbol{\rho}_{1}\right) \\ \left(\boldsymbol{\rho}_{1} \boldsymbol{\times}\boldsymbol{\rho}_{2}\right) \end{bmatrix} \left( \mathbf{a} \boldsymbol{\times}\mathbf{b} \right) = \left[\;\det\left(\boldsymbol{\mathrm{M}}\right)\cdot\left(\boldsymbol{\mathrm{M}}^{-1}\right)^{\mathsf{T}}\; \right]\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{equation*}$$ Обратите внимание, что для $\:\boldsymbol{\mathrm{M}}\:$реальная ортонормированная матрица $$\begin{equation*} \boldsymbol{\mathrm{M}}\boldsymbol{\mathrm{M}}^{\mathsf{T}}=\boldsymbol{\mathrm{I}} \quad \Longrightarrow \quad \boldsymbol{\mathrm{M}}^{-1}=\boldsymbol{\mathrm{M}}^{\mathsf{T}} \text{ and } \det\left(\boldsymbol{\mathrm{M}}\right)=\pm 1 \end{equation*}$$ и уравнение (B-02) дает ожидаемый результат $$\begin{equation} \left(\boldsymbol{\mathrm{M}}\mathbf{a} \boldsymbol{\times} \boldsymbol{\mathrm{M}}\mathbf{b}\right) =\pm\boldsymbol{\mathrm{M}}\left(\mathbf{a} \boldsymbol{\times}\mathbf{b}\right) \end{equation}$$ Знак «+» действителен для $\:\boldsymbol{\mathrm{M}}\:$является чистым вращением, в то время как знак «-» действителен для $\:\boldsymbol{\mathrm{M}}\:$вращение плюс отражение.