Universalis
Abonnez-vous à Universalis pour 1 euro

LINÉAIRE ALGÈBRE

Espaces vectoriels de dimension finie

Définition

On dit qu'un espace vectoriel E sur K est de dimension finie sur K, ou, plus simplement, de dimension finie, s'il existe une partie génératrice finie de E. Dans le cas contraire, on dit que E est de dimension infinie.

Pour qu'un espace vectoriel E soit de dimension finie, il faut et il suffit qu'il existe une partie basique finie de E, puisque de toute partie génératrice on peut extraire une partie basique.

Théorème 10. Soit E un espace vectoriel de dimension finie sur K, et B une partie basique finie de E ayant n éléments. Alors toute partie libre L de E est finie, et le nombrep d'éléments de L est inférieur ou égal à n. De plus, on peut compléter L en une partie basique de E en lui adjoignant (n − p) éléments convenablement choisis dans B.

Le théorème se démontre en utilisant le lemme d'échange suivant, qui fournit en outre un procédé pratique de complétion de L en une partie basique.

Lemme. Soit B = (e1, e2, ..., en) une base de E, soit q un entier inférieur ou égal à n, et Lq = (f 1, f 2, ..., f q) une famille libre de E. On suppose que Bq = (f 1, f 2, ..., f q-1, eq, ..., en) est une base de E. Alors il existe au moins un entier i ∈ [q, n]tel qu'en substituant f q à ei dans Bq on obtienne encore une base de E, notée Bq+1.

Il suffit pour cela de décomposer f q dans la base Bq. Puisque Lq est libre, il existe au moins un entier i ∈ [q, n]tel que la i-ième composante de f q soit non nulle. Il est alors immédiat que cet entier i convient.

Corollaire 1. Soit E un espace vectoriel de dimension finie sur K. Toutes les parties basiques de E sont finies, et elles ont le même nombre d'éléments.

Il résulte en effet du théorème 10 que toutes les parties basiques de E sont finies. Soit donc B et B′ deux parties basiques de E, ayant respectivement n et n′ éléments. Comme B est basique et que B′ est libre, n′ ≤ n ; de même, n ≤ n′, et finalement n = n′.

Le cardinal commun à toutes les parties basiques de E s'appelle dimension de E sur K, et se note dimKE, ou, plus simplement, dim E. L'espace vectoriel réduit au vecteur nul est le seul espace vectoriel de dimension 0. Un espace vectoriel de dimension 1 s'appelle une droite, un espace vectoriel de dimension 2 s'appelle un plan.

Voici quelques exemples :

Soit I un ensemble non vide. L'espace vectoriel K(I) est de dimension finie si et seulement si I est fini, et la dimension de K(I) est alors égale à card(I). En particulier, pour tout entier naturel non nul n, Kn est de dimension n.

Soit E et F deux espaces vectoriels sur K non réduits à {0}, soit B = (ej)j∈J une base de E, et B′ = (f i)i∈I une base de F. Pour tout élément (i, j) de I × J, désignons par Uij l'unique application linéaire de E dans F telle que, pour tout élément k de J,

Les applications linéaires Uij constituent une base de l'espace vectoriel L(E, F), dite associée aux bases B et B′. En particulier, si E et F sont de dimension finie, il en est de même de L(E, F), et :

(Notons que cette formule reste valable si E ou F est réduit à {0}.)

Plus particulièrement encore, l'espace vectoriel des endomorphismes de E est de dimension finie, et :

Soit E un espace vectoriel sur K non réduit à {0}, et B = (ej)j∈J une base de E. Pour tout élément i de J, l'unique forme linéaire e*i telle que, pour tout élément j de J :

s'appelle i-ième forme linéaire coordonnée. La famille (e*j)j∈J des formes linéaires coordonnées est libre ; pour que ce soit une base de E*, il faut et il suffit que E soit de dimension finie. Cette base s'appelle base duale de la base B, et se note B*. Nous voyons ainsi que l'espace vectoriel dual de E est de dimension finie si et seulement si E est de dimension finie, et que, dans ces conditions :[...]

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : ancien élève de l'École normale supérieure, agrégé de l'Université, professeur au lycée Buffon, Paris
  • : agrégé de l'Université, ancien élève de l'École normale supérieure, professeur de mathématiques spéciales

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Pour citer cet article

Lucien CHAMBADAL et Jean-Louis OVAERT. LINÉAIRE ALGÈBRE [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )

Autres références

  • AFFINE APPLICATION

    • Écrit par Jacques MEYER
    • 261 mots

    Soit E et F deux espaces vectoriels sur un corps commutatif K et A et B des espaces affines attachés à E et F. On dit qu'une application u de A dans B est une application linéaire affine (ou application affine) si, quelle que soit la famille finie d'éléments (Mi, λi), pour 1 ≤ ...

  • ALGÈBRE

    • Écrit par Jean-Luc VERLEY
    • 7 143 mots
    L'étude des équations et systèmes d'équations du premier degré était reléguée au début du xixe siècle dans l'enseignement élémentaire et négligée des mathématiciens, lorsqu'une axiomatisation convenable montra la puissance des notions nouvelles ainsi mises en évidence. Sous sa forme...

  • CALCUL INFINITÉSIMAL - Calcul à plusieurs variables

    • Écrit par Georges GLAESER
    • 5 442 mots
    Les progrès de l'algèbre linéaire ont permis enfin de définir la différentielle sans aucun recours aux coordonnées sous une forme qui s'applique également aux fonctions définies sur des espaces de dimension infinie (cf. chap. 2).

  • CAYLEY ARTHUR (1821-1895)

    • Écrit par Lubos NOVY
    • 1 407 mots
    ...la notion de tableau rectangulaire représentant les coefficients d'un système d'équations linéaires ou les coefficients d'une transformation linéaire ; on peut donc soutenir que Cayley avait élaboré la théorie des matrices quelques années avant la publication de son célèbre et si exemplairement clair...
  • Afficher les 8 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter