Ce cours présente les bases de la géométrie affine générale (disons, sur R ou magistraux et 78h de travaux dirigés (constitués par les exercices situés `a la
| Previous PDF | Next PDF |
[PDF] GÉOMÉTRIE AFFINE - Département de Mathématiques dOrsay
4 Compléments sous forme d'exercices 50 Corrigés : APPLICATIONS AFFINES 50 2 Applications affines : Exemples 50 3 Applications affines : Propriétés
[PDF] Géométrie affine
8 nov 2011 · Nous étudierons ensuite les applications affines : ce sont celles qui conservent les barycentres Leur importance vient de ce que la quasi-totalité
[PDF] Exercices de géométrie affine et euclidienne
Accueil Géométrie affine Action du groupe affine sur les triplets de droites Cet exercice montre en particulier que la projection centrale de centre O qui `a un
[PDF] Corrigé des Exercices de Géométrie - Paul Libbrecht
d'origine A, orienté, obtenu comme somme des segments orientés BC et DE ? Observons que, dans un plan affine réel (P,f), on peut construire la translation τAB
[PDF] Géométrie affine - exercices dapplication- indications de - Chamilo
Géométrie affine - exercices d'application- indications de réponses 1 (a) Je propose D est définie comme intersection de deux plans affines, d'équations
[PDF] GÉOMÉTRIE AFFINE ET EUCLIDIENNE, L3, 2014 FEUILLE 1
L'intersection du plan P avec la droite P est le point P Exercice 2 (1) On considère l'espace vectoriel R3[X] des polynômes à coefficients réels de
[PDF] Exercices de géométrie affine
En géométrie affine, la question du vide est importante : l'intersection de deux sous-espaces affines peut l'être, l'ensemble des points fixes d'une application affine
[PDF] cours de géométrie affine et euclidienne - Emmanuel Pedon - CNRS
Ce cours présente les bases de la géométrie affine générale (disons, sur R ou magistraux et 78h de travaux dirigés (constitués par les exercices situés `a la
[PDF] Géométrie - Université de Rennes 1
ties : géométrie affine, géométrie euclidienne et géométrie projective L'ordre Exercice 2 Montrer qu'un groupe qui a au plus 5 éléments est toujours commutatif Exercice Cours et exercices corrigés pour le Capes et l'agrégation Masson
[PDF] MAPES – Alg`ebre et Géométrie, Correction dexercices
Exercice 1 Soit E un espace affine, O ∈ E et f : E → E affine On cherche `a décomposer f sous la forme t1 ◦ u1 ou u2 ◦ t2 avec ti translation et ui application
[PDF] géométrie analytique dans l'espace cours
[PDF] géométrie analytique dans l'espace exercices corrigés pdf
[PDF] géométrie analytique exercices corrigés
[PDF] géométrie analytique exercices corrigés pdf
[PDF] géométrie analytique exercices et problèmes
[PDF] géométrie analytique secondaire 4
[PDF] géométrie analytique seconde
[PDF] géométrie analytique seconde exercices corrigés
[PDF] géométrie dans l'espace 3ème exercice corrigé
[PDF] géométrie dans l'espace 4ème
[PDF] géométrie dans l'espace exercices corrigés
[PDF] géométrie dans l'espace seconde exercices corrigés pdf
[PDF] geometrie dans l'espace terminale s
[PDF] géométrie dans l'espace terminale s exercices corrigés
Cours de G´eom´etrie
Affine et Euclidienne
pour la Licence de Math´ematiquesEmmanuel Pedon
Universit´e de Reims-Champagne ArdenneVersion du 23 mars 2015.Sommaire
Chapitre I : Espaces affines::::::::::::::::::::::::::::::::::::::::::::91 Espaces affines::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::9
2 Applications affines (premi`ere ´etude)::::::::::::::::::::::::::::::::::::::::::::::12
2.1 G´en´eralit´es:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::12
2.2 Premiers exemples : homoth´eties et translations::::::::::::::::::::::::::::::::::14
3 Rep`eres cart´esiens et coordonn´ees cart´esiennes::::::::::::::::::::::::::::::::::::15
3.1 Rep´erage des points:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::15
3.2 Repr´esentation matricielle d"une application affine::::::::::::::::::::::::::::::::16
4 Sous-espaces affines::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::17
4.1 G´en´eralit´es:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::17
4.2 Sous-espace engendr´e par une partie::::::::::::::::::::::::::::::::::::::::::::20
4.3 Parall´elisme::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::22
4.4 Incidence:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::23
4.5 Mesures alg´ebriques et rapports de vecteurs::::::::::::::::::::::::::::::::::::::24
4.6 Sous-espaces et applications affines:::::::::::::::::::::::::::::::::::::::::::::26
4.7 Projections et th´eor`eme(s) de Thal`es::::::::::::::::::::::::::::::::::::::::::::27
4.8 Formes affines et ´equations:::::::::::::::::::::::::::::::::::::::::::::::::::::29
5 Familles libres, familles g´en´eratrices, bases (rep`eres affines)::::::::::::::::::::::::31
6 Barycentres::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::33
6.1 D´efinitions, propri´et´es ´el´ementaires et notations::::::::::::::::::::::::::::::::::33
6.2 Caract´erisations barycentriques des sous-espaces et des morphismes affines:::::::::36
6.3 Coordonn´ees barycentriques dans un rep`ere affine::::::::::::::::::::::::::::::::38
4SOMMAIRE
7 Convexit´e dans un espace affine r´eel:::::::::::::::::::::::::::::::::::::::::::::::39
7.1 Segments:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::39
7.2 Parties convexes:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::40
7.3 Enveloppes convexes::::::::::::::::::::::::::::::::::::::::::::::::::::::::::41
7.4 Parties convexes et applications affines, demi-espaces et demi-droites:::::::::::::::41
8 Exercices::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::43
8.1 R´evisions et compl´ements d"alg`ebre lin´eaire:::::::::::::::::::::::::::::::::::::43
8.2 Espaces affines, applications affines:::::::::::::::::::::::::::::::::::::::::::::45
8.3 Sous-espaces affines:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::47
8.4 Barycentres et convexit´e:::::::::::::::::::::::::::::::::::::::::::::::::::::::51
Chapitre II : Applications affines:::::::::::::::::::::::::::::::::::::551 Structure affine canonique deA(E;F):::::::::::::::::::::::::::::::::::::::::::::55
2 Groupe affine::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::56
3 Notions affines invariantes par une application affine::::::::::::::::::::::::::::::57
4 Groupe des dilatations (homoth´eties et translations, bis)::::::::::::::::::::::::::::57
5 Affinit´es et sym´etries:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::60
6 Points fixes des endomorphismes affines:::::::::::::::::::::::::::::::::::::::::::62
7 Exercices::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::64
Chapitre III : Espaces affines euclidiens:::::::::::::::::::::::::::::::671 Rappels de g´eom´etrie vectorielle euclidienne:::::::::::::::::::::::::::::::::::::::67
1.1 Produit scalaire et norme:::::::::::::::::::::::::::::::::::::::::::::::::::::::67
1.2 Orthogonalit´e:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::68
1.3 Projections, affinit´es et sym´etries orthogonales:::::::::::::::::::::::::::::::::::69
2 G´en´eralit´es sur les espaces affines euclidiens:::::::::::::::::::::::::::::::::::::::70
2.1 Structure euclidienne sur un espace affine r´eel::::::::::::::::::::::::::::::::::::70
2.2 Rep`eres orthonorm´es::::::::::::::::::::::::::::::::::::::::::::::::::::::::::71
2.3 Quelques points de topologie:::::::::::::::::::::::::::::::::::::::::::::::::::71
3 Sph`eres::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::73
4 Orthogonalit´e et perpendicularit´e des sous-espaces:::::::::::::::::::::::::::::::::74
4.1 Orthogonalit´e:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::74
4.2 Les trois notions de perpendicularit´e::::::::::::::::::::::::::::::::::::::::::::75
4.3 Hyperplan m´ediateur d"un segment::::::::::::::::::::::::::::::::::::::::::::::76
5 Projections, affinit´es et sym´etries orthogonales:::::::::::::::::::::::::::::::::::::77
5SOMMAIRE
6 Distance d"un point `a un sous-espace::::::::::::::::::::::::::::::::::::::::::::::78
7 Ellipses::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::80
8 Isom´etries et similitudes (premi`ere ´etude):::::::::::::::::::::::::::::::::::::::::83
9 Exercices::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::86
Chapitre IV : Orientation::::::::::::::::::::::::::::::::::::::::::::911 Orientation d"un espace vectoriel r´eel:::::::::::::::::::::::::::::::::::::::::::::91
2 Orientation d"un espace affine r´eel::::::::::::::::::::::::::::::::::::::::::::::::93
3 Produit mixte et produit vectoriel dans un espace euclidien:::::::::::::::::::::::::94
4 Aires et volumes::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::97
5 Exercices:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::101
Chapitre V : Angles dans un espace euclidien:::::::::::::::::::::::::1031 Angles non orient´es de vecteurs, de demi-droites, de droites:::::::::::::::::::::::103
2 Angles orient´es de vecteurs, de demi-droites, de droites:::::::::::::::::::::::::::105
3 R´eflexions et rotations planes::::::::::::::::::::::::::::::::::::::::::::::::::::110
4 Bissectrices:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::113
5 Quelques r´esultats classiques li´es aux notions d"angles::::::::::::::::::::::::::::117
6 Coordonn´ees polaires:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::119
7 Exercices:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::121
Chapitre VI : Isom´etries et similitudes vectorielles::::::::::::::::::::1271 Adjoint d"un endomorphisme::::::::::::::::::::::::::::::::::::::::::::::::::::127
2 Isom´etries vectorielles:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::128
2.1 Groupe orthogonal et groupe sp´ecial orthogonal:::::::::::::::::::::::::::::::::128
2.2 Notions euclidiennes pr´eserv´ees par les isom´etries:::::::::::::::::::::::::::::::131
2.3 Sym´etries orthogonales:::::::::::::::::::::::::::::::::::::::::::::::::::::::132
3 Structure des isom´etries vectorielles et classification en dimension3:::::::::::::133
3.1 Cas de la dimension 1::::::::::::::::::::::::::::::::::::::::::::::::::::::::133
3.2 Cas de la dimension 2::::::::::::::::::::::::::::::::::::::::::::::::::::::::133
3.3 Cas g´en´eral : forme r´eduite des isom´etries::::::::::::::::::::::::::::::::::::::135
3.4 Cas de la dimension 3::::::::::::::::::::::::::::::::::::::::::::::::::::::::136
4 G´en´eration du groupe orthogonal et du groupe sp´ecial orthogonal:::::::::::::::::138
5 Similitudes vectorielles::::::::::::::::::::::::::::::::::::::::::::::::::::::::::141
6SOMMAIRE
6 Exercices:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::143
Chapitre VII : Isom´etries et similitudes affines:::::::::::::::::::::::1471 Isom´etries affines:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::147
1.1 Les groupes Is(E) et IsC(E):::::::::::::::::::::::::::::::::::::::::::::::::::147
1.2 Premiers exemples:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::149
2 D´ecomposition canonique des isom´etries et classification en petite dimension:::::::151
3 G´en´eration du groupe des isom´etries et du groupe des d´eplacements:::::::::::::::153
4 Similitudes affines:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::154
5 Utilisation des nombres complexes en g´eom´etrie plane::::::::::::::::::::::::::::156
6 Exercices:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::161
Pr´eface
Ce cours pr´esente les bases de la g´eom´etrie affine g´en´erale (disons, surRouC) et de
la g´eom´etrie euclidienne. Il est destin´e aux ´etudiants de la Licence de Math´ematiques, ainsi
qu"aux ´etudiants pr´eparant le CAPES ou l"agr´egation de math´ematiques1. Les pr´erequis sont
relativement ´el´ementaires : alg`ebre lin´eaire (espaces vectoriels de dimension finie, r´eduction des
en premi`ere et deuxi`eme ann´ee de Licence ou en Classes Pr´eparatoires, et un minimum de th´eorie
des groupes.Il existe d´ej`a de nombreux livres int´eressants sur la g´eom´etrie affine (voir la Bibliographie en
fin d"ouvrage), j"ai ´ecrit celui-ci `a la fois pour le plaisir de le penser `a ma fa¸con, et pour faciliter
la communication avec mes coll`egues enseignants. Certains ´etudiants pr´eparant les concours de
l"enseignement ont eu la gentillesse de me faire part de leur int´erˆet pour ce cours qu"ils avaient re¸cu
en Licence, c"est pourquoi j"ai d´ecid´e de le rendre accessible `a tous.Autant l"avouer tout de suite, ce cours pr´esente un grave d´efaut, voire un d´efaut r´edhibitoire :
en effet il ne contient aucune figure, ce qui est d"une certaine mani`ere un comble pour un coursde g´eom´etrie! Mais d"un autre point de vue, cela force le lecteur `a participer activement `a la
compr´ehension du texte:::La raison en est tout simplement que je n"ai pas pris le temps de m"en occuper. Pour une version ult´erieure, peut-ˆetre!Le cours pr´esent´e ici a ´et´e enseign´e (donc test´e) durant plusieurs ann´ees `a l"universit´e de Reims,
2.`Atitreindicatif,ilrepr´esente
au total 44h de cours magistraux et 78h de travaux dirig´es (constitu´es par les exercices situ´es `a la
fin de chaque chapitre), ce qui repr´esente exactement deux modules semestriels d"enseignement,la r´epartition des chapitres ´etant g´en´eralement la suivante : I-II-III au premier semestre, puis IV-
V-VI-VII au second semestre. Certaines ann´ees, nous avons pu ´egalement compl´eter le cours par
un chapitre sur les coniques et quadriques euclidiennes (qui sera peut-ˆetre inclus dans une version
future). passage du texte de cet ouvrage,`a condition qu"il ne subisse aucune modification et que la sourceoriginale soit toujours cit´ee(par exemple, par un renvoi sur le site web mentionn´e ci-dessous).
Pour finir, un avertissement : ce cours est en constante mutation, puisqu"il est le fruit de monexp´erience d"enseignant. Les mises `a jour sont nombreuses, veuillez donc repasser r´eguli`erement1. Le contenu de ce cours couvre enti`erement le programme du CAPES (`a l"exception de la notion de conique) mais pas
celui de l"agr´egation (par exemple, pas de g´eom´etrie projective ici).2. Jeremercieaupassagelescoll`eguesr´emoisquiontparticip´e `acetenseignementetenontcontribu´e `acorrigeretam´eliorer
le texte : M. Pevzner, L. Foissy, V. Gayral.8BIBLIOGRAPHIE
sur le site pour y t´el´echarger la derni`ere version. (La date de derni`ere modification est indiqu´ee sur
la page de garde.)Bonne lecture!
Reims, le 8 mars 2010
Emmanuel Pedon
emmanuel.pedon@univ-reims.fr http://pedon.perso.math.cnrs.frChapitre I : Espaces affines
Dans ce chapitre,
Kd´esigne l"un des corpsQ;R;C(ou plus g´en´eralement, n"importe quel corps commutatif de caract´eristique z´ero); siVetWsont deuxK-espaces vectoriels,L(V;W) d´esigne leK-espace vectoriel des applications lin´eaires deVdansW. Pour simplifier, on noteL(V) plutˆot queL(V;V).1 Espaces affines
D´efinition1.1.Soit!EunK-espacevectoriel.Unespaceaffine(surK)associ´e `a!Eestunensemble Enon vide, muni d"une application':EE!!Ev´erifiant les deux axiomes suivants : (A1) pour tousA;B;CdeE,'(A;C)D'(A;B)C'(B;C)(relation de Chasles); (A2) pour toutA2E, l"application'A:M7!'(A;M) est unebijectiondeEsur!E. Autrement dit,8A2E,8Ex2!E,9!B2E:ExD'(A;B). Afin de retrouver des notations habituelles, on adopte la Convention 1.2.Dor´enavant, siA;B2E, on notera!ABle vecteur'(A;B).Voici un peu de vocabulaire. Les ´el´ements d"un espace affineEsont appel´espointset ceux du
corps de baseKdesscalaires. Par ailleurs, on dit que!Eestla directiondeE, ou encore queEest dirig´epar!E, et on appelledimensionde Ela dimension de l"espace vectoriel!E. En particulier,les espaces affines de dimension 0 (i.e., associ´es `a!ED fE0g) sont ceux r´eduits `a un point, et par
analogie avec le vocabulaire de l"alg`ebre lin´eaire, les espaces affines de dimension 1 sont appel´es
droites, ceux de dimension 2 sont appel´esplans. N.B.Dans ce cours, on ne consid`erera que des espaces affines dedimension finie. On attribue souvent un nom particulier `a certains ensembles finis de points d"un espace affine.Par exemple :
1) deux pointsA;Bforment unbipoint, que l"on note (A;B) ou (B;A);
2) trois pointsA;B;Cforment untriangle de sommetsA;B;C, qui se noteABC(l"ordre des
lettres ne compte pas);3) dans un plan, quatre pointsA;B;C;Dforment unquadrilat`ere de sommetsA;B;C;D,
pour un ensemble de six points, et en g´en´eral, d"unpolygone;4) dans un espace affine de dimension 3, quatre pointsA;B;C;Dforment unt´etra`edre, not´e
ABCD. Donnons maintenant quelques cons´equences imm´ediates de notre d´efinition.10CHAPITREI : ESPACES AFFINES
Proposition 1.3.SoitEunK-espace affine.
1)8A2E,!AADE0;
2)8A;B2E,!BAD !AB;
3)8A;B;C2E,!ABD!AC,BDC;
4)8A;B2E,!ABDE0,ADB;
5)8A;B2E,9!Ex2!E:ExD!AB;
6)Pour tousA;B;C;D2E, les propri´et´es suivantes sont ´equivalentes :
(i) !ABD!DC; (ii) !ADD!BC; (iii) !ABC!ADD!AC. Si l"une de ces conditions est r´ealis´ee, on dit queA;B;C;Dforment (dans cet ordre) le parall´elogrammeABCD. D´emonstration.1) D"apr`es l"axiome (A1), on a :!AAC!AAD!AA, d"o`u!AADE0 (r`egle de calcul vectoriel).2) Toujours avec (A1), on a :!ABC!BAD!AA, donc!BAD !ABpar 1).
3) On a :!ABD!AC,'A(B)D'A(C),BDCcar'Aest bijective (A2), donc injective.
4) En utilisant successivement 1) et 3), on a :!ABDE0,!ABD!AA,BDA.
5) est ´evident : c"est la traduction du fait que': (A;B)7!!ABest une application.
6) Exercice.X
Proposition 1.4.SoientE;FdeuxK-espaces affines. Alors le produit cart´esienEFest naturellement muni d"une structure deK-espace affine associ´e `a!E!F, et on adim(EF)D dimECdimF. D´emonstration.Il est facile de constater que l"application ': (EF)(EF)!!E!F?(A;A0);(B;B0)?7!(!AB;!A0B0) v´erifie les deux axiomes d´efinissant un espace affine.X L"exemple le plus naturel d"espace affine est aussi le plus fondamental : Proposition 1.5.Tout espace vectorielV(en particulierVDKn) est un espace affine associ´e `a lui-mˆeme pour l"application': (Ex;Ey)7!Ey Ex. (Symboliquement, on a donc!ExEyD Ey Ex.) Cette structure d"espace affine sur l"espace vectorielVest ditecanonique. D´emonstration.Pour tousEx;Ey;Ez2V, on aEz ExD(Ey Ex)C(Ez Ey), c"est-`a-dire (A1). D"autre part, siEa;Ex2ValorsEbD EaC Exest l"unique ´el´ement deVv´erifiantExDEb Ea, d"o`u (A2).XL"existence d"espaces vectoriels en toute dimension ayant ´et´e prouv´ee dans le cours d"alg`ebre
lin´eaire, on en d´eduit au passage : Corollaire 1.6.Il existe des espaces affines en toute dimension. Exemple 1.7.L"ensembleCest un espace affine sur lui-mˆeme : c"est une droite affine complexe. Mais on voit facilement que c"est aussi un plan affine sur le corpsKDR.111 ESPACES AFFINES
Notation1.8.On ´etendauxespacesaffinesg´en´erauxlesnotationscorrespondantaucasdesespaces vectoriels : on pourra ainsi ´ecrireBAau lieu de!AB. Par coh´erence, siA2EetEx2!E, l"unique B2Ev´erifiant!ABD Ex(cf. axiome (A2)) sera ´egalement not´eAC Ex(dans cet ordre). Ainsi, on auraBDAC Ex,ExD!ABet l"´ecritureBAD(AC Ex)AD Exsera autoris´ee.Exemples 1.9 (d"utilisation de cette notation).
1) (Exercice) La relation de Chasles (A1) se traduit par (AC Ex)C EyDAC(ExC Ey).
On obtient ´egalement les r`egles suivantes, souvent utilis´ees :AC ExDAC Ey,ExD Eyet (BC Ey)(AC Ex)D!ABC Ey Ex.2) SiEest un espace affine, pour tout pointA2E, on aEDAC!E: cela d´ecoule de la
propri´et´e 5) de la proposition 1.3.Attention!Le fait de donner un sens `a une diff´erence de deux points n"autorise pas `a ´ecrire
n"importe quelle combinaison de points d"un espace affine (par exemple une somme de deux pointsn"existe pas), sauf dans deux situations tr`es particuli`eres : l"une lorsqu"on vectorialise l"espace
affine (voir ci-dessous), et l"autre lorsqu"on ´etudiera les barycentres (voir paragraphe 6). Onamontr´eplushautquetoutespacevectorielestnaturellementunespaceaffine.Pour ´etudierleA:!E!E
Ex7!AC Ex
est une bijection ensembliste (en fait, An"est autre que la r´eciproque de l"application'Adel"axiome (A2)). Cette bijection permet alors de " transporter » surEla structure d"espace vectoriel
de!E. En effet, il est facile de constater que les loisCAetAd´efinies parMCAND A(!AMC!AN) etAMD A(!AM)
munissentEd"une structure deK-espace vectoriel. D´efinition 1.10.L"espace vectoriel (E;CA;A) ainsi obtenu s"appelle levectorialis´e deEenAet se noteEA. On dit aussi qu"on a fix´e une origineAdansE.Remarques 1.11.
1) Le pointAest le vecteur nul du vectorialis´eEA: pour toutM2EA,MCAAD
A(!AMC!AA)D A(!AM)DM. C"est pour cela qu"on qualifieAd"" origine ».2) La vectorialisation n"est somme toute qu"une d´efinition rigoureuse d"un ph´enom`ene intuitif :
la feuille de papier (infinie:::) est un espace affine, mais se comporte comme un espace vectoriel si on fixe un point-origine. Inversement, on peut consid´erer un espace affine comme un espace vectoriel dans lequel on ne veut plus privil´egier l"origine (le vecteur nul).3) Par construction deEA, la bijection A:!E!Einduit unisomorphisme d"espaces
vectorielsde!EsurEA.4)Attention, le proc´ed´e de vectorialisation d"un espace affine n"est pas canonique :les
lois ne sont pas les mˆemes dansEAetEBsiA6DB! C"est pour cela qu"on ne peut pas direqu"un espace affineestun espace vectoriel, alors que la r´eciproque est toujours vraie en vertu de
la proposition 1.5. Autrement dit : la cat´egorie des espaces affines contient strictement la cat´egorie
des espaces vectoriels.12CHAPITREI : ESPACES AFFINES
2 Applications affines (premi`ere ´etude)
2.1 G´en´eralit´es
Comme `a chaque fois que l"on d´efinit une nouvelle structure math´ematique, on s"int´eresse aux
applications qui vont pr´eserver cette structure. La suite de ce cours justifiera la pertinence de la
d´efinition suivante. affine(ou unmorphisme affine) s"il existe une application lin´eaire:!E!!Fv´erifiant8A2E;8Ex2!E;f(AC Ex)Df(A)C(Ex);
ou encore, ce qui revient au mˆeme,8A;B2E;!f(A)f(B)D(!AB):
V´erifions en effet l"´equivalence de ces deux formules : soientA;B2E; si la premi`ere formule est vraie, on af(B)Df(AC!AB)Df(A)C(!AB), donc!f(A)f(B)Df(B)f(A)D(!AB). La r´eciproque se d´emontre de la mˆeme fa¸con.Si l"on vectorialise les espaces consid´er´es, on peut interpr´eter cette d´efinition d"une mani`ere
remarquable : Proposition 2.2.Une applicationf:E!Fest affine si et seulement si, pour toutA2E,fest lin´eaire deEAdansFf(A).D´emonstration.Exercice.X
Proposition 2.3.Pour une application affinef:E!Fdonn´ee, il n"existe qu"une seule application lin´eaire:!E!!Fv´erifiant la condition de la d´efinition. On l"appellepartie lin´eaire def, et on la noteEf.D´emonstration.Supposons qu"on ait `a la fois
8A2E;8Ex2!E;f(AC Ex)D?f(A)C1(Ex)
f(A)C2(Ex) Fixons alorsA2E. On a :8Ex2!E,1(Ex)Df(AC Ex)f(A)D2(Ex), d"o`u1D2.XExemples 2.4.
1) L"identit´e id
E:M7!Mest affine, de partie lin´eaire!idEDidEE.2) Une application constantef:E!F,M7!Aest affine, de partie lin´eaireEfE0.
R´eciproquement, sifest affine, alorsfest constante si et seulement siEfE0.Les applications affines poss`edent les mˆemes propri´et´es ensemblistes que leurs parties lin´eaires :
Proposition 2.5.Soitfune application affine. Alorsfest injective (resp. surjective, bijective) si et seulement siEfl"est.D´emonstration.Exercice.X
De cette proposition et de l"analogue vectoriel on d´eduit imm´ediatement :132 APPLICATIONS AFFINES(PREMI`ERE´ETUDE)
Corollaire 2.6.Soitfune application affine entre espacesde mˆeme dimension. Alors les assertions suivantes sont ´equivalentes : (i)fest injective; (ii)fest surjective; (iii)fest bijective. Un peu de vocabulaire et de notation, calqu´es sur le cas vectoriel.D´efinitions 2.7.
1) Une application affine deEdansEs"appelle unendomorphisme affinedeE.
2) Une application affine bijective s"appelle unisomorphisme affine(ou encore, unetransfor-
mation affine).3) Deux espaces affinesE;Fsont ditsisomorphess"il existe un isomorphisme affine deEsur
F(ils sont alors de mˆeme dimension).
4) Un endomorphisme affine bijectif s"appelle unautomorphisme affine.
Notations 2.8.On d´efinit :
1)A(E;F) l"ensemble des morphismes affines deEdansF;
2)A(E)DA(E;E) l"ensemble des endomorphismes affines deE;
3)GA(E) l"ensemble des automorphismes affines deE;
4) pourf2A(E),
Inv(f)D fM2E:f(M)DMg Densemble despoints fixesdef:Enon¸cons maintenant un r´esultat simple, indispensable pour la compr´ehension et la pratique.
Proposition 2.9.SoientEetFdeux espaces affines,:!E!!Fune application lin´eaire et (A;B)2EF. Alorsf:M7!BC(!AM)estl"uniqueapplication affine deEdansFtelle quef(A)DBetEfD.Autrement dit, une application affine est enti`erement d´etermin´ee par la donn´ee de sa partie lin´eaire
et de l"image d"un point (quelconque).D´emonstration.Il est clair que l"applicationfainsi d´efinie v´erifief(A)DB. D"autre part, pour
tousM;N2E, on a ce qui d´emontre quefest affine de partie lin´eaire.Pour toutM2E,
g(M)Dg(AC!AM)Dg(A)C Eg(!AM)DBC(!AM)Df(M); si bien quegDf.XCorollaire 2.10.Pour prouver l"´egalit´e de deux applications affines, il suffit d"´etablir l"´egalit´e de
leurs parties lin´eaires et leur co¨ıncidence en (au moins) un point.D"autres propri´et´es g´en´erales des applications affines seront ´etablies dans la suite de ce cours (et
notamment dans le chapitre suivant). Passons maintenant `a deux exemples concrets, parmi les plus connus.