IPEST 2022=2023 MPSI 2 Gharsellaoui Zied

Devoir a la maison N 01 : Revision algebre lineaire 1

S:e:v de m^
eme dimension

| Dans tout le problème | désigne un sous-corps de C:

| Tous les espaces vectoriels considèrés sont des | espaces vectoriels de dimension
…nie.
| L’objet du problème est d’établir des proprietés des familles de sous-espaces
vectoriels de même dimension.
| Si A et B sont deux sous-espaces vectoriels d’un | espace vectoriel E , on dira A
est un hyperplan de B si et seulement si A B et dim (A) = dim (B) 1:
Partie I : Preliminaires :
• Dans cette partie E désigne un espace vectoriel …xé .
1 (Question de cours) Si A et B8deux sous-espaces vectoriels de E:
< A B!E
a Montrer que l’application ' : est linéaire.Préciser son image.
: (a; b) 7! a + b
b Montrer , en précisant l’isomorphisme , que ker ' est isomorphe à A \ B:
c En déduire la formule de Grassmann :
dim (A + B) = dim (A) + dim (B) dim (A \ B)
2 Soit A un sous-espace vectoriel de E , A 6= E et x 2 EnA:
Montrer que : dim (vect (A [ fxg)) = dim (A) + 1:
3 Soit A 6= B deux hyperplans de E:Montrer que A \ B est un hyperplan de B:
4 Montrer que tout sous-espace vectoriel de E autre que E lui même est contenu
dans un hyperplan.
Partie II : Supplementaires d’un sous espace donne :
• Soit A et B deux sous-espaces supplémentaires d’un espace vectoriels E:
• On se propose de montrer que l’ensemble des supplémentaires de B est en bijection
avec l’ensemble L (A; B) des applications linéaires de A dans B:

1
 8
< A!E
5 Soit f 2 L (A; B) .Montrer que l’application 'f : est linéaire
: a 7 ! a + f (a)
et injective. Que peut-on en déduire de dim Im 'f ?
• Dans toute la suite on notera : 8 f 2 L (A; B) : Af = Im 'f :
6 Montrer que pour tout f 2 L (A; B) , Af est un supplémentaire de B:
7 Montrer que si f; g 2 L (A; B) alors : Af = Ag ) f = g:
8 Soit A1 un supplémentaire quelconque de B , on note :
• pA1 ;B : La projection sur A1 parallélement à B:
• pB;A1 : La projection sur B parallélement à A1 :
Soit f la restriction à A de pB;A1 :Montrer que Af = A1 :
9 Conclure en précisant le role des questions précédentes.
10 Montrer que l’ensemble des hyperplans d’un | espace vectoriel E est in…ni.
11 Dans cette question uniquement, on suppose que | n’est plus dans C mais un
corps …ni de cardinal q et E de dimension n.
a Montrer que E est …ni.Combien a-t-il d’éléments ?
b Pourquoi le résultat qui est l’objectif de la partie III est-il faux dans ce cas ?
c Combien un sous-espace vectoriel B de dimension s admet-il un supplémentaire ?
Partie III Supplementaire commun :
| Dans cette partie , on considére des familles (A1 ; :::; Ap ) des sous-espaces
vectoriels deux à deux distincts d’un espace vectoriel E:Les Ai sont de même dimension
m 2 [j1; dim (E) 1j] :
| On veut montrer qu’il existe un sous-espace vectoriel B qui est un supplémentaire
de chacun des sous-espaces Ai :
12 Cas ou dim E = 2 :
Dans ce cas chaque Ai est une droite vectorielle (C’est aussi un hyperplan) :Il existe
des vecteurs non nuls a1 ; ::; ap tels que : A1 = vect (a1 ) ; ::::; Ap = vect (ap ) :
a Justi…er l’existance d’un vecteur b1 tel que (a1 ; b1 ) soit une base de E:
b Pour i 2 [j2; pj] , on note i et i les coordonnées de ai dans la base (a1 ; b1 ).Montrer
que i 6= 0 pour tout i 2 [j2; pj] :
c Justi…er l’existance d’un scalaire tel que b = a1 + b1 2
= A1 [ ::: [ Ap :

2
13 Soit (A1 ; :::; Ap ) une famille d’hyperplans véri…ants les conditions indiquées en
début de partie.
Montrer que A1 [ A2 [ ::: [ Ap 6= E:
14 a Cas ou m = dim E 1 : Soit x 2
= A1 [ ::: [ Ap :
Montrer que vect (x) est un supplémentaire commun de tous les Ai :
b Generalisation : Montrer qu’il existe un sous-espace vectoriel B qui est un
supplémentaire de chacun des sous-espaces Ai :