Lemme de Steinitz

En mathématiques, le lemme de Steinitz est un lemme d'algèbre linéaire, utilisé principalement pour prouver que deux bases quelconques d'un espace vectoriel de dimension finie ont même nombre d'éléments. Ce résultat porte le nom du mathématicien allemand Ernst Steinitz.

Ne doit pas être confondu avec Théorèmes de Steinitz.

Énoncé

Si v1, ..., vm sont des vecteurs linéairement indépendants d'un espace vectoriel V engendré par w1, ..., wn alors m  n et, à permutation près des wk, l'ensemble {v1, ..., vm, wm + 1, ..., wn} engendre V.

Voir aussi

Théorème de la dimension pour les espaces vectoriels

  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.