On commence par montrer que la transformation est linéaire, on calcule ensuite sa matrice. On remarque que, si l’on obtient sa matrice de transformation et qu’elle correspond effectivement à la transformation en termes de l’effet sur
\((x,y,z)\text{,}\) alors on n’a pas besoin de démontrer que la transformation est linéaire en vertu de la proposition
2.1.26. On le fait quand même pour le lecteur ou la lectrice qui n’y aurait pas pensé. On doit montrer que
\(T_{\vec{v}}\) est linéaire en montrant que pour des vecteurs
\(\vec{u}=\vecddd{x}{y}{z}, \vec{u}'=\vecddd{x'}{y'}{z'}\) et un scalaire
\(c\in\R\) quelconques, on a les deux propriétés de la définition
2.1.7. Noter qu’on a décidé d’utiliser
\(\vec{u}'\) au lieu de
\(\vec{v}\) puisque ce dernier vecteur est déjà utilisé dans la transformation.
\begin{align*}
T_{\vec{v}}(\vec{u}+\vec{u}')&=(\vec{u}+\vec{u}')\times \vec{v}\\
&=\left(\vecddd{x}{y}{z}+\vecddd{x'}{y'}{z'}\right)\times \vecddd{1}{2}{3}\\
&=\left(\begin{vmatrix} y+y' & 2 \\ z+z' & 3\end{vmatrix},
-\begin{vmatrix} x+x' & 1 \\ z+z' & 3\end{vmatrix},
\begin{vmatrix} x+x' & 1 \\ y+y' & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/eq-prodvecdet2x2.html}{\text{(4.1.2)}}\\
&=\left(\begin{vmatrix} y & 2 \\ z & 3\end{vmatrix}+\begin{vmatrix} y' & 2 \\ z' & 3\end{vmatrix},
-\begin{vmatrix} x & 1 \\ z & 3\end{vmatrix}-\begin{vmatrix} x' & 1 \\ z' & 3\end{vmatrix},
\begin{vmatrix} x & 1 \\ y & 2\end{vmatrix}+\begin{vmatrix} x' & 1 \\ y' & 2\end{vmatrix}\right)
& \text{ par } \knowl{./knowl/xref/li-detadd2x2resum.html}{\text{4.1.25:7}}\\
&=\left(\begin{vmatrix} y & 2 \\ z & 3\end{vmatrix},
-\begin{vmatrix} x & 1 \\ z & 3\end{vmatrix},
\begin{vmatrix} x & 1 \\ y & 2\end{vmatrix}\right)+\left(\begin{vmatrix} y' & 2 \\ z' & 3\end{vmatrix},
-\begin{vmatrix} x' & 1 \\ z' & 3\end{vmatrix},
\begin{vmatrix} x' & 1 \\ y' & 2\end{vmatrix}\right)\\
&\vecddd{x}{y}{z}\times \vecddd{1}{2}{3}+\vecddd{x'}{y'}{z'}\times \vecddd{1}{2}{3}\\
&=\vec{u}\times\vec{v} + \vec{u}'\times\vec{v}\\
&=T_{\vec{v}}(\vec{u})+T_{\vec{v}}(\vec{u}')
\end{align*}
\begin{align*}
T_{\vec{v}}(c\vec{u})&=(c\vec{u})\times \vec{v}\\
&=\left(c\vecddd{x}{y}{z}\right)\times \vecddd{1}{2}{3}\\
&=\vecddd{cx}{cy}{cz}\times \vecddd{1}{2}{3}\\
&=\left(\begin{vmatrix} cy & 2 \\ cz & 3\end{vmatrix},
-\begin{vmatrix} cx & 1 \\ cz & 3\end{vmatrix},
\begin{vmatrix} cx & 1 \\ cy & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/eq-prodvecdet2x2.html}{\text{(4.1.2)}}\\
&=\left(c\begin{vmatrix} y & 2 \\ z & 3\end{vmatrix},
-c\begin{vmatrix} x & 1 \\ z & 3\end{vmatrix},
c\begin{vmatrix} x & 1 \\ y & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/li-detr2x2resum.html}{\text{4.1.25:2}}\\
&=c\left(\begin{vmatrix} y & 2 \\ z & 3\end{vmatrix},
-\begin{vmatrix} x & 1 \\ z & 3\end{vmatrix},
\begin{vmatrix} x & 1 \\ y & 2\end{vmatrix}\right)\\
&=c\left(\vecddd{x}{y}{z}\times \vecddd{1}{2}{3}\right)\\
&=c(\vec{u}\times\vec{v})\\
&=cT_{\vec{v}}(\vec{u})
\end{align*}
On a démontré que la transformation est linéaire. Pour trouver sa matrice, il suffit de trouver l’effet de \(T_{\vec{v}}\) sur les vecteurs de base.
\begin{align*}
T_{\vec{v}}\vecddd{1}{0}{0}&=\vecddd{1}{0}{0} \times \vecddd{1}{2}{3}\\
&=\left(\begin{vmatrix} 0 & 2 \\ 0 & 3\end{vmatrix},
-\begin{vmatrix} 1 & 1 \\ 0 & 3\end{vmatrix},
\begin{vmatrix} 1 & 1 \\ 0 & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/eq-prodvecdet2x2.html}{\text{(4.1.2)}}\\
&=(0,-3,2)=\vecddd{0}{-3}{2}
\end{align*}
\begin{align*}
T_{\vec{v}}\vecddd{0}{1}{0}&=\vecddd{0}{1}{0} \times \vecddd{1}{2}{3}\\
&=\left(\begin{vmatrix} 1 & 2 \\ 0 & 3\end{vmatrix},
-\begin{vmatrix} 0 & 1 \\ 0 & 3\end{vmatrix},
\begin{vmatrix} 0 & 1 \\ 1 & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/eq-prodvecdet2x2.html}{\text{(4.1.2)}}\\
&=(3,0,-1)=\vecddd{3}{0}{-1}
\end{align*}
\begin{align*}
T_{\vec{v}}\vecddd{0}{0}{1}&=\vecddd{0}{0}{1} \times \vecddd{1}{2}{3}\\
&=\left(\begin{vmatrix} 0 & 2 \\ 1 & 3\end{vmatrix},
-\begin{vmatrix} 0 & 1 \\ 1 & 3\end{vmatrix},
\begin{vmatrix} 0 & 1 \\ 0 & 2\end{vmatrix}\right)& \text{ par } \knowl{./knowl/xref/eq-prodvecdet2x2.html}{\text{(4.1.2)}}\\
&=(-2,1,0)=\vecddd{-2}{1}{0}
\end{align*}
On les met dans les colonnes de la matrice et l’on obtient
\begin{equation*}
T_{\vec{v}}=\begin{pmatrix}
0 & 3 & -2 \\
-3 & 0 & 1 \\
2 & -1 & 0
\end{pmatrix}\text{.}
\end{equation*}