Etude d’intersections d’hyperplans vectoriels

Thème : Espaces vectoriels de dimension finie

Soit K un corps et E un K -espace vectoriel de dimension n ∈ ℕ∗ .

Partie I – Description d’un sous-espace vectoriel en intersection d’hyperplans

1. Soit H 1 et H 2 deux hyperplans de E .

1.a On suppose H 1 ≠ H 2 . Justifier H 1 + H 2 = E .
1.b Déterminer dim H 1 ∩ H 2 selon que H 1 = H 2 ou non.
2.a Soit H un hyperplan de E et F un sous-espace vectoriel de E .
Déterminer dim F ∩ H selon que F ⊂ H ou non.
2.b Soit p ∈ ℕ∗ et H 1 ,…, H p des hyperplans de E .
Montrer que dim(H 1 ∩ … ∩ H p ) ≥ n − p .
3. Soit F un sous-espace vectoriel de E , distincts de E . On pose p = dim F .
On se propose d’établir que F peut s’écrire comme intersection de n − p hyperplans.
Dans un premier temps on suppose F ≠ {o } .


 
Montrer qu’il existe une base B = (e1 ,…,en ) de E telle que ∀1 ≤ i ≤ p, ei ∈ F .


3.a
   
On pose, pour tout i ∈ {p + 1,…, n } , H i = Vect(e1 ,…,ei−1 ,ei +1 ,…,en ) .
3.b Montrer que les H i sont des hyperplans de E .
3.c Observer que F = H p+1 ∩ … ∩ H n .

On suppose maintenant que F = {o } .

3.d
Montrer que F peut s’écrire comme intersection de n hyperplans.

Partie II – Décomposition d’un drapeau en intersection d’hyperplans

On considère un drapeau de E , c’est à dire une famille (F0 , F1 ,…, Fn ) de sous-espaces vectoriels de E telle
que :
(i) ∀ 0 ≤ i ≤ n, dim Fi = i ,
(ii) ∀1 ≤ i ≤ n, Fi −1 ⊂ Fi .
1. Préciser F0 et Fn .

Justifier que, pour tout i ∈ {1,…, n } , ∃ei ∈ Fi tel que ei ∉ Fi −1 .

2.a
 
2.b Montrer que B = (e1 ,…,en ) est une base de E .
 
2.c Observer que ∀1 ≤ i ≤ n , Fi = Vect(e1 ,…,ei ) .
3.a Montrer que, pour tout i ∈ {1,…, n } , il existe un hyperplan de E noté H i tel que : Fi −1 = Fi ∩ H i .
3.b Observer qu’alors, pour tout i ∈ {1,…, n } : Fi −1 = H i ∩...∩H n .

Correction

Partie I

1.a H 1 , H 2 ⊂ H 1 + H 2 ⊂ E donc n − 1 ≤ dim H 1 + H 2 ≤ n .

Si dim H 1 + H 2 = n − 1 alors par inclusion et égalité des dimensions H 1 = H 1 + H 2 = H 2 ce qui est
exclu. Par suite dim H 1 + H 2 = n et donc H 1 + H 2 = E .
1.b Si H 1 ≠ H 2 alors dim H 1 ∩ H 2 = dim H 1 + dim H 2 − dim H 1 + H 2 = n − 2 .
Si H 1 = H 2 alors H 1 ∩ H 2 = H 1 puis dim H 1 ∩ H 2 = n − 1 .
2.a Si F ⊂ H alors F ∩ H = F et dim F ∩ H = dim F .
Si F ⊄ H alors considérons H + F .
On a H ⊂ F + H ⊂ E donc n − 1 ≤ dim F + H ≤ n .
Si dim F + H = n − 1 alors par inclusion et égalité des dimensions H = F + H . Or F ⊂ F + H donc
F ⊂ H ce qui est exclu. Nécessairement dim F + H = n .
Par suite dim F ∩ H = dim H + dim F − dim F + H = dim F − 1 .
2.b Par récurrence sur p ∈ ℕ∗ *.
Pour p = 1 : ok
Supposons la propriété établie au rang p ≥ 1 .
Soit H 1 ,…, H p , H p+1 des hyperplans de E .
Soit F = H 1 ∩ … ∩ H p . Par HR : dim F ≥ n − p .
H 1 ∩ … ∩ H p ∩ H p+1 = F ∩ H p+1 et d’après l’étude précédente dim F ∩ H p +1 ≥ dim F − 1 .
Par suite dim(H 1 ∩ … ∩ H p ∩ H p+1 ) ≥ n − (p + 1) .
Récurrence établie.
 
3.a Considérons (e1 ,…,e p ) une base de F . C’est une famille libre de vecteurs de E , on peut donc la
   
compléter en une base de E de la forme B = (e1 ,…,e p ,e p+1 ,…,en ) et cette base convient.
   
