Géométrie Affine Euclidienne - Université Paris-Saclay
la géométrie plus que tout autre domaine des mathématiques La géométrie euclidienne est le cœur de la géométrie que l’on commence à entrevoir à l’École, que l’on étudie au Collège, que l’on approfondit au Lycée et que l’on s’empresse d’oublier à l’Université, sauf, et c’est heureux, en préparation au CAPES
La Géométrie euclidienne et la Physique - JSTOR
La Géométrie euclidienne et la Physique II y a, depuis Euclide, une question de la vérité des principes de la géométrie Là où les civilisations plus anciennes n'avaient vu qu'une sorte de systématisation de l'art de l'arpentage, destinée à des usages pratiques et appuyée sur des vérifications empiriques,
Géométrie euclidienne
2MA221 UPMC 2019–2020 Feuille 4 Géométrie euclidienne Exercice 1 Soit x,y deux vecteurs de l’espace euclidien R3 Montrer la formule kxk2kyk2 = Aire(x,y)2 +hx,yi2 où Aire(x,y) est l’aire du parallélogramme de côtés x,y
Géométrie euclidienne
géométrie, montrent les limites purement mathématiques du modèle affine euclidien Cependant, il paraît difficile d’étudier les espaces non euclidiens à 11 dimensions avant d’étudier au préalable la géométrie euclidienne à 2 et 3 dimensions, fût-elle proto-scientifique
M302 : Géométrie affine et euclidienne
Soit H un sous-groupe de G, la loi de composition définie sur (G/H) d par (xH) (yH) = xyH est une application et munit (G/H) d d’une structure de groupe si et seulementsiHC G Démonstration 1)On suppose que (G/h) d groupe pour la loi ∗: (xH) ∗(yH) = xyH avec eH= Hl’élémentneutre OndémontrequeHC G Soitx∈Geth∈H
Géométrie euclidienne dans le plan
Définitions : C’est l’ensemble des mots qui sont définis dans un cours de géométrie et qu’ils sont supposés connus Postulats : Appelé "axiome" aujourd’hui, sont des vérités premières qui ne peuvent être démontrées et qui fondent la géométrie euclidienne Euclide en donna cinq dont le
Cours de Geom´ etrie´ Affine et Euclidienne pour la Licence de
Ce cours presente´ les bases de la geom´ etrie´ affine gen´ erale´ (disons, sur R ou C) et de la geom´ etrie´ euclidienne Il est destine´ aux etudiants´ de la Licence de Mathematiques,´ ainsi qu’aux etudiants´ preparant´ le CAPES ou l’agreg´ ation de mathematiques´1 Les prerequis´ sont
Géométrie analytique (affine ou euclidienne)
Exo7 Géométrie analytique (affine ou euclidienne) Exercices de Jean-Louis Rouget Retrouver aussi cette fiche sur www maths-france * très facile ** facile *** difficulté moyenne **** difficile ***** très difficile
La Géométrie Hyperbolique - mathch
la géométrie sphérique et elliptique Le présent document s’intéresse à la généralisation d’une géométrie axiomatique vers la géo-métrie déroutante qu’est la géométrie hyperbolique Nous nous attarderons donc à passer en détail la géométrie euclidienne avant de nous jeter sur la géométrie hyperbolique
[PDF] histoire de la géométrie dans l espace
[PDF] guerre péloponnèse résumé
[PDF] la guerre du péloponnèse epub
[PDF] exemple de personnification d'un objet
[PDF] thucydide epub
[PDF] resume definition
[PDF] thucydide guerre du péloponnèse traduction
[PDF] la guerre du péloponnèse thucydide pdf
[PDF] thucydide la guerre du péloponnèse texte grec
[PDF] exemple comparaison
[PDF] guerre du péloponnèse chronologie
[PDF] histoire de la justice cours
[PDF] éloge d'un objet banal
[PDF] comment est née la langue française
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.