1er semestre

Felix Klein

Description

Niveau: Supérieur
1er semestre 2011/12 M1 U 11 : Abrégé de cours Groupes de transformations Les notes suivantes, disponibles à l'adresse contiennent les définitions et les résultats principaux du cours. Elles ne remplacent ni un polycopié complet, ni le cours lui-même. Le sujet principal du cours est une introduction à la géométrie projective qui met en relief l'importance des groupes de symétrie. Il s'agit donc d'un cours de “géométrie avancée” : tandis que le cadre des cours de géomètrie de Licence était toujours la géométrie eucli- dienne et l'espace euclidien (i.e., Rn, muni d'un produit scalaire), nous allons rencontrer dans ce cours une “géométrie non-euclidienne” : le concept d'espace change. L'espace projectif ne s'identifie pas à un espace Rn, mais peut être construit à partir de Rn de plusieurs façons, par exemple, en rajoutant à Rn des “points à l'infini”. Les raisons pour un tel changement du concept d'espace apparaissent historiquement avec les débuts d'une étude approfondie des principes du dessin en perspective. En langage moderne : les perspectives, d'un plan E sur un autre E ?, sont des applications obtenues en “projetant”, à partir d'un point de l'espace c (le centre de la projection), un point x de E sur le point d'intersection x? de la droite (cx) avec E ?, si ce point est bien défini.

• rp1


• principes du dessin en perspective


• droite projective


• perspectives de façon satisfaisante

Sujets

• Perrin
• Droite projective

Informations

• Publié par: profil-nechor-2012
• Nombre de lectures: 18
• Langue: Français

Extrait

M1 U 11 : Abrégé de cours Groupes de transformations

1er semestre 2011/12

Les notes suivantes, disponibles à l’adresse/b~rertmatthw.ww//p:n-u.ncei/rf.ycna, contiennent les définitions et les résultats principaux du cours. Elles ne remplacent ni un polycopié complet, ni le cours lui-même. Le sujet principal du cours est une introduction à lagéométrie projectivequi met en relief l’importance desgroupes de symétrie. Il s’agit donc d’un cours de “géométrie avancée” : tandis que le cadre des cours de géomètrie de Licence était toujours lagéométrie eucli- dienneet l’espace euclidien(i.e.,R n , muni d’un produit scalaire), nous allons rencontrer dans ce cours une “géométrie non-euclidienne” : le concept d’espace change. L’espace projectifne s’identifie pas à un espaceR n , mais peut être construit à partir deR n de plusieurs façons, par exemple, en rajoutant àR n des “points à l’infini”. Les raisons pour un tel changement du concept d’espace apparaissent historiquement avec les débuts d’une étude approfondie des principes dudessin en perspective. En langage moderne : lesperspectives, d’un planEsur un autreE 0 , sont des applications obtenues en “projetant”, à partir d’un point de l’espacec(le centre de la projection), un pointx deEsur le point d’intersectionx 0 de la droite(cx)avecE 0 , si ce point est bien défini. On peut visualiser ce genre d’application en utilisant une source de lumière au centrecet en projetant des dessins d’un plan transparentEsur un autre plan transparentE 0 . Par exemple, un cercle surEcône de lumière, et ce cône de lumière intersectedonne lieu à un un autre planE 0 en uneconique parabole ou hyperbole, selon la position de: ellipse,E 0 (si le centrecn’appartient pas àE 0 ). L’applicationE→E 0 ainsi définie ne peut donc pas être une application affine, car une application affine ne peut pas envoyer un cercle sur une hyperbole. Ainsi on voit apparaître un nouveau type d’application, lesapplications projectivesouhomographies, qui donne lieu à un groupe, legroupe projectif. L’étude de ce groupe, ou plutôt de son action, ainsi que de ses sous-groupes, est en grande partie équivalente à l’étude de la géométrie projective elle-même (c’est un point de vue expliqué pour la première fois par Felix Klein en 1872 dans son célèbre “programme d’Erlangen”). Les espaces projectifs réels et complexes,RP n etCP n , se trouvent au carrefour de la plupart des branches des mathématiques modernes ayant des liens avec la géométrie, et leur étude est indispensable pour toute poursuite d’études en mathématiques, mais aussi en vue d’une préparation approfondie à l’enseignement des mathématiques. Littérature. L’œuvreIl existe de nombreux ouvrages qui traitent de ces sujets. [Berger] Berger, M., “Géométrie” (plusieurs tômes), Nathan 1979 (traduction anglaise chez Springer, en 2 volumes) est une vraie mine d’or, avec de très nombreuses illustrations. Le niveau est assez élévé et le contenu encyclopédique – l’achat est un très bon investissement pour toute la vie. Une version plus facilement abordable est [Audin] Audin, M., “Géométrie”, Belin 1998. Un autre livre utile et utilisé dans la préparation de ce cours est 1

