Pour tout x∈ E,la bijection précédente permet de transporter sur Eune structure d’espace vectoriel
en posant
ξx(t) + ξx(u):=ξx(t+u), λξx(u):=ξx(λu).
La structure d’espace vectoriel ainsi obtenue sur Eest la structure d’origine x. Le point xde l’espace
affine Eest le vecteur nul de l’espace vectoriel d’origine x.
Exercice 2 1) Montrer la formule de Chasles : pour tout x, y, z ∈ E,on a
−→
yx =−→
yz +−→
zx.
Généraliser à un nombre fini de points.
2) Montrer la règle du parallélogramme : si −→
xy =−−→
x0y0,alors −→
yy0=−→
xx0.On dit alors que xyy0x0
est un parallélogramme.
Exemples d’espaces affines
Exemple 1 Tout espace vectoriel Eest canoniquement muni d’une structure d’espace affine d’espace
directeur E, où l’action est donnée par la loi +de E. Plus généralement, si x0∈E, on peut définir sur
Ela structure d’espace affine
(t, x)∈E×E7→ x0+x+t.
Exercice 3 1) Montrer que l’ensemble des solutions d’un système d’équations linéaires à second
membre nul est un espace vectoriel. Si les seconds membres ne sont pas nuls et qu’il existe une
solution, c’est un espace affine.
2) Montrer que l’ensemble des solutions d’une équation différentielle linéaire homogène est un
espace vectoriel. Si le second membre est non nul, c’est un espace affine (ce qu’on formule souvent
en disant que toute solution de l’équation est la somme d’une solution de l’équation homogène et
d’une solution particulière).
Exemple 2 Si Fest un sous-espace vectoriel de E, et x∈ E,alors l’ensemble x+F:= {x+t, t ∈
F} ⊂ E est naturellement muni d’une structure d’espace affine de direction F.
Preuve : On considère l’application (u, z)∈F×(x+F)7→ z+uobtenue par restriction à partir de
l’action de groupe de Esur E.C’est une action du groupe additif de Fsur x+F. Il n’y a qu’une orbite,
à savoir x+F. Ainsi l’action est transitive. Enfin, si t∈Fvérifie x+u+t=x+upour tout u∈F,
alors t= 0, ce qui suffit à montrer que l’action est fidèle.
Définition 2 Un sous-ensemble non vide F ⊂ E est un sous-espace affine de Es’il existe x∈ E et un
sous-espace vectoriel Fde Etel que F=x+F.
On définit de manière évidente les notions de dimension et de direction de sous-espaces affines.
Exemple 3 Les sous-espaces affines d’un espace vectoriel Esont les u+Foù u∈Eet Fest un sous-
espace vectoriel de E. Les sous-espaces vectoriels de Esont donc les sous-espaces affines contenant
0.
Définition 3 Soit A⊂ E une partie non vide. On définit Aff(A)comme l’intersection de tous les
sous-espaces affines contenant A.
4