Géométrie projective
1. Prolégomènes.
2. Espaces projectifs.
3. Sous-espaces projectifs.
4. Constructions à la règle seule.
5. Applications projectives.
6. Droites projectives : birapport, homographies.
7. Dualité dans les espaces projectifs.
8. Complétion projective d’un espace affine.
9. Pappus et Desargues, derechef.
10. Les coniques en géométrie projective.
11. Vers la géométrie algébrique.
Pierre-Jean Hormière
____________
« La perspective est une démonstration rationnelle par quoi l’expérience confirme que toute chose transmet à l’œil son image en ligne conique. J’entends celles qui parties des extrémités superficielles des corps convergent graduellement vers un point unique placé dans l’œil, juge universel de toutes choses, comme je le démontrerai. J’appelle point ce qui ne saurait être divisé en parties ; et celui de l’œil étant indivisible, aucun objet ne saurait être perçu par l’œil s’il n’est plus grand que ce point. Il faut donc que les lignes qui s’étendent de l’objet à ce point aient forme de cône. (…) Une paroi de mur est un plan perpendiculaire, figuré en face du point commun auquel convergent les cônes. (…) Le concours des cônes créés par les corps montrera sur la paroi du mur la variété de grandeur et de distance de leurs causes. » Carnets de Léonard de Vinci
Analyse de la perspective dans La Cène, de Léonard de Vinci (env. 1497)
« Pour vostre façon de considérer les lignes paralleles, comme si elles s’assembloient à un but à distance infinie, afin de les comprendre sous le mesme genre que celles qui tendent à un point, elle est fort bonne, pourvu que vous vous en serviez, comme je m’assure que vous faites, pour donner à entendre ce qui est obscur en l’une de ces especes, par le moyen de l’autre où il est plus clair, et non au contraire. »
Descartes, lettre à Desargues, 19 juin 1639
Les géomètres grecs (Apollonios, Menelaüs, Pappus) avaient déjà considéré le « rapport anhar- monique » (on dit aujourd’hui birapport) de quatre points alignés A, B, C, D :
[ A, B, C, D ] = CB CA :
DB DA ,
et observé que, si quatre droites parallèles ou concourantes sont données, pour toute transversale qui les coupe en A, B, C et D, ce rapport est constant.
La perspective linéaire fut inventée1 par l’architecte Filippo Brunelleschi (1377-1446) aux alentours de 1413. Au cours des deux siècles suivants, de très nombreux artistes, parmi lesquels Leo Battista Alberti (1404-1472), Piero della Francesca (1410 ? -1492), Léonard de Vinci (1452-1519), Jean Pèlerin dit le Viator (1435 ? -1524), et Albrecht Dürer (1471-1528), s’intéressèrent à la représentation plane de figures spatiales à partir du point de vue constitué par l’œil du spectateur. Ils furent amenés à étudier les propriétés de la projection centrale, et notamment à considérer le point de fuite, qui représente, sur le plan des projections, le point à l’infini de droites parallèles perpendi- culaires à ce plan. Bref, la perspective et ses techniques étaient devenues un domaine interdisciplinaire, où se côtoyaient la peinture et la gravure, l’architecture civile et militaire, la gnomonique (art des cadrans solaires) et la stéréotomie (art de la taille des pierres).
Cependant, ce n’est qu’au tournant du 17ème siècle que la projection perspective fut étudiée sous un angle purement géométrique, dans le Perspectivae libri sex de Guidobaldo dal Monte (1545- 1607), paru en 1600, et surtout dans l’œuvre de Girard Desargues (1591-1661). Cet ingénieur et architecte lyonnais publia en 1636 une courte brochure « touchant la pratique de la perspective », puis, en 1639, un petit livre dense de 40 pages, intitulé Brouillon project d’une atteinte aux evene- mens des rencontres du cone avec un plan. Cet ouvrage, tiré seulement à 50 exemplaires, s’adressait sans doute aux savants qui gravitaient autour du père Marin Mersenne (1588-1648). Les méthodes de Desargues eurent une grande influence sur le graveur Abraham Bosse (1602-1676), le peintre Laurent de La Hire (1606-1656), ainsi que sur un géomètre en herbe, le jeune Blaise Pascal (1623- 1662), qui les appliqua brillamment à l’étude des coniques. Mais les travaux de Desargues, critiqués en raison de leur vocabulaire obscur, tombèrent dans l’oubli pendant deux siècles, tandis que triomphait la géométrie cartésienne, d’inspiration plus algébrique.
L’intérêt pour les méthodes projectives fut relancé en 1795, lorsque Gaspard Monge (1746-1818) fonda la géométrie descriptive, puis en 1822, lorsque son ancien élève Jean Victor Poncelet (1788- 1867) publia son Traité des propriétés projectives des figures, fruit des réflexions solitaires entamées lorsque, lieutenant du génie de la Grande Armée, il fut fait prisonnier lors de la retraite de Russie, et relégué en 1813 et 1814 à Saratov sur la Volga. Ce n’est qu’avec la découverte par Michel Chasles, en 1845, d’une copie manuscrite, par Philippe de La Hire, du Brouillon project, que l’importance de la contribution de Desargues fut reconnue. Enfin, en 1951, un exemplaire du Brouillon project fut retrouvé et publié par l’historien des sciences René Taton (1915-2004).
Les années 1795-1900 furent l’âge d’or de la géométrie projective, suscitant de nombreux développements en géométries énumérative, birationnelle et algébrique. Cet âge d’or se prolongea dans l’enseignement jusque vers 1950, car la géométrie occupa longtemps la première place dans l’enseignement des mathématiques en mathélém et en taupe, et la géométrie projective en était le
1 Inventée ou redécouverte ? La célèbre mosaïque de la bataille d’Issos entre Alexandre-le-Grand et Darius, située dans la Maison du Faune de Pompéï, contient un effet de perspective : les lances convergent toutes vers le même point de fuite. Vitruve, architecte romain du Ier siècle avant J.-C., affirme qu’Agarthaque, qui faisait les décors de théâtre des tragédies d’Eschyle, rédigea sur le sujet un traité qui inspira Démocrite et Anaxagore.
Bref, la querelle des Anciens et des Modernes est sans fin…
chapitre le plus prestigieux. Au cours des années 1960, la géométrie a été détrônée au profit de l’algèbre et de l’analyse, et les géométries descriptive et projective furent les premières victimes de ces évolutions. Pourtant, la géométrie projective reste le cadre naturel de la géométrie algébrique moderne : le théorème de Fermat-Wiles fait grand usage de cubiques et autres courbes elliptiques, et il suffit de feuilleter le récent livre de François Apéry sur les modèles de représentation du plan projectif réel pour entrevoir la beauté et la profondeur d’un sujet qui est loin d’être épuisé.
1. Prolégomènes.
Avant d’exposer dogmatiquement la géométrie projective, débouchons une bonne bouteille de Condrieu blanc, en hommage à Desargues, et résolvons trois problèmes célèbres, afin de sensibiliser le lecteur à la beauté des méthodes projectives. On se place ici dans le plan affine euclidien réel.
La distance de deux points est un « invariant métrique » : une application du plan dans lui-même qui conserve la distance de deux points conserve l’alignement de trois points, et est une bijection affine, déplacement (rotation ou translation) ou antidéplacement (symétrie ou symétrie-glissée).
Les bijections affines générales ne conservent plus la distance, mais conservent l’alignement de trois points A, B, C, et le rapport
CB
CA : ce rapport est un « invariant affine ».
Les projections centrales préservent l’alignement, mais ne conservent plus le rapport CB
CA. Nous allons voir qu’elles conservent une notion plus faible, le birapport de quatre point alignés.
1.1. Rapport anharmonique et perspective.
Définition 1 : Soient A, B, C, D quatre points distincts et alignés. On appelle rapport anharmonique, ou birapport, de ces quatre points, pris dans cet ordre, le réel :
[A, B, C, D] = CB CA :
DB DA . Propriétés du birapport :
1) Ce réel est indépendant de l’orientation choisie sur la droite.
2) On vérifie que [A, B, C, D] = [C, D, A, B] = [B, A, D, C] = [D, C, B, A].
3) Il en résulte que, lorsqu’on permute les quatre points, leur birapport ne prend qu’au plus 6 valeurs. Si l’on note r = [A, B, C, D] , ces valeurs sont : r , 1−r ,
r 1 , 1−
r 1 ,
−r 1
1 et r
−r 1 . 4) En particulier, on peut parler du birapport de 4 réels a, b, c, et d : [a, b, c, d] =
b c
a c−− :
b d
a d−− . 5) Le birapport de 4 réels est invariant par toute transformation homographique x’ =
s rx
q px++ (ps − qr ≠ 0). Cela peut se vérifier directement, ou cela résulte de ce qu’il est invariant par x → x + h, x → kx (k ≠ 0) et x → 1/x ; or toute homographie est composée de telles transformations.
Définition 2 : On dit que (A, B, C, D) est une division harmonique si [A, B, C, D] = −1.
On dit aussi que A et B sont conjugués harmoniques par rapport à C et D. Alors C et D sont conjugués par rapport à A et B.
Proposition 1 : Soient A, B, C, D quatre points distincts et alignés sur une droite ∆, A’, B’, C’ et D’
quatre points distincts et alignés sur une droite ∆’.
Si les droites AA’, BB’, CC’ et DD’ sont parallèles, les birapports sont égaux : [A, B, C, D] = [A’, B’, C’, D’] .
Preuve : C’est une conséquence immédiate du théorème de Thalès : CB CA =
' '
' '
B C
A C et
DB DA =
' '
' '
B D
A D . Proposition 2 : Soient A, B, C, D quatre points distincts et alignés sur une droite ∆, A’, B’, C’ et D’
quatre points distincts et alignés sur une droite ∆’.
Si les droites AA’, BB’, CC’ et DD’ sont concourantes en O, les birapports sont égaux : [A, B, C, D] = [A’, B’, C’, D’] .
Preuve : La parallèle menée par le point B à la droite OA recoupe les droites OC et OD en E et F.
Par Thalès CB CA =
BE AO et
DB DA =
BF
AO ; il en résulte que [A, B, C, D] = BE BF .
De même, si l’on mène de B’ la parallèle à OA ; elle recoupe les droites OC et OD en E’ et F’, et : [A’, B’, C’, D’] =
' '
' '
E B
F B .
Comme les droites BEF et B’E’F’ sont parallèles, il découle de Thalès que : BE BF =
' '
' '
E B
F
B . Cqfd.
Autrement dit, le birapport est invariant, non seulement par toute projection affine appliquant ∆ sur
∆’, mais aussi par toute projection centrale appliquant ∆ sur ∆’ : c’est un invariant « perspectif » ou
« projectif ». Dans ce qui précède, on pressent déjà deux choses :
• les projections affines sont des projections centrales dont le centre est rejeté à l’infini dans une direction donnée.
• si l’on admet que la parallèle menée de B à OA recoupe celle-ci au « point à l’infini » ∞A de cette droite, alors [A, B, C, D] =
BE
BF signifie déjà [A, B, C, D] = [∞A, B, E, F], à condition d’étendre le birapport au cas où un point est rejeté à l’infini.
Avant de poursuivre, donnons une démonstration « cartésienne » de la proposition 2.
Choisissons un repère affine xOy d’origine O, tel que les droites OA, OB, OC et OD aient resp. pour équations y = ax , y = bx , y = cx , y = dx .2
2 Cela suppose la droite Oy distincte des quatre droites.
Coupons ces droites par une droite ∆ d’équation y = mx + p ; de ce fait, m ∉ {a, b, c, d}.
Les points d’intersection A, B, C, D ont pour abscisses : m a
−p , b m
−p , c m
−p , d m
−p . Comme le birapport de A, B, C, D est égal à celui de leur projections A1, B1, C1, D1 sur Ox, [A, B, C, D] = [A1, B1, C1, D1] =
[
m a
−p , b m
−p , c m
−p , d m
−p
]
=[
a, b, c, d]
. en vertu de l’invariance du birapport par l’homographie x →m x
p
− .
Il résulte de ces calculs que [A, B, C, D] = [A’, B’, C’, D’] : ce réel, indépendant des sécantes ∆ et
∆’, est le birapport des pentes de ces quatre droites dans n’importe quel repère. Il est appelé rapport anharmonique ou birapport du faisceau des quatre droites [OA, OB, OC, OD], que l’on note aussi [O ; ABCD] ; notion également définie, bien entendu, lorsque les droites sont parallèles.
On peut se demander si les propositions 1 et 2 admettent des réciproques : si les points A, B, C, D et A’, B’, C’ et D’ sont alignés sur des droites distinctes et ont même birapport, les droites AA’, BB’, CC’ et DD’ sont-elles concourantes ou parallèles ? Il n’en est rien, car, quels que soient les points A, B, C, A’, B’ et C’, on peut trouver D et D’ tels que [A, B, C, D] = [A’, B’, C’, D’].
Mais on va voir que cela est vrai si D = D’.
Proposition 3 : Soient A, B, C, A’, B’, C’ six points distincts, ABC situés sur une droite ∆, A’B’C’
situés sur une autre droite ∆’.
− Si ∆ et ∆’ sont concourantes en M, les droites AA’, BB’ et CC’ sont concourantes ou parallèles si et seulement si les birapports suivants sont égaux : [M, A, B, C] = [M, A’, B’, C’].
− Si ∆ et ∆’ sont parallèles, les droites AA’, BB’ et CC’ sont concourantes ou parallèles si et seulement si
CB CA =
' '
' '
B C
A C .
Preuve : La seconde assertion est laissée au lecteur ; montrons la première.
Si AA’, BB’ et CC’ sont parallèles, on a : [M, A, B, C] = [M, A’, B’, C’]
en vertu de la prop. 1.
Si AA’, BB’ et CC’ sont concourantes en O, [M, A, B, C] = [M, A’, B’, C’]
en vertu de la prop. 2.
Démontrons la réciproque par coïncidence : supposons [M, A, B, C] = [M, A’, B’, C’].
Si AA’ // BB’, la parallèle menée de C recoupe ∆ en C’’. On a [M, A, B, C] = [M, A’, B’, C’’], donc [M, A’, B’, C’] = [M, A’, B’, C’’] :
on en déduit C’ = C’’, donc CC’ // AA’ // BB’.
Si AA’ et BB’ se coupent en O, la droite OC recoupe ∆ en C’’. On a [M, A, B, C] = [M, A’, B’, C’’], donc [M, A’,B’, C’] = [M, A’, B’, C’’] : on en déduit C’ = C’’, donc les 3 droites sont concourantes.
Proposition 4 : Soient (D1, D2, D3, D4) et (D’1, D’2, D’3, D’4) deux faisceaux de quatre droites. Si ces deux faisceaux ont même birapport, et si les droites D1 et D’1 sont confondues, alors les points d’intersection D2 ∩ D’2, D3 ∩ D’3 et D4 ∩ D’4 sont
alignés.
Preuve : Notons O et O’ les sommets resp. des deux faisceaux, et
B = D2∩D’2 , C = D3∩D’3 et D = D4∩D’4 .
La droite BC coupe OO’ = D1 = D’1 en A, D4 en M et D’4 en M’. Si l’on établit que M = M’, alors B, C et D seront alignés. On a
[A, B, C, M] = [O ; ABCM]
= [D1, D2, D3, D4] = [D’1, D’2, D’3, D’4] = [O’ ; ABCM’] = [A, B, C, M’], donc M = M’.
1.2. Les théorèmes de Pappus.
Théorème 1 : Soient ∆ et ∆’ deux droites distinctes, A, B, C trois points de ∆, A’, B’, C’ trois points de ∆’. Alors BC’ // CB’ et CA’ // AC’ ⇒ AB’ // BA’.
Preuve : Si les droites ∆ et ∆’ sont parallèles, BC = C'B' et CA = A'C ⇒ BA = A'B'. Si elles se coupent en O, par Thalès,
OC OB =
' ' OC OB et
OA OC =
' ' OA OC , etc.
Théorème 2 : Soient ∆ et ∆’ deux droites distinctes, A, B, C trois points de ∆, A’, B’, C’ trois points de ∆’. On note (BC’) ∩ (CB’) = α , (CA’) ∩ (AC’) = β et (AB’) ∩ (BA’) = γ.
Alors ces trois points sont alignés au sens suivant : • si ces trois points existent, ils sont alignés ;
• si 2 seulement existent, la droite qui les joint et les 2 droites définissant le 3ème sont parallèles ; • si aucun point n’existe, on est dans la situation du théorème 1.
Preuve : Traitons le 1er cas, et laissons le 2ème en exercice.
Notons G l’intersection des droites BC’ et CA’, et H l’intersection des droites AC’ et BA’.
On a l’égalité des birapports : [C’ ; B’A’BC’] = [A ; B’A’BC’] . La droite BC’ coupe le faisceau (C ; B’A’BC’) aux points α, G, B, C’.
La droite BA’ coupe le faisceau (A ; B’A’BC’) aux points γ, A’, B, H .
Comme les deux faisceaux ont même birapport, on a [α, G, B, C’] = [γ, A’, B, H] . On a deux séries rectilignes de 4 points de même birapport, ayant un point commun, B.
Il résulte de la prop 3 du § 1.1. que les droites αγ, GA’ et C’H sont concourantes. Or GA’ et C’H se coupent en β. Donc β est sur la droite αγ, et les points α, β et γ sont alignés.
Remarque : Le 2ème théorème généralise le premier. Si l’on admet que deux droites parallèles se coupent à l’infini, il se formule de manière plus simple. Mais il faut alors se placer dans le plan projectif, et non plus affine. Nous verrons en 1.5. et en 7 comment déduire le th 2 du th 1.
Application : Soient ∆ et ∆’ deux droites distinctes, A, B, C, D quatre points distincts de ∆, A’, B’, C’ trois points distincts de ∆’. Construire le point D’sur ∆’ tel que [A, B, C, D] = [A’, B’, C’, D’].
Remarque : La fractale de Pappus (1993)… ou comment faire du neuf avec du vieux…
Le théorème de Pappus associe à deux triplets de points alignés (A, B, C) et (A’, B’, C’) un troisième triplet (α, β, γ). A partir des deux paires de triplets ainsi formées, le même procédé crée deux autres triplets. L’ensemble obtenu après itérations est fractal et a une structure de groupe modulaire.
1.3. Les théorèmes des triangles perspectifs de Desargues.
Théorème 1 : Soient ABC et A’B’C’ deux triangles sans sommet commun. Si AB//A’B’, BC//B’C’
et CA//C’A’, alors les droites AA’, BB’ et CC’ sont concourantes ou parallèles.
Preuve : Comme AB // A’B’, on a, soit AA’ // BB’, soit AA’ ∩ BB’ = O.
Dans ce dernier cas, soit f l’homothétie de centre O telle que f(A) = A’, et f(B) = B’.
Posant f(C) = C’’, il vient B’C’ // BC // B’C’’ et A’C’ // AC // A’C’’ ; on en déduit C’ = C’’.
Dans le premier cas, soit f la translation telle que f(A) = A’, f(B) = B’. Poser f(C) = C’’, etc.
Applications :
1) Deux droites, tracées sur une feuille de papier, ne se rencontrent pas dans la feuille. Soit M un point de la feuille. Comment tracer, avec la règle seule, la droite qui joint M au point d’intersection des deux droites ?
2) Tracer, avec le seul usage d’une règle trop courte, le segment joignant deux points d’une feuille de papier.
Théorème 2 : Soient ABC et A’B’C’ deux triangles, α l’intersection des droites BC et B’C’, β l’intersection des droites CA et C’A’, γ l’intersection des droites AB et A’B’.
i) Si les droites AA’, BB’, CC’ sont concourantes, les points α, β et γ sont alignés ;
ii) Réciproquement, si α, β et γ sont alignés, les droites AA’, BB’ et CC’ sont concourantes.
Preuve : i) Supposons les droites AA’, BB’, CC’ et DD’ concourantes en O (S sur la figure).
Les droites AB et A’B’ recoupent la droite OCC’ en D et D’ resp.
En vertu de la prop. 2 de 1.1., on a [A, B, γ, D] = [A’, B’, γ, D’] , Et, par suite, [C ; A B γ D] = [C’ ; A’ B’ γ D’].
Ces deux faisceaux ont même birapport et deux rayons homologues confondus, à savoir, CD et C’D’.
En vertu de la prop 4 du § 1.1. les points d’intersection des autres rayons homologues sont alignés : Ce sont α, β et γ.
ii) Supposons maintenant les points α, β et γ alignés. Soit E le point d’intersection de cette droite avec la droite CC’. Nous avons [C ; αβγ E] = [C’ ; αβγ E].
Coupons le premier faisceau par la droite AB, et le second par la droite A’B’.
Nous obtenons [B, A, γ, D] = [B’, A’, γ, D’].
Voilà deux séries rectilignes de quatre points qui ont même birapport et deux points homologues confondus au point γ. En vertu de la prop. 3 du § 1.1., les droites BB’, AA’ et DD’ sont concou- rantes ; or DD’ = CC’. Cqfd.
Remarque : Le théorème 1 est un cas particulier, et un cas limite du théorème 2. La géométrie projective les unifie. En 1.5. et en 8, nous verrons comment déduire le théorème 2 du théorème 1.
1.4. Le théorème de l’hexagone de Pascal.
Ce célèbre théorème fut démontré par Pascal à l’âge de seize ans, en 1639. On ignore sa méthode de démonstration.
Proposition : Soit Γ un cercle, A, B, C et D quatre points distincts de Γ. Si M est un point du cercle, le birapport des quatre droites [M ; ABCD] est indépendant du point M, et appelé birapport des quatre points A, B, C, D.
Preuve : Si M et M’ sont deux points du cercle, les faisceaux de droites (MA, MB, MC, MD) et (M’A, M’B, M’C, M’D) sont isométriques en vertu des propriétés des angles inscrits.
Théorème : Soit ABCDEF un hexagone inscrit dans un cercle Γ. Si les côtés opposés (AB) et (DE), (BC) et (EF), (DC) et (AF) se recoupent respectivement en α, β et γ, les trois points α, β, et γ sont alignés.
Preuve : Nous dirons que les sommets A, B, C, D, E, F et A sont consécutifs et que les sommets A et D, B et E, C et F sont opposés, quels que soit leur disposition sur le cercle.
Choisissons deux sommets qui ne soient ni opposés, ni consécutifs, par exemple B et F.
Joignons chacun de ces points aux quatre autres sommets de l’hexagone.
On obtient ainsi deux faisceaux de même birapport :
[B.ACDE] = [F.ACDE] (prop. précédente).
La droite DE coupe le faisceau (B, ACDE) aux points α, G, D, E. La droite CD coupe le faisceau (F, ACDE) aux points γ, C, D, H.
Comme les deux faisceaux ont même birapport, on a [α, G, D, E] = [γ, C, D, H].
On a deux séries rectilignes de 4 points de même birapport, ayant un point commun, D.
Il résulte de la prop 3 du § 1.1. que les droites αγ, GC et EH sont concourantes. Or GC et EH sont les côtés BC et EF de l’hexagone : ils se coupent en β.
Conclusion : β est sur la droite αγ, et les points α, β et γ sont alignés.
1.5. Perspective ou projection conique. 3
Dans l’espace affine E de dimension 3, donnons-nous un point O et un plan P ne passant pas par O.
3 Desargues voyait le monde conique.
A tout point M de l’espace associons l’intersection M’ de la droite OM avec le plan P. L’application M → M’ est appelée projection conique ou projection perspective de sommet O. L’image d’une figure F par cette projection est appelée son image perspective.
La projection conique n’est définie que sur E− P0, où P0 est le plan parallèle mené de O à P. Son image est le plan P. Tout point M’ est projection d’une infinité de points, tous situés sur la projetante OM’.
Lorsque le point O est rejeté à l’infini dans la direction d’une droite D coupant P, on obtient la projection affine usuelle sur P parallèlement à D.
On appelle propriété projective d’une figure une propriété qui se conserve par projection affine ou par projection conique, et géométrie projective une géométrie dans laquelle les propriétés sont établies par des considérations de projection affine ou conique.
Ainsi, on a vu en 1.1. que le birapport de quatre points alignés est invariant par projection affine et conique : c’est un invariant projectif.
Montrons comment déduire le 2ème théorème de Pappus du 1er, par une ingénieuse technique de perspective. On a besoin pour cela d’une propriété de ladite perspective :
Lemme : Soient D et D’ deux droites non parallèles à P0. Pour que D et D’ se coupent en un point de P0, il faut et il suffit que leurs projections perspectives dans P soient parallèles.
Preuve : Supposons que la droite D coupe P0 en I, et P en A.
Complétons OIA en un parallélogramme OIAF. L’image de D est la droite AF privée du point F, appelé point de fuite.
Si D’ coupe P0 en I, et P en A’, l’image de D’ est la droite A’F’, où OIA’F’ est un parallélogramme privée du point F’.
Comme AF = A'F' , les images sont parallèles.
Réciproque facile.
Revenons au 2ème théorème de Pappus. Supposons (BC’)∩(CB’) = α et (AC’)∩(CA’) = β distincts.
Soit P0 un plan coupant le plan de la figure le long de la droite (αβ), et O un point de ce plan, non situé sur la droite (αβ). Soit P un plan parallèle à P0. En vertu du lemme ci-dessus, les images perspectives A1, B1, C1, A’1, B’1, C’1 de A, B, C, A’, B’, C’ obéissent au 1er théorème de Pappus.
Donc A1B’1 // B1A’1, et, en vertu du même lemme, le point γ appartient au plan P0 ainsi qu’au plan de la figure, donc à la droite (αβ).
La même méthode permettrait de déduire le second théorème de Desargues du premier.
Un autre bel exemple de méthodes projectives est donné par le théorème de Pascal général : Soit ABCDEF un hexagone inscrit dans une conique Γ. Si les côtés opposés (AB) et (DE), (BC) et (EF), (DC) et (AF) se recoupent respectivement en α, β et γ, les trois points α β et γ sont alignés.
Si la conique est formée de deux droites sécantes ou parallèles, on retrouve le théorème de Pappus. Si c’est une ellipse, comme toute ellipse est projection affine d’un cercle, la figure formée par l’hexagone ABCDEF, ses côtés opposés et les points α, β et γ est la projection affine de la figure correspondante pour le cercle. L’alignement de trois points se conserve par projection affine. Si c’est une hyperbole ou une parabole, elle est l’image perspective d’un cercle, en vertu du théorème d’Apollonios-Dandelin. La figure formée par l’hexagone ABCDEF, ses côtés opposés et les points α β et γ est l’image perspective de la figure correspondante pour le cercle. Or l’alignement de trois points se conserve par projection conique.
1.6. En guise de conclusion.
Les exemples traités ci-dessus montrent les limites de la géométrie affine : dans le plan affine, deux droites peuvent être sécantes ou parallèles, ce qui oblige à distinguer plusieurs cas. Nous aimerions créer une géométrie plane où deux droites distinctes se coupent toujours en un point, une géométrie dans l’espace où deux plans distincts se coupent toujours selon une droite. Dans une telle géométrie, les points à l’infini seraient des points comme les autres. De plus, nous aimerions que cette géométrie soit bien adaptée à l’étude des propriétés « projectives » des figures, c’est-à-dire des propriétés invariantes non seulement par projections affines mais aussi par projections centrales : c’est précisément la géométrie projective de Desargues et Poncelet.
Posons notre verre et mettons-nous au travail !
Dans tout ce chapitre, K désigne un corps commutatif.
2. Espaces projectifs.
Il existe une théorie axiomatique intrinsèque de la géométrie projective. On la trouvera exposée dans Efimov par exemple. Cependant, il est plus efficace de fonder cette géométrie sur les axiomes et les propriétés des espaces vectoriels.
2.1. Définitions.
Définition 1 : Soit E un K-espace vectoriel. On appelle espace projectif déduit de E, et on note P
P P
P = P(E), le quotient de l’ensemble E−{0} des vecteurs non nuls de E par la relation d’équivalence : x RR RRy ⇔ ∃λ ∈ K* y = λx .
Une classe d’équivalence, élément de P(E), est appelé un point de P(E).
On note p : E−{0} → P(E) la surjection canonique qui à x associe sa classe.
Un espace projectif est, par définition, un PPPP = P(E).
Définition 2 : Si E est de dimension finie n, la dimension de P(E) est, par définition, n – 1.
Nous allons justifier cette définition dans la suite.
Exemples :
1) Espace vide. Si E = {0}, dim E = 0, P(E) = ∅, dim P(E) = −1.
2) Points projectifs. Si E est une droite, P(E) n’a qu’un point ; dim P(E) = 0.
3) Droites projectives. Si dim E = 2, dim P(E) = 1 : P(E) est une « droite projective ».
4) Plans projectifs. Si dim E = 3, dim P(E) = 2 : P(E) est un « plan projectif ».
5) Pour tout n ≥ 1, on pose Pn(K) = P(Kn+1) : c’est l’espace projectif standard de dimension n.
Exercice : Soient K un corps fini à q éléments, PPPP un K-espace projectif de dimension n.
Montrer que card PPPP = 1
1
1
−
−
+
q qn
. Par exemple,
− une droite affine sur F2 a deux points, une droite projective sur F2 a trois points.
− un plan affine sur F2 a 4 points, un plan projectif sur F2 a 7 points (voir l’annexe 1).
Deux problèmes se posent : Comment visualiser un espace projectif ? Comment calculer dans un espace projectif ? Commençons par ce dernier point.
2.2. Coordonnées homogènes.
Les coordonnées homogènes ont été introduites par Feuerbach, Möbius, Plücker et Cayley, afin de pouvoir suivre de près les raisonnements géométriques.
Définition 2 : Soint E un K-espace vectoriel de dimension n+1, BBBB = (e1, e2, …, en+1) une base de E.
Tout vecteur x non nul s’écrit x =
∑
+= 1
1
.
n
i i i e
x , où (x1, x2, …, xn+1) est un (n+1)-uplet de scalaires non tous nuls. (x1, x2, …, xn+1) est appelé un système de coordonnées homogènes du point m = p(x), par rapport à la base de E considérée.
Dans la droite projective, on note (x, t) un système de coordonnées homogènes d’un point m.
Dans le plan projectif, on note (x, y, t) un système de coordonnées homogènes de m.
Dans l’espace projectif usuel, on note (x, y, z, t) un tel système.
Proposition 1 : Soient m et m’ deux points de P(E) de coordonnées homogènes respectives (x1, x2,
…, xn+1) et (x’1, x’2, …, x’n+1). Alors m = m’ ⇔ ∃λ∈ K* ∀i x’i = λ.x i . Exemples :
1) Soient P(E) une droite projective, B = (e1, e2) une base de E.
Tout point m a pour système de coordonnées homogènes, soit (x, 1) où x ∈ K, soit (1, 0).
Ces systèmes sont alors uniques. De sorte que P(E) s’identifie à ΚΚΚΚ^ = K ∪ {∞}, où ∞ représente la droite horizontale t = 0, ou encore le point à l’infini dans la direction K.e1.
Mais l’identification P(E) ≈ΚΚΚΚ ainsi obtenue est liée à la base choisie. Nous reviendrons sur ceci dans les § 5 et 7.
2) Soient P(E) un plan projectif, B = (e1, e2, e3) une base de E.
Tout point m a pour système de coordonnées homogènes, soit (x, y, 1) où (x, y) ∈ K2, soit (x, 1, 0) où x ∈ K, soit (1, 0, 0). Ces systèmes sont alors uniques.
De sorte que P(E) s’identifie à la réunion d’un plan affine et d’une droite projective, la « droite de l’infini » dans la direction du plan horizontal t = 0.
Tout cela n’est qu’une mise en œuvre des idées du § 1.2.2., et sera repris dans le § 7.
2.3. Représentations d’un espace projectif.
Comment faire de la géométrie, sans « voir » l’espace dans lequel on travaille ? C’est impératif. Il est assez aisé de « voir » un plan affine réel : c’est une feuille de papier prolongée à l’infini. En revanche, il est impossible de « voir » un plan projectif réel. Essayons, cependant !
1) Droites projectives. Une droite affine peut être visualisée par un fragment d’une ligne droite sans commencement ni fin4. On peut voir une droite projective comme une droite affine complétée par un point à l’infini, c’est-à-dire comme un cercle.
2) L’espace projectif P(E) est en bijection naturelle avec D(E), ensemble des droites vectorielles de E. Vu ainsi, une droite projective est l’ensemble des droites d’un plan vectoriel, un plan projectif est l’ensemble des droites d’un espace vectoriel de dimension 3, etc.
3) On peut représenter P(E) au moyen d’un « ciel » de E. On nomme ainsi une partie de E−{0}
contenant un point et un seul sur chaque droite vectorielle.
4) Soient H un hyperplan de E, H’ un hyperplan affine de E parallèle à H. Toute droite de E non contenue dans H coupe H’ en un point unique. Il y a donc une bijection naturelle de P(E)−P(H) sur H’. Quitte à perdre les points de P(H), on peut donc représenter P(E) par un espace affine. Si E est de dimension n+1, P(E) et H’ sont de dimension n. Au fond, P(E) s’obtient à partir de H’ en lui adjoignant des « points à l’infini » dans la direction de H : on dit qu’on a pris H pour hyperplan à l’infini de P(E). Nous reviendrons sur cette idée en 6.
5) Supposons E de dimension finie sur R, et munissons-le d’une norme ||x||, par exemple euclidienne. Toute droite perce la sphère unité S en deux points. P(E) est alors le quotient de S par la relation y = ±x.
2.4. Topologie de l’espace projectif. 5
Les espaces projectifs réels et complexes de dimension finie contiennent des points à l’infini…
mais ils sont compacts, donc bornés ! Ce paradoxe a déjà été rencontré dans le chapitre sur les espaces métriques, quand nous avons noté qu’un compactifié du plan est la sphère de Riemann. La situation est ici la même : un espace projectif P(E) de dimension n est un « compactifié » de l’espace affine de même dimension. Mais cette compactification est plus compliquée.
Soient K = R ou C, E un K-espace vectoriel de dimension n+1. Munissons E d’une norme euclidienne ou hermitienne ||x|| et munissons L(E) de la norme |||u||| subordonnée ou de la norme de Frobenius ||u|| = tr(u*.u), qui est euclidienne ou hermitienne.
Proposition 1 : Pour l’une quelconque des deux normes, l’ensemble P des orthoprojecteurs de E est compact et admet n + 2 composantes connexes par arcs, à savoir les Pr = {p ∈ P ; rg p = r}, avec 0 ≤ r ≤ n+1, qui sont compactes.
À tout sous-espace vectoriel F, associons l’orthoprojecteur pF sur F.
Proposition 2 : Soit G l’ensemble des sous-espaces vectoriels de E (ou grassmannienne).
Pour F et G ∈G, on pose : d(F, G) = ||| p
F− p
G ||| et δ(F, G) = || p
F− p
G||.
d et δ sont des distances sur G, équivalentes. Si l’on munit G de la topologie associée, G est compact ; et a pour composantes connexes par arcs les Gr = { F ∈ G ; dim F = r }, 0 ≤ r ≤ n+1, qui sont compactes. En particulier, l’ensemble D = G
1 des droites de E est un espace compact et connexe par arcs. Or cet espace n’est autre que P(E).
4 L’Œuvre plastique du Professeur Froeppel, de Jean Tardieu, propose dix savoureuses variations sur ce thème.
5 Ce paragraphe est à réserver à une seconde lecture.
Proposition 3 : On suppose ici K = R. Soient a et b deux points de P(E), c’est à dire deux droites de E, faisant entre elles un angle α∈
[
0,2
π ]
. Alors d(a, b) = sin α et δ(a, b) = 2sin α.C’est tout à fait logique ! Une droite tend vers une autre si l’angle qu’elle fait tend vers 0.
Un résultat analogue existe si K = C, mais il faudrait y voir de plus près : une droite complexe est un plan vectoriel réel ; les droites complexes sont une partie fermée et connexe par arcs de G
2(E(R)).
Les résultats précédents sont loin d’épuiser le sujet : l’espace projectif est non seulement un espace topologique, mais une variété différentielle. Dans l’annexe 2, nous montrerons que le plan projectif réel est impossible à visualiser sans un peu d’imagination.
3. Sous-espaces projectifs.
3.1. Sous-espaces projectifs.
Définition 1 : Soit F un sous-espace vectoriel de E. L’image par p de F−{0} est appelée variété linéaire projective, ou sous-espace projectif, de P(E), associé à F.
Proposition 1 : Le sous-espace projectif associé à F n’est autre que l’espace projectif P(F) déduit de (ou associé à) F.
Preuve : En effet p(F−{0}) est l’ensemble des droites de F.
L’application F ∈ V(E) → P(F) ∈ V(P(E)) est une bijection, croissante pour l’inclusion, de l’ensemble des sous-espaces vectoriels de E sur l’ensemble des sous-espaces projectifs de P(E).
Proposition 2 : L’intersection d’une famille quelconque de sous-espaces projectifs en est un, il est associée à l’intersection des sous-espaces vectoriels associés. Autrement dit
I
I i
Fi
P
∈
)
( = P(
I
I i
Fi
∈
) . Corollaire : Soit X une partie de P(E). Il existe un plus petit sous-espace projectif contenant X, c’est l’intersection de toutes les sous-espaces projectifs contenant X ; c’est aussi l’espace projectif associé à Vect(p−1(X)). On l’appelle sous-espace projectif engendré par X et on le note < X >.
Proposition 3 : Soient mi = p(xi) (1 ≤ i ≤ k+1) k+1 points de P(E). Le sous-espace projectif qu’ils engendrent est P(F), où F = Vect(xi). Il a pour dimension dim P(F) = rang(x1, …, xk+1) – 1.
Equations d’un sous-espace projectif.
Rapportons E à une base B = (e1, e2, …, en+1). Tout vecteur x non nul s’écrit x =
∑
+= 1
1
.
n
i i i e x . 1) Soit H un hyperplan de E, d’équation α1.x1 + … + αn+1.xn+1 = 0.
P(H) est l’ensemble des points m dont un système de coordonnées homogènes vérifie cette équation.
Par exemple, dans l’espace projectif de dimension 3, une droite a pour équation αx + βy + γt = 0.
L’introduction de la coordonnée homogène supplémentaire t permet d’unifier les droites y = αx + γ et x = γ de la géométrie affine.
2) Tout sous-espace F de dimension k+1 de E est intersection de k+1 hyperplans associés à des formes linéaires indépendantes. P(F) est défini par ces mêmes équations.
3.2. Points projectivement indépendants.
Définition 2 : Les points mi = p(xi) (1 ≤ i ≤ k+1) sont dits projectivement indépendants, ou forment une partie projectivement libre si le sous-espace projectif P(F) qu’il engendrent est de dimension k, autrement dit si les vecteurs (xi)1≤i≤k+1 sont libres. Ils sont dits projectivement liés dans le cas contraire.
Exemples :
1) Un seul point est toujours projectivement indépendant.
2) Deux points sont projectivement indépendants ss’ils sont distincts. Par deux points distincts passe une droite et une seule. La droite passant par a et b est notée < a, b > ou (ab).
3) Trois points a, b, c sont projectivement indépendants s’ils sont distincts et si chacun n’appartient pas à la droite passant par les deux autres : a∉< b, c > , b∉< c, a > , c∉< a, b >. Ils définissent alors un plan unique < a, b, c >.
Proposition 4 : Les points mi = p(xi) (1 ≤ i ≤ k+1) sont projectivement indépendants ssi, pour tout i, mi n’appartient pas à < m1 , … , mi−1 , mi+1 , … , mk+1 > .
Proposition 5 : Soient P(E) un espace projectif de dimension n, mj = p(xj), 1 ≤ j ≤ k+1, k+1 points de P(E), et, pour chaque j, soit (ξ1,j , ξ2,j , …, ξn+1,j) un système de coordonnées homogènes de xj relativement à une base B = (e1, e2, …, en+1) de E. Les points mj sont projectivement indépendants ssi la matrice M =
+ + +
+ 1 , 1 1 , 1
1 , 1 11
... ...
...
...
...
,
k n n
k
ξ ξ
ξ
ξ
∈ MK(n+1, k+1) est de rang k+1.Rappelons que cette matrice est définie à multiplication près des colonnes par des scalaires non nuls.
Proposition 6 : Soient P(F) et P(G) deux variétés linéaires projectives de P(E).
a) La plus petite variété qui les contient est < P(F) ∪ P(G) > = P(F + G).
b) Si F et G sont de dimension finie, dim P(F) + dim P(G) = dim P(F + G) + dim P(F) ∩ P(G).
Preuve : a) est facile. b) découle de la formule de Grassmann : dim P(F) + dim P(G) = dim F + dim G – 2
= dim(F + G) + dim(F∩G) – 2 = dim P(F + G) + dim P(F ∩ G).
Corollaire : Si P(E) est de dimension n, et si dim P(F) + dim P(G) ≥ n, alors P(F) ∩ P(G) ≠ ∅.
En effet, dim P(F + G) + dim P(F) ∩ P(G) ≥ n implique dim P(F) ∩ P(G) ≥ 0.
Conséquences :
− Dans le plan projectif, deux droites distinctes se coupent toujours en un point.
− Dans l’espace projectif usuel (de dim. 3), une droite est, soit contenue dans un plan, soit le coupe toujours en un point unique.
− Plus généralement, dans un espace projectif de dimension n, une droite est, soit contenue dans un hyperplan, soit le coupe en un point et un seul.
Corollaire : Si P(E) est de dimension n, n hyperplans de P(E) ont toujours au moins un point commun.
Ce sont ces corollaires qui montrent la supériorité de la géométrie projective sur la géométrie affine : en géométrie projective, la notion de droites parallèles, de sous-espaces parallèles, n’existe pas.
Equations de sous-espaces projectifs.
− Dans le plan projectif, la droite joignant les points distincts M1(x1, y1 ,t1) et M2(x2, y2,t2) a pour
équation :
2 1
2 1
2 1
t t t
y y y
x x x
= 0. On en déduit une cns d’alignement de trois points Mi(xi, yi) (1 ≤ i ≤ 3).
− Dans l’espace projectif de dim 3, l’équation du plan passant par trois points non alignés Mi(xi,
yi, zi) (1 ≤ i ≤ 3) s’écrit de même
4 2 1
3 2 1
3 2 1
3 2 1
t t t t
z z z z
y y y y
x x x x
= 0.
On en déduit une cns de coplanarité de quatre points Mi(xi, yi, zi) (1 ≤ i ≤ 4).
3.3. Repères projectifs.
Un K-espace vectoriel de dimension n se repère avec une base, c’est-à-dire un n-uplet de vecteurs.
Un K-espace affine de dimension n se repère avec un repère affine, c’est-à-dire un (n+1)-uplet de points affinement indépendants. Nous allons voir qu’il faut n+2 points pour repérer un espace projectif de dimension n.
Définition 3 : Soit P(E) un espace projectif de dimension n. On appelle repère projectif de P(E) tout (n+2)-uplet de points de P(E) tel que tout sous-ensemble de (n+1) points soit projectivement libre.
Soit (m0, m1, …, mn+1) un tel (n + 2)-uplet. On pose mi = p(ei).
Les n+1 vecteurs (e1, e2, …, en+1) forment une base B de E.
Dans cette base, e0 = λ1.e1 + ... + λn+1.en+1.
Aucun des λi n’est nul, sinon (n+1) points mi seraient liés.
Quitte à remplacer ei par λi.ei, on peut supposer mi = p(ei) et e0 = e1 + ... + en+1.
Au fond, un repère projectif est un (n+2)-uplet (m0, m1, …, mn+1) admettant pour coordonnées
projectives (en colonne) :
1 ...
0 0 1
...
...
...
...
...
0 ...
0 0 1
0 ...
1 0 1
0 ...
0 1 1
. m0 est appelé point unitaire du repère.
Proposition 7 : Un repère projectif de P(E) est un (n+2)-uplet (m0, m1, …, mn+1) tel qu’il existe une base (e1, …, en+1) de E vérifiant mi = p(ei) et m0 = p(e1 + ... + en+1). Si (e’1, …, e’n+1) est une autre base vérifiant ces conditions, alors ∃λ∈ K* ∀i ∈ {1, 2, …, n+1} e’i = λ.e i .
Preuve : La première assertion a été établie ci-dessus. Montrons la seconde par le calcul.
Si mi = p(ei) = p(e’i) , on a déjà e’i = λi.ei .
Et m0 = p(e1 + ... + en+1) = p(e’1 + ... + e’n+1) implique l’égalité des λi. cqfd.
4. Constructions à la règle seule.
4.1. Introduction.
Un point du plan est constructible à la règle à partir d’une famille donnée F de points s’il existe une suite finie M1, M2, …, Mn = M de points telle que, pour tout i ∈ [1, n], Mi est élément de F ou est point d’intersection de deux droites distinctes passant par des points de Ei−1 = {M1, M2, …, Mi−1}.
Pour les constructions à la règle et au compas, on peut partir avec deux points de base ; ici, il est clair que quatre points non alignés au moins sont nécessaires.
D’autre part, si l’on peut effectuer une construction à la règle dans un plan P, on obtient une construction à la règle analogue dans un plan P’, si l’on effectue une projection centrale de centre S de P sur P’. Cela met en évidence la nature projective du problème. En particulier, on ne pourra construire à la règle seule le milieu d’un segment, ni de mener par un point la parallèle à une droite donnée, car les notions de milieu et de parallèle sont affines et non projectives.
4.2. Caractérisation des points constructibles.
Plaçons-nous donc dans le plan projectif réel, rapporté à un repère projectif (O, A, B, C).
Chaque point M a pour système de coordonnées homogènes (x, y, t).
Ici, l’on a O(1, 0, 0) , A(0, 1, 0) , B(0, 1, 0) , C(1, 1, 1).
La droite OA a pour équation : y = 0 ; OB : x = 0 ; OC : x = y ; AB : t = 0 ; AC : y = t ; BC : x = t.
Définition : Un point M du plan projectif sera dit constructible à la règle seule à partir des points O, A, B, C, s’il existe une suite finie O, A, B, C, M1, M2, …, Mn = M de points telle que, pour tout i
∈[1, n], Mi est point d’intersection de deux droites distinctes passant par des points de Ei-1 = {O, A, B, C, M1, M2, …, Mi−1}.
Naturellement, les « règles » sont ici supposées de longueur infinie.
Théorème : Pour qu’un point M soit constructible à la règle seule à partir de {O, A, B, C}, il faut et il suffit qu’il admette un système de coordonnées homogènes (x, y, t) formé de nombres rationnels.
Preuve : La condition est nécessaire. Cela se montre aisément par récurrence sur n, car si O, A, B, C, M1, M2, …, Mn-1 admettent des coordonnées homogènes rationnelles, Mn aussi.
Montrons qu’elle est suffisante.
O, A, B et C jouant le même rôle, il est clair que si M(x, y, t) est constructible, chacun des six points M’(y, x, t) obtenus en permutant les coordonnées l’est aussi.
Notons K = {x ∈ R ; M(x, 0, 1) est constructible à la règle seule}
= {y ∈ R ; M(0, y, 1) est constructible à la règle seule}
K correspond aux points constructibles situés sur la droite OA, ou sur la droite OB.
Lemme 1 : M(x, y, 1) est constructible ⇔ x et y sont éléments de K.
Preuve : En effet x et y ∈ K ⇒ P(x, 0, 1) et Q(0, y, 1) constructibles ⇒ (BP) ∩ (AQ) = M(x, y, 1) est constructible. Réciproque à l’avenant.
Notons H = (OC) ∩ (AB) ; on a aussitôt H(1,1,0).
Lemme 2 : K est un sous-corps de R.
Preuve : K contient 0 et 1.
• Montrons que x ∈ K ⇒−x ∈ K.
En effet (MH) ∩ (OB) = N(0, −x, 1) ; (OC) ∩ (AN) = Q(−x, −x, 1) ; (BQ) ∩ (OA) = R(−x, 0, 1).
• Montrons que x et y ∈ K ⇒ x + y ∈ K.
En effet soient M(x, 0, 1) et N(y, 0, 1).
On a (BM) ∩ (OC) = Q(x, x, 1) ; (AQ) ∩ (HN) = R(y − x, −x, 1) ; (BR) ∩ (OA) = S(x + y, 0, 1).
• Montrons que x et y ∈ K ⇒ x.y ∈ K.
En effet soient M(x, 0, 1) et Q(0, y, 1).
∩∩
• Montrons enfin que x ∈ K−{0} ⇒ 1/x ∈ K.
Soit M(x, 0, 1). On a
(AC) ∩ (OB) = Q(0, 1, 1) (AB) ∩ (MQ) = R(−x, 1, 0) (BC) ∩ (OA) = N(1, 0, 1) (OB) ∩ (NR) = S(0, 1/x, 1)
Concluons : en tant que sous-corps de R, K contient Q. Mais, en vertu de la condition nécessaire, K est inclus dans Q. Donc K = Q.
Du coup, si M(x, y, t) est constructible avec t ≠ 0, x/t et y/t sont rationnels et M(x/t, y/t, 1) a un système de coordonnées homogènes rationnelles. Idem si x ou y ≠ 0.
Remarque : On trouvera dans le livre de J.-C. Carrega (chap. VIII) une preuve plus géométrique (par envoi de points à l’infini) du lemme 2, ainsi que des compléments.
5. Applications linéaires projectives.
Soient E et E’ deux K-espaces vectoriels, f une application linéaire E → E’.
f est compatible avec les deux relations d’équivalence définissant P(E) et P(E’). Mais il y a un hic ! l’image f(E−{0}) n’est pas contenue dans E’−{0} en général. Si N est le noyau de f, on ne peut définir qu’une application P(E)−P(N) → P(E’). L’application x ∈ E−N → f(x) ∈ E’−{0} définit, par passage au quotient, une application, notée P(f) ou f : P(E)−P(N) → P(E’).
Le sous-espace P(N) sur lequel f n’est pas définie est appelé le centre de P(f).
Définition 1 : Cette application, quoique non définie sur P(E), est appelée application projective, ou morphisme d’espaces projectifs de P(E) dans P(E’). Leur ensemble est noté
M
(P(E), P(E’)).Si f est un isomorphisme E → E’, f définit une vraie application P(E) → P(E’), appelée isomorphisme d’espaces projectifs, ou homographie. Leur ensemble est noté
H
(P(E), P(E’)), et appelé groupe projectif de P(E).Proposition 1 : Soient f et g ∈L(E, E’) . On a P(f) = P(g) ⇔ ∃λ∈ K* g = λf.
On peut traduire la proposition précédente par la bijection :
M
•(P(E), P(E’)) ≈ P(L(E, E’)) ,où
M
•(P(E), P(E’)) désigne l’ensembleM
(P(E), P(E’)) auquel on a ôté le morphisme banal associé à l’application nulle de E dans E’ : la seule à n’être définie nulle part dans P(E) !Proposition 2 : Soient f ∈L(E, E’) et g ∈L(E’, E’’). On a P(g o f) = P(g) o P(f).
Corollaire : Les homographies de P(E) forment un groupe pour la composition.
Ce groupe est noté PGL(E) et appelé groupe projectif de E.
On a l’isomorphisme de groupes PGL(E) = Gl(E)/(K*.IdE).
On note PGLn(K) le groupe projectif de Pn(K).
Exemple : Si K est un corps fini à q éléments, on trouve :
card PGLn(K) = qn.(qn+1 − 1).(qn+1 − q) ... (qn+1 − qn−1).
En particulier card PGL1(K) = q.(q2− 1) , card PGL2(K) = q2.(q3− 1).(q3− q) . Proposition 3 : Soient f ∈L(E, E’), et F un sous-espace vectoriel de E.
Soient f : P(E)−P(N) → P(E’) l’application projective, P(F) le sous-espace projectif de E associés.
L’image par f de P(F) – P(N) est P(f(F)). On la note par abus f (P(F)).
En dimension finie, on a dim f (P(F)) = dim P(F) − dim(P(F) ∩ P(N)) − 1.
Preuve : On a dim f(F) = dim E’ − dim(F ∩ N) Application à la perspective.
Proposition 4 : Soient H et H’ deux hyperplans de P(E), m un point de P(E) n’appartenant à aucun des deux. Pour tout point x ∈ H, la droite (mx) recoupe H’ en un point unique x’ = g(x).
→
Définition 2 : g est appelée perspective de centre m de H sur H’.
Homographies et repères projectifs.
Proposition 5 : L’image par une homographie d’un repère projectif de P(E) est un repère projectif.
De plus, si RRRR et RRRR’ sont deux repères projectifs de P(E), il existe une unique homographie appliquant R
R R
R sur RRRR’.
Autrement dit, le groupe projectif PGl(E) agit de manière simplement transitive sur l’ensemble des repères projectifs de P(E).
Preuve : Soient RRRR = (m0, m1, …, mn+1) et RRRR’ = (m’0, m’1, …, m’n+1) deux repères projectifs, B
B B
B = (e1, …, en+1) et BBBB’ = (e’1, …, e’n+1) deux bases de E adaptées comme dans la prop du § 3.3.
Soit f l’isomorphisme de E tel que f(ei) = e’i ; f envoie RRRR sur RRRR’.
Et si g envoie RRRR sur RRRR’, g−1o f envoie RRRR sur RRRR, donc est de la forme λ.Id, λ≠ 0.
Traduction analytique.
1) Soient dim E = p+1, dim E’ = n+1, f ∈L(E, E’) de matrice A = (αij) ∈ MK(n+1, p+1) relati- vement à des bases. Au point m ∈ P(E) de coordonnées homogènes (x1, x2, …, xp+1), f associe le point m’ de coordonnées homogènes (y1, y2, …, yn+1), avec yi =
∑
+= 1
1
.
p
j j ijx
α
.Cela suppose m ∉ p(N) : condition remplie si f est bijective.
2) Traitons le cas particulier où n = p = 1 : les homographies de la droite projective.
P(E) est rapporté à un système de coordonnées homogènes (x, t).
Soit f de matrice
d c
b a ∈ Gl
2(K). Alors f associe à m(x, t) le point m’(x’, t’), où x’ = ax + bt , t’ = cx + dt.
Supposons c ≠ 0. A m(x, 1) est associé m’(
d cx
b
ax++ , 1) si x ≠− c d . A m(−
c
d , 1) est associé m’(1, 0) ; à m(1, 0) est associé m’(
c a, 1) Si c = 0, à m(x, 1) est associé m’(
d
ax+b, 1), à (1, 0) est associé (1, 0).
(1, 0) joue le rôle de point à l’infini.
6. Droites projectives ; birapport ; homographies.
6.1. Le corps K complété.
Adjoignons au corps un point à l’infini ΚΚΚ^ = KΚ ∪{∞}. L’application de K2 dans ΚΚΚΚ^ définie par (x, t)
→ t
x si t ≠ 0, (x, 0) →∞ est compatible avec la relation R introduite en 2.1., et donne, par passage au quotient, une bijection de la droite projective standard P1(K) sur la droite complétée ΚΚΚΚ^ = K∪{∞ }. Nous identifierons dans la suite ΚΚΚΚ^ et P1(K) via cette bijection. Alors les points (1, ∞, 0) forment un repère projectif de ΚΚΚΚ^, en tant qu’image du repère projectif (1, 1), (1, 0), (0, 1).
Définition 1 : Etant donnés quatre éléments de ΚΚ^ deux à deux distincts a, b, c, d, on appelle ΚΚ birapport de ces éléments et on note [a, b, c, d ], l’élément :
[a, b, c, d] = c b
c a−− :
d b
d
a−− ∈ ΚΚΚ^. Κ
Si a = ∞ , r = c b
d
b−− ; si b= ∞ , r = d a
c
a−− ; si c= ∞ , r = d a
d
b−− ; si d= ∞ , r = c b
c a−− . On vérifie que [a, b, c, d] = [c, d, a, b] = [b, a, d, c].
Il en résulte que, lorsqu’on permute les quatre points, leur birapport ne prend qu’au plus 6 valeurs.
Si l’on note r = [a, b, c, d] , ces valeurs sont : r , 1−r , r 1 , 1−
r 1 ,
−r 1
1 et r
−r 1 . On trouvera des compléments sur ceci dans Berger, § 7.3.
6.2. Homographies.
Toute matrice A =
d c
b
a ∈ Gl
2(K) définit un isomorphisme de K2, et une homographie de P1(K) : l’application qui au point M(x, t) associe le point M’(x’ = ax + bt , t’ = cx + dt).
Par transport via la bijection précédente, on obtient une homographie hA : ΚΚΚΚ →ΚΚΚΚ définie par : • Si c ≠ 0 , hA(z) =
d z c
b z a ++
.
. si z ∈ΚΚΚΚ−{∞, − c
d } , h(∞) = c
a et h(− c
d ) = ∞ ; • Si c = 0 (donc d ≠ 0) , hA(z) =
d z c
b z a ++
.
. = d
b z
a. + si z ∈ ΚΚΚΚ−{∞} , et h(∞) = ∞.
Le cas c = 0 correspond aux bijections affines (le groupe projectif contient le groupe affine).
Proposition : L’application qui à A associe l’homographie hA est un homomorphisme du groupe linéaire Gl2(K) dans le groupe des permutations de ΚΚΚΚ. Ce morphisme a pour noyau l’ensemble des matrices a.I2, où a ∈ K*.
Preuve : Il suffit de considérer le morphisme f → f de Gl2(K) dans
H
(P1(K)).Conséquence : Si l’on note
d c
b
a .z = hA(z), on définit une action du groupe Gl2(K) sur la droite complétée ΚΚΚΚ, appelée action par homographies.
6.3. Birapport.
Définition 2 : Soit D = P(E) une droite projective, a, b, c trois points distincts de D. Pour tout point m de D, on appelle birapport de ces quatre points, et on note ξ = [a, b, c, m], l’élément de K défini par : il existe des vecteurs e0 et e1 de E tels que :
a = p(e0) , b = p(e1) , c = p(e0 + e1) , m = p(ξ.e0 + e1).
Autrement dit, m a pour coordonnées homogènes (ξ, 1) dans la base définie par le repère projectif (c, a, b). Ou encore : soit f l’homographie D →ΚΚΚΚ telle que f(a) = ∞, f(b) = 0, f(c) = 1 ; alors f(m) = ξ. Exemples : [a, b, c, b] = 0 ; [a, b, c, c] = 1 ; [a, b, c, a] = ∞.
6.4. Involutions.
Définition : On appelle involution d’une droite projective D toute homographie f de D telle que : f2 = idD et f ≠ idD .
Proposition : Soit f une homographie de matrice A =
d c
b
a . On a l’équivalence : i) f est une involution ;
ii) Il existe un point m tel que f2(m) = m et f(m) ≠ m ; iii) tr(A) = a + d = 0.
![La droite (AB) est orthogonale au plan (BCD). M est un point variable sur le segment [BC] privé des points B et C. On pose BM = x.](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==)