[Sidler] Sidler, J.-C., “Géométrie projective – cours et exercices et problèmes corrigés”, Dunod, 2000. Nous recommandons également d’imprimer et de lire l’introduction et le chapitre 1 du projet d’un livre de géométrie projective par Daniel Perrin, disponible à l’adresse http://www.math.u-psud.fr/~perrin/Livre_de_geometrie_projective.html On y trouve de nombreuses autres références bibliographiques (nous donnons quelques- unes au fur et à mesure du cours). Des origines historiques de la géométrie projective – la théorie ancienne grecque des coniques, le dessin en perspective de la Renaissance, les débuts de la géométrique algébrique, liée à des noms comme Appolonius, Pappus, Pascal, Desargues, Poncelet, Moebius, Klein et bien d’autres.... – y sont évoquées – voir aussi [Berger], ou, pour un premier survol, http://en.wikipedia.org/wiki/Projective_geometry http://en.wikipedia.org/wiki/Perspective_(graphical)#History http://fr.wikipedia.org/wiki/Programme_d’Erlangen Les trois premiers chapitres du cours suivant fournissent une introduction plus précise et plus mathématique au sujet.

Chapitre 1 : Introduction aux droites projectives

1.1. La droite affine réelle.C’est la droite réelleR, où l’on “oublie” l’origine0: une application affine est une application de la formef a,b :R→R,x7→ax+bavec a, b∈R on a. Alorsf a,b ◦f a 0 ,b 0 =f aa 0 ,a 0 b+b 0 , etf a,b est inversible ssia6= 0, avec inverse (f a,b ) −1 =f a −1 ,−a −1 b . Le groupe affine ou “groupeax+b” est le groupe GA 1 (R) ={f a,b :R→R|a∈R × , b∈R}. Poura= 1à la géométrie, la notion fondamentale est, on obtient les translations. Quant  celle du rapport d’un triplet de points(x, y, z)∈R 3 avecz6=y, définie par z−x := . R(x, y, z) z−y Par un calcul direct, on voit queR(x, y, z) =rssix= (1−r)z+ry. 1.2. Lemme.Une applicationf:R→Rest affine si, et seulement si, elle préserve le rapport : ∀(x, y, z)∈R 3 (z6=y) :R  f(x), f(y), f(z)  =R(x, y, z). SiDest une droite quelquonque du planR 2 , alors, après choix d’un repère affine dansD (i.e., d’une origineo∈Det d’un vecteur directeurp∈D,p6=o), on identifieRavecD viat7→tp+ (1−t)o. Le lemme implique qu’on peut définir le rapport de trois points (x, y, z)∈D 3 avecy6=zà l’aide de n’importe quel repère affine deD le note toujours. On R(x, y, z). 1.3. Définition.SoitE=R 2 le plan réel, soientDetD 0 deux droites deEetpun point n’appartenant pas àD∪D 0  perspective de centre. LapdeDsurD 0 est l’applicationf p définie comme suit : six∈Dest tel que la droite(xp)n’est pas parallèle àD 0 , alors,

