Espace dual
© S. DUCHET - www.epsilon2000.fr.st 3/5
uvz DD )( *
= (propriété de la loi de composition des applications)
uzv
tD)( *
= (définition de la transposée de v)
))(( *
zvu tt
= (définition de la transposée de u car ** )( Fzv
t∈)
))(( *
zvu tt D= (propriété de la loi de composition des applications)
(ii) Soit ** Ex ∈.
EE
tidxxid D
**))(( =
*
x=
)( *
*xidE
=
(iii) On suppose u bijective.
E
iduu =
−1
D donc E
tt iduu =
−)( 1
D. Or, uuuu ttt DD )()( 11 −− = et *
)( E
E
tidid = donc *
)( 1E
tt iduu =
−D.
On montre de même que *
)( 1E
tt iduu =
−
D. Par conséquent, u
t est bijective et 11 )()( −− =uu tt .
3) Matrice d'une application transposée (en dimension finie)
Soit E un K espace vectoriel de dimension finie n, ),...,( 1n
eee
une base de E. Pour n
Nk
, on
définit *
k
e comme étant l'application linéaire de E dans K vérifiant : jijkn eeNj δ=∈∀ )(, * (on
rappelle que ⎩
⎨
⎧
≠
=
=δ jisi
jisi
ji 0
1)
Rappelons également qu'une application linéaire est entièrement déterminée par les images des
vecteurs de base.
),...,( **
1n
ee est une famille libre de *
:
Soit n
nK∈αα ),...,( 1, tel que 0... **
11 =α++α nnee .
Soit n
Nj∈. On a 0)(
*
1
=α
∑
=jk
n
kkee donc 0
1
=δα
∑
=
n
kjkk donc 0
j. Par conséquent, tous les j
sont nuls donc ),...,( **
1n
ee est une famille libre de *
.
théorème
Si e est un K espace vectoriel de dimension finie, alors *
est de dimension finie et
)()( *EdimEdim =. De plus, si ),...,( 1n
ee est une base de E, alors ),...,( **
1n
ee est une base de *
.
démonstration
Supposons que E est de dimension finie n, *
Nn∈. K est un K espace vectoriel de dimension 1.
Donc ),( KEL est de dimension finie et nnKdimEdimKELdim =×
1)()()),(( . Donc *
est
de dimension n.
Soit ),...,( 1n
ee une base de E. Soit ),...,( **
1
*n
eee =. d'après ce qui précède, *
e est une famille libre à
n élément s de *
qui est de dimension n. c'est donc une base de *
.