[Link]
com/Mathcpge/ Pr :Abdellatif Elouarrate
MPSI 2023-2024
Révision : Hyperplanes d’un espace vectoriel
Définition 1 Soit E un K-espace vectoriel, toute application linéaire de E à valeurs dans le
K-espace vectoriel K est appelée une forme linéaire, l’ensemble des formes linéaires de E est
L(E, K) on le note E ∗ .
Définition 2 Un hyperplan de E est le noyau d’une forme linéaire non nulle de E
¶ Montrer que toute forme linéaire non nulle est surjective.
· soit ϕ, ψ ∈ E ∗ ,Montrer que ker(ϕ) = ker(ψ) ⇐⇒ ∃λ ∈ K∗ , ψ = λϕ
¸ Soit H un hyperplan de E
(a) Montrer que : ∀a ∈ E \ H, H ⊕ Vect(a) = E.
(b) Soit G un sous espace vectoriel de E tel que H ⊂ G, Montrer que G = H ou G = E.
(c) Soit a ∈ E \S Montrer que si S un sous espace vectoriel de E tel que , Vect(a)⊕S = E
alors S est un hyperplan de E.
¹ On suppose maintenant que E est de dimension fini n et B = (e1 , ..., en ) est une base de
E.
(a) Montrer que ∃(a1 , ..., an ) ∈ Kn tel que :
( n
)
X
H = x ∈ E, ak xk = 0 avec (x1 , ..., xn ) les coordonnées de x dans la base B
k=1
n
X
. l’équation ak xk = 0 est dite équation de l’hyperplan H.
k=1
(b) Déterminer une équation de ker(ϕ) tel que ϕ : Rn−1 [X] → R .
P 7→ P (0)
(c) Déterminer une équation de ker(ϕ) tel que ϕ : Mn (K) → K .
M 7→ T r(M )
(d) Montrer que Mn (K) = ker(ϕ) ⊕ Vect(In ).
º (a) Montrer que tout hyperplan est de dimension n − 1.
(b) Montrer que toute sous espace vectoriel de E de dimension n − 1 est un hyperplan.
» Soient H1 , H2 deux hyperplans de E .
(a) Montrer que dim(H1 ∩ H2 ) > n − 2.
(b) Montrer que si H1 6= H2 alors dim(H1 ∩ H2 ) = n − 2.
m
\
¼ Soient H1 , H2 , ..., Hm des hyperplans de E, montrer que dim( Hk ) > n − m.(par
k=1
récurrence sur m).