2

f p (x)est le point d’intersection de(xp)et deD 0 ; sinon,f p (x)n’est pas défini [faire un dessin !]. 1.4. Exercice (TD).SiDetD 0 sont parallèles, alors la perspectivef p est une application affine deDsurD 0  d’une, mais sinon, ce n’est pas le cas : part,f p n’est pas définie pour tout pointx∈D; mais même si on définitf p (x)en ce point de façon convenable, l’application f p ainsi définie ne préservera pas le rapport et ne sera donc pas affine. La question se pose alors de savoir quelle “quantité géométrique” est préservée par les perspectives – on verra plus tard qu’une telle quantité, appeléebirapport, existe. 1.5. Définition.La droite affine complétée est l’ensembleR:=R∪ {∞}, où∞/∈Rest un nouvel élément, appelé “point infini”. Commentaires. contrairement(1) Attention :en analyse, il n’y a pas aux habitudes de distinction entre des éléments notés+∞et−∞! En quelque sorte, on pense plutôt que les deux bouts de la droite réelle se rejoignent en un seul point, ou qu’on “recolle” ces deux bouts par le point∞pour former un nouvel objet ressemblant à un cercle. (2) Cette définition est un peu ad hoc, mais au moins elle permet de définir les perspectives de façon satisfaisante : nous posonsf p (x) =∞ 0 si(xp)est parallèle àD 0 . De cette manière on aura une bijection entre les droites complétéesD=D∪ {∞}etD 0 =D∪ {∞ 0 }(exercice). Pour rendre ces définitions plus abordables à des calculs, nous donnons maintenaint une “construction” (un “modèle analytique”) de la droite complétée. Elle utilise l’astuce de passer parR 2 : 1.6. Définition.PourP∈R 2 \ {0}, soit[P] :=D 0,P :={tP|t∈R}le sous-espace vectoriel de dimension 1 et de baseP. La droite projective réelleRP 1 est l’ensemble des sous-espaces vectoriels deR 2 de dimension1: RP 1 := n D 0,P  P∈R 2 , P6= 0 o . 1 SiP= (x 1 , x 2 )∈R 2 ,P6= 0, on écrit souvent[P] :=D 0,P =RPpour un point deRP. La notation[(x 1 , x 2 )] =: [x 1 :x 2 ]est courante. Comme, pourt∈R × , les droites[P]et [tP]sont les mêmes, on a alors[tx 1 :tx 2 ] = [x 1 :x 2 ]. (Attention :t= 0n’est pas admis, carR0suivant, faire un dessin en prenant pourn’est pas une doite !) le lemme  Pourb 1 , b 2 la base canoniquee 1 , e 2 deR 2 : 1.7. Lemme.Soitb 1 , b 2 une base deR 2 . Alors l’application 1 j:R→RP, r7→[rb 1 +b 2 ] est injective (nous la considérons comme une inclusion), et avec∞:= [b 1 ], on a RP 1 =j(R) ∪ {∞} ∼ = R∪ {∞}.

Remarque 1.Dans la définition 1.6 (contrairement à 1.5), le point∞ne joue aucun rôle distingué ; ce n’est qu’après choix d’une base qu’on obtient la décompositionRP 1 = R∪ {∞} tout vecteur non-nul de. CommeR 2 peut servir comme premier vecteur de base b 1 , n’importe quel point deRP 1 peut servir comme “point infini”. Nous allons voir tout au long de ce cours que la définition 1.6 est bien adaptée aux questions géométriques liées aux perspectives et au birapport. Remarque 2.La définition 1.6 et le lemme 1.7 gardent tout leur sens si on remplaceRpar n’importe quel corps(K,+,∙). Ainsi la droite projectiveKP 1 peut être définie de la même 3

