3. Base duale
Fondamental : Proposition 1.4
Soit \(B=(e_{j})_{j=1}^{n}\) une base d'un un espace vectoriel de dimension finie \(E\). La famille des formes coordonnées \(B^{\ast }=(e_{i}^{\ast })_{i=1}^{n}\) est une base de l'espace dual \(E^{\ast }\), appelée base duale de la base \(B\).
De plus, pour tout \(i,j\in [1,n]\), on a les relations d'orthogonalité de Kronecker :
\[\begin{equation*} e_{i}^{\ast}\left(e_{j}\right)=\delta_{ij}=\left\{ \begin{array}{c}1 \\ 0% \end{array}% \begin{array}{c} \text{si }i=j \\ \text{si }i\neq j% \end{array}% \right. \end{equation*}\]
Preuve :
Par définition \(e_{i}^{\ast }:E\rightarrow K,x=\sum_{1}^{n}x_{j}e_{j}\mapsto e_{i}^{\ast }(x)=x_{i}\).
Donc \(e_{i}^{\ast }\left( e_{j}\right) =\delta _{ij}\) pour tout \(i,j\in \left[ 1,n\right]\).
Soit \(\varphi \in E^{\ast }\) et considérons la forme linéaire \(\phi =\sum_{i=1}^{n}\varphi \left( e_{i}\right) e_{i}^{\ast }\). Pour tout \(j\in \lbrack 1,n]\), on a \(\phi \left( e_{j}\right) =\sum_{i=1}^{n}\varphi \left( e_{i}\right) e_{i}^{\ast }\left( e_{j}\right) =\varphi \left( e_{j}\right)\). Les formes linéaires \(\varphi\) et \(\phi\) coïncident sur une base de \(E\) sont donc égales.
Par conséquent, \(\varphi =\sum_{i=1}^{n}\varphi \left( e_{i}\right) e_{i}^{\ast }\), et la famille \(B^{\ast }\) est une famille génératrice de \(E^{\ast }\). Comme \(\dim E^{\ast }=\dim E=n\), la famille \(B^{\ast }\) est une base de \(E^{\ast }\).
Complément : Corollaire 1.2
Soient \(B=(e_{j})_{j=1}^{n}\) une base de \(E\) et \(B^{\ast }=(e_{i}^{\ast })_{i=1}^{n}\) sa base duale, alors on a les relations suivantes :
\(\blacktriangleright\) \(\forall x\in E,x=\sum_{i=1}^{n}e_{i}^{\ast }\left( x\right) e_{i}\).
\(\blacktriangleright\)\( \forall \varphi \in E^{\ast },\varphi =\sum_{i=1}^{n}\varphi \left( e_{i}\right) e_{i}^{\ast }\).
\(\blacktriangleright\) \(\forall f\in L\left( E\right) ,a_{ij}=e_{i}^{\ast }\left( f\left( e_{j}\right) \right)\), où \(\left( a_{ij}\right) _{1\leq i,j\leq n}=Mat_{B}\left( f\right)\).
Fondamental : Proposition 1.5
a) Si \(\varphi\) est une forme linéaire non nulle sur \(E\), il existe un vecteur \(x\in E\) (non nul) tel que \(\varphi (x)=1\).
b) Si \(x\) est un vecteur non nul de \(E\), il existe une forme linéaire \(\varphi \in E^{\ast }\) telle que \(\varphi (x)=1\).
Preuve :
a) Si \(\varphi \in E^{\ast }\backslash \left\{ 0\right\}\), alors il existe \(v\in E\) tel que \(\varphi (v)\neq 0\). Le vecteur \(x=\frac{v}{\varphi (v)}\) convient.
b) Si \(x=\sum_{i=1}^{n}x_{i}e_{i}\in E\) est non nul, alors il existe \(i_{0}\in \left[ 1,n\right]\) tel que \(e_{i_{0}}^{\ast }\left( x\right) =x_{i_{0}}\neq 0\). La forme linéaire \(\varphi =\frac{1}{e_{i_{0}}^{\ast }\left( x\right) }e_{i_{0}}^{\ast }\) convient.
Fondamental : Proposition 1.6
Toute base de \(E^∗\) est la base duale d’une unique base de \(E\), appelée base préduale.
Preuve :
Soit \(F=\left( \varphi _{1},...,\varphi _{n}\right)\) une base de \(E^{\ast }\) . L'application \(\Phi : x\mapsto \left( \varphi _{1}(x),...,\varphi _{n}(x)\right)\) de \(E\) dans \(K^{n}\) est linéaire. Soit \(x\in \ker (\Phi )\), donc \(\varphi _{1}(x)=...=\varphi _{n}(x)=0\). Si \(x\) n'est pas nul, alors d'après la proposition précédente, il existe \(\varphi \in E^{\ast }\) telle que \(\varphi (x)=1\) Cette forme linéaire s'écrit dans la base \(F\) sous la forme \(\varphi =\sum_{i=1}^{n}\lambda _{i}\varphi _{i}\).
Par conséquent \(1=\varphi (x)=\sum_{i=1}^{n}\lambda _{i}\varphi _{i}(x)=0\) ce qui est absurde. On en déduit que \(x=0\), et donc le noyau de \(\Phi\) est réduit à \(\left\{ 0\right\}\) et que \(\Phi\) est injective. Comme \(\dim \left( E\right) =n=\dim (K^{n})\), l'application \(\Phi\) est un isomorphisme.
Notons \(\left( e_{1},...,e_{n}\right)\) la base canonique de \(K^{n}\). Pour tout \(j\), un vecteur \(e_{j}\) vérifie \(\varphi _{i}(e_{j})=\delta _{ij}\) pour tout \(i\) si et seulement si \(\Phi (e_{j})=e_{j}\). Puisque \(\Phi\) est un isomorphisme, la famille \(B=\left( \Phi ^{-1}\left( e_{1}\right) ,...,\Phi ^{-1}\left( e_{n}\right) \right)\) est une base de \(E\) et c'est la seule famille de \(E\) satisfaisant aux conditions de Kronecker. Par conséquent, \(B\) est l'unique base de \(E\) dont \(F\) est la base duale.
Fondamental : Proposition 1.7 (Changement de base duale)
Soient \(B_{1}\) et \(B_{2}\) deux bases de \(E\), et soit \(P\) la matrice de passage de \(B_{1}\) à \(B_{2}\). Alors la matrice de passage de \(B_{1}^{\ast }\) à \(B_{2}^{\ast }\) est \(^{t}P^{-1}\).
Preuve :
Posons \(B_{1}=\left( e_{1},...,e_{n}\right) ,B_{2}=\left( f_{1},...,f_{n}\right)\) et \(P=\left( a_{ij}\right) _{1\leq i,j\leq n}\), puis notons \(Q=\left( b_{ij}\right) _{1\leq i,j\leq n}\) la matrice de passage de \(B_{1}^{\ast }\) à \(B_{2}^{\ast }\). Par définition de la matrice de passage on a pour tout \(k\in \left[ 1,n\right] ,f_{k}= \sum_{l=1}^{n}a_{lk}e_{l}\) et pour tout \(j\in \left[ 1,n\right] ,f_{j}^{\ast }=\sum_{l=1}^{n}b_{ij}e_{i}^{\ast }\). Donc pour tout \(j,k\in \left[1,n \right]\),
\[\begin{eqnarray*} \delta _{jk} &=&f_{j}^{\ast }\left( f_{k}\right) =\left( \sum_{l=1}^{n}b_{ij}e_{i}^{\ast }\right) \left( \sum_{l=1}^{n}a_{lk}e_{l}\right) \\ &=&\sum_{l=1}^{n}\sum_{l=1}^{n}b_{ij}a_{lk}\delta _{il} \\ &=&\sum_{i=1}^{n}b_{ij}a_{ik} \\ &=&\left( ^{t}QP\right) _{jk}. \end{eqnarray*}\]
Donc \(^{t}QP=I_{n}\) et \(Q=^{t}P^{-1}\).
Complément : Corollaire 1.3 (Calcul pratique de la base duale)
Soient \(B_{0}=\left(e_{i}\right)_{i=1}^{n}\) la base canonique de \(E\) et \(B_{0}^{\ast} =(e_{i}^{\ast })_{i=1}^{n}\) sa base duale. Soit \(B=(v_{i})_{i=1}^{n}\) une autre base de \(E\) et \(B^{\ast }=(v_{i}^{\ast })_{i=1}^{n}\) sa base duale. Les vecteurs \(v_{i}\) (respectivement \(v_{i}^{\ast }\)) étant exprimés dans la base \(B_{0}\) (respectivement \(B_{0}^{\ast }\)). Alors \(Mat_{B_{0}^{\ast }}\left( B^{\ast }\right) =^{t}\left( Mat_{B_{0}}\left( B\right) \right) ^{-1}\).
Exemple : Exemple 1.3
a) Soient les vecteurs \(v_{1}=(-3,-1,1),v_{2}=(5,2,-1),v_{3}=(6,2,-1)\) de \(\mathbb{R}^{3}\) exprimés dans la base canonique \((e_{1},e_{2},e_{3})\).
La famille \(B=(v_{1},v_{2},v_{3})\) est une base de \(\mathbb{R}^{3}\), puisque la matrice
\[P=\left( \begin{array}{ccc} -3 & 5 & 6 \\ -1 & 2 & 2 \\ 1 & -1 & -1% \end{array}% \right)\] est inversible de déterminant \(-1\). Déterminons sa base duale.
Solution :
Soit \(B^{\ast }=(v_{1}^{\ast },v_{2}^{\ast },v_{3}^{\ast })\) la base duale de \(B\). Alors la matrice de passage de \(B_{0}^{\ast }=(e_{1}^{\ast},e_{2}^{\ast },e_{3}^{\ast })\) (base duale de la base canonique) à \(B^{\ast}\) est
\[^{t}P^{-1}=\left( \begin{array}{ccc} 0 & -1 & 1 \\ 1 & 3 & -2 \\ 2 & 0 & 1% \end{array}% \right).\]
On conclue donc que
\[\left\{ \begin{array}{c} v_{1}^{\ast }\left( x,y,z\right) =y+2z \\ v_{2}^{\ast }\left( x,y,z\right) =-x+3y \\ v_{3}^{\ast }\left( x,y,z\right) =x-2y+z% \end{array}% \right.,\]
ou encore
\[\begin{equation*} \left\{ \begin{array}{c} v_{1}^{\ast }=e_{2}^{\ast }+2e_{3}^{\ast } \\ v_{2}^{\ast }=-e_{1}^{\ast }+3e_{2}^{\ast } \\ v_{3}^{\ast }=e_{1}^{\ast }-2e_{2}^{\ast }+e_{3}^{\ast }% \end{array}% \right. . \end{equation*}\]
b) Déterminer la base préduale de la base formée des formes linéaires suivants
\[\begin{equation*} \left\{ \begin{array}{c} f_{1}\left( x,y,z\right) =x+2y+3z \\ f_{2}\left( x,y,z\right) =2x+3y+4z \\ f_{3}\left( x,y,z\right) =3x+4y+6z% \end{array}% \right. \end{equation*}\]
Dans la base \(B_{0}^{\ast }=(e_{1}^{\ast },e_{2}^{\ast},e_{3}^{\ast })\) ces formes linéaires elles s'écrivent
\[\begin{equation*} \left\{ \begin{array}{c} f_{1}=e_{1}^{\ast }+2e_{2}^{\ast }+3e_{3}^{\ast } \\ f_{2}=2e_{1}^{\ast }+3e_{2}^{\ast }+4e_{3}^{\ast } \\ f_{3}=3e_{1}^{\ast }+4e_{2}^{\ast }+6e_{3}^{\ast }% \end{array}% \right. . \end{equation*}\]
La famille \(F=(f_{1},f_{2},f_{3})\) est bien une base de \(\left(\mathbb{R}^{3}\right)^{\ast}\) puisque la matrice
\[\begin{equation*} Q=\left( \begin{array}{ccc} 1 & 2 & 3 \\ 2 & 3 & 4 \\ 3 & 4 & 6% \end{array}% \right) \end{equation*}\] est inversible.
Soit \(B=(v_{1},v_{2},v_{3})\) la base de \(\mathbb{R}^{3}\) dont \(F\) est la base duale. La matrice de passage de de \(B_{0}\) à \(B\) est donc
\[\begin{equation*} ^{t}Q^{-1}=\left( \begin{array}{ccc} -2 & 0 & 1 \\ 0 & 3 & -2 \\ 1 & -2 & 1% \end{array}% \right) . \end{equation*}\]
On conclue donc que \(v_{1}=(-2,0,1),v_{2}=(0,3,-2)\) et \(v_{3}=(1,-2,1)\).