Espaces Vectoriels

Théorème de la base incomplète et corollaire de la base extraite :

Il est possible, lorsqu’on a deux familles de vecteurs, l’une étant génératrice d’un espace vectoriel , et l’autre libre dans , de compléter l’une avec l’autre et de former une base de cet espace vectoriel.
Nous allons définir la manière de procéder et ensuite, nous prendrons un exemple. Il s’agit ici d’utiliser un « algorithme ».

Soient une famille génératrice d’un espace vectoriel , et une famille libre.
L’algorithme consiste à incorporer un des vecteurs aux vecteurs , et de réitérer l’opération jusqu’à avoir une base de .

Pour simplifier les écritures, on va appeler la famille des vecteurs et la famille des

La première étape consiste à regarder si est une famille génératrice de . Bon, ce n’est pas très intéressant car si c’est le cas, on en a terminé puisque est une base de .

A présent, si n’est pas une famille génératrice, alors il existe un vecteur de qui n’est pas combinaison linéaire des éléments de . On va alors poser . On va appeler cette famille .

On voit clairement que la famille est strictement plus grande que la famille , et, si elle est libre, alors, on continue l’algorithme.

On réitère, en construisant à partir de \textit{L}_1$ et d’un autre vecteur de , en prenant par exemple .

On pose donc . On vérifie les même propriétés que précédemment. Evidemment, est plus grand que .

Si la famille est encore libre, alors, on réitère le processus jusqu’à une certaine étape, disons k, alors, on a ou

Exemple :

Soient , , , et des vecteurs de la famille , qu’on va considérer comme une famille génératrice du sous espace de l’espace vectoriel des polynômes réels.

On va construire une base à partir de ses polynômes. Pour se faire, on va considérer, pour commencer, l’ensemble vide, auquel, on va petit à petit, ajouter des éléments pour construire cette base. Soit notre famille . On cherche une famille , tel que soit une base de .

On voit bien que la famille incluant l’ensemble vide n’est pas génératrice, car , on va donc continuer.

On pose alors . est non nul, donc la famille est bien libre. On continue l’algorithme, pourquoi ? On voit clairement que n’est pas générateur… 

A présent, prenons . La famille est elle libre? Oui, il est facile de démontrer que et sont linéairement indépendants. On continue donc.

Cette fois, on a . Que voit-on ? La famille n’est pas libre, en effet, . On va donc exclure et continuer avec d’autres vecteurs.

Prenons . La famille est bien libre, il ne nous reste donc plus qu’un vecteur à considérer.

On pose pour finir . un calcul rapide montre que . La famille est donc liée. 

Que peut-on en conclure ? L’algorithme est terminé, en effet, la famille est libre et génératrice de . Donc, la famille est une base de .