manière, et un bon nombre de définitions et de propriétés (algébriques) sera valable pour tout corpsK cas des nombres complexes. LeK=Cest particulièrement important. Le lemme 1.7 donne alors CP 1 =C∪ {∞}. Mais, attention, il est plus difficile de faire des dessins, carC 2 a4dimensions réelles – en fait, si la représentation deRP 1 par un cercle semble assez naturelle, il est déjà moins évident queCP 1 sera représenté par la sphère de Riemann (la complétion du plan complexe par un seul point, le “pôle nord”) ! Certaines propriétés (“topologiques”, en particulier) dépendent donc fortement du corps de baseK. Dans ce cours, nous serons principalement intéressés par la comparaison entreRetC. Voici un exemple simple et important : 1.8. Lemme.L’application S 1 ={(x 1 , x 2 )∈R 2 |x 1 2 +x 2 2 = 1} →RP 1 , P7→[P] est surjective et2 : 1(i.e., tout élément deRP 1 a deux images réciproques), et S 3 ={(z 1 , z 2 )∈C 2  |z 1 | 2 +|z 2 | 2 = 1} →CP 1 , P7→[P] est surjective, et les fibres (= images réciproques d’un élément) sont en bijection avec le cercle unité deC. On dira, en langage de topologie : dans le cas réel, l’application est un revêtement (à deux feuillets), tandis que dans le cas complexe il s’agit d’une fibration (en cercles). Un autre cas intéressant, de nature opposée, est celui d’un corps fini : rappellons que Z/pZ(ppremier) est le corps àpéléments, alors la droite projectiveKP 1 =K∪ {∞}a p+ 1éléments.

Chapitre 2 : Introduction aux plans projectifs

2.1. Le plan affine sur un corps.SoitKun corps. Le plan affine surKest le plan P=K 2  applications affines et le groupe affineoù l’on “oublie” l’origine. LesGA 2 (K)sont définis comme au point 1.1 (en remplaçantapar une matrice2×2et la conditiona6= 0 pardeta6= 0notion de “rapport” pour un triplet de points ). La(x, y, z)∈ P 3 n’a de sens que si les trois points sont alignés. Ainsi la notion de colinéarité devient importante : pouro6=p, on note D o,p :=o∨p:={tp+ (1−t)o|t∈K} la droite qui relieoetp, et D:= n D o,p  p, o∈ P, p6=o o l’ensemble des droites affines dansP. Alors les propriétés suivantes sont bien connues (mais il sera utile de revoir la preuve comme exercice) : 2.2. Lemme.Pour deux droitesD=D o,p ,D 0 =D o 0 ,p 0 ∈ Dsont équivalentes : (1)D=D 0 ouD∩D 0 =∅,

4