3.b Par construction (e1 ,…,ei−1 ,ei +1 ,…,en ) est une famille génératrice de H i .
De plus cette famille est libre car sous-famille d’une famille libre, c’est donc une base de H i .
Par suite dim H i = n − 1 et H i est un hyperplan de E .

3.c Soit x ∈ H p+1 ∩ … ∩ H n .
  
Comme B est une base de E , on peut écrire x = λ1.e1 + ⋯ + λn .en .
    
Pour tout p + 1 ≤ i ≤ n , on a x ∈ H i = Vect(e1 ,…,ei−1 ,ei +1 ,…,en ) .
     
On peut donc aussi écrire x = µ1.e1 + ⋯ + µi−1.ei−1 + 0.ei + ⋯ + µi +1.ei +1 + ... + µn .en ) .
Par unicité des composantes d’un vecteur dans une base obtient : λi = 0 .
   
Ainsi x = λ1.e1 + ⋯ + λp .e p + o ∈ F et donc H p+1 ∩ … ∩ H n ⊂ F .
De plus dim H p+1 ∩ … ∩ H n ≥ n − (n − p ) = p = dim F donc dim H p+1 ∩ … ∩ H n = dim F puis
H p+1 ∩ … ∩ H n = F .
 
3.d Considérons B = (e1 ,…,en ) une base de E .
   
Posons pour tout i ∈ {1,…, n } , H i = Vect(e1 ,…,ei−1 ,ei +1 ,…,en ) . H i est un hyperplan.

Par la même démarche que ci-dessus, on observe que H 1 ∩ … ∩ H n = {o } .

Partie II

dim F0 = 0 et dim Fn = n donc F0 = {o } et Fn = E .

1.
2.a Si Fi ⊂ Fi −1 alors Fi = Fi −1 puisqu’on sait Fi −1 ⊂ Fi . Or dim Fi −1 ≠ dim Fi . Ceci est donc impossible.
Par suite Fi ⊄ Fi −1 et donc ∃ei ∈ Fi tel que ei ∉ Fi −1 .

2.b Montrons que B est libre :

Version légère :
  
Supposons λ1e1 + ⋯ + λnen = o .
 1  
Si λn ≠ 0 alors en = − (λ1.e1 + ⋯ + λn −1.en−1 ) .
λn
 
Or e1 ∈ F1 ⊂ Fn−1 ,…,en −1 ∈ Fn −1 donc en ∈ Fn −1 ce qui est exclu.

Nécessairement λn = 0 .
   
On obtient alors la relation λ1e1 + ⋯ + λn −1en −1 = o et on réitère le processus de sorte d’obtenir
successivement λn −1 = 0 ,…, puis λ1 = 0 .
Version lourde (mais plus rigoureuse) :
Par l’absurde, supposons B liée.
  
On peut alors écrire λ1e1 + ⋯ + λnen = o avec (λ1 ,…, λn ) ≠ (0,...,0) .
Notons p le plus grand élément entier tel que λp ≠ 0 .
  
On a la relation λ1e1 + ⋯ + λpep = o car par définition de p , λp +1 = … = λn = 0 .
 1  
On peut alors écrire e p = − (λ1.e1 + ⋯ + λp−1.e p−1 ) .
λp
 
Or e1 ∈ F1 ⊂ Fp−1 ,…,e p−1 ∈ Fp−1 donc e p ∈ Fp . C’est absurde.

Dans les deux versions, B est une famille libre formée de n = dim E vecteurs de E , c’est donc une
base de E .
2.c Soit i ∈ {1,…, p } .
 
La famille (e1 ,…,ei ) est une famille libre car sous famille d’une famille libre.
De plus, pour tout j ∈ {1,…, i } on a e j ∈ Fi car Fj ⊂ Fi .


 
La famille (e1 ,…,ei ) est donc une famille libre formée de i = dim Fi vecteurs de Fi , c’est donc une base
 
de Fi et par suite Fi = Vect(e1 ,…,ei ) .
   
3.a Considérons H i = Vect(e1 ,…,ei−1 ,ei +1 ,…,en ) .
Par les mêmes arguments qu’en I.3.b, H i est un hyperplan.
Puisque Fi ⊄ H i , on a dim Fi ∩ H i = dim Fi − 1 = i − 1 .
Puisque Fi −1 ⊂ Fi et Fi −1 ⊂ H i , on a Fi −1 ⊂ Fi ∩ H i .
Par inclusion et égalité des dimensions : Fi −1 = Fi ∩ H i .
3.b Fn −1 = Fn ∩ H n = H n puisque Fn = E .
Fn −2 = Fn −1 ∩ H n −1 = H n −1 ∩ H n ,…, F0 = F1 ∩ H 1 = H 1 ∩ … ∩ H n .