Soient $n$ et $p$ deux entiers supérieurs ou égaux à $2$ et $A$ une matrice à coefficients dans un corps $\K$ qui comporte $n$ lignes et $p$ colonnes.
Soient $i$ et $j$ deux éléments différents de l’ensemble $\llbracket 1, n \rrbracket.$
Comme cela a été vu au sein du contenu rédigé dans l'article 272 dont vous reprenez les mêmes notations, quand vous appliquez à la matrice $A$ l’opération élémentaire $L_i \leftrightarrow L_j$, cela revient à la multiplier à gauche par la matrice suivante :
T = F_{ij} + F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm}.
Une idée de décomposition en utilisant des transvections
Considérez les variables $x$ et $y$ auxquelles vous appliquez les instructions suivantes :
\begin{align*} x&\leftarrow x+y\\ y&\leftarrow y-x\\ x&\leftarrow x+y. \end{align*}
Ces trois opérations échangent les valeurs de $x$ et de $y$ et transforment $x$ en son opposé, comme le montre le tableau des valeurs successives prises par $x$ et $y$ :
\begin{array}{|c|c|} \hline\ \text{Variable }x & \text{Variable }y \\ \hline x & y \\ x+y & y\\ x+y & -x\\ y & -x\\\hline \end{array}
Pour permuter $x$ avec $y$ il faut rajouter une dilatation en changeant la variable $y$ en son opposé.
L’opération d’échange :
x\leftrightarrow y
est donc équivalente à la série des quatre opérations suivantes :
\left\{ \begin{align*} x&\leftarrow x+y\\ y&\leftarrow y-x\\ x&\leftarrow x+y\\ y&\leftarrow -y. \end{align*} \right.
Vérifiez l’ensemble sur le plan matriciel
Les quatre opérations décrites ci-dessus s’écrivent de façon analogue de la façon suivante :
\left\{ \begin{align*} L_i&\leftarrow L_i+L_j\\ L_j&\leftarrow L_j-L_i\\ L_i&\leftarrow L_i+L_j\\ L_j&\leftarrow -L_j. \end{align*} \right.
Vous posez :
V_i = F_{i j} + \sum_{k\in\llbracket 1, n\rrbracket } F_{kk} \\ V_j = - F_{ji} + \sum_{\ell \in\llbracket 1, n\rrbracket } F_{\ell\ell}\\ D_j = -F_{jj} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{j\}} F_{mm} = -2F_{jj} + \sum_{m\in\llbracket 1, n\rrbracket } F_{mm}.
En notant $I$ la matrice identité d’ordre $n$, il vient :
V_i = F_{ij} + I\\ V_j = -F_{ji} + I\\ D_j = -2F_{jj} + I.
Quand vous appliquez à la matrice $A$ les opérations élémentaires suivantes :
\left\{ \begin{align*} L_i&\leftarrow L_i+L_j\\ L_j&\leftarrow L_j-L_i\\ L_i&\leftarrow L_i+L_j\\ L_j&\leftarrow -L_j. \end{align*} \right.
vous multipliez la matrice $A$ à gauche par le produit :
D_jV_iV_jV_i.
Premier produit, calcul de $V_jV_i$
\begin{align*} V_jV_i &= (-F_{ji} + I)(F_{ij} + I)\\ &=-F_{ji}F_{ij} - F_{ji} + F_{ij} + I\\ &=F_{ij}-F_{ji}-F_{jj}+I. \end{align*}
Deuxième produit, calcul de $V_i(V_jV_i)$
\begin{align*} V_i(V_jV_i) &=(F_{ij} + I)(F_{ij}-F_{ji}-F_{jj}+I)\\ &= F_{ij}F_{ij}-F_{ij}F_{ji}-F_{ij}F_{jj}+F_{ij}\\ &\qquad +F_{ij}-F_{ji}-F_{jj}+I\\ &= 0-F_{ii}-F_{ij}+F_{ij}\\ &\qquad +F_{ij}-F_{ji}-F_{jj}+I\\ &= F_{ij}-F_{ji}-F_{ii}-F_{jj}+I\\ &= F_{ij} - F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm}. \end{align*}
Troisième et dernier produit, calcul de $D_j(V_iV_jV_i)$
\begin{align*} D_j(V_iV_jV_i) &= ( -2F_{jj} + I)\left( F_{ij} - F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm}\right)\\ &= -2F_{jj}F_{ij} +2F_{jj}F_{ji}-2\sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{jj}F_{mm}\\ &\qquad +F_{ij} - F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm} \\ &= 0+2F_{ji} - 0 \\ &\qquad +F_{ij} - F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm}\\ &= F_{ij} + F_{ji} + \sum_{m\in\llbracket 1, n\rrbracket \setminus \{i, j\}} F_{mm}\\ &= T. \end{align*}
Partagez!
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook!
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles!
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira!