162 Formes bilinéaires et quadratiques réelles ou complexes
en notant αj=`(ej)pour tout entier jcompris entre 1et n.
La matrice ligne :
L= (α1, α2,··· , αn) = (`(e1), ` (e2),··· , ` (en))
est tout simplement la matrice de `dans la base B= (ej)1≤j≤nde Eet on a :
∀x∈E, ` (x) = L·x= (α1, α2,··· , αn)
x1
x2
.
.
.
xn
=
n
X
j=1
αjxj.
Ce résultat peut aussi s’exprimer sous la forme :
∀x∈E, ` (x) =
n
X
j=1
αjpj(x) = Ãn
X
j=1
αjpj!(x)
où pjdésigne, pour jcompris entre 1et n, la projection x7→ xj.
On peut donc écrire, une base Bde Eétant donnée, toute forme linéaire `sur Esous la
forme :
`=
n
X
j=1
αjpj
où les αj∈Ksont uniquement déterminés par αj=`(ej)pour tout entier jcompris entre 1
et n.
Nous avons donc montré le résultat suivant.
Théorème 11.1 Si Eest un espace vectoriel de dimension net B= (ej)1≤j≤nune base de E,
alors l’ensemble de toutes les formes linéaires sur Eest un espace vectoriel de dimension nde
base (p1,··· , pn).
On rappelle que si on dispose d’une base Bd’un espace vectoriel Edire qu’une famille
(v1,···, vp)d’éléments de Eest libre (ou que ces éléments sont linéairement indépendants)
équivaut à dire que les vecteurs colonnes X1,··· , Xpformés des composantes de ces vecteurs
dans la base Bsont linéairement indépendants dans Kn.On peut donc parler de formes linéaires
linéairement indépendantes.
On rappelle également que pour montrer que le système (X1,··· , Xp)est libre dans Kn,il
suffit d’extraire de la matrice (X1,··· , Xp)un déterminant d’ordre pnon nul (ce qui impose
bien sur que p≤n).
Dire que le système (X1,··· , Xp)est libre dans Knéquivaut aussi à dire que la matrice
(X1,··· , Xp)est de rang p. Comme une matrice et sa transposée ont même rang, il revient au
même de calculer le rang de la matrice transposée
tX1
.
.
.
tXp
.
On retiendra que des formes linéaires `1,··· , `pdéfinies sur E, de base B= (ej)1≤j≤n,par :
∀x∈E, `i(x) =
n
X
j=1
αi,j xj(1 ≤i≤p)