Le but de cette série de trois articles est de démontrer que l’on peut définir de façon récursive le déterminant par son développement selon la première ligne en utilisant des déterminants d’ordre inférieur, tout en établissant ses propriétés fondamentales.
Vous démontrerez ainsi qu’un déterminant d’ordre $n$, pour $n$ compris entre $1$ et $4$ est une forme $n$-linéaire alternée sur les lignes, qui prend la valeur $1$ sur l’identité. Vous démontrerez aussi que de tels déterminants se développent par rapport à n’importe laquelle de leur ligne.
Dans toute la suite, vous supposez que les déterminants considérés prennent leurs valeurs dans un anneau commutatif unitaire noté $\A.$
Les déterminants d’ordre 1
Pour tout $a\in\A$ vous posez :
\begin{vmatrix}
a
\end{vmatrix} = a.Cette application définit bien une forme $1$-linéaire sur sa ligne et qui prend la valeur $1$ sur l’identité.
Les déterminants d’ordre 2
Suivant la définition récursive, vous posez :
\forall (a_{11},a_{12},a_{21},a_{22})\in\A^4, \quad
\begin{vmatrix}
a_{11} & a_{12}\\
a_{21} & a_{22}
\end{vmatrix} = a_{11} \begin{vmatrix}
a_{22}
\end{vmatrix} -a_{12}\begin{vmatrix}
a_{21}
\end{vmatrix}.Compte tenu de la définition du déterminant d’ordre $1$ vous avez :
\forall (a_{11},a_{12},a_{21},a_{22})\in\A^4, \quad
\begin{vmatrix}
a_{11} & a_{12}\\
a_{21} & a_{22}
\end{vmatrix} = a_{11}a_{22}-a_{12}a_{21}.Note. Remarquez que :
\forall (a_{11},a_{12},a_{21},a_{22})\in\A^4, \quad-a_{21} \begin{vmatrix}
a_{12}
\end{vmatrix} +a_{22}\begin{vmatrix}
a_{11}
\end{vmatrix} = a_{11}a_{22}-a_{12}a_{21} = \begin{vmatrix}
a_{11} & a_{12}\\
a_{21} & a_{22}
\end{vmatrix}.Le déterminant d’ordre $2$ peut être développé par rapport à sa seconde ligne.
Montrez que vous avez défini une forme $2$-linéaire sur les lignes
Pour la première ligne
Soit $(a_{11},a_{12},a_{21},a_{22}, b_{11}, b_{12}, \lambda )\in\A^7.$
\begin{align*}
\begin{vmatrix}
a_{11} + \lambda b_{11} & a_{12}+\lambda b_{12}\\
a_{21} & a_{22}
\end{vmatrix} &= (a_{11} + \lambda b_{11}) a_{22} - (a_{12}+\lambda b_{12} )a_{21}\\
&=(a_{11}a_{22}-a_{12}a_{21})+\lambda(b_{11}a_{22}-b_{12}a_{21})\\
&= \begin{vmatrix}
a_{11} & a_{12}\\
a_{21} & a_{22}
\end{vmatrix}
+\lambda \begin{vmatrix}
b_{11} & b_{12}\\
a_{21} & a_{22}
\end{vmatrix}.
\end{align*}La linéarité par rapport à la première ligne est démontrée.
Pour la deuxième ligne
Soit $(a_{11},a_{12},a_{21},a_{22}, b_{21}, b_{22}, \lambda) \in\A^7.$
\begin{align*}
\begin{vmatrix}
a_{11} & a_{12}\\
a_{21} + \lambda b_{21} & a_{22} + \lambda b_{22}
\end{vmatrix} &= a_{11} ( a_{22} + \lambda b_{22}) - a_{12} (a_{21} + \lambda b_{21})\\
&=(a_{11}a_{22}-a_{12}a_{21})+\lambda(a_{11}b_{22}-a_{12}b_{21})\\
&= \begin{vmatrix}
a_{11} & a_{12}\\
a_{21} & a_{22}
\end{vmatrix}
+\lambda \begin{vmatrix}
a_{11} & a_{12}\\
b_{21} & b_{22}
\end{vmatrix}.
\end{align*}La linéarité par rapport à la deuxième ligne est démontrée.
Montrez que vous avez défini une forme alternée sur les lignes
Il est rappelé qu’une forme est dite alternée sur les lignes, si et seulement si, elle vaut $0$ dès que deux lignes sont identiques.
Soit $(a,b) \in\A^2.$ Comme l’anneau $\A$ est commutatif, vous avez :
\begin{vmatrix}
a & b\\
a & b
\end{vmatrix} = ab-ba = 0.Montrez que vous avez défini une forme alternée qui vaut $1$ sur l’identité
Vous effectuez le calcul directement :
\begin{vmatrix}
1 & 0\\
0 & 1
\end{vmatrix} = 1\times 1 - 0\times 0 = 1.Concluez
Le déterminant d’ordre $2$ est une application $2$-linéaire alternée sur ses lignes, prenant la valeur $1$ sur l’identité. De plus, il se développe par rapport à n’importe laquelle de ses lignes.
Prolongement
Vous souhaitez voir comment cela se poursuit à l’ordre $3$ ? Allez lire le contenu rédigé dans l'article 383.
Partagez maintenant !
Aidez vos amis à découvrir cet article et à mieux comprendre le sujet.
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 !