Outils pour utilisateurs

Outils du site


math:2:demo:base_incomplete

Preuve : théorème de la base incomplète

Soit $E$ de dimension $n$, $p\in\llbracket1,n-1\rrbracket$ et $\left(\vv*{x}{1},\dots,\vv*{x}{p}\right)$ une famille libre de vecteurs de $E$.

  • Comme $p<n$ alors cette famille n'est pas une base de $E$ donc n'est pas génératrice de $E$. Il existe alors un vecteur $\vv*{x}{p+1}\in E$ tel que $\left(\vv*{x}{1},\dots,\vv*{x}{p},\vv*{x}{p+1}\right)$ est libre.
  • Si $p+1=n$ alors cette nouvelle famille est génératrice de $E$ et on a terminé. Sinon, il existe un vecteur $\vv*{x}{p+2}$ …
  • Ce processus se termine nécessairement puisqu'on ne peut pas dépasser $n$.
math/2/demo/base_incomplete.txt · Dernière modification : 2020/05/10 21:31 de 127.0.0.1