Le sous-espace vectoriel est l'une des notions les plus testées en algèbre linéaire, car elle conditionne la compréhension de la base, de la dimension, du noyau et de l'image d'une application linéaire. Cette page propose dix exercices corrigés, classés du plus facile au plus difficile, pour s'entraîner à appliquer la caractérisation en trois conditions, à manipuler un sous-espace engendré (Vect), à déterminer une famille génératrice ou une base, et à démontrer une somme directe entre deux sous-espaces. Chaque exercice est accompagné d'une indication qui guide la réflexion sans donner la réponse, puis d'un corrigé rédigé pas à pas. Cette page complète le cours sur les espaces vectoriels.
Caractériser un sous-espace vectoriel : la méthode des trois conditions
Avant de démontrer qu'un ensemble est un sous-espace vectoriel, il faut savoir reconnaître les pièges classiques : vecteur nul absent, stabilité par addition ou par multiplication scalaire en défaut. Les deux exercices suivants entraînent à appliquer rigoureusement le critère de caractérisation, aussi bien dans que dans un espace de matrices.
Exercice 1 : Sous-espaces vectoriels de , repérer les pièges classiques
On considère les quatre parties suivantes de :
- Rappeler les trois conditions permettant de caractériser un sous-espace vectoriel.
- Déterminer, pour chacun des ensembles , s'il s'agit d'un sous-espace vectoriel de . On justifiera chaque réponse, en exhibant un contre-exemple lorsque ce n'est pas le cas.
Indication
Commencez toujours par vérifier si le vecteur nul appartient à l'ensemble : c'est le test le plus rapide pour éliminer un candidat. Pour , pensez à deux vecteurs vérifiant chacun mais dont la somme ne vérifie plus cette condition.
Voir le corrigé
Solution de la question 1 : Une partie d'un espace vectoriel est un sous-espace vectoriel de si et seulement si :
Les conditions (ii) et (iii) se résument souvent en une seule condition de stabilité par combinaison linéaire : .
Solution de la question 2 :
: le vecteur nul vérifie , donc . Soient et . On a , donc . est bien un sous-espace vectoriel de .
: le vecteur nul donne , donc . n'est pas un sous-espace vectoriel.
: prenons et . On a (car ) et (car ), mais vérifie , donc . n'est pas stable par addition, ce n'est pas un sous-espace vectoriel.
: prenons et . Alors , qui ne vérifie pas . n'est pas stable par multiplication scalaire, ce n'est pas un sous-espace vectoriel.
Exercice 2 : Sous-espace de matrices et condition linéaire
On note l'espace vectoriel des matrices carrées d'ordre 2 à coefficients réels. On considère :
Le second ensemble fait intervenir le déterminant d'une matrice, qui n'est pas une condition linéaire.
- Montrer que est un sous-espace vectoriel de , puis en donner une base et sa dimension.
- Montrer que n'est pas un sous-espace vectoriel de .
Indication
Pour , la condition est linéaire en les coefficients : c'est un bon signe pour un sous-espace vectoriel. Pour , cherchez deux matrices inversibles dont la somme ne l'est pas.
Voir le corrigé
Solution de la question 1 : La matrice nulle vérifie , donc . Soient et dans , et . Alors , et . Donc : est un sous-espace vectoriel de . Tout élément de s'écrit , et ces trois matrices forment une famille libre. admet donc cette famille comme base et .
Solution de la question 2 : Prenons et . On a et , donc . Mais a pour déterminant 1, donc . n'est pas stable par addition : ce n'est pas un sous-espace vectoriel.
Sous-espace engendré, famille génératrice et calcul d’une base
Une fois la caractérisation maîtrisée, l'enjeu devient pratique : déterminer un sous-espace engendré par une famille de vecteurs (noté ), réduire une famille génératrice en base, et calculer la dimension d'un sous-espace défini par un système d'équations linéaires.
Exercice 3 : Sous-espace engendré par trois vecteurs de
On considère les vecteurs , et de , et .
- Exprimer comme combinaison linéaire de et .
- En déduire une base de et sa dimension.
Indication
Cherchez tels que en résolvant le système coordonnée par coordonnée. Si une telle relation existe, l'un des trois vecteurs générateurs est superflu.
Voir le corrigé
Solution de la question 1 : On cherche tels que , soit . La troisième coordonnée donne . La deuxième donne , soit . On vérifie la première : , ce qui est cohérent. Donc .
Solution de la question 2 : Puisque , tout vecteur de s'exprime déjà comme combinaison linéaire de et seuls : . De plus, et ne sont pas colinéaires (leurs coordonnées ne sont pas proportionnelles), donc la famille est libre. est donc une base de , et : est un plan vectoriel de .
Exercice 4 : Sous-espace de défini par un système linéaire
On définit la partie de suivante :
- Vérifier que est un sous-espace vectoriel de .
- Résoudre le système pour paramétrer les éléments de , puis en donner une base et sa dimension.
Indication
Un sous-espace défini par un système d'équations linéaires homogènes (c'est-à-dire dont le second membre est nul) est automatiquement un sous-espace vectoriel : c'est un résultat à connaître et à savoir justifier. Pour la paramétrisation, additionnez puis soustrayez les deux équations.
Voir le corrigé
Solution de la question 1 : est l'ensemble des solutions d'un système linéaire homogène, c'est-à-dire le noyau de l'application linéaire définie par . Or le noyau d'une application linéaire est toujours un sous-espace vectoriel de l'espace de départ : vérifie trivialement le système, et si et sont solutions, alors par linéarité de , toute combinaison l'est aussi. est donc un sous-espace vectoriel de .
Solution de la question 2 : En additionnant les deux équations : , donc . En les soustrayant : , donc . Les paramètres libres sont et , et tout élément de s'écrit . Posons et : la famille engendre et elle est libre (vecteurs non proportionnels). C'est donc une base de , et .
Exercice 5 : Pourquoi la réunion de deux sous-espaces n’est presque jamais un sous-espace
Soit un espace vectoriel et deux sous-espaces vectoriels de . On veut démontrer l'équivalence suivante :
- Démontrer le sens facile de l'équivalence : si ou , alors est un sous-espace vectoriel.
- Démontrer la réciproque par l'absurde : on supposera que et , et on construira deux vecteurs bien choisis pour aboutir à une contradiction.
Indication
Pour la question 2, l'hypothèse fournit un vecteur avec , et de même fournit avec . Étudiez où peut se trouver le vecteur si est stable par addition.
Voir le corrigé
Solution de la question 1 : Si , alors , qui est un sous-espace vectoriel par hypothèse. Le cas est symétrique : , qui est un sous-espace vectoriel.
Solution de la question 2 : Supposons par l'absurde que soit un sous-espace vectoriel, mais que ni ni ne soit vérifié. Il existe alors tel que , et tel que . Comme et , et que est stable par addition, on a , donc ou . Si , alors (car est un sous-espace vectoriel, donc stable par différence), ce qui contredit . Si , alors , ce qui contredit . Dans les deux cas on obtient une contradiction, donc l'hypothèse de départ est fausse : ou .
Intersection et somme directe de sous-espaces vectoriels
Contrairement à la réunion, l'intersection de deux sous-espaces vectoriels est toujours un sous-espace vectoriel. Les exercices suivants exploitent cette propriété pour construire des décompositions en somme directe, une technique centrale pour les fonctions paires/impaires et les matrices symétriques/antisymétriques.
Exercice 6 : Intersection, somme et somme directe de deux sous-espaces de
Soient et .
- Montrer que et sont des sous-espaces vectoriels de , et donner leur dimension.
- Déterminer , puis montrer que . Que peut-on en conclure ?
Indication
est engendré par un seul vecteur, donc de dimension 1. Pour l'intersection, combinez les deux conditions et . Pensez ensuite à la formule pour conclure sans calcul supplémentaire.
Voir le corrigé
Solution de la question 1 : est défini par une équation linéaire homogène, c'est donc un sous-espace vectoriel (même argument que l'exercice 4), de dimension 2 (un plan). est un sous-espace engendré par un vecteur, donc un sous-espace vectoriel de dimension 1.
Solution de la question 2 : Si , alors et , donc , soit . Ainsi . D'après la formule de Grassmann, . Comme est un sous-espace vectoriel de de dimension 3, on a nécessairement . Puisque de plus , on conclut que et sont supplémentaires dans : .
Exercice 7 : Fonctions paires et fonctions impaires en somme directe
On note l'espace vectoriel des fonctions de dans , et on pose :
- Montrer que et sont des sous-espaces vectoriels de .
- Montrer que .
- Montrer que , en explicitant pour toute fonction sa décomposition.
Indication
Pour la question 3, ne cherchez pas la décomposition au hasard : posez et , puis vérifiez que est paire, est impaire, et que .
Voir le corrigé
Solution de la question 1 : La fonction nulle est paire et impaire, donc appartient à et à . Soient et : pour tout , , donc . est un sous-espace vectoriel. Le raisonnement est identique pour en remplaçant le signe.
Solution de la question 2 : Soit . Pour tout , on a à la fois (parité) et (imparité), donc , soit , soit . Ainsi est la fonction nulle, et .
Solution de la question 3 : Soit . Posons et . On vérifie , donc , et , donc . De plus pour tout , donc . Ceci montre , et combiné à la question 2, on obtient .
Exercice 8 : Matrices symétriques et antisymétriques en somme directe
Dans , on pose (matrices symétriques) et (matrices antisymétriques).
- Montrer que et sont des sous-espaces vectoriels de .
- Montrer que .
Indication
La démarche est exactement la même que pour l'exercice 7 sur les fonctions paires et impaires, en remplaçant par . Cherchez la décomposition .
Voir le corrigé
Solution de la question 1 : La matrice nulle vérifie , elle appartient donc à et à . Soient et : par linéarité de la transposition, , donc . est un sous-espace vectoriel. De même, pour , donc est aussi un sous-espace vectoriel.
Solution de la question 2 : Soit : alors et , donc , soit . Ainsi . Soit maintenant quelconque. Posons et . On a , donc , et , donc . Comme , on en déduit . Avec l'intersection triviale obtenue précédemment, on conclut .
Sous-espaces associés à une application linéaire : noyau, image et suites récurrentes
Le noyau et l'image d'une application linéaire sont deux sous-espaces vectoriels fondamentaux, reliés par le théorème du rang. Le dernier exercice élargit la notion de sous-espace vectoriel à un cadre moins classique : l'espace des suites réelles vérifiant une relation de récurrence linéaire.
Exercice 9 : Noyau et image d'un endomorphisme de
Soit l'application linéaire définie par .
- Justifier que et sont des sous-espaces vectoriels de , puis déterminer une base et la dimension de .
- En utilisant le théorème du rang, déterminer une base et la dimension de .
Indication
Observez que la troisième coordonnée de est la somme des deux premières : cela doit simplifier la résolution du système . Pour l'image, le théorème du rang donne la dimension ; il suffit ensuite de trouver deux images de vecteurs de base non colinéaires.
Voir le corrigé
Solution de la question 1 : Le noyau et l'image d'une application linéaire sont toujours des sous-espaces vectoriels (respectivement de l'espace de départ et de l'espace d'arrivée) : c'est une propriété générale qui découle directement de la linéarité de . Résolvons : , , . La première équation donne , la seconde . En substituant dans la troisième : , qui est automatiquement vérifiée. Donc , de dimension 1.
Solution de la question 2 : Le théorème du rang donne , soit , donc . Calculons les images des vecteurs de la base canonique : et . Ces deux vecteurs ne sont pas colinéaires, donc la famille est libre dans , qui est de dimension 2 : c'est donc une base de .
Exercice 10 : Sous-espace vectoriel de suites définies par une récurrence linéaire
On note l'espace vectoriel des suites réelles, et on considère :
- Montrer que est un sous-espace vectoriel de .
- On admet que les suites géométriques et , où et sont les deux racines de l'équation , appartiennent à . Montrer qu'elles forment une famille libre, puis admettre qu'elles engendrent pour conclure sur la dimension de .
Indication
Pour la question 1, une suite de est entièrement déterminée par ses deux premiers termes et : la relation de récurrence est linéaire, donc compatible avec une combinaison linéaire de deux suites de . Pour la question 2, supposez pour tout , et examinez les cas et .
Voir le corrigé
Solution de la question 1 : La suite nulle vérifie trivialement pour tout , donc la suite nulle appartient à . Soient et , et posons . Pour tout , . Donc : est un sous-espace vectoriel de .
Solution de la question 2 : Supposons que pour tout , avec . Pour : , donc . Pour : , soit , soit . Comme (les deux racines sont distinctes puisque ), on obtient , puis . La famille est donc libre dans . Une suite de étant déterminée de manière unique par le couple , l'espace est isomorphe à et est donc de dimension 2 ; la famille libre à deux éléments en constitue donc une base.