(2)leurs vecteurs directeurs sont proportionnelles :∃λ∈K:λ(p−o) =p 0 −o 0 . On dira alors queDetD 0 sont parallèles, notéDkD 0 . 2.3. Lemme.Dans tout plan affineP=K 2 , les propriétés suivantes sont vérifiées : (A1)x, y∈ P, x6=y⇒ ∃ ! D∈ D:x, y∈D; (A2)x∈ P,D∈ D ⇒ ∃ ! D 0 ∈ D:D 0 kDetx∈D 0 ; (A3)∀D∈ D:|D| ≥2; (A4)il existe au moins3points non colinéaires. 2.4. Définition.Un plan affine abstrait est un ensembleP(de “points”) et un ensemble Dde parties deP(dites des “droites dePtels que les propriétés (A1) – (A4) sont”) vérifiées (où la notationDkD 0 est définie par :D=D 0 ouD∩D 0 =∅). Une collinéation de ce plan affine est une applicationf:P → Pqui “envoit des points alignés en des points alignés”, i.e. : six, y, z∈ Psont tels qu’il existeD∈ Davecx, y, z∈D, alors il existeD 0 ∈ Davecf(x), f(y), f(z)∈D 0 . Les propriétés (A1) – (A4) sont les axiomes d’un plan affine. On peut en déduire d’autres propriéetés ; par exemple : siDetD 0 ne sont pas parallèles, alorsD∩D 0 contient exactement un élément (car sinon on aurait une contraction avec (A1)). 2.5. Théorème fondamental (cas réel).Pour une applicationf:R 2 →R 2 sont équivalentes : (1)fest affine ; (2)fest une collinéation. La preuve de l’implication (1)⇒(2) est très facile, et cette implication vaut pour tout corpsK, tandis que la preuve de la réciproque est longue et non-triviale ; de plus, elle ne vaut pas pour tout corps (nous en parlons plus tard dans le cours, voir chapitre 10). L’essentiel pour le moment est de retenir que les applications affines peuvent être car- actérisées uniquement par des propriétés d’incidence (i.e., des propriétés d’intersection mutuelle de droites, et de liaison de points par des droites). On constate alors qu’en géométrie affine les droites parallèles jouent un rôle particulier : deux points distincts déterminent toujours une droite, et deux droites déterminent un point d’intersection – sauf si elles sont parallèles ! Si on pouvait se débarrasser de ce rôle exceptionnel, les axiomes (A1) et (A2) prendraient des formes similaires et seraient “duales l’un de l’autre”. C’est précisément ce qui sera achevé par la construction du plan projectif, dans lequel deux droites ont toujours un point d’intersection. Il y a deux manières d’effectuer cette con- struction : l’une est “abstraite” (cf. l’exercice 2.14), l’autre, plus concrète, utilise l’astuce de passer parK 3 : 2.6. Définition. projectifLe planKP 2 est l’ensemble des sous espaces vectoriels de dimension1deK 3 : comme avant, on écrit[P] :=D 0,P :={tP|t∈K}, et alors KP 2 = n [P]  P∈K 3 , P6= 0 o .

5

PourP= (x 1 , x 2 , x 3 )∈K 3 ,P6= 0, on écrit souvent[P] := [(x 1 , x 2 , x 3 )] := [x 1 :x 2 :x 3 ]. L’application π:K 3 \ {0} →KP 2 , P7→[P] s’appelle la projection canonique. 2.7. Lemme.La projection canoniqueπest surjective, et chaque fibre est en bijection avecK × . 2.8. Exemple.SiKest un corps fini de cardinalitéq, alors alors la cardinalité deK 3 \{0} estq 3 −1, celle deK × estq−1, donc celle deKP 2 est q q 3 − − 1 1 =q 2 +q+ 1. Pour le lemme suivant, siK=Ren prenant la base canonique :, faire un dessin 2.9. Lemme.Fixons une baseb 1 , b 2 , b 3 deK 3 . Les applications j:K 2 →KP 2 ,(x 1 , x 2 )7→[x 1 b 1 +x 2 b 2 +b 3 ] h:KP 1 →KP 2 ,[(y 1 , y 2 )]7→[y 1 b 1 +y 2 b 2 ] sont bien définies et injectives. Si on les considère comme inclusions, on a une décompo- sition (en utilisant le lemme 1.7, où∞= [b 1 ]) KP 2 =K 2 ∪KP 1 =K 2 ∪K∪ {∞}.

2.10. Définition.Une droite deKP 2 , ou sous-espace projectif de dimension1, est une partie deKP 2 de la forme [E] :=π(E\ {0}) ={[P]|P∈E, P6= 0}, oùE⊂K 3 est un sous-espace vectoriel de dimension2. 2.11. Lemme.Sib 1 , b 2 est une base du sous-espace vectorielE⊂K 3 alors , KP 1 →[E],[(x 1 , x 2 )]7→[x 1 b 1 +x 2 b 2 ] est une bijection. Chaque droite deKP 2 est donc en bijection avecKP 1 . Dans la décompositionKP 2 =K 2 ∪KP 1 du lemme 2.9, la partieKP 1 est donc bien une droite deKP 2  à l’infini, dite la droite (par rapport à cette décomposition):E= vect(b 1 , b 2 )le chapitre précédent, n’importe quelle droite peut jouer. Mais, comme dans ce rôle (car deux vecteurs libres peuvent toujours être complétés en une base). 2.12. Théorème.Dans un plan projectifKP 2 , les propriétés suivantes sont vérifiées : (P1)Deux droites distinctes deKP 2 déterminent un unique point d’intersection. (P2)Deux points distincts deKP 2 déterminent une unique droite qui les relie. (P3)Toute droite deKP 2 contient au moins3points. (P4)Il existe au moins3points non-colinéaires.

6

On remarquera l’analogie formelle entre (P1) et de (P2) : elles sont liées en interchangeant les termes “point” et “droite”, resp. “intersection” et “liaison”. Cette dualité est un trait profond de la géométrie projective. En géométrie affine, cette dualité n’est pas bien visible, à cause du rôle “exceptionnel” des droites parallèles (cf. ci-dessus). 2.13. Définition. projectif abstraitUn plan est un ensembleP(de “points”) et un ensembleDde parties deP(dites des “droites deP”) tels que les propriétés (P1) – (P4) sont vérifiées. Le théorème 2.12 affirme ainsi queKP 2  que tout planest un plan projectif abstrait. Est-ce projectif abstrait est de cette forme, pour un certain corpsK On réponse est “non”.? La peut, par exemple, remplacer le corpsKdans la définition 2.6 par un anneau de division (= corps non-commutatif). L’exemple le plus important est le corps non-commutatif des quaternionsH TD). Mais les contre-exemples ne s’arrêtent sinon(vu en Licence ? voir : pas là : il existe d’autres plans projectifs plus “exotiques”, comme le plan octonionOP 2 . C’est un domaine de recherche toujours actif, initié par le fameux texte “Grundlagen der Geometrie” (“Fondations de la géométrie”) de David Hilbert (1899), cf. http://fr.wikipedia. g/wiki/Axi _ _ or omes de Hilbert. Voir le chapitre 7 pour d’autres remarques. Un outil fondamental dans cette étude est le lien suivant entre plans affines et plans projectifs abstraits : 2.14. Exercice (droites affines et droites projectives dansKP 2 ).Fixons une décompositionKP 2 =j(K 2 )∪h(K/P 1 ) = ∼ K 2 ∪H ∞ . (1) SoitD⊂KP 2  (a)une droite projective. qu’alors deux cas se présentent : Montrer soit,D=H ∞ , (b) soit,D6=H ∞ , alors|D∩H ∞ |= 1, etD∩j(K 2 )est une droite affine deK 2 (et toute droite affine deK 2 s’obtient ainsi). (b) SoientDetD 0 deux droites distincts deKP 1 du type (b). AlorsDetD 0 sont parallèles dansK 2 si, et seulement si,D∩H ∞ =D 0 ∩H ∞ . Autrement dit,DetD 0 ne sont pas parallèles dansK 2 seul point d’intersection et qui n’est pas surssi elles n’ont qu’un H ∞ . 2.15. Exercice (lien entre plans affines et plans projectifs abstraits). (1) Montrer que, siPest un plan projectif abstrait etHune droite dePqu’on fixe, alors P:=P\Hest un plan affine abstrait. : (Indication dira que deux droites distincts on D, D 0 dePsont “parallèles” si leur point d’intersection appartient àH.) (2) Montrer que, à tout plan affine abstrait, on peut associer, de façon naturelle, un plan projectif abstrait. (Indication : on définitP=P ∪H ∞ , où un élément de la “droite à l’infini”H ∞ est la classe d’équivalence de toutes les droites dePparallèles à une certaine droite donnée.) (3) Montrer que les deux constructions sont réciproques l’une de l’autre. Ainsi, les plans affines abstraites ne sont rien d’autre que les plans projectifs abstraits munis d’une droite distinguée. 2.16. Exemple : Le plan de Fano.Le plus petit corps estF 2 :=Z/2Z plan. Le projectifF 2 P 2 a donc4 + 2 + 1 = 7 le nombre de droites. compter :points. Exercice (Indication : compter les droites de type a) et celles de type b); exo 2.14.) Dessin schématique : cf._ed_onaFhtt:p//rfw.kipideia.org/wiki/Plan Finalement, les remarques du chapitre précédent concernant les cas réels et complexes et la topologie valent aussi pour les plans. Dans le cas réel, on a une application surjective et2 : 1 S 2 →RP 2 , P7→[P].

7

Dans un sens à préciser plus tard, on peut dire queRP 2 est la même chose que la sphère S 2 , où l’on “identifie les points opposés”, ou encore c’est un “ruban de Moebius sur le bord duquel on a collé un bonnet”. Il n’est pas évident de visualiser cet objet comme une “surface dansR. 3 ”

Chapitre 3 : Introduction aux coniques projectives

3.1. Exercice préliminaire.SoitC:={x∈R 3 |q(x) = 0}, avecq(x) =x 1 2 +x 2 −x 3 2 , le 2 cône circulaire. (1) Montrer que l’intersection deCavec le planx 3 = 1est un cercle. (2) Montrer que l’intersection deCavec le planx 2 = 1est une hyperbole. (3) Montrer que l’intersection deCavec le planx 2 +x 3 = 1est une parabole. (4) SoitEle plan affineE={x∈R 3 |ax 2 +bx 3 = 1} la nature de. Déterminer l’intersectionE∩Cen fonction de(a, b)∈R 2 : montrer qu’il s’agit d’une ellipse, d’une hyperbole ou d’une parabole, selon le cas. (Utiliser l’équation deEpour éliminerx 2 oux 3 de l’équationx 2 1 +x 2 2 −x 2 3 = 1et étudier l’équation quadratique de deux variables restant.) (5) Du point (4), déduire quetouteellipse, hyperbole ou parabole peut être obtenue en intersectant un plan affine avec un cône. L’exercice justifie d’appeller des ellipses, hyperboles et parabole s desconiques pro-. “Par jection”, toutes ces figures ont certaines propriétés “projectives” en commun – propriétés étudiées depuis l’antiquité (Appolonius), puis de nouveau grâce au développement des idées générales de la géométrie projective (Pascal, Poncelet,...), voir, pour des remarques historiques,w.ki//rfaio.pideiki/rg/wqueConip:tth. 3.2. Définition.Une conique (propre) est l’intersection du côneCavec un plan qui ne passe pas par0 conique projective réelle est l’ensemble. La [C] :={[x]∈RP 2 |x∈C, x6= 0}={[x]∈RP 2 |x 1 2 +x 2 2 −x 2 3 = 0, x6= 0} (ceci est bien défini carx∈Cssiλx∈Cpourλ∈R × ). 3.3. Visualisation : partie affine, points à l’infini.Pour visualiser la figure géométrique de[C], choisissons une baseb 1 , b 2 , b 3 deR 3 et écrivonsRP 2 =j(R 2 ) ˙ ∪h(RP 1 ) (lemme 2.9), avec la “droite à l’infini”h(RP 1 ) = [E],E=vect(b 1 , b 2 ), et identifions R 2 = ∼ j(/R 2 ) ={[z 1 b 1 +z 2 b 2 +b 3 ]|z 1 , z 2 ∈R}(Lemme 2.12 :KP 2 =K 2 ∪H ∞  on). Alors décompose[C] = [C] a ∪[C] ∞ avec (i)[C] a := [C]∩j(K 2 )la partie affine de la conique [C]: on l’obtient simplement en posantz 3 = 1dans l’équation deC dit, on considère l’intersection de. Autrement Cavec le plan affineE+b 3 deR 3 . (ii)[C] ∞ := [C]∩h(KP 1 )les points  de la conique  à l’infini [C]: on l’obtient posant z 3 = 0.

8

On choisit(b 1 , b 2 , b 3 ), par exemple : a) base(e 1 , e 2 , e 3 ) on affine : pose: partiex 3 = 1, l’équationq(x) = 0devientx 2 1 +x 2 2 = 1, l’équation d’un cercle. Points à l’infini :x 3 = 0:q(x) = 0n’a aucune solution non- triviale, il n’y a aucun point à l’infini. b) base(e 1 , e 3 , e 2 ) affine :: partie pose onx 2 = 1, l’équationq(x) = 0devientx 3 2 −x 2 2 = 1, l’ équation d’une hyperbole. Points à l’infini :x 2 = 0:q(x) = 0devientx 1 2 −x 2 3 = 0; toute solutionxest multiple de(1,0,1)ou de(1,0,−1); il y a ainsi deux points à l’infini. c) base(e 1 +e 3 , e 2 , e 1 −e 3 ); alorsq(z 1 b 1 +z 2 b 2 +z 3 b 3 ) =q(z 1 +z 3 , z 2 , z 1 −z 3 ) = 4z 1 z 3 +z 22 . Pourz 3 = 1on obtient la partie affine :4z 1 =z 22 (parabole) ; pourz 3 = 0on obtientz 22 = 0, doncz 2 = 0,z 1 ∈R: ily a un seul point à l’infini, à savoir  [b 1 ] = [e 1 +e 3 ] = [(1,0,1)]. Résumée : le cercle est une image affine complète de la conique[C] droite à l’infini ne: la l’intersecte pas ; si elle l’intersecte en deux points, l’image affine est une hyperbole ; si elle le touche en un point (forcément de façon “tangentielle”), l’image affine est une parabole. L’objet “conique projective” est le même dans les trois cas, seulement la droite à l’infini change de position ! 3.4. Rappel : formes quadratiques.Passons au cas d’un corps quelconqueK(de caractéristique6= 2 sur). Rappelons quadratique qu’une formeK n est une application q:K n →Kde la forme n q(x) = X a ij x i x j =x t Ax i,j=1 avec une matriceA forme bilinéaire associée estqu’on peut supposer symétrique. La β(x, y) =x t Ay. On dit queqetβsont non-dégénérées sidet(A)6= 0 vecteur. Unx∈K n est dit isotrope siq(x) = 0. L’ensemble C={x∈K n |q(x) = 0} des vecteurs isotropes est homogène dans le sens quex∈Cssiλx∈Cpourλ∈K × . 3.5. Définition.Une conique projective est une partie[C]⊂KP 2 de la forme [C] :={[x]∈KP 2 |q(x) = 0, x6= 0}, oùq:K 3 →Kest une forme quadratique. Elle est dite propre siqest non-dégénérée. 3.6. Exemple.Soitq(x) =x 2 1 +x 2 2 +x 3 2 . SiK=R, la conique[C]est vide (car le seul vecteur isotrope est0). SiK=C, la conique[C]est non-vide : exemple, par [(0, i,1)],[(0,−i,1)]∈[C](l’image affine pourx 3 = 1est{(x 1 , x 2 )∈C 2 |x 2 1 +x 2 2 =−1}). 3.7. Classification : cas réels et complexes.On sait qu’il existe toujours des bases orthogonales pour une forme quadratique : quitte à changer de base dansK 3 , on peut supposer queAest une matrice diagonale, i.e., 2 q(x) =a 1 x 2 1 +a 2 x 2 +a 3 x 3 2 . On sait aussi : siK=C, on peut encore se ramener aux casa i = 1oua i = 0, et si K=R, aux casa i ∈ {0,1,−1} nombre d’éléments non-nuls est le rang de la forme. Le quadratique, et dans le cas réel, la signature est un autre invariant qui compte le nombre des coéfficients positifs, resp. négatifs. PourK=C, il y a donc 3 cas, selon le rang :

9