Beruflich Dokumente
Kultur Dokumente
eom
etrie affine.
.
Soit E un R-espace vectoriel de dimension finie.
.
1.1. D
efinition. Un espace affine dirige par E est un ensemble
non-vide E muni de lapplication E E E qui associe au couple de points
avec la structure affine canonique de E: v(A)v(B) = v(A) v(B) = AB consequence de la relation de Chasles. Le choix dorigine donc vectorialise
lespace affine. Reciproquement, on peut dire quun espace affine est un
espace vectoriel avec lorigine effacee.
.
1.3. Translations. Soit v E. On definit la translation de vecteur v,
Soit ei = A0 Ai . De mani`ere equivalente, le rep`ere affine est donne par
le choix de lorigine A0 et dune base (e1 , ..., en ) de E.
Lorigine A0 permet didentifier E et E; la base (e1 , ..., en ) donne un
syst`eme de coordonnees dans E, donc un syst`eme de coordonnees dans E.
Plus precisement, au point B on associe les coordonnees (xi ) du vecteur
P
A0 B = i xi ei .
P
Tout point B de E admet donc lexpression unique: B = A0 + i xi ei .
.
Barycentres (combinaisons affines)
Soit v E et A E. La droite passant par A dirigee par v est lensemble
de points M = A + v, R. La droite passant par deux points A et B
OM = P
i i
i OAi
1.7. D
efinition. Le point M defini dans le lemme sappelle le barycentre des points A1 , ..., Ak affectes des coefficients 1 , ..., k .
Remarque. Si on pose O = M , on a la caracterisation suivante du
P
engendre par les vecteurs OA, A E. Alors lespace directeur de Aff(S) est
F : Aff(S) = {O + v, v F }.
1.17. Corollaire. (A0 , ..., An ) est un rep`ere affine si et seulement si
n = dim E et Aff(A0 , ..., An ) = E.
.
2. Applications affines.
2.1. D
efinition.Une application f : E F est affine si f (A + B) =
f (A) + f (B) pour tout A, B E et tout , tels que + = 1.
2.2. Lemme. Les conditions suivantes sont equivalentes:
(i) f : E F est une application affine.
(ii) f conserve les barycentres: f (Bar{(i , Ai )}) = Bar{(i , f (Ai ))}.
(iii) Pour un point A E lapplication df : E F defini par df (v) =
p(M ) = O + (OM ).
Lemme. s est une symetrie affine si et seulement si f f = Id.
.
3. Espaces affines euclidiens
3.1. D
efinition. Un espace affine E est dit euclidien sil est dirige par
une espace vectoriel euclidien E.