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 !