Université François Rabelais de Tours
Département de Mathématiques
Td 1 : Formes linéaires, Hyperplans, Dualité
Algèbre Semestre 4
Exercice 1
Soit nun entier naturel supérieur ou égal à 2.
1. Rn−1est-il un hyperplan de Rn? Donner la forme générale des formes linéaires sur Rn, en déduire
une caractérisation de ses hyperplans.
2. Rn−1[X]est-il un hyperplan de Rn[X]? Si oui, en donner tous ses supplémentaires.
Exercice 2
Dans E=R5, muni de sa base canonique B0= (e1, e2, e3, e4, e5), on considère :
F=Vect(u, v, w, t)où : u= (1,0,2,0,3); v= (2,0,1,0,−1); w= (−1,0,1,0,2); t= (−1,0,4,0,9).
Par la méthode d’échelonnement, déterminer :
— le rang de la famille (u, v, w, t)
— une base de F, sa dimension, l’un de ses supplémentaires dans Eet l’un de ses systèmes d’équations.
Exercice 3
Dans E=R4, muni de sa base canonique B0= (e1, e2, e3, e4), on considère :
F={(x, y, z, t)∈E|x+y−z−t= 0}.
Justifier que Fest un hyperplan de E, en déduire sa dimension, puis en donner une base,
toutes ses équations et tous ses supplémentaires dans E.
Exercice 4
Dans E=R2[X], on considère : F={P∈E|P(1) + P0(0) = 0}.
Justifier que Fest un hyperplan de E, en déduire sa dimension, puis en donner une base,
toutes ses équations et tous ses supplémentaires dans E.
Exercice 5
Dans Eun K- espace vectoriel de dimension finie n, où n∈N∗, on considère deux vecteurs distincts
uet vde E. Construire une forme linéaire ϕsur Etelle que : ϕ(u)6=ϕ(v).
[Indication : Compléter e1=u−ven une base Bde E.]
Exercice 6
Soit Eun K-espace vectoriel de dimension finie n,n∈N∗.
1. Soient H1et H2deux hyperplans de E, discuter la dimension de H1∩H2. Plus généralement, si
Fest un s-ev de E, discuter la dimension de H1∩F.
2. Soient Hi= ker ϕi, où 16i63et ϕi∈E∗\{0}, trois hyperplans de E. Discuter suivant le
rang rde (ϕ1, ϕ2, ϕ3)la dimension de H1∩H2∩H3. Interpréter géométriquement les résultats
pour n= 3.
3. Si H1, H2, ..., Hpsont phyperplans de E, prouver que : dim(H1∩H2∩... ∩Hp)>n−p.
4. Soient Hun hyperplan et uun vecteur de E\H.
Prouver que l’on peut construire une base de Econtenant uet aucun vecteur de H.