Lemme de Steinitz

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.

É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.

Démonstration

  • Puisque v1 appartient à V, il existe des scalaires λ1, ..., λn tels que
v_1=\sum_{k=1}^n\lambda_kw_k~.

Comme v1 est non nul (puisqu'il appartient à une famille libre), l'un au moins de ces scalaires est non nul. Quitte à réordonner les wk, on peut donc supposer que λ1 est non nul. L'équation se réécrit alors

w_1 = \lambda_1^{-1} v_1 - \sum_{k=2}^n\lambda_1^{-1} \lambda_k w_k~.

Ceci permet d'affirmer que l'ensemble {v1, w2, ..., wn} engendre encore V.

  • On recommence cette opération pour chaque vi (pour i de 1 à m). À l'étape i, le raisonnement est le suivant. Puisque (à ce stade) {v1, ..., vi - 1, wi, ..., wn} engendre V, il existe des scalaires μ1, ..., μn tels que
v_i=\sum_{k=1}^{i-1}\mu_kv_k+\sum_{k=i}^n\mu_kw_k~.

Comme vi n'est pas combinaison linéaire de v1, ..., vi - 1, l'un au moins des scalaires μi, ..., μn est non nul (ce qui prouve au passage que i ≤ n). Quitte à réordonner à nouveau les wk correspondants on peut alors supposer que μi est non nul, d'où l'on tire

w_i=\mu_i^{-1}v_i-\sum_{k=1}^{i-1}\mu_i^{-1}\mu_kv_k-\sum_{k=i+1}^n\mu_i^{-1}\mu_kw_k~,

si bien que {v1, ..., vi, wi + 1, , ..., wn} engendre encore V.

  • À la fin de la me opération, on obtient le résultat annoncé.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Steinitz de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Lemme de Zorn — En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous ensemble totalement ordonné) possède… …   Wikipédia en Français

  • Ernst Steinitz — Pierre tombale de Ernst Steinitz au cimetière juif de Wrocław (rue Lotnicza). Pour les articles homonymes, voir Steinitz. Ernst Steinitz …   Wikipédia en Français

  • Théorème de Steinitz — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, plusieurs théorèmes portent le nom de Ernst Steinitz, parmi lesquels : Théorème de Steinitz (théorie des graphes) (en)… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

  • 2D — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

  • 2d — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

  • Dimension de Hamel — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

  • Dimension spatiale — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

  • Dimensions spatiales — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”