1
le 18 F´evrier 2010 UTBM MT12
Arthur LANNUZEL
http ://mathutbmal.free.fr
D´eterminants
K=Rou C.
Eun K-esp. vect. (on sait que dans le cas d’un espace vectoriel de dimension finie n, quitte `a
choisir une base, on peut identifier Eet Kn.)
1 Formes n-lin´eaires sur E=Kn.
D´efinition 1.1 i) Une application ϕ:En−→ Kest dite forme n-lin´eaire si ϕest lin´eaire
par rapport `a chaque variable :
-∀v, u1, ..., un∈E,
ϕ(u1, ..., ui−1, ui+v, ui+1, ..., un) = ϕ(u1, ..., ui−1, ui, ui+1, ..., un) + ϕ(u1, ..., ui−1, v, ui+1, ..., un)
-∀u1, ..., un∈E, ∀λ∈K, ϕ(u1, ..., ui−1, λ.ui, ui+1, ..., un) = λ.ϕ(u1, ..., ui−1, ui, ui+1, ..., un).
ii) Une forme n-lin´eaire est dite antisym´etrique si
∀i < j, ϕ(u1, ..., ui−1, ui, ..., uj, uj+1, ..., un) = −ϕ(u1, ..., ui−1, uj, ..., ui, uj+1, ..., un).
iii) L’ensemble des formes n-lin´eaires antisym´etriques sur Kest not´e An(K)(c’est un
K-espace vectoriel).
Proposition 1.2 Soit ϕune forme n-lin´eaire sur Ealors :
ϕ antisym`etrique ⇐⇒ ϕ altern´ee (i.e. xi=xjavec i ̸=j=⇒ϕ(x1, x2, ..., xn) = 0.
Preuve.
=⇒) Supposons ϕsym´etrique. Alors ϕ(x1, ..., xi, .., xj, .., xn) = −ϕ(x1, ..., xj, .., xi, .., xn) donc,
si xi=xjon a ϕ(x1, ..., xi, .., xj, .., xn) = 0.
⇐=) Si ϕaltern´ee alors ϕ(x1, ..., xi+xj, .., xj+xi, .., xn) = 0.
Mais ϕ(x1, ..., xi+xj, .., xj+xi, .., xn) = ϕ(x1, ..., xi, .., xj, .., xn) + ϕ(x1, ..., xj, .., xi, .., xn) +
ϕ(x1, ..., xi, .., xi, .., xn) + ϕ(x1, ..., xj, .., xj, .., xn)
et ϕ(x1, ..., xi, .., xi, .., xn) = ϕ(x1, ..., xj, .., xj, .., xn) = 0.
Donc ϕest antisym´etrique.
CQFD