Catalogue Licence
L1 • Algèbre Linéaire
Fondation L1
Accès Libre

Espaces vectoriels, bases et somme directe

Familles libres et génératrices, lemme de Steinitz, base incomplète, formule de Grassmann et décomposition

Fils Rouges :Fil 3 — Linéarité et décomposition
Point d'entrée intuitif

Pourquoi les polynômes, les suites, les fonctions continues, les solutions d'une équation différentielle linéaire et les flèches du plan obéissent-ils tous exactement aux mêmes théorèmes ?

Idée en une phrase :
Dès qu'on peut additionner deux objets et en multiplier un par un nombre, on peut parler de coordonnées — et tout le reste en découle.
Généalogie historique du concept :

Grassmann publie en 1844 sa Théorie de l'extension, où il définit pour la première fois des « grandeurs » abstraites que l'on additionne et multiplie par des scalaires. Le livre est illisible et passe inaperçu pendant quarante ans. Peano en donne l'axiomatique moderne en 1888. Le déclencheur historique n'est pas la géométrie : c'est la résolution des systèmes linéaires et l'étude des formes quadratiques, où l'on s'aperçoit que les mêmes calculs reviennent sur des objets de nature totalement différente.

Pourquoi CETTE définition formelle :

Pourquoi exiger un CORPS de scalaires, et non un simple anneau ? Parce que toute la théorie repose sur la possibilité de diviser : dans la preuve du lemme d'adjonction, on écrit , ce qui exige l'inversibilité de . Sur un anneau, on obtient des modules, où le théorème de la base incomplète est FAUX : est un sous-module de qui n'admet aucun supplémentaire.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une base est un système de coordonnées GPS : trois nombres suffisent à désigner n'importe quel point de l'espace, et chaque point n'a qu'un seul triplet.

Ce qu'elle capture :

La double condition « libre et génératrice » se lit directement : génératrice signifie que tout point est atteignable, libre signifie que chaque point n'a qu'une adresse. Une famille génératrice non libre serait un GPS où le même lieu aurait plusieurs adresses.

⚠️ Où l'analogie ment :

Le GPS suggère des axes perpendiculaires et une unité de longueur. Or à ce stade il n'existe NI angle NI distance : une base peut être formée de vecteurs quelconques, arbitrairement « penchés ». L'orthogonalité n'arrivera qu'en L2 avec le produit scalaire.

Modèle #2

La somme directe est un jeu de construction où chaque pièce se démonte d'une seule manière.

Ce qu'elle capture :

L'unicité de la décomposition est la propriété essentielle ; c'est elle qui permet de définir la projection sur parallèlement à .

⚠️ Où l'analogie ment :

L'image ne dit pas que le supplémentaire n'est PAS unique. Une droite du plan admet une infinité de droites supplémentaires. Confondre « supplémentaire » et « le supplémentaire » est l'erreur la plus fréquente du chapitre — et elle disparaîtra seulement en L2, quand l'orthogonalité en désignera un canonique.

Modèle #3

La dimension est un budget indéformable : ajouter un vecteur indépendant coûte une unité, et l'espace n'en contient qu'un nombre fixé.

Ce qu'elle capture :

Le lemme de Steinitz devient évident : on ne peut pas loger vecteurs indépendants dans un espace engendré par vecteurs, faute de budget.

⚠️ Où l'analogie ment :

Le budget saute en dimension infinie : dans l'espace des polynômes, la famille est libre et infinie. La formule de Grassmann n'y a plus de sens numérique, alors que la somme directe, elle, garde le sien.

Les Pièges Conceptuels Classiques

1
et suffisent pour que la somme soit directe.

Correction :

Il faut . Dans , deux plans distincts passant par l'origine engendrent bien , mais leur intersection est une droite : la somme n'est pas directe et la décomposition n'est pas unique.

2
Une famille de vecteurs dans un espace de dimension est une base.

Correction :

Il faut EN PLUS qu'elle soit libre, ou génératrice — l'une des deux suffit alors, mais aucune n'est gratuite. La famille compte deux vecteurs dans et n'est pas une base : elle n'engendre qu'une droite.

3
Le supplémentaire d'un sous-espace est unique.

Correction :

Il est unique seulement en apparence. Dans , la droite admet pour supplémentaire TOUTE droite non confondue avec elle : , , … La bonne formulation est « un supplémentaire ». En revanche l'orthogonal , en L2, sera unique.

4
Une famille contenant le vecteur nul peut être libre si les autres vecteurs sont indépendants.

Correction :

Toute famille contenant est liée : la combinaison est nulle avec un coefficient non nul. C'est un test à effectuer d'un coup d'œil avant tout calcul.

Glossaire des Notations Mathématiques

sous-espace engendré par A

le plus petit sous-espace contenant $A$, c'est-à-dire l'ensemble des combinaisons linéaires finies d'éléments de $A$

somme directe

la notation $\oplus$ n'est légitime qu'APRÈS vérification de $F \cap G = \{0\}$ ; l'écrire est déjà une affirmation

dimension sur K

dépend du corps : $\dim_{\mathbb{R}} \mathbb{C} = 2$ alors que $\dim_{\mathbb{C}} \mathbb{C} = 1$