• Sous-espace : dim F ≤ dim E • Somme : dim (F + G) = dim F + dim G - dim (F ∩ G)
• Produit : dim (E × F) = dim E + dim F • Extension de corps : dimK(E) =dimL(E)×dimK(L)
• Quotient : dim E / F = dim E - dim F • Espace d’applications linéaires : dim L(E, F) = dim E × dim F
2. Rang d’une application linéaire
E et F désignent des e.v. de dimension finie et f une application linéaire de E dans F.
• Le rang d’une application linéaire est la dimension de son image. On note rg f. Le rang d’une famille de
vecteurs d’un e.v. est la dimension du sous-espace engendré par cette famille.
• Formule du rang : dim E = dim (Ker f) + dim (Im f)
Conséquence : Si dim E = dim F = n, les propriétés suivantes sont équivalentes :
(i) f est bijective (ii) f est injective
(iii) f est surjective (iv) rg f = n
Application : Toute K-algèbre intègre de dimension finie est un corps. Par exemple Q[√2,√3].
3. Dualité en dimension finie
a) Bases duales
• Si E est un e.v. de dimension finie, son dual E* est de même dimension finie. A toute base (ei) de E, on associe
une base (bi
∗) de E*, appelée base duale de (ei) et définie par les relations bi
∗(bj)=δij .
• L’application
xa(f af(x)) est un isomorphisme (canonique) de E sur son bidual E**.
b) Orthogonalité
Si E est un e.v. de dimension finie :
(i) Pour tout sous espace X de E, (X⊥)⊥=X.
(ii) Pour tout sous-espace Y de E*, (Y⊥)⊥=Y.
(iii) dim X +dimX⊥=dimE∗=dim E =dimY +dimY⊥.
c) Transposée d’une application linéaire
Si E et F sont des e.v. de dimension finie :
(i) La transposition
fatf est une application linéaire bijective de L(E, F) sur L(F*, E*).
(ii) Pour toute application linéaire f de E dans F, rgf =rg tf.
Application : Polynômes d’interpolation de Lagrange.
E désigne l’espace vectoriel Kn-1[X]. Etant donnés des éléments distincts a1, a2, …, an de K, on considère les
formes linéaires
ϕi:PaP(ai). Montrer que (ϕi) est une base de E*. Expliciter la base (ei) de E duale de (ϕi) et
la décomposition d’un polynôme P quelconque suivant (ei).
Bibliographie
RAMIS, DESCHAMPS et ODOUX, Cours de mathématiques spéciales, tome 1, Masson
CABANE et LEBOEUF, Espaces vectoriels, polynômes, Ellipses