1er semestre 2012/13

M1 U 11 : Abrg de cours
Groupes de transformations

Les notes suivantes, disponibles ladresse http://www.iecn.u-nancy.fr/~bertram/,

contiennent les dfinitions et les rsultats principaux du cours. Elles ne remplacent ni un
polycopi complet, ni le cours lui-mme.
Le sujet principal du cours est une introduction la gomtrie projective qui met en relief
limportance des groupes de symtrie. Il sagit donc dun cours de gomtrie avance :
tandis que le cadre des cours de gomtrie de Licence tait toujours la gomtrie euclidienne et lespace euclidien (i.e., Rn , muni dun produit scalaire), nous allons rencontrer
dans ce cours une gomtrie non-euclidienne : le concept despace change. Lespace
projectif ne sidentifie pas un espace Rn , mais peut tre construit partir de Rn de
plusieurs faons, par exemple, en rajoutant Rn des points linfini.
Les raisons pour un tel changement du concept despace apparaissent historiquement avec
les dbuts dune tude approfondie des principes du dessin en perspective. En langage
moderne : les perspectives, ou projections centrales, dun plan E sur un autre E 0 , sont
des applications obtenues en projetant, partir dun point de lespace c (le centre de la
projection), un point x de E sur le point dintersection x0 de la droite (cx) avec E 0 , si ce
point est bien dfini. On peut visualiser ce genre dapplication en utilisant une source de
lumire au centre c et en projetant des dessins dun plan transparent E sur un autre plan
transparent E 0 . Par exemple, un cercle sur E donne lieu un cne de lumire, et ce cne
de lumire intersecte un autre plan E 0 en une conique : ellipse, parabole ou hyperbole,
selon la position de E 0 (si le centre c nappartient pas E 0 ). Lapplication E E 0
ainsi dfinie ne peut donc pas tre une application affine, car une application affine ne
peut pas envoyer un cercle sur une hyperbole. Ainsi on voit apparatre un nouveau type
dapplication, les applications projectives ou homographies, qui donne lieu un groupe,
le groupe projectif. Ltude de ce groupe, ou plutt de son action, ainsi que de ses sousgroupes, est en grande partie quivalente ltude de la gomtrie projective elle-mme
(cest un point de vue expliqu pour la premire fois par Felix Klein en 1872 dans son
clbre programme dErlangen). Les espaces projectifs rels et complexes, RPn et CPn ,
se trouvent au carrefour de la plupart des branches des mathmatiques modernes ayant
des liens avec la gomtrie, et leur tude est indispensable pour toute poursuite dtudes
en mathmatiques, mais aussi en vue dune prparation approfondie lenseignement des
mathmatiques.
Littrature. Il existe de nombreux ouvrages qui traitent de ces sujets. Luvre
[Berger] Berger, M., Gomtrie (plusieurs tmes), Nathan 1979 (traduction anglaise chez
Springer, en 2 volumes)
est une vraie mine dor, avec de trs nombreuses illustrations. Le niveau est assez lv
et le contenu encyclopdique lachat est un trs bon investissement pour toute la vie.
Une version plus facilement abordable est
[Audin] Audin, M., Gomtrie, Belin 1998.
1

Un autre livre utile et utilis dans la prparation de ce cours est

[Sidler] Sidler, J.-C., Gomtrie projective cours et exercices et problmes corrigs,
Dunod, 2000.
Nous recommandons galement dimprimer et de lire lintroduction et le chapitre 1 du
projet dun livre de gomtrie projective par Daniel Perrin, disponible ladresse
http://www.math.u-psud.fr/~perrin/Livre_de_geometrie_projective.html
On y trouve de nombreuses autres rfrences bibliographiques (nous donnons quelquesunes au fur et mesure du cours). Des origines historiques de la gomtrie projective
la thorie ancienne grecque des coniques, le dessin en perspective de la Renaissance, les
dbuts de la gomtrique algbrique, lie des noms comme Appolonius, Pappus, Pascal,
Desargues, Poncelet, Moebius, Klein et bien dautres.... y sont voques 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_dErlangen
Le premier chapitre du cours suivant fournit une introduction plus prcise et plus mathmatique au sujet.

Chapitre 1 : Homographies, projections et perspectives

Dans ce chapitre introductoire, soit K = R, C ou un autre corps. Nous donnons une premire approche certaines applications dfinies sur Kn , dabord sous un angle algbrique
et calculatoire, puis sous des points de vue gomtriques.
A. Homographies.
1.1 Dfinition. Une homographie de Kn est une application f = fM de la forme suivante:
on se donne une matrice de taille (n + 1) (n + 1)


A b
M=
,
c d
o A est de taille n n, b une matrice-colonne (taille n 1), c une matrice-ligne (taille
1 n) et d un scalaire (taille 1 1), et pour x Kn (vecteur colonne) tel que cx + d 6= 0
on pose
1
f (x) := fM (x) :=
(Ax + b) .
cx + d
P
Noter que cx = i ci xi est bien un scalaire ; on multiplie donc un vecteur Ax + b par un
scalaire. Si n = 1 et K = R, ces applications sont connues depuis le cours danalyse. Pour
le cas gnral, nous prsentons quelques faits de base sous forme dexercice:
1.2 Exercice : compose dhomographies. Soit M et M 0 tels que det M 6= 0 et
det M 0 6= 0. Calculer fM fM 0 (x) et montrer que, si tous les termes sont dfinies,
(!)

fM fM 0 (x) = fM M 0 (x) .

En dduire que fM est inversible dinverse fM 1 , et que lensemble

Hn (K) := {fM | M GL(n + 1; K)}
2

forme un groupe, dit le groupe des homographies de Kn .

1.3 Exercice : Hn comme quotient du groupe linaire. Montrer que fM = fN si la
matrice N est un multiple scalaire de la matrice M . Facultatif (pour le moment): essayer
de prouver la rciproque.
Conclure que lapplication
: GL(n + 1; K) Hn (K),

M 7 fM

est un homomorphisme surjectif de groupes qui a comme noyau K 1n+1 (multiples nonnulles de la matrice unit). Ainsi Hn est un groupe quotient du groupe linaire :
Hn (K)
= GL(n + 1; K)/(K 1n+1 ) .
1.4 Exercice : quelques sous-groupes de Hn .
(a) Rappeler la dfinition du groupe affine de Kn et montrer que cest un sous-groupe de
Hn . (Prendre c = 0, d = 1 et A une matrice inversible.)
(b) Caractriser le groupe des translations de Kn en termes de la matrice M .
(c) Montrer que lensemble {fM | A = 1n , d = 1, b = 0, c M (1, n; K)} est un sous-groupe
de Hn (K), que ce sous-groupe est isomorphe (Kn , +) et quil nest pas inclus dans le
groupe affine. Conclure que Hn (K) est strictement plus grand que le groupe affine.
1.5 Exercice : un peu danalyse. Soit K = R. Montrer que, si c 6= 0 ou d 6= 0, le
domaine de dfinition de fM est un ouvert dense de Rn et que fM est continue et mme
de classe C . Montrer que lensemble des x Rn pour lesquels les deux membres de
(!) sont dfinies, est un ensemble ouvert dense (et donc non-vide). Que peut-on dire si
K=C?
1.6 Problmes. Le groupe des homographies comprend des symtries strictement plus
gnrales que les applications affines. Quelles sont alors les proprits gomtriques
prserves par ce genre de symtries? Ces proprits vont tre plus gnrales, et donc
plus fondamentales, que celles de la gomtrie euclidienne usuelle.
Dautre part, comment comprendre le fait que les homographies ne sont pas dfinies
partout sur Kn : que se passe-t-il avec les x tels que cx + d = 0 ? Intuitivement, on
aurait envie de dire que la valeur de f en de tels points est infinie mais peut-on donner
un sens prcis cela ?
Les deux questions sont lies entre elles: les applications en question proviennent de
la gomtrie des projections ou perspectives. Historiquement et mathmatiquement, on
distingue deux types de projection, la projection parallle, et la projection centrale.
B. La projection parallle. On se place dans un espace affine V sur un corps K.
1.7 Dfinition. Soit E un hyperplan de V (i.e., dim E = dim V 1) et D une droite
supplmentaire (i.e., qui intersecte D en un seul point). Pour tout x V , soit Dx
lunique droite par x et parallle D. Elle a un unique point dintersection avec E. La
projection parallle sur E le long D est lapplication
PED : V E,

x 7 Dx E .

Si F est un autre sous-espace affine de V , la restriction F ,

D
: F E,
PF,E

x 7 Dx E,
3

est la projection parallle de F sur E le long D.

Exemple (important en dessin technique). Cas K = R, dim V = 3 : alors E est le
plan du dessin ou cran et D un axe. On fait la projection, le long de cet axe, dobjets
tridimensionnels sur le plan du dessin. Exemple: reprsenter de cette faon un cube, une
maison, un cercle, une voie de chemin de fer... cf. par exemple http://fr.wikipedia.
org/wiki/Projection_affine. Inconvenient: les objets plus ou moins loigns du plan
du dessin apparaissent tous en mme grandeur ; limpression de profondeur manque :
le dessin manque de perspective spatiale. Avantage: mathmatiquement, la description
est trs simple:
1.8 Lemme. La projection parallle est une application affine ; si on choisit le point
O := D E comme origine, elle est mme linaire, et si on choisit encore une base dans
E et la complte par un lment de D, alors la projection est dcrite par la matrice


1n1 0
.
0
0
Gomtriquement, nous avons
1.9 Thorme. Toute application affine f (et donc toute projection parallle) prserve
les structures suivantes:
(1) une ligne droite est envoye en une ligne droite ou en un point ;
(2) deux lignes droites parallles sont envoys en deux lignes droites parallles ou en deux
points ;
(3) le rapport de trois points aligns est prserv : R(x, y, z) = R(f (x), f (y), f (z)).
Pour rappel:
1.10 Dfinition. Une application affine est une application de la forme f (x) = Ax + b
avec b V et A linaire (par rapport une origine arbitraire de V ). Trois points x, y, z
V avec y 6= z sont aligns ssi il existe r K avec
x = (1 r)z + ry ;
alors r est uniquemenet dtermin par le triplet (x, y, z), dit le rapport de (x, y, z), not
r = R(x, y, z).
Un autre rappel (?): toute application qui vrifie (1), (2), (3), est affine.
C. Perspective ou projection centrale. Gardons les notations V , K, etc.
1.11 Dfinition. Soit E un hyperplan de V et c un point de V , non sur E. Pour deux
points distincts x, y V , notons x y = {(1 r)x + ry | r K} la droite affine passant
par x et y. La projection centrale sur E de centre c est lapplication
PEc : V 99K E,

x 7 (x c) E ,

o le symble 99K veut dire que lapplication nest pas dfinie pour tout x, mais seulement
pour les x V tels que la droite x c a effectivement un unique point dintersection avec
E (i.e., elle nest pas parallle E). Si F est nimporte quel autre sous-espace affine de
V , la restriction F ,
c
PF,E
: F 99K E, x 7 (x c) E,
4

est la projection centrale de F sur E de centre c.

1.12 Exemples.
(1) Le cas K = R, dim V = 2, dim E = dim F = 1 est le plus simple dessiner : on parle
dune perspective de la droite E sur la droite F , de centre c. Supposons que E et F ne
c
soient pas parallles. Alors PE,F
est dfinie partout, sauf en un seul point (lequel ?), et
c
son image est tout F , lexception dun seul point. Ainsi PE,F
est presque une bijection
c
(avec presque inverse PF,E ). Il est facile de voir que cette bijection ne prserve pas le
rapport, ainsi elle ne provient pas dune application affine !
(2) Le cas K = R, dim V = 3, F = V est de plus grande importance pour le dessin : cest
la reprsentation de lespace en perspective centrale (vraiment matrise seulement depuis
la renaissance). Prenons deux droites parallles dans un plan P qui ne contient ni c, ni est
parallle E. Chacune dtermine avec c un plan, qui coupe E en une droite, son image
sous PEc . Mais ces deux images se coupent en un point, ainsi elles ne sont pas parallles
dans E (dessin en perspective dune voie de chemin de fer: les deux rails, parallles dans
lespace, semblent dans le dessin se rencontrer en un point lhorizon). Exercice : faire
des dessins en perspective dun cube ; dune maison ; dun cercle...
c
1.13 Exercice: reprsentation calculatoire. On veut dcrire PE,F
, o E et F sont
deux hyperplans, par des formules analytiques. Sans restriction, on peut choisir O := c
comme origine dans V , alors il existe deux formes linaires , : V K tels que E =
{x V | (x) = 1} et F = {x V | (x) = 1}.
1
x.
(1) Montrer que PEc (x) est dfinie si (x) 6= 0, et qualors PEc (x) = (x)

(2) On veut comparer les projections centrales auw projections parallles. Pour cela, soit
D = Ku une droite, avec (u) 6= 0 et (u) 6= 0. Donner une formule pour les projections
D
D
parallles PE,F
et PF,E
, et donner une formule pour les applications
D
c
PE,F
PF,E
: F 99K F,

c
D
PF,E
PE,F
: E 99K E .

Montrer que, dans les deux cas, il sagit dhomographies.

1.14 Thorme. Une projection centrale envoit des lignes droites en des lignes droites
ou en un point, mais en gnral elle ne prserve ni paralllisme, ni rapports.
1.15 Rsum. La gomtrie, dite projective, qui correspond aux proprits prservs
par des projections centrales, est la gomtrie dincidence, i.e., une gomtrie qui parle de
droites, plans, etc., et de leur proprits dintersection, mais non de longueurs, de mesures
dangles, ou de rapports. La notion de paralllisme nest pas adapte cette gomtrie: il
semble plutt que deux droites sintersectent toujours, soit en un point ordinaire, soit en
un point lhorizon ou impropre. On est donc amen largir lespace affine usuel par
un ensemble de points impropres ou de points linfini. Nous allons voir que lespace
projectif rpond ces exigences, et en rajoutant ces points linfini il fournit le domaine
naturel de dfinition pour les homographies.

Chapitre 2 : La compltion projective dun espace affine

Nous allons complter un espace affine A en lui rajoutant un ensemble H (A) de points
impropres ou de points linfini, et expliquer que lespace ainsi complet A := A
H (A) se prte mieux comme univers pour faire de la gomtrie. Un point linfini
5

reprsente une direction de A, quon peut voir comme une classe dquivalence de droites
parallles:
2.1. Dfinition. Lespace affine de dimension n sur K est A = Kn o lon oublie
lorigine. Pour o, p A, o 6= p, on note
Do,p := o p := {tp + (1 t)o|t K}
la droite qui relie o et p, et soit

o

p,
o

A,
p
=
6
o


n
D := DA := Do,p

lensemble des droites affines dans A. Rappellons que deux droites D = Dx,y et D0 =
Dx0 y0 sont parallles si leur vecteurs directeurs sont proportionnelles : il existe r K,
r 6= 0, tel que
x0 y 0 = r(x y).
2.2. Lemme. La relation de paralllit est une relation dquivalence sur D.
2.3. Dfinition. La classe dquivalence dune droite D est note [D] ; elle reprsente la
direction commune toutes les droites parallles D. Lensemble des classes dquivalence
est appell hyperplan linfini ou : ensemble infini de A et est not
H (A) := {[D] | D D}.
Lespace affine complet ou : la compltion projective de A est
(A) .
A := AH
2.4. Remarque importante. Si on fixe une origine O dans A, lensemble H (A)
sidentifie avec lensemble des droites vectorielles passant par O. Do la dfinition fondamentale :
2.5. Dfinition. Soit V un espace vectoriel sur un corps K. Lespace projectif de V , not
PV , est lensemble des sous-espaces vectoriels de V de dimension 1 (droites vectorielles) :

o
n

PV = Kv  v V \ {0}
o Kv := {tv| t K} = D0,v . Ainsi, si lorigine O est fix, on a une bijection H (A) =
P(A). (Remarque : la dfinition vaut aussi pour le cas o la dimension de V est infinie.
Dans ce cours, nous supposons toujours que dim V est finie.)
2.6. Exemple : le cas n = 1. Dans ce cas, il nexiste quune seule direction, ainsi
H (K) = P(K) est un seul point, quon note , de sorte que la droite projective
K = K {}
sobtient partir de K un rajoutant un unique point linfini. (Attention : en analyse,
donc pour K = R, on utilise souvent les symbles + et . Il faut accepter quen
gomtrie ces deux points reprsentent la mme direction ! Ainsi, on pourra dire que
+ = ; on identifie les deux bouts de la droite relle et on la referme ainsi sous
forme dun cercle : R ressemble donc un cercle. Si K 6= R, cette image est fausse.)
6

2.7. Exemple : le cas n = 2. On veut dcrire les directions de K2 . Pour le faire, fixons
lorigine O et la base e1 , e2 habituelles. Alors on peut distinguer deux sortes de directions:
(a) la direction donne par une droite fixe, disons Ke1 , i.e., [D] = [Ke1 ].
(b) les autres directions : elles sont donnes par les droites supplmentaires Ke1 , donc
par Kx = K(x1 , x2 ) avec x2 6= 0. Puisque x et rx = ( xx12 , 1) avec r = x12 donnent la mme
direction, elles scrivent tous de la forme K(, 1) avec un unique K. On identifie
K(, 1) avec , i.e., on identifie K avec lensemble des directions de type (b). Donc
H (K2 ) = P(K2 ) = K {[D]},
et ainsi le plan projectif K2 se dcompose sous la forme
2

K = K2 H (K2 ) = K2 K {[D]}.
2.8. Thorme. Soit A lespace vectoriel Kn et V := Kn+1 . Alors il existe une identification naturelle entre A et PV , ce qui scrit aussi
Kn = Kn P(Kn ) = P(Kn+1 ).
Dans cette identification, la partie P(Kn ) correspond aux directions dans lhyperplan
xn+1 = 0, et la partie Kn correspond aux directions supplmentaires de cet hyperplan
(droites vectorielles Kx telles que xn+1 = 1). Plus prcisment, lapplication suivante est
bijective : : Kn P(Kn+1 ) dfinie par


(x1 , . . . , xn ) = K(x1 , . . . , xn , 1)
si (x1 , . . . , xn ) A,


K(x1 , . . . , xn ) = K(x1 , . . . , xn , 0)
si K(x1 , . . . , xn ) P(A).
Pour une ilustration, on dessinera Kn+1 avec les hyperplans affines, pour t K,
At := {x Kn+1 | xn+1 = t};
chacun deux est en bijection avec A via x 7 (x1 , . . . , xn ). Dans lcriture P(A K) =
A P(A), la partie A sidentifie maintenant avec A1 et la partie P(A) avec P(A0 ).
2.9. Corollaire. Par rcurrence,
P(Kn+1 ) = Kn Kn1 . . . K {} .
Exercice. Si K est un corps fini de cardinalit q, quelle est la cardinalit de P(Kn+1 ) ?
2.10. Dfinition. Soit E un sous-espace affine de lespace affine A = Kn . Lensemble
des points linfini de E est lensemble des directions de E,
P(E) := {[D] | D DA , D E},
et la compltion projective de E est E := E P(E) A. Si dim E = 1, lensemble E est
une droite de A, et si dim E = n 1, lensemble E est un hyperplan de A. Les hyperplans
de cette forme sont dits propres, et il y a un hyperplan impropre, savoir H (A).
2.11. Thorme. Soit A = Kn , D une droite affine et H un hyperplan affine de A.
Alors seulement les deux cas suivants peuvent se produire dans A :
7

(a) D H ;
(b) |D H| = 1.
Nous avons ainsi atteint un de nos buts : dans la compltion projective A, le cas DH =
napparat plus ! En effet, si D H = en gomtrie affine, D et H sintersectent au
point impropre [D]. Si dim A = 2, la situation est particulirement agrable :
2.12. Thorme. Soit P := K2 le plan projectif sur K et DP lensemble de ses droites
(propres et impropres ; noter que H (K2 ) est lunique droite impropre). Alors :
(P1) Deux droites distinctes dterminent un unique point dintersection.
(P2) Deux points distincts dterminent une unique droite qui les relie.
(P3) Toute droite contient au moins 3 points.
(P4) Il existe au moins 3 points non-colinaires.
La preuve consiste en une distinction de cas. On remarquera lanalogie formelle entre (P1)
et (P2) : elles sont lies en interchangeant les termes point et droite, resp. intersection
et liaison. Cette dualit est un trait profond de la gomtrie projective. En gomtrie
affine, cette dualit nest pas visible, cause du rle exceptionnel des droites parallles.
2.13. Exemple : Le plan de Fano. Le plus petit corps est K = F2 := Z/2Z. Le plan
projectif K2 a 4 + 2 + 1 = 7 points. Dans K2 , il y a 6 droites affines, dans DP il y a
donc 6 droites propres et une droite impropre. Ainsi |P| = |DP |. Dessin schmatique :
cf. http://fr.wikipedia.org/wiki/Plan_de_Fano
Finalement, nous pouvons dfinir les projections centrales de faon satisfaisante. Pour
faire simple, nous ne considrons ici que le cas dun plan projectif :
2.14. Dfinition. Soit P comme dans le thorme 2.12, c P et D DP telle que
c
/ D. Alors la projection centrale sur D et de centre c est lapplication
PDc : P \ {c} D,

x 7 (c x) D,

o c x est lunique droite qui relie c et x (proprit (P2)) ; lintersection existe par (P1).
2.15. Thorme. Avec c, D comme ci-dessus, et si D0 est une autre droite qui ne
contient pas c, la perspective de D0 sur D et de centre c suivante est une bijection :
PDc 0 ,D : D0 D,

x 7 (c x) D .

Chapitre 3 : Lespace projectif et ses sous-espaces

Lobjet dtude dans la suite est lespace projectif A. Il serait trop fatiguant de lcrire
toujours sous la forme A = A H (A) et de procder par des distinctions de cas. La
forme P(V ) avec V = Kn+1 (thorme 2.8) est beaucoup mieux adapte pour comprendre
la gomtrie projective car elle la relie directement lalgbre linaire de V . Ainsi nous
allons re-dvelopper la thorie en partant de cette dfinition. Dans toute la suite, V est
un espace vectoriel sur K, de dimension finie n + 1.
8

3.1. Dfinition. Pour v V avec v 6= 0, on note [v] := Kv la droite vectorielle engendre

par v. Ainsi P(V ) = {[v] | v V, v 6= 0}. Lapplication
: V \ {0} PV,

v 7 [v]

sappelle la projection canonique.

3.2. Lemme. Soient v, w V \ {0}. On a (v) = (w) si et seulement sil existe r K
tel que w = rv. La relation dfinie sur V \ {0} par : v w si existe r K tel que
w = rv, est une relation dquivalence, et PV sidentifie canoniquement avec les classes
dquivalence de cette relation.
Exercice. Du lemme, dduire que, si |K| = q et n = dim PV , alors |PV | =

q n+1 1
.
q1

Remarque. Uniquement dans le cas rel, si V = Rn+1 , il existe un lien troit entre la
sphre S n = {x Rn+1 | kx| = 1}, et lespace projectif PV : savoir, chaque classe [v]
contient exactement deux reprsentants appartenant la sphre S n , de sorte quon peut
identifier PV aussi avec S n / 1. On reviendra plus tard sur cette remarque.
3.3. Dfinition. La dimension de PV est dim V 1, de sorte que dim A = dim A. Pour
lespace projectif standard de dimension n, on utilise aussi les notations
KPn := Pn K := P(Kn+1 ).
Un sous-espace projectif de dimension k dans PV est une partie de PV de la forme


[E] := (E \ {0}) = [v] | v E \ {0} ,
o E V est un sous-espace vectoriel de dimension k + 1. Un sous-espace de dimension 0 se confond avec un point de PV , un sous-espace de dimension 1 de PV est une
droite (projective), un sous-espace de dimension 2 de PV est un plan (projectif), etc. Un
hyperplan (projectif) est un sous-espace projectif de dimension dim V 1.
3.4. Lemme. Un sous-espace [E] de dimension k est lui-mme un espace projectif de
dimension k ; en effet, il se confond avec P(E).
3.5. Thorme. Soient A = [E] et B = [F ] deux sous-espaces projectifs de PV .
(i) Lintersection A B est un sous-espace projectif. De plus, on a
A B = [E F ].
(ii) Il existe un unique plus petit sous-espace projectif A B qui contient A et B. De
plus, on a
A B = [E + F ].
(iii) Pour toute partie S PV , lintersection de tout les sous-espaces contenant S est
un sous-espace, et cest le plus petit sous-espace contenant S. On le note hSi.
3.6. Lemme. Pour des sous-espaces A, B, C de PV , avec la notation A B := A B,
(i) A B = B A, A B = B A (commutativit) ;
(ii) A (B C) = (A B) C, A (B C) = (A B) C (associativit) ;
9

(iii) A (A B) = A = A (A B) (loi dabsorption).

Exercice. Montrer que, pour 3 sous-espaces projectifs A, B, C :
(M1) si A B, alors A (C B) = (A C) B (mais si A 6 B, cela devient faux),
(M2) (A B) (C G) = ((A B) C) B.
3.7. Dfinition. Lensemble, dit la Grassmannienne de PV et not Gras(PV ), de tous les
sous-espaces projectifs de PV , muni des oprations et , est un treillis, i.e., il vrifie (i),
(ii), (iii) ci-dessus. Ce treillis est modulaire, i.e., il vrifie la loi modulaire (M1) ci-dessus.
Noter que, via [E] E, Gras(PV ) est en bijection avec lensemble Gras(V ) de tous les
sous-espaces vectoriels de V , dit la Grassmanienne de V . Le sous-espace vectoriel {0} de
V correspond alors au sous-espace vide de PV . Les operations +, correspondent , .
3.8. Thorme. Pour des sous-espaces projectifs A = [E], B = [F ] de PV ,
dim(A B) + dim(A B) = dim A + dim B .
Exercice. Redemontrer les thormes 2.11 et 2.12 en utilisant cette formule de dimension.
3.9. Corollaire. Soient A = [E], B = [F ] des sous-espaces projectifs de PV et dim A = i
et dim B = j. Alors sont quivalents :
(i) A B = et A B = PV ;
(ii) E F = {0} et E + F = V , i.e., V = E F ;
(iii) i + j = n 1 et A B = ;
(iv) i + j = n 1 et A B = PV .
3.10. Dfinition. Si A et B satisfont les conditions de 3.9, on crit A>B.
3.11. Dfinition. Un repre projectif dans un espace projectif PV de dimension n est
la donne de n + 2 points p0 , p1 , . . . , pn+1 de PV tels que : il existe une base b1 , . . . , bn+1
de V telle que
i = 1, . . . , n + 1 :

pi = [bi ],

p0 = [b1 + . . . + bn+1 ] .

(Noter que les bi ne sont pas dtermins par cette condition, mais la condition sur p0
assure que, si on les change par un facteur scalaire, ce facteur scalaire doit tre commun
pour tout les bi .) Si V = Kn+1 et bi = ei la base canonique, le repre ainsi obtenu sappelle
le repre canonique de KPn .
Le point p0 semble jouer un rle particulier dans cette dfinition. Mais le rsultat suivant
montre que nimporte quelle permutation de ces n + 2 points est galement un repre :
3.12. Proposition. Pour n + 2 points p0 , p1 , . . . , pn+1 de PV sont quivalents :
(1) p0 , p1 , . . . , pn+1 est un repre ;
(2) n + 1 quelconques des points p0 , p1 , . . . , pn+1 engendrent PV , i.e., ils ne sont pas dans
un hyperplan commun.

10

3.13. Corollaire. Un triplet de points (a, b, c) dans KP1 est un repre projectif, si, et
seulement si, ces points sont deux deux distincts : a 6= b, b 6= c, a 6= c.
Pour le repre canonique de KP1 , on utilise aussi la notation
= [e1 ],

0 = [e2 ],

1 = [e1 + e2 ] .

Chapitre 4 : Le groupe projectif

Aprs avoir dfini les objets de notre tude (les espaces projectifs PV ), nous devons
expliquer la notion de morphisme, les applications ou flches entre deux espaces
projectifs X = PV et X 0 = PV 0 . Cest plus compliqu que dans le cas des structures vues
en Licence (groupes, anneaux, espaces mtriques...) en effet, il y a plusieurs rponses
possibles :
(a) gomtrique : application prservant la structure gomtrique (mais laquelle ?) ;
(b) calculatoire : application donne par des formules ou constructions explicites.
4.1. Dfinition. Une collination entre deux espaces projectifs est une application
f : PV PV 0 telle que, si pi , i = 1, 2, 3 sont trois points aligns (i.e., se trouvant sur
une droite projective D = [E], E V de dimension deux), alors f (pi ), i = 1, 2, 3, sont
galement aligns.
Cette dfinition est de type (a) ; le problme est alors : comment dcrire concrtement
les collinations par une formule ? noter aussi que, si dim PV = 1 = dim PV 0 , cette
condition est vide : dans ce cas, nimporte quelle application sera une collination, la
notion est alors inutile. Pour ces raisons nous partons du point de vue (b) :
4.2. Dfinition. Une homographie, ou application projective F : PV PV 0 est une
application telle quil existe une application linaire et injective f : V V 0 telle que,
pour tout v V \ {0}, F ([v]) = [f (v)]. On note alors F = [f ], ou encore F = Pf .
Cest bien dfini : dabord, si v w, i.e., w = v, on a bien f (v) = f (w), donc
f (v) f (w). Mais il faut aussi que f (v) 6= 0 si v 6= 0, et ceci peut tre en dfaut en
gnral, mais cest vrai si ker(f ) = 0, i.e., f est injective.
4.3. Lemme. On a [g f ] = [g] [f ] et [idV ] = idPV , et les homographies de PV forment
un groupe, dit le groupe projectif de V , not
PGL(V ) = {[f ] | f GL(V )}.
Lapplication
: GL(V ) PGL(V ),

g 7 [g]

est un homomorphisme de groupes, surjectif par dfinition de PGL(V ).

Notation : on crit aussi PGL(n, K) = PGL(Kn ).
4.4. Lemme. On a [f ] = [g] ssi il existe K tel que g = f . Ainsi le noyau de
est le groupe K id des multiples de lidentit de V . Par consquent,
PGL(V )
= GL(V )/(K id) .
11

4.5. Exercice. Lapplication SL(V ) PGL(V ), g 7 [g], est-elle surjective ? injective ?

Rappel : SL(V ) = {g GL(V )| det(g) = 1}. Indication : regarder dabord le cas K = C,
puis K = R et distinguer les cas dim V paire, resp. impaire.
4.6. Exercice. Soit [g] PGL(V ) et v V \ {0}. Montrer que [v] est un point fixe de
[g] ssi v est un vecteur propre de g. Si dim PV = 1 et K = R, montrer que [g] a, soit 0,
1, 2 ou une infinit de points fixes et que, dans le dernier cas, [g] = id.
4.7. Lemme. Si [E] est un sous-espace projectif de dimension k et [g] PGL(V ), alors
[g]([E]) = [g(E)] est un sous-espace projectif de mme dimension k. En particulier, [g]
est une collination.
Remarque. Toute homographie est donc une collination. Que dire de la rciproque ? En
dimension 1, toute application est une collination, et la rciproque est alors fausse. On
verra plus tard, quen dimension n > 1, et pour K = R, la rponse est positive, mais pour
K = C, elle ne lest pas.
4.8. Thorme (Premier thorme fondamental de la gomtrie projective).
Le groupe projectif PGL(V ) agit simplement transitivement sur lensemble des repres
projectifs, i.e.: soient (p0 , . . . , pn+1 ) et (q0 , . . . , qn+1 ) deux repres projectifs de PV ; alors
il existe un unique lment [g] PGL(V ) tel que [g](pi ) = qi pour i = 0, . . . , n + 1.
Ce thorme est une faon dexprimer le fait que le groupe projectif est gros : il agit
simplement transitivement sur certaines n + 2-uplets (les repres). En gomtrie affine, le
groupe affine agit simplement transitivement sur certaines n+1-uplets (les repres affines),
et algbre linaire, le groupe linaire agit simplement transitivement sur certaines n-uplets
(les bases). Ainsi le groupe affine est plus gros que le groupe linaire, et le groupe
projectif est plus gros que le groupe affine.
Puisque tout singleton p, resp. tout couple (p, p0 ) de points distincts, peut tre complet
en un repre, il sensuit du thorme :
4.9. Corollaire. Avec les notations du thorme:
(1) Le groupe projectif PGL(n + 1, K) agit transitivement sur KPn , i.e., pour toute paire
(x, y) (KPn )2 , il existe [g] PGL(n + 1, K) tel que [g]([x]) = [y].
(2) Le groupe projectif agit transitivement sur lensemble des couples (x, y) (PV )2 tels
que x 6= y.
(3) Soit PV une droite projective (n = dim V 1 = 1). Alors le groupe projectif agit
simplement transitivement sur les triplets dlments deux deux distincts de KP1 :
si (a, b, c) et (a0 , b0 , c0 ) sont deux triplets dlments deux deux distincts de KP1 , il
0
existe une unique application projective f = faabc
0 b0 c0 PGL(2, K) telle que f (a) = a ,
f (b) = b0 , f (c) = c0 .
4.10. Rappel. Si un groupe G agit transitivement sur un ensemble M , et si on note
par H := {g G | g.o = o} le groupe stabilisateur dun point de base o M , alors M
sidentifie lespace homogne M = G/H.
Exemple: G = GL(n + 1, K) agit transitivement sur KPn . Le stabilisateur de o := e1 est
o
na b 
 a K , b Kn , c GL(n, K) ,
P =
0 c
et on peut identifier ainsi KPn avec lespace homogne GL(n + 1; K)/P .
12

Lien avec les homographies du chapitre 1

Les homographies dfinies ci-dessus correspondent bien aux homographies de Kn de la
forme fraction rationnelle dfinies au chapitre 1 : fixons une dcomposition KPn =
Kn H (Theorme 2.8) ; alors leffet de [g] sur la partie affine Kn est prcisment celui
donn par la formule rationnelle ; lorsque le dnominateur sannule, cela signifie que le
point x Kn est envoy linfini, c-a-d, que son image est dans la partie H :
4.11. Thorme. On a PGL(n + 1, K) = Hn (K). Plus prcisment: soit f := [g]
PGL(n + 1, K) et crivons g GL(n + 1, K) sous forme de matrice en blocs,


A B
g=
,
A M (n, n; K), B M (n, 1; K), M (1, n; K), d K .
d
Soit z Kn , identifi avec [z1 , . . . , zn , 1] KPn . Alors sont quivalents :
(1) limage f (z) de z est finie, i.e., elle appartient encore Kn ,
(2) (z) + d 6= 0.
Alors leffet de f sur z est donn par la formule


f (z) = ((z) + d)1 Az + B .
4.12. Exemples. Revoir lexercice 1.4 : quels lments de PGL(n + 1, K) correspondent
aux translations de Kn ? au groupe affine de Kn ? aux homothties de Kn ?
Lien avec les projections et perspectives
Par un calcul en coordonnes, on peut montrer que les projections centrales sont donnes
par des formules de type fraction rationnelle comme ci-dessus (cf. exo. 1.13) ; on en
dduit que ce sont des applications projectives. Voici une explication conceptuelle :
4.13. Dfinition. Soit PV un espace projectif, et A = [E] et B = [F ] deux
sous-espaces tels que A>B (i.e., V = E F , cf. 3.10). Lapplication suivante, dite
projection centrale sur B, de centre A, est bien dfinie:
PBA : P(V ) \ A B,

x 7 (x A) B

(en effet, pour un point x P(V ) \ A, le sous-espace x A est de dimension dim A + 1,

donc (x A) B est de dimension 0 (daprs le thm. 3.8), cest donc un point).
4.14. Thorme. Avec les notations ci-dessus, soit g : V V la projection linaire de
V sur F , de noyau E. Alors, pour tout x = [v] avec v
/ E, on a
PBA ([v]) = [g(v)] .
Il sensuit que, si C = [H] est un autre sous-espace tel que A>C, la restriction de PBA
C est une homographie bijective de C sur B, induite par lapplication linaire bijective
H F , v 7 g(v).
En particulier, pour dim PV = 2, dim A = 0, dim B = dim C = 1, une perspective dune
droite C sur une autre droite B (cf. df. 2.14 et thm. 2.15) est une homographie ; elle est
donc uniquement dtermine par son effet sur trois points deux deux distincts.
13

Chapitre 5 : Cartes et liaison affine-projective

Dans le chapitre 2, nous avons associ chaque espace affine A un espace projectif A =
A H (A) = P(A K), muni dun hyperplan linfini H (A). Nous allons montrer
quil y a une rciproque de cette construction :
5.1. Thorme. Soit P = PV un espace projectif et H un hyperplan de P. Alors
UH := P \ H porte une structure naturelle despace affine (dite une partie affine de P).
Autrement dit, si on enlve un hyperplan H dun espace projectif P(V ), alors lensemble
qui reste est un espace affine. En formalisant un peu, on dit quil existe une bijection
naturelle entre (la catgorie des) espaces affines et (la catgorie des) espaces projectifs
munis dun hyperplan distingu (hyperplan linfini). Cette correspondence bijective est
parfois appele la liaison affine-projective. Pour bien comprendre le lien entre gomtrie
projective et gomtrie affine, il est important de noter que tout choix dhyperplan H dans
un espace projectif P donne lieu un espace affine P \ H, dite partie ou carte affine
de P. Ainsi, par un choix convenable dhyperplan, tout point de P peut tre vu comme
un point linfini dune partie affine convenable.
Il est intressant de donner et de comparer plusieurs preuves du thorme. Une premire
preuve part de la remarque suivante : soit H = [E] ; alors [v]
/ [E] si, et seulement si,
la droite Kv est un supplmentaire de E, ie., V = E Kv, puis on applique le rsultat
plus gnral suivant :
5.2. Thorme. Soit E V un sous-espace vectoriel quelconque. Alors lensemble
SE := {F sous-espace vectoriel de V | V = E F }
des supplmentaires de E porte une structure naturelle despace affine, dont lespace vectoriel de translations associ est Hom(V /E, E).
Noter que lespace SE na pas de point de base prfr ; ainsi cest un des premiers
exemples de vrais espaces affines dans la nature mathmatique. La preuve de ce rsultat
(lmentaire, mais un peu abstraite) sera donne ailleurs. Pour une autre preuve de 5.1,
5.3. Lemme. Rappelons que E V est un hyperplan vectoriel ssi il existe une forme
linaire non-nulle : V K telle que E = ker(). Alors est dtermine par E un
facteur non-nul prs.
Soit donc H = ker(). Alors
A = 1 (1) = {v V | (v) = 1}
est un espace affine et
A UH ,

x 7 [x]

est une bijection, quon peut utiliser pour dfinir sur U une structure despace affine. On
montre alors que cette structure ne change pas si on remplace par un multiple de .
Ainsi UH porte une structure naturelle despace affine.
5.4. Cartes : parties affines dtermines par une base. Fixons une base b1 , . . . , bn+1
de V . Elle donne lieu n + 1 formes linaires pri , les projections sur la i-e coordonne,
et cela donne lieu n + 1 parties affines: on appelle une carte canonique de PV la partie
Ui = {[

n+1
X

xj bj ] P(V )| xi 6= 0},

j=1

14

ou, plus prcisment, les isomorphismes despaces affines i : Kn Ui donn par

x1 . . . xi1 xi xi+1 . . . xn+1 7 [x1 b1 +. . .+xi1 bi1 +bi +xi+1 bi+1 +. . .+xn+1 bn+1 ]
(o le signe au-dessus dune lettre signifie que cette variable est supprimer).
Lapplication inverse supprime la variable i et divise les autres composantes par xi . Noter
que PV = n+1
i=1 Ui (car si x 6= 0, alors xi 6= 0 pour au moins un index i), et que les intersections Uij = Ui Uj sont non-vides. Si i 6= j, nous avons la formule de changement de cartes


i xi+1 . . . xn+1 (avec xj 6= 0) sur
suivante : 1
j i envoit x1 . . . xi1 x


xn+1
x1
1
.
.
.
x

.
.
.
.
.
.
j
xj
xj
xj
(o x1j se trouve en i-me position). Par exemple, si n = 1, il ny a que deux cartes affines
canoniques, et les deux changements de cartes sont donns par
K K,

1
t 7 .
t

Si n = 2, il y a trois cartes affines canoniques, avec changement de cartes typiques

x1 x2 7 xx21 x12 ,
x2 x3 7 x12 xx23 .
5.5. Remarque. Les cartes Ui forment un recouvrement de X = PV . On montrera
plus tard que (si K = R ou C) X les Ui sont en fait des ouverts par rapport une
topologie naturelle de X : on parle alors dun recouvrement ouvert. On constate que les
formules de changement de carte sont rationnelles, donc, si K = R ou C, les applications
n
ij = 1
j i sont diffrentiables. On dira alors que les espaces projectifs X = KP
sont des varits diffrentiables avec atlas (Ui , i )i=1,...,n+1 . On peut dire quune varit
diffrentiable ressemble localement, mais pas globalement un espace Rn . Dans cette
perspective, on sintresse des formules locales, i.e., des formules qui dcrivent des
structures localement, dans une carte par exemple, le thm. 4.10 sur la description des
homographies dans une carte est un rsultat de ce genre.
Pour terminer, revenons sur le rle important des formes linaires dans ce chapitre :
5.6. Dfinition. Soit P = PV un espace projectif. Son espace projectif dual est lespace
projectif P0 := P(V ), o V = HomK (V, K) est lespace vectoriel dual de V (lespace des
formes linaires sur V ). Daprs le lemme 5.3, [] 7 [ker ] dfinit une bijection entre
P0 et lensemble des hyperplans de P. Nous dirons quun couple ([v], []) P P0 est
incident si (v) = 0 (autrement dit, si [v] appartient lhyperplan [ker ]). Rappelons
aussi que dim V = dim V , donc dim P = dim P0 .

Chapitre 6 : Quelques thormes classiques : Pappus, Desargues,...

Les rsultats de ce chapitre sont des thormes dincidence classiques, i.e., des thormes
traitant de configurations de droites et de leurs intersections. En voici un :
6.1. Thorme de Pappus. Soient D et D0 deux droites distincts dans le plan projectif KP2 , et soient a, b, c D, a0 , b0 , c0 D0 , deux deux distincts. Alors les trois
points dintersection u, v, w suivants sont aligns (et la droite contenant u, v, w est dite la
droite de Pappus) :
u := (b c0 ) (b0 c),

v := (c a0 ) (c0 a),
15

w := (a b0 ) (a0 b) .

Et voici une autre faon dnoncer ce thorme. Par dfinition, un triangle (resp. hexagon)
est la donne dun triplet (resp. dun 6-uplet) de points deux deux distincts.
6.1. Pappus, bis. Soit (a, b0 , c, a0 , b, c0 ) un hexagon dont les sommets se trouvent tour
de rle sur deux droites distincts D et D0 et sont deux deux distincts. Soient u, v, w les
points dintersection de cots opposs de cet hexagone. Alors, u, v, w sont aligns.
Faire un dessin ! Pour la preuve, il y a deux stratgies possibles, opposes en un certain
sens :
(A) Choisir de faon approprie une droite linfini H = H , et se ramener ainsi un
nonc et une preuve affines dans lespace affine KP2 \ H . Dans notre cas : on pourra
choisir la droite u v comme droite linfini H . Alors, dans lespace affine KP2 \ H ,
lnonc devient
(P2) (Pappus affine) Soient (b c0 ) k (b0 c) et (c a0 ) k (c0 a) ; alors w appartient aussi
H , i.e., (a b0 ) k (a0 b).
Or, ceci est le thorme classique de Pappus en gomtrie affine (vu en Licence). Exercice:
revoir sa preuve (elle repose sur le thorme de Thales)!
(B) Donner une preuve intrensquement projective, ce qui redemontre en mme temps,
via (A), le thorme classique affine. Dans notre cas : on se sert du thorme 4.14 sur
les perspectives. On considre les trois perspectives fa : D0 a0 b (de centre a) et
fc : b c0 D0 (de centre c) et fv : b c0 a0 b (centre v). On montre que fa fc et fv
ont mme effet sur trois points distincts ; daprs 4.14, il sensuit donc que fa fc = fv .
On en dduit que fv (u) = fa fc (u) = fa (b0 ) = w, donc w se trouve sur la droite u v.
6.2. Thorme de Brianchon. Soient d et d0 deux points distincts du plan projectif
KP2 et soient A, B, C trois droites passant par d et A0 , B 0 , C 0 trois droites passant par d0 ,
deux deux distincts. Alors les trois droites U, V, W suivants sont concourantes :
U := (B C 0 ) (B 0 C),

V = (C A0 ) (C 0 A),

W := (A b0 ) (A0 B) .

Comparons avec lnonc du thorme de Pappus : on obtient Brianchon si on remplace

dans Pappus le terme point par droite et inversement, le signe par et des termes
passe par par se trouve sur, etc. De cette faon, chaque thorme dincidence admet
un thorme dual ou thorme correlatif.
6.3. Mta-thorme : Principe de dualit. Un thorme dincidence (T) est
valable pour tout espace projectif PV de dimension n sur K si, et seulement si, son
thorme correlatif (T) est valable pour tout espace projectif de dimension n sur K, o
(T) est lnonc obtenu en remplaant dans (T) le terme point par hyperplan, sousespace projectif de dimension k par sous-espace projectif de dimension n k 1, le
signe par et le signe par .
Ce principe de dualit est propre la gomtrie projective et la distingue de la gomtrie
affine ou euclidienne. La preuve consiste en lobservation que le thorme (T), nonc
pour X = PV , peut tre lu dans lespace projectif dual X 0 = P(V ) : un hyperplan
dans PV est la mme chose quun point dans PV (Dfinition 5.6), et un point de PV
correspond un hyperplan {[] X 0 | (v) = 0} de X 0 . Plus prcisment:
6.4. Lemme. Soit V un espace vectoriel de dimension m = n + 1 sur K. Pour un
sous-espace vectoriel E V soit
FE := { V | e E : (e) = 0},
16

et pour un sous-espace vectoriel F V soit

EF := {v V | F : (v) = 0} .
Alors E 7 FE est une bijection de lensemble Grask (V ) des sous-espaces de dimension k
de V (la Grassmannienne des k-espaces dans V ) sur lensemble Grasmk (V ) des sousespaces de dimension m k de V , avec application rciproque F 7 EF . Ces bijections
sont des anti-isomorphismes de treillis, i.e., ils renversent les inclusions et changent les
oprations (intersection) et (somme de sous-espaces) :
FE1 FE2 = FE1 +E2 ,

FE1 + FE2 = FE1 E2 .

Exercice : revoir la preuve de ce lemme (algbre linaire lmentaire) !

6.5. Thorme de la polaire, ou Petit Pappus. Soient A et B deux droites
distincts dans le plan projectif KP2 et a, a0 , a00 A, b, b0 , b00 B deux deux distincts tels
que les droites a b, a0 b0 et a00 b00 soient concourantes en d. Alors les points o, u, v
suivants sont colinaires :
o := A B,

u := (a b0 ) (b a0 ),

v := (a0 b00 ) (b0 a00 )

Il sagit ici du cas particulier de la situation du thorme de Pappus o la droite de Pappus

passe par le point o = D D0 .
6.6. Thorme de Desargues. Soient (abc) et (a0 b0 c0 ) deux triangles dans le plan
projectif KP2 , ayant sommets et cots distincts. Soient A = b c, B = a c, C = a b les
cots de (abc) et A0 = b0 c0 , B 0 = a0 c0 , C 0 = a0 b0 les cots de (a0 b0 c0 ). Si les droites
a a0 et b b0 et c c0 sont concourantes, alors les points A A0 et B B 0 et C C 0 sont
aligns (ils se trouvent sur une droite dite la droite de Desargues).
Concernant la preuve, les mmes remarques comme pour la preuve du thorme de Pappus
sappliquent. Le thorme correlatif (D) du thorme de Desargues (D) snonce : si les
points A A0 et B B 0 et C C 0 sont aligns, alors les droites a a0 et b b0 et c c0
sont concourantes. Ainsi, (D) est la rciproque logique de (D). Ainsi on peut noncer le
thorme de Desargues en remplaant le si... alors... par ...si et seulement si....
6.7. Petit Desargues. Cest le cas particulier o la droite de Desargues passe par le
point o = (a b) (a0 b0 ). Faire un dessin affine de cette situation, dabord en prenant
la droite de Desargues comme droite linfini, puis en prenant une autre droite comme
droite linfini !
6.8. Desargues dans lespace de dimension 3 ou plus. Soient (abc) et (a0 b0 c0 ) deux
triangles dans un espace projectif PV de dimension > 2, ayant sommets et cots distincts,
et non dans un mme plan. Soient A = b c, B = a c, C = a b les cots de (abc) et
A0 = b0 c0 , B 0 = a0 c0 , C 0 = a0 b0 les cots de (a0 b0 c0 ). Si les droites a a0 et b b0 et
c c0 sont concourantes en un point o, alors les points dintersection A A0 et B B 0 et
C C 0 existent et sont aligns.
La preuve est plus simple que celle de 6.6 : les points dintersection en question existent
car o, a, b, a0 , b0 , etc., sont coplanaires ; alors forcment ces points dintersection se trouvent
sur lintersection E E 0 , si E est le plan contenant (abc) et E 0 celui contenant (a0 b0 c0 ).
Ainsi E E 0 et non-vide, et comme E 6= E 0 , lintersection E E 0 est une droite, et cest
la droite de Desargues.

17

Chapitre 7 : Remarques sur les fondations de la gomtrie

Les thormes de Pappus et de Desargues jouent un rle particulier pour les fondations
de la gomtrie projective. Revenons au chapitre 2 :
7.1. Dfinition. Un plan projectif abstrait est un ensemble P (de points) et un ensemble D de parties de P (dites des droites de P) tels que les proprits (P1) (P4) du
thorme 2.12 sont vrifies.
Le thorme 2.12 affirme ainsi que KP2 est un plan projectif abstrait. Est-ce que tout
plan projectif abstrait est de cette forme, pour un certain corps K ? La rponse est non.
On peut, par exemple, remplacer le corps K dans la dfinition dun espace projectif KPn
par un anneau de division (= corps non-commutatif). Lexemple le plus important est le
corps non-commutatif des quaternions H. Mais les contre-exemples ne sarrtent pas l :
il existe dautres plans projectifs plus exotiques, comme le plan octonion OP2 .
Lie cette question est une autre : on remarque que les noncs des thormes dincidence
(Pappus, Desargues, etc.), ont un sens dans un plan projectif abstrait P ; est-ce quon
peut alors affirmer que ces noncs sont toujours vrais dans P ? La rponse est non :
par exemple, Pappus est en dfaut dans le plan quaternionien HP2 , et Desargues est en
dfaut dans le plan octonion OP2 . Plus prcisment :
7.2. Thorme. Soit (P, D) un plan projectif abstrait. Alors le thorme de Pappus est
vrai dans P si, et seulement si, il existe un corps K tel que P est de la forme KP2 . Le
thorme de Desargues est vrai dans P si, et seulement si, il existe un anneau de division
D tel que P est de la forme DP2 .
Ce rsultat figure dans le texte Grundlagen der Geometrie (Fondations de la gomtrie)
de David Hilbert (1899), cf. http://fr.wikipedia.org/wiki/Axiomes_de_Hilbert.
Pendant plus de deux mille ans, les lments dEuclide servait comme base et modle de
tout dveloppement en gomtrie. Au cours du 19e sicle, les mathmaticiens se rendaient
compte que ce fondement tait incomplet, donc revoir. Le texte de Hilbert a rpondu ce
besoin. Les axiomes les plus basiques que Hilbert propose sont des axiomes dincidence,
du type de ceux dfinissant un plan projectif abstrait (df. 7.1). Pour prouver le thorme
7.2, Hilbert construit gomtriquement le corps gauche D partir des axiomes dincidence.
Lassociativit de la multiplication de D correspond alors au thorme de Desargues, et
Hilbert a montr qualors D est commutatif ssi Pappus est vrifi.
En dimension > 2, la situation est plus simple cela correspond au fait que notre preuve
du thorme de Desargues dans lespace (Thm. 6.8) est plus simple que celle dans le plan
(Thm. 6.6). Pour un espace projectif de dimension quelconque, se basant sur le texte de
Hilbert, Oswald Veblen a propos les axiomes dincidence suivant :
7.3. Dfinition. Un espace projectif abstrait est un ensemble P (de points) et un
ensemble D de parties de P (dites des droites de P) tels que
(1) deux points distincts a, b appartient une unique droite a b ;
(2) si a, b, c, c sont des points 2 2 dictincts et si a b et b d sintersectent en un point,
alors a c et b d aussi sintersectent en un point (axiome de Veblen) ;
(3) toute droite contient au moins 3 points ;
(4) il existe au moins 3 points non colinaires.
18

Un sous-espace projectif de P est une partie E de P telle que, si x, y E, alors tous les
points de x y appartiennent aussi E. La dimension de E est le plus grand nombre k
(sil existe) tel quil existe un drapeau maximal de longueur k, i.e., une chane dinclusions
de sous-espaces projectifs
E1 E2 . . . Ek E
de sorte que chaque inclusion est stricte. (Exemple : pt. droite E drapeau maximal
veut dire que E est un plan.)
7.4. Thorme. Le thorme de Desargues est vrai dans tout espace projectif abstrait de
dimension n > 2. Il sensuit quun tel espace est toujours de la forme DPn , n > 2, avec
un anneau de division D.
Il existe dautres thormes de ce type qui relient des proprtes dincidence des structures algbriques, dont, par exemple, des rsultats de la mathmaticienne Ruth Moufang,
cf. http://fr.wikipedia.org/wiki/Ruth_Moufang. Le thorme 7.4 rvle un fait trs
profond : des structures exceptionnels en gomtrie se trouvent seulement en basse
dimension (ici : des espaces projectifs autres que les DPn nexiste quen dimension 2).
Voir [Berger] pour dautres exemples de ce principe (polytopes), et le web pour des spculations le relatant au fait que notre univers a 4 dimensions (ou 11, ou 27, selon dautres
auteurs...).
Le (deuxime) thorme fondamental de la gomtrie projective
Rappelons (Lemme 5.6) que toute homographie est une collination. La rciproque nest
pas vraie : en dimension 1 elle est clairement fausse.
7.5. Thorme fondamental de la gomtrie projective. Soit f : PV PV une
bijection dun espace projectif de dimension plus grand que 1. Alors sont quivalents :
(1) f est une semi-homographie ;
(2) f est une collination.
7.6. Dfinition. Une application f : V W entre K-espaces vectoriels est dite
semi-linaire si elle est additive : f (u + v) = f (u) + f (v), et si, pour tout v V et
r K, on a f (rv) = (r)f (v), o est un automorphisme du corps K. Toute bijection
semi-linaire f : V W induit une application bien-dfinie [f ] : PV PW , [v] 7 [f (v)],
dite une semi-homographie.
Exercice. Montrer que (1) (2) : une semi-homographie est une collination (copier les
arguments utiliss pour une collination).
La preuve de lautre implication est plus longue et plus difficile. Ltape cruciale de la
preuve est celle qui fait le lien entre des constructions dincidence et les lois de corps de
K (addition, multiplication), de sorte que f prserve ces lois si f prserve les relations
dincidence. Cette preuve fait intervenir des ides proches de celles utilises dans les
preuves de 7.2 et 7.4, cf. [Berger].
Exercice, rappel ou remarque. Les corps Q et R nont quun seul automorphisme:
lidentit. Le corps C a une infinit dautomorphismes, mais seulement deux dentre eux
sont continues : lidentit et la conjugaison complexe. Ainsi lapplication CPn CPn ,
[z] 7 [z] est une semi-homographie, donc cest une collination. Le corps Z/pZ admet un
automorphisme non-trivial : k 7 k p . Remarque. La thorie de Galois met en relation la
structure des corps et leurs groupes dautomorphismes.
19

Chapitre 8 : Le birapport sur la droite projective

La thorie de la droite projective se distingue nettement de la thorie en dimension
suprieure : une raison en est quil ny a pas de sous-espaces projectifs propres autres
que les points eux-mmes, ainsi on ne peut pas faire de gomtrie dincidence sur une
droite, et il ny a pas de dfinition raisonnable dune droite projective abstraite !
Ce dfaut est contrebalanc par le fait que, sur les droites KP1 , il existe un invariant
numrique utile et important, le birapport (ou rapport anharmonique, anglais : crossratio; cf. http://fr.wikipedia.org/wiki/Rapport_anharmonique pour un premier survol). Notre point de dpart est la remarque que un hyperplan dans KP1 est exactement la
mme chose quun point dans KP1 ; autrement dit, lespace X = KP1 est canoniquement
la mme chose que son espace projectif dual X 0 . Sur le plan de lalgbre linaire, cela
se traduit par le fait quil y a une faon naturelle didentifier un espace vectoriel V de
dimension 2 avec son espace dual V :
8.1. Dfinition. Une forme symplectique sur un espace vectoriel V est une application bilinaire et alterne : V V K (i.e., (v, v) = 0 pour tout v V ) qui est
non-dgnre (i.e., si (v, w) = 0 pour tout w V , alors v = 0). Remarque : lalternance
((v, v) = 0) implique que est antisymtrique : (u, v) = (v, u).
8.2. Lemme. Soit dim V = 2 et b1 , b2 une base de V . Alors il existe une unique forme
symplectique : V V K telle que (b1 , b2 ) = 1. Cette forme est donne par
(x1 b1 + x2 b2 , y1 b1 + y2 b2 ) = x1 y2 x2 y1 .
Toute autre forme symplectique est un multiple de cette forme.
Ainsi est unique un scalaire non-nul prs ; on lappelera la forme symplectique
canonique sur V .
8.3. Corollaire. Soit une forme symplectique sur un espace vectoriel de dimension 2.
Alors, pour tout g GL(V ) et pour tout u, v V ,
(gv, gu) = det(g) (v, u) .
De plus, u et v sont linairement indpendants ssi (u, v) 6= 0.
8.4. Corollaire. Soit dim V = 2. Lapplication
: PV P(V ),

[v] 7 [(, v)]

est bien dfinie et indpendant du choix de forme symplectique sur V .

Le corollaire dcrit donc une identification canonique dune droite projective avec son dual.
Tout point p = [v] de la droite projective PV sidentifie avec lhyperplan (p). Noter que
p et (p) sont toujours incidents, ce qui correspond au fait que (v, v) = 0.
8.5. Dfinition du birapport. Soit dim V = 2 et une forme symplectique sur V , et
soient ([a], [b], [c], [d]) (PV )4 , deux deux distincts. Leur birapport est la quantit
BR([a], [b], [c], [d]) :=

(c, a) (d, a)
(c, a) (d, b)
:
=

K.
(c, b) (d, b)
(c, b) (d, a)

Ceci est bien dfini : la quantit ne change pas si on remplace , resp. a, b, c ou d, par
des multiples ! Remarque : cette dfinition sapplique aussi 4 points colinaires dans
20

un espace projectif de dimension suprieur en effet les 4 vecteurs correspondants se

trouvent dans un plan vectoriel, auquel la dfinition prcdente sapplique. Par rapport
nimporte quelle base, on a la formule
BR([a], [b], [c], [d]) =

c1 a2 a1 c2 d1 a2 a1 d2
:
.
c1 b2 b1 c2 d1 b2 b1 d2

()

8.6 Lemme. Le birapport est un invariant du groupe projectif : pour tout g GL(V ),
BR([ga], [gb], [gc], [gd]) = BR([a], [b], [c], [d]) .
Le birapport peut tre interprte comme un rapport dans lespace affine PV \ {[d]} :
8.7. Thorme. Choisissons un repre projectif 0 = [e2 ], = [e1 ], 1 = [e1 + e2 ] et
crivons a = a1 e1 + a2 e2 , etc.
(1) Supposons que a, b, c, d sont finis (i.e., 6= ) et normalisons a2 = 1 = b2 = c2 = d2 .
Alors on a la formule dans la carte canonique
BR([a], [b], [c], [d]) =

(c1 a1 ) (d1 b1 )
c 1 a1 d 1 a1
:
=
.
c1 b1 d1 b1
(c1 b1 ) (d1 a1 )

(A)

(2) Si d = et a2 = 1 = b2 = c2 , en utilisant le rapport dans lespace affine, cf. df.

1.10,
c 1 a1
(B)
BR([a], [b], [c], []) = R(a1 , b1 , c1 ) =
c 1 b1
(3) Finalement,
BR(, 0, 1, d) =

d1
.
d2

(C)

La formule (A) peut servir pour dfinir le birapport de 4 points sur une droite affine. La
formule (C) scrit, en identifiant x 6= avec un lment de K, BR(, 0, 1, x) = x.
Notation : dans la suite, nous travaillons souvent directement avec un point a KP1 au
lieu dcrire [a] KP1 . Si besoin est, on peut toujours crire a sous la forme [v], v V .
8.8. Thorme. Fixons un repre projectif, comme dans le thorme prcdent, et
01
identifions PV \ {} avec K. Soit a, b, c PV , deux deux distincts, et soit f = fabc
lunique lment de PGL(2, K) tel que f (a) = , f (b) = 0, f (c) = 1 (cf. 4.9 (3) ). Alors
on a
01
BR(a, b, c, d) = fabc
(d).
En effet, par rapport linclusion K KP1 , on a, en utilisant (C) ci-dessus,
f (d) = BR(, 0, 1, f (d)) = BR(f (a), f (b), f (c), f (d)) = BR(a, b, c, d).
8.9. Remarque : birapport valeurs dans la droite projective. Le thorme
donne une autre dfinition possible du birapport (utilise par beaucoup dauteurs) : on
fixe un repre, et pour a, b, c deux deux distincts et d KP1 quelconque, on dfinit
01
BR(a, b, c, d) := fabc
(d) KP1 .

21

Comme le plongement de K dans KP1 dpend du repre, cette dfinition nest plus indpendant du repre. Son avantage est quelle donne un sens au valeurs du birapport
suivantes :
BR(a, b, c, c) = 1, BR(a, b, c, b) = 0, BR(a, b, c, a) = .
8.10. Thorme. La rciproque du lemme 8.6 est vraie aussi : soit f : PV PV une
bijection qui prserve le birapport, alors f est une homographie.
Pour la preuve, on se ramne au cas f () = ; alors la restriction de f la droite affine
K = PV \ {} prserve les rapports. Il suffit alors de montrer que une application dune
droite affine qui prserve les rapports est une application affine.
Lordre des 4 points dans la dfinition du birapport est important. Rappelons que le
groupe S4 de permutations de 4 lettres agit par permutation sur les 4 variables dun
quadruplet de points.
8.11. Thorme. Le birapport est invariant sous les permutations 1 := (12)(34) et
2 := (14)(23) :
BR(a, b, c, d) = BR(b, a, d, c) = BR(d, c, b, a) .
Il sensuit quil est invariant aussi sous 3 = (13)(24), et donc sous le groupe de Klein
{id, 1 , 2 , 3 }. Sous les permutations (12) et (23), le birapport se transforme selon
BR(b, a, c, d) =

1
,
BR(a, b, c, d)

BR(a, c, b, d) = 1 BR(a, b, c, d).

Les permutations donnes dans le thorme engendrent S4 , et donc on connait maintenant

le comportement du rapport sous toute permutation.
8.12. Exercice. partir de = BR(a, b, c, d), on obtient par permutation les valeurs
,

1 ,

1 ,

(1 )1 ,

1 1 ,

(1 1 )1 .

Montrer que ces six valeurs sont 2 2 diffrentes, sauf si lun deux appartient liste
i
suivante : 1, 1, e 3 (ce dernier si, par exemple, K = C). Etudier les valeurs possibles du
birapport dans chacun des trois cas.
8.13. Dfinition. Si BR(a, b, c, d) = 1, on dit que les quatre points sont en division harmonique. tant donn un triplet de points (a, b, c), lunique point d tel que
BR(a, b, c, d) = 1, sappelle le conjugu de c par rapport a et b.
8.14. Lemme. Prenons d comme point linfini. Alors BR(a, b, c, d) = 1 si et
seulement si, dans la droite affine K = KP1 \ {d}, on a
c a = b c,

ou encore :

2c a = b,

ce qui veut dire que a et b sont symtriques par rapport au point c, ou encore (si car(K) 6=
2): c = a+b
est le milieu (barycentrique) de a et de b dans la droite affine KP1 \ {d} .
2
Si on choisit diffrent de d, on peut dire (pour K = R) que a, b, c, d K sont en
division harmonique ssi lun des deux points c et d est lintrieur du segment [ab] et
lautre lextrieur, et de plus les rapports de longueur ca
et da
sont gaux. Exemple :
cb
db
1
1
(0, n+1
, n1 , n+2
) sont en division harmonique.

22

8.15. Dfinition. Soit KP2 le plan projectif sur K. Un quadrilatre complet est la
donne de 4 droites dans KP2 telles que trois quelconques parmi elles ne soit pas concurrentes. Alors ces droites ont 6 points dintersection, et parmi les droites reliant ces
points entre eux il y a exactement 3 nouvelles droites que lon appelera les diagonales
du quadrilatre. (Faire un dessin !)
8.16. Thorme. Soit D une diagonale dun quadrilatre complet, par deux points,
disons a et b, du quadrilatre. Soient i et j les points dintersection de D avec les deux
autres diagonales. Alors j est le conjugu harmonique de i par rapport a et b, i.e.:
BR(a, b, i, j) = 1.
La preuve la plus simple consiste choisir lune des trois diagonales comme droite linfini.
Les autres deux diagonales deviennent alors les diagonales dun paralllogramme affine.
Or, en gomtrie affine on montre facilement que les sommets dun paralllogramme sont
symtriques par rapport au point dintersection des deux diagonales.

Chapitre 9 : Coniques et quadriques projectives

9.1. Introduction : exercice prliminaire. Soit C := {x R3 | q(x) = 0}, avec
q(x) = x21 + x22 x23 , le cne circulaire. Faire un dessin et montrer que lintersection de C
avec un plan affine E de R3 peut tre, selon la position de ce plan :
0) un point ;
1) une droite ;
2) deux droites qui sintersectent ;
3) une ellipse ;
4) une hyperbole ;
5) une parabole.
La figure dintersection du cne C avec un plan affine E est dite une conique affine. Montrer que lensemble PC := [C] := {[x] P(R3 ) | q(x) = 0}, dite une conique projective,
est bien dfini, et que les figures 3) 5) peuvent apparaitre comme intersection PC A
de PC avec une partie affine A de P(R3 ). Ainsi ellipses, hyperboles et paraboles sont
des images affines diffrentes dune mme conique projective, et ils ont donc des proprits projectives en commun proprits tudies depuis lantiquit (Appolonius),
puis de nouveau grce au dveloppement des ides gnrales de la gomtrie projective
(Pascal, Poncelet,...), voir, pour des remarques historiques, http://fr.wikipedia.org/
wiki/Conique.
9.2. Rappel : formes quadratiques. Passons au cas dun corps quelconque K (de
caractristique 6= 2). Rappelons quune forme quadratique sur un K-espace vectoriel V
est une application q : V K de la forme q(x) = (x, x) o
:V V K
est une application bilinaire symtrique. Le rang de q est le rang de lapplication linaire
: V V ,

v 7 (v, )

et le noyau de (ou : de g est, par dfinition, le noyau de :

= {v V | w V : (v, w) = 0}.
ker(q) := ker() := ker()
23

Aprs choix dune base, en identifiant V Kn , on peut mettre q : Kn K sous la forme

q(x) =

n
X

aij xi xj = xt Ax

i,j=1

avec la matrice symtrique A = (aij ) = ((bi , bj )). La forme bilinaire associe est alors
(x, y) = xt Ay.
Le rang de q est alors celui de la matrice A, et on dit que q et sont non-dgnres si
le rang est maximal, i.e., si det(A) 6= 0. Un vecteur v V est dit isotrope si q(v) = 0 et
v 6= 0. Lensemble
C = {x Kn | q(x) = 0}
est homogne par rapport au scalaires dans le sens que x C ssi x C pour K .
Le choix dune forme quadratique sur V a deux effets sur lespace projectif P(V ) :
A), elle dfinit une quadrique projective, et
elle dfinit une polarit :
B), via ,
9.3. Dfinition. Une quadrique projective est une partie [C] P(V ) de la forme
[C] := {[x] P(V ) | q(x) = 0, x 6= 0},
o q : V K est une forme quadratique non-nulle. Elle est dite propre si q est nondgnre. Si dim P(V ) = 2, on parle dune conique. Une quadrique (conique) affine
est un ensemble de la forme [C] A, o [C] est une quadrique (conique) projective et
A = PV \ H est une partie affine de PV (H un hyperplan). Si H = [ker ], cette image
affine est donne par
{x V | (x) = 1, q(x) = 0}.
9.4. Exemple.
(1) Ellipse, hyperbole et parabole sont des images affines provenant de la mme conique
projective, selon le cas o la droite linfini H est extrieure, scante ou tangente de la
conique (exercice 9.1).
(2) Attention : une quadrique peut tre vide ! Soit q(x) = x21 + x22 + x23 . Si K = R, la
conique [C] RP2 est vide (car le seul vecteur isotrope est 0). Si K = C, la conique
[C] CP2 est non-vide : par exemple, [(0, i, 1)], [(0, i, 1)] [C] (limage affine pour
x3 = 1 est {(x1 , x2 ) C2 | x21 + x22 = 1}).
9.5. Dfinition. Soit x V tel que la forme linaire (x, ) : V K est non-nulle.
Alors lensemble
x := ker((x, )) = {y V | (x, y) = 0}
est un hyperplan de V (i.e., un lment de P(V )0 ), et lhyperplan projectif
[x] := [x ] = [ker((x, ))] P(V )
sappelle la polaire du ple [x]. Noter quun point [x] P(V ) appartient la quadrique
Q si et seulement si [x] est sur sa polaire [x ].
9.6. Lemme. Si q est non-dgnre, alors lapplication
: P(V ) P(V )0 ,
[]
24

[x] 7 [x ]

est une homographie bijective, dite une polarit.

9.7. Exemple.
(a) Cas dun produit scalaire sur V = Rn+1 . La quadrique est vide, mais la polarit est
bien dfinie. Pour n = 1: produit scalaire q(x) = x21 + x22 , avec polarit:
RP1 RP1 ,

[(x1 , x2 )] 7 [(x2 , x1 )]
P
(b) Cas de la forme Lorentzienne sur Rn+1 : q(x) = ni=1 x2i x2n+1 . La quadrique [C] est
donne par le cne circulaire. Pour n = 1, q(x) = x21 x22 , la quadrique a exacement deux
points : [(1, 1)] et [(1, 1)], et la polarit est dcrite par :
RP1 RP1 ,

[(x1 , x2 )] 7 [(x2 , x1 )]

Passons au cas dun corps gnral pour classifier les quadriques en dimesion un :
Le cas dune droite projective (dimension 1)
9.8. Thorme (quadriques en dimension 1). Soit dim V = 2 et q : V K une
forme quadratique. Alors prcisment les 4 cas suivants peuvent se produire :
(0) rang nul : q = 0 ;
(1) rang un : il existe une base b1 , b2 de V telle que q(x) = 1 x21 avec 1 6= 0 ;
(2a) rang deux, anisotrope : q nadmet pas de vecteur isotrope ;
(2b) rang deux, isotrope : il existe une base b1 , b2 de K2 par rapport laquelle


0 1
q(x1 b1 + x2 b2 ) = 2x1 x2 ,
matrice p.r. cette base :
1 0
(K2 muni dune telle forme sappelle un plan hyperbolique).
Pour la quadrique Q dans la droite projective P(V ), prcisement les 4 cas suivants peuvent
se produire:
(0) rang nul : Q = PV ;
(1) rang un : Q contient un seul point ;
(2a) rang deux, anisotrope : Q = ;
(2b) rang deux, isotrope : Q contient deux points ( savoir, [b1 ] et [b2 ]).
Noter que sur C, le cas (2a) ne peut pas se produire. Gomtriquement, le cas (2b) est
le plus intressant. Noter que, dans ce cas, par un chagement de base, on peut aussi
se ramener la forme normale q(x) = x21 x22 (matrice diagonale dia(1, 1)). Pour la
polarit, on a :
9.9. Proposition. Soit dim V = 2 et supposons Q est de type (2b) ci-dessus, et crivons
Q = {a, b} avec a, b PV , a 6= b. Alors la polaire du point x PV sidentifie au point
y PV tel que le quadruplet (a, b, x, y) soit harmonique, i.e., BR(x, y, a, b) = 1.
25

Le cas des coniques (dimension 2)

9.10. Thorme (classification des coniques). Soit dim V = 3 et q : V K une
forme quadratique. Alors prcisment les cas suivants peuvent se produire:
(0) rang nul : q = 0 ;
(1) rang un : il existe une base b1 , b2 , b3 de V telle que q(x) = 1 x21 avec 1 6= 0 ;
(2a) rang deux, anisotrope : V = P K avec P un plan anisotrope et K = ker() ;
(2b) rang deux, isotrope : V = H K avec H un plan hyperbolique et K = ker() (alors
il existe une base b1 , b2 , b3 de V par rapport laquelle q(x) = 2x1 x2 )
(3a) rang trois, anisotrope : q nadmet pas de vecteur isotrope
(3b) rang trois, isotrope : il existe une base b1 , b2 , b3 de V par rapport laquelle

0 0
0 0 ( 6= 0).
matrice p.r. cette base :
q(x) = (2x1 x2 + x23 );
0 0
Pour la conique correspondante, prcisment les cas suivants se produisent :
(0) rang nul : Q = P(V ) ;
(1) rang un : Q est une droite projective (dite double) ;
(2a) rang deux, anisotrope : Q est un point ( = [ker ]) ;
(2b) rang deux, isotrope : Q est la runion de deux droites (qui sintersectent en [ker ]);
(3a) rang trois, anisotrope : Q = ;
(3b) rang trois, isotrope : Q
= {[x] KP2 | 2x1 x2 + x23 = 0}
Le seul cas dune conique propre et non-vide est donc (3b) ; pour cette raison on parle
de la conique propre non-vide. Noter que, par un changment de base, on peut alors
mettre la matrice de sous forme diagonale dia(1, 1, 1), ce qui correspond au cas du
cne circulaire si K = R ; dans ce cas, on retrouve donc les coniques classiques (exercice
9.1). Nous allons tudier ce cas plus en dtail dans le chapitre suivant.
Classification des quadriques en dimension quelconque
9.11. Pour un corps K quelconque, si dim V > 3, il nexiste plus de classification complte
de formes quadratiques. (Cependant, pour K = C et K = R, une telle classification est
relativement simple : revoir les cours de Licence !) Cependant, une classification grossire
selon les principes du thorme prcdent est toujours possible: on peut dcomposer
V = A H1 . . . Hk K,
avec K = ker(), A un sous-espace anisotrope (i.e., q|A est une forme anisotrope) et
H1 , . . . , Hk des plans hyperboliques. Tout les problmes mathmatiques de classifications
se cachent maintenant dans la partie A. Si q est non-dgnre (i.e., K = 0), on peut
donc gossirement distinguer deux types:
26

(a) A 6= 0 ;
(b) A = 0, i.e., V = H1 H2 . . . Hk (cas dit artinien).
En genral, le cas (a) est sauvage : une classification explicite est trs difficile. (Si
K = C, le cas (a) ne se produit pas ; pour K = R, dim A est li la signature de q.) Dans
le cas (b), dim V = 2k est paire, et on peut regrouper les vecteurs de base telle que la
matrice de soit




0 1k
1k 0
ou bien, via un changement de base :
.
1k 0
0 1k
Le cas k = 1 est celui du thorme 9.8 ; le cas suivant est k = 2, donc dim V = 4 :
(4a) V = A H ;
(4b) V = H1 H2 .
Pour un corps quelconque, le type (4a) peut donner lieu beaucoup de sous-cas ; si
K = R, (4a) donne lieu un seul cas, le cas lorentzien : q(x) = x21 + x22 + x23 x24 .
Pour x4 = 1, nous avons la sphre S 2 comme image affine ; pour x1 = 1, nous trouvons
lhyperbolode deux nappes comme image affine. Le cas artinien (4b) est trs intressant: par rapport une base convenable, q(x) = x21 + x22 x23 x24 ; pour x4 = 1, son
image affine est lhyperbolode une nappe {x R3 | x21 + x22 x23 = 1}. Devoir : faire
un beau dessin...
Scantes et tangentes
Soit D = [E] une droite de P(V ) et Q une quadrique. On veut dcrire la position de D
par rapport Q. Lintersection D Q est une conique dans [E]. Le thorme 9.8 donne :
9.12. Proposition. Soit Q une quadrique projective dans un espace projectif PV et D
une droite de PV . Pour lintersection D Q, prcisment les cas suivants peuvent se
produire:
(0) rang nul : D Q ;
(1) rang un : D Q contient un seul point ;
(2a) rang deux, anisotrope : D Q = ;
(2b) rang deux, isotrope : D Q contient deux points.
9.13. Dfinition. Si Q D est de rang nul ou un (cas (0) ou (1)), D est dite une
tangente de Q. Dans le cas (2b), D est dite une scante de Q, et dans le cas (2a) une
droite extrieure.
9.14. Exemples.
(1) Soit dim V = 3 et D = [E] avec dim E = 2, et considrons le cas de la conique propre
non-vide. Alors il nexiste aucun planE isotrope dans V (i.e, tel que (E, E) = 0, car
sinon, la matrice de serait de rang 2 : contradiction). Ainsi, le cas (0) ne se produit pas
pour la conique propre. Toute tangente la conique propre est donc de type (1), i.e., elle
touche la conique en un seul point.
(2) Soit dim V = 4, cas (4b) (cas artinien). Par rapport une base convenable, q(x) =
x1 x2 +x3 x4 . Si D = [E] avec E K4 le plan de base e2 , e3 , alors E est un plan totalement
isotrope, i.e., q(E) = 0, donc D Q: on est dans le cas (0). Il existe donc des droites
27

tangentes Q compltement inclues dans Q (revoir la gomtrie affine de lhyperboloide

une nappe !).
9.15. Lemme. Soit Q une quadrique non-dgnre de P(V ), soit p Q et Tp Q := p
son hyperplan polaire. Soit D P(V ) une droite passant par p. Alors D est une tangente
de Q si, et seulement si, D p . Ainsi Tp Q, dit lhyperplan tangent de Q au point p, est
la runion de toutes les droites tangentes Q et passant par le point p.
Images affines dune quadrique projective
9.16. Dfinition. Soit Q P(V ) une quadrique propre et H = [E] P(V ) un
hyperplan, considr comme hyperplan linfini de la partie affine A = P(V ) \ H.
Limage affine QA := Q A de Q est dite
complte ou elliptique si H est extrieur Q dans le sens que Q H = ;
parabolique si H est tangent Q dans le sens quil existe p Q tel que H = Tp Q ;
hyperbolique sinon.
9.17. Exercice. Montrer : avec les notations ci-dessus,
(1) limage affine QA est parabolique ssi la restriction q|E est dgnre ;
(2) limage affine QA est elliptique ssi la restriction q|E est anisotrope ;
(3) limage affine QA est hyperbolique ssi la restriction q|E est non-dgnre et admet
au moins un vecteur isotrope.
9.18. Exemples.
(1) Pour K = R, la sphre est une image complte de la quadrique dfinie par la forme
Lorentzienne. Une autre image (hyperbolique) est Lhyperbolode deux nappes. Pour
K = C, il ny a jamais dimage affine complte.
(2) Lhyperbolode une nappe est une image hyperbolique de la quadrique artiniebbe Q
dans RP3 . Cette quadrique nadmet aucune image affine complte. Plus gnralement: si
E est un hyperplan non-dgnr de V , on dcompose V = E E , avec E de dimension
1. En crivant v = (x, t) E E et q(v) = q 0 (x) + at2 , avec a 6= 0, puis en divisant par
a, limage affine QA peut tre mis sous la forme
QA
= {z A | q 0 (z) = 1}.
Si lquation q 0 (x) na pas de solution non-nulle dans E, limage est complte.
9.19. Image affine parabolique dune quadrique. Ce type dimage gnralise la
parabole (=graphe de lapplication R R, t 7 t2 ) : on vera que QA est le graphe dune
application quadratique W K, o W est de dimension dim V 2.
Dfinition. Soit V = W K avec dim W = n. Un parabolode affine dans V est un
ensemble de la forme suivante, o q 0 : W K est une forme quadratique :
{(y, t) | x V, t = q 0 (x)}
Autrement dit, cest le graphe de lapplication q 0 : W K.
28

Soit Q = Q une quadrique propre non-vide, et fixons deux points p = [P ] et s = [S]

dans Q, tels que p s soit une scante (i.e., (P, S) 6= 0 ; on peut alors normaliser P tel
que (P, S) = 1). Soit F := KP KS le plan hyperbolique de base P, S ; on a alors une
dcomposition
V = F F = KP KS B,

B := F = P S .

Noter que S = KS F et P = KP F .
9.20. Lemme. Soit H := Tp Q et A := P(V ) \ H. Alors A est un espace affine qui
sidentifie
{v V | (v, P ) = 1} = {S + tP + b | t K, b B}
= B K.
Le point S + tP + b correspond au couple (b, t). Limage affine Q A sidentifie alors au
graphe
1
{(b, q(b)) | b B}
2
de lapplication 21 q : B K.
Preuve. Soit = (P, ), donc H = [ker ]. On identifie A avec {v V | (v) = 1}.
Tout lment v A scrit donc v = S + tP + b avec t K et b B. La condition
0 = (v, v) = (S + tP + b, S + tP + b) quivaut alors
1
1
t = (b, b) = q(b),
2
2
ainsi limage affine Q A
= { 12 q(b)P + b | b B} de la quadrique sidentifie au graphe
1
de lapplication 2 q : B K.
Remarque. Pour toute fonction f : M N , lapplication m 7 (m, f (m)) tablit une
bijection entre M et le graphe de f . Ainsi, B Q A, b 7 (b, 21 q(b)) est une bijection.
Exemple. La conique propre non vide. Comme dim B = 1, le graphe {(x, f (x)) | x B}
dune fonction f : B K est en bijection avec K via x 7 (x, f (x)). De plus, dans ce cas
Q Tp Q est le point p, de sorte que Q
= {p} K. Noter que cette dcomposition de Q
1
ressemble celle de KP = K {}. Nous allons voir dans le chapitre suivant que cette
identification de la conique Q avec la droite projective KP1 est naturel dans plusieurs
regards.
9.21. Remarque : comparaison des points de vue projectifs et affines. En
gomtrie affine, on dfinit une quadrique affine comme partie dun espace affine A de
la forme {x A | f (x) = 0}, o f : A K est une fonction quadratique, i.e., f (x) =
q(x) + a(x) + c, avec q : A K une forme quadratique, a : A K une forme linaire et c
une constante. Nous avons vu que toute image affine dune quadrique projective est une
quadrique affine. La rciproque est vraie aussi (cf. TD) : si on fixe une origine dans A et
on pose V := A K, montrer qualors la fonction
F : V K,

F (x, t) := t2 f (t1 x)

est homogne quadrique ; comme F (x, 1) = f (x), limage affine t = 1 de la quadrique

{[v] | F (v) = 0}, o v = (x, t), redonne la quadrique du dpart.

29

Chapitre 10 : Projection strographique et applications

10.1. Exercice : la projection strographique classique. Cette application sert
identifier la sphre S n la runion de Rn avec un unique point ; elle joue un rle important
en gomtrie, en topologie et (si n = 2) en cartographie (cf. [Berger] !). Lexercice suivant
est au niveau de cours de Licence : soit S n = {x Rn+1 | hx, xi = 1} la
Psphre unit de
n+1
lespace euclidien R
muni de son produit scalaire standard hu, vi = i ui vi . Le point
N = en+1 (dernier vecteur de la base canonique) est appel le ple nord de S n , et le point
S = N le ple sud. Dans la suite, la lettre P dsignera indiffremment le point N ou le
point S. On note UP := S n \ P et P = {x Rn+1 | hx, P i = 0} = {x Rn+1 |xn+1 = 0}
lhyperplan orthogonal P que lon identifiera avec Rn en identifiant y = (y1 , . . . , yn ) Rn
avec (y1 , . . . , yn , 0) Rn+1 .
Pour tout point x S n , x 6= P , montrer que la droite x P admet un unique point
dintersection avec P , quon note P (x), et quil est donn par la formule
P (x) =



1
x hx, P iP .
1 hx, P i

La projection strographique (du ple P sur P ) est dfinie par

P : UP P ,

x 7 P (x).

Montrer que lapplication P est bijective et calculer lapplication rciproque.

Montrer que P est un homomorphisme (i.e., continu dans les deux sens).
Soit n = 1. Faire un dessin du plan R2 avec S 1 , N , S, P , y = S (x) et z = N (x)
(pour un choix gnrique de x S 1 ). Par un argument de gomtrie lmentaire
(observer que les triangles Sy0 et N 0z sont semblables), montrer que
N (1
S (y)) =

y
.
||y||2

Montrer que cette formule est valable aussi dans le cas de n gnral (on pourra faire
un calcul direct, ou invoquer le cas n = 1 par un argument gomtrique).
Montrer que lapplication
h : P \ {0} P \ {0},

y 7 N (1
S (y))

est un diffomorphisme de classe C et calculer sa diffrentielle Dh(y).

10.2. La projection strographique : dfinition projective. Nous allons
gnraliser la construction classique en remplaant la sphre S n par une quadrique projective Q et R par un corps K. La dfinition reste presque inchange, le seul changement important tant quil ne faut pas seulement enlever le ple P , mais tout lensemble
Q TP Q, pour que le projection (x) soit dfinie pour un x Q. (Rappel : pour une
conique, Q TP Q est toujours rduit un point, mais pour un hyperbolode une nappe,
cet ensemble est bien plus grand : il contient deux droites.)

30

Proposition. Soit Q une quadriqe projective et p Q. Soit A := P(V ) \ Tp Q et

QA := Q A. Soit F un hyperplan de P(V ) tel que p
/ F , et FA = F A (hyperplan
affine de A). Alors la projection strographique depuis p
p := pQ,F : QA FA ,

x 7 (x p) F

est bien dfinie et bijective, dapplication rciproque FA QA , y 7 (y p) QA .

10.3. Remarque : dpendance de F . La dpendance du choix de lhyperplan F est
inessentielle, dans le sens suivant : si on choisit un autre hyperplan F 0 diffrent de Tp Q,
alors la nouvelle projection strographique est obtenue en composant lancienne par une
homographie (projection centrale de F sur F 0 ; cela dcoule directement de la dfinition):
pQ,F 0 = PFp 0 ,F pQ,F .
Plus important est dtudier la dpendance du ple de projection : par la rciproque
dune projection strographique depuis un point s, on va dun hyperplan F sur Q, puis
on reprojette depuis un autre point n sur le mme hyperplan. La compose n (s )1
nest pas dfinie pour tous les points de F , mais elle le sera pour presque tout point
de F . Cela ressemble beaucoup la situation de changement de carte dcrite dans le
chapitre 5 : en effet, le projections strographiques peuvent servir pour dfinir un atlas
sur Q (cf. la remarque 5.5). La description deviendra plus simple si nous fixons le choix
de F tel que, dans limage affine parabolique, la projection strographique sera dcrite
par la projection naturelle (x, f (x)) 7 x dun graphe {(x, f (x)) | x M } sur M :
10.4. Thorme. Soit n, s Q deux points tel que n s soit une scante de Q, et soit F
un hyperplan de PV tel que Tn QTs Q = F Tn Q = F Ts Q. (Un tel hyperplan est obtenu
par le choix dun point ` n s diffrent de n et de s et en posant F := (Tn Q Ts Q) `.)
Soit A lespace affine P(V ) \ Tn Q. Lhyperplan affine E := FA = F A, sidentifie alors
avec B = S N (cf. 9.19 et 9.20). Lapplication
n,s : E 99K E,

s
n
x 7 PQ,F
(PQ,F
)1 (x)

b
, dfinie si (b, b) 6= 0, et o 0 K
est alors donne par la formule B 99K B, b 7 0 (b,b)
est une constante dpendante du choix de `.

Preuve. Faire un dessin de la situation gomtrique (tel que lintersection Tn Q Ts Q

apparat dans le dessin comme un point ; ce point reprsente en ralit un sous-espace
projectif de dimension n 2 !) On utilise les notations de 9.19 et 9.20, avec n = [N ] au
lieu de p = [P ] : V = KN KS B, et soit ` = [L] avec L = S + N (o K ) et
F = [E]. Alors
E S = E N = S N = B,
et grce ces choix, lhyperplan affine FA est parallle Ts Q dans lespace affine A
=
B K. Dans lidentification A
= B K,
le point s = [S + 0 + 0] correspond (0, 0) ;
lespace tangent Ts Q correspond B 0 ;
lespace affine FA correspond aux couples (b, ) avec b B ;
la droite s n correspond 0 K (dont n est le point linfini) ;
la quadrique affine QA correspond aux couples (b, 12 q(b), b B ;
la projection strographique depuis n est la projection (b, 21 q(b)) 7 (b, ) ;

31

 la projection strographique depuis s est dcrite par (b, 12 q(b)) 7 r(b, 12 q(b)), o
r ( 12 q(b)) = . En mettant tout cela ensemble, on obtient la formule de lnonc : Soit
x = (b, ) FA ; alors (n )1 (b, ) = (b, 21 q(b)) et


1
b
s (n )1 (b, ) = s (b, q(b)) =
, .
2
2q(b)
10.5. Dfinition. Soit W un espace vectoriel muni dune forme quadratique non-nulle
q : W K. Linversion dfinie par ces donnes est alors lapplication dfinie par
i := iq : U := {x W | q(x) 6= 0} W,

x 7

1
x.
q(x)

Noter que lensemble des points fixes est {x | q(x) = 1} et que i i = idW . Exemples:
W = R et q(x) = x2 : alors i(x) = x1 (points fixes : 1)
1
W = R et q(x) = kx2 : alors i(x) = kx
(si k = 1 : pas de points fixes !)
x
2
2
2
W = R et q(x) = x1 + x2 : alors i(x) = x1 +x
2 , dite linversion par rapport au cercle.
1
2
Cette application a des proprits gomtriques trs intressantes (exercice) : montrer
quelle transforme une droite ne passant pas par 0 en un cercle passant par 0 et un cercle
ne passant pas par 0 en un cercle ne passant pas par 0 ; ce nest donc pas une homographie!
W = Rn+1 et q(x) = hx, xi le produit scalaire usuel : inversion par rapport S n .
Le cas dim W = 1 est en effet le seul cas o linversion est une homographie ! Do le rle
particulier de ce cas : dans la suite, supposons que Q soit une conique propre non-vide.
10.6. Projection strographique pour une conique. Rappelons (exemple 9.14 (1))
que, pour la conique Q, une tangente au point n touche Q au seul point n (le cas (0) ne
se produit pas), ainsi la projection n met en bijection Q \ {a} et une droite affine FA .
On peut donc la complter en dcrtant que le point a devra correspondre au point
linfini = F Ta Q de cette droite affine. Ainsi on a complt n en une application
dfinie partout
n = nQ,F : Q F,

x 7 n (x) = si x = n,

n (x) = (x n) F sinon.

Le lecteur compltera cette dfinition par un dessin :

10.7. Thorme (Birapport sur la conique). Soit dim P(V ) = 2 et Q une conique
propre non-vide. Fixons deux points s, n Q, s 6= n et une droite F qui ne contient ni s,
32

ni n. Alors s n est une scante, et lapplication

n,s : F F,

x 7 s (n )1 (x)

est une homographie. Soit (a, b, c, d) Q4 , deux deux distincts. Alors la quantit


BR(a, b, c, d) := BR n (a), n (b), n (c), n (d)
est indpendante du choix du point n Q; on lappelle le birapport du quadruplet
(a, b, c, d) Q4 .
En effet, si on fait la dfinition du birapport en projetant depuis s, les 4 images seront lies
celles de la projection depuis n par une homographie, et ont donc le mme birapport.
(Complter le dessin ci-dessus en y indiquant ces points !)
10.8. Thorme (Hexagramme Mysticum de Pascal). Soient a, b0 , c, a0 , b, c0 les
sommets dun hexagone inscrit dans une conique propre non-vide Q. Alors les points
dintersection des cots opposs sont aligns, i.e., les points suivants sont aligns :
u := (bc0 ) (cb0 ),

v := (ac0 ) (ba0 ),

w := (ab0 ) (ba0 ) .

Faire ici un dessin du cas K = R, avec image affine de Q une ellipse, et a, b, c, c0 , b0 , a0

sur Q pris dans cet ordre en parcourant lellipse au sens de laiguille, et lhexagon tant
donn par des segments successifs a0 bc0 ab0 ca0 . On marquera les points x := (bc0 ) (ca0 ) et
y := (ac0 ) (ba0 ).

Montrer que u, v, w sont aligns revient montrer que pv (u) = w, pour la perspective
centrale pv : (bc0 ) (ba0 ). Comme pv envoit b 7 b et c0 7 y, et x 7 a0 , laffirmation
pv (u) = w revient montrer que,
BR(b, c0 , x, u) = BR(b, y, a0 , w) .
La preuve vient alors du fait que, par projection strographique depuis a, respectivement
depuis c, ces birapports sont tous les deux gaux BR(b, c0 , a0 , b0 ), pris sur la conique Q.
Pour noncer le thorme dual de celui de Pascal, il faut observer que, sous la dualit
entre P(V ) et P(V )0 , les points dune quadrique projective correspondent aux hyperplans
tangents de cette quadrique.
10.9. Thorme (Brianchon). Les diagonales joignant les sommets opposs dun
hexagone circonscrit une conique sont concourantes.
33

Chapitre 11 : Topologie de RPn et de CPn

Les espaces projectifs RPn et CPn (et, par ailleurs, aussi HPn ainsi que le plan octonion)
portent une topologie naturelle : on peut donc parler dapplications continues dans ce
contexte, et des proprits comme la compacit et la connexit sont dfinies. Le but
de ce chapitre est de dfinir cette topologie naturelle et de dmontrer quelques rsultats
fondamentaux : les espaces projectifs rels et complexes sont compacts et connexes, et
dtudier des proprits de la projection des sphres sur ces espaces. Nous supposons
connue ( cours Analyse Complexe) les notions suivantes :

espace topologique, topologie spare (Hausdorff),

parties ouvertes, fermes,
topologie induite (sur une partie dun espace topologique),
applications continues entre espaces topologiques, homomorphismes,
connexit et connexit par arcs,
compacit.

11.1. Rappel-exercice. Les espaces vectoriels V = Kn avec K = R ou C portent une

topologie naturelle, qui peut tre dfinie par une norme (quelconque : quivalence des
normes !) sur V : cette topologie est celle associe la mtrique d(x, y) = kx yk.
Proprits gomtriques (lquivalence des normes est toujours la clef) :
(0) Cn est homomorphe R2n ;
(1) si E V est un sous-espace vectoriel ou affine, alors la topologie naturelle de E
coincide avec sa topologique induite par celle de V ;
(2) soit : V K une forme linaire et E = {x V | (x) = 1} un hyperplan de V et
U E une partie. On dfinit le cne solide de base U par
CU := {v := ru | u U, r K } V.
Alors sont quivalents (faire un dessin, en prenant K = R et n = 3) :
(i) U est ouvert dans E ;
(ii) CU est ouvert dans V .
(Puisque U = CU E, limplication (ii) (i) est triviale ; pour la rciproque, on peut,
grce lquivalence des normes, se ramener au cas particulier dun vrai cne solide,
i.e., E = {x Rn | hx, vi = 1} pour un vecteur norm v, et U = {x E | kx vk < }
un disque de rayon > 0 dans E. Il sagit alors de montrer que le cne solide CU est
ouvert.)
11.2. Dfinition. Soit K = R ou C et V = Kn+1 , muni de sa topologie naturelle. Soit
: V \{0} P(V ) la projection canonique. Alors on munit P(V ) de sa topologie quotient
par rapport cette projection.
(Rappel : Soit Y un espace topologique et p : Y X une application surjective. La
topologie quotient sur X est alors dfinie par : on dira que U X est ouvert si limage
rciproque p1 (U ) est un ouvert de Y . Il sagit l en effet dune topologie car lopration
image rciproque est compatible avec les oprations ensemblistes iI et iI .)
Exemple. Soit E = ker() un hyperplan de V . Alors V \ E = 1 (K ) est ouvert et
donc la partie affine A := P(V ) \ [E] est ouverte dans P(V ).
11.3. Lemme. La projectijon canonique : Kn+1 \ {0} KPn est continue et ouverte
(i.e., limage directe dun ouvert est un ouvert).
34

En effet, la continuit dcoule directement de la dfinition de la topologie quotient, et le

fait que est ouverte du fait que, pour tout ensemble U 0 V ,
[
1 ((U 0 )) =
rU 0 ,
rK

et que U 0 est ouvert ssi rU 0 lest. Est-ce que la topologie de P(V ) est spare ? Faire un
dessin de la situation gomtrique pour se convaincre que cette question est non-triviale!
11.4. Thorme. Soit A = P(V ) \ H une partie affine de P(V ). Alors la toplogie
naturelle de A (en tant quespace affine de dimension n) coincide avec la topologie induite
de A (en tant que partie de P(V )). Il sensuit que P(V ) est spar (Hausdorff ) et connexe
par arcs.
Pour la preuve, soit H = ker() ; puis appliquer le rappel 11.1, (i) (ii), en identifiant
A et E = {x V | (x) = 1} : pour U A sont quivalents :
U est ouvert dans A muni de sa topologie despace affine ;
U est ouvert dans E muni de sa topologie de sous-espace affine ;
CU est ouvert dans V ; or, CU = 1 (U ), donc ceci quivaut
1 (U ) est ouvert dans V , donc U est ouvert dans P(V ).
Les dernires affirmations dcoulent alors du fait que, pour deux points x, y P(V ), il
existe toujours une partie affine A tel que x, y A.
Exercice : montrer que V \ {0} est connexe par arcs, sauf au cas o K = R et dim V = 1.
En dduire une autre preuve du fait que P(V ) est connexe par arcs.
Remarque. Le thorme dit que les applications cartes i : Kn Ui , pour i =
1, , . . . , n + 1, dfinies dans la remarque 5.4, sont des homomorphismes. De plus, les
changements de cartes 1
j i , sont continues, mme diffrentiables (remarque 5.5), et
nous avons ainsi maintenant dmontr que les espaces RPn et CPn sont des varits
diffrentiables (au sens explique dans la remarque 5.5).
11.5. Thorme. Lespace topologique P(V ) est compact. Plus prcisment, la partie
SV := {x V = Kn+1 | hx, xi = 1}
est compacte, et la restriction 0 := |SV : SV P(V ) est continue et surjective.
Remarque. Si K = Q, on peut toujours dfinir une topologie sur P(V ) selon le schma
prcdent. Mais 0 ne sera plus surjectif, et P(V ) ne sera plus compact.
11.6. Thorme. Soit Q P(V ) une quadrique projective. Alors Q est ferm dans
P(V ), donc cest une partie compacte. Il en est de mme pour toute partie de la forme
{[x] P(V )| q(x) = 0} avec q : V K une application polynomiale homogne de degr
d N.
Pour d = 1, cela montre que tout sous-espace projectif est compact. Pour une tude
plus dtaille de la topologie de P(V ), il faut, partir dici, distinguer :
11.7. Le cas rel. Dans ce cas, SV = S n est la n-sphre. Lapplication 0 : S n RPn
est 2:1 (tout lment de [v] P(V ) a exactement 2 images rciproques).
11.8. Le cas complexe. Comme Cn+1
= R2n+2 en tant quespace mtrique, SV
sidentifie la sphre S 2n+1 . Lensemble des images rciproques sous 0 dun point x CPn
est alors en bijection avec le cercle S 1 .
35

Les calculs dans les deux cas sont similaires, mais linterprtation est diffrente : dans le
cas rel, lapplication 0 : S n RPn est un revtement dordre 2, ie.: tout point x RPn
admet un voisinage ouvert Ux tel que 1 (Ux ) soit homomorphe la runion disjointe
de deux copies de Ux . En effet, fixons x V avec kxk = 1 et posons
Ux := {[y] RPn | hx, yi =
6 0}.
Alors 1 (U ) = U+ U avec
U+ := {y S n | hx, yi > 0},

U := {y S n | hx, yi < 0}.

La restriction |U : U Ux est alors une bijection continue dans les deux sens. Dans
le cas complexe, 0 : S 2n+1 CPn est une fibration de fibre type S 1 : limage rciproque
de Ux est un produit direct U1 S 1 ; localement, il sagit dun espace produit, mas pas
globalement.
Cas de petites dimensions (cf. TD). Lespace RP1 est homomorpe au cercle S 1 , et
lespace CP1 est homomorphe (via une projection strographique) S 2 . Lapplication
0 donne la clbre fibration de Hopf
S 1 S 3 CP1 = S 2 .
n = 2 : on ne peut pas visualiser RP2 comme une partie de R3 . Une autre faon de
visualiser est de raliser RP2 comme un ruban de Moebius sur le bord duquel on colle
un disque cf. illustrations dans [Berger], ou voir sur google images.
Remarque. On peut se demander pourquoi nous navons pas dfini la topologie des
espaces RPn et CPn par une mtrique : existe-t-il une mtrique sur ces espaces telle que
la topologie mtrique coincide avec celle dfinie ci-dessus ? La rponse est oui, mais...:
la dfinition (et surtout la preuve de lingalit triangulaire) dune telle mtrique nest
pas chose triviale. Exercice : essayer pour le cas de RP1 (la distance entre [x] et [y] devait
correspondre langle entre les droites Rx et Ry, mais attention, quand langle est ,
cette distance devra tre zro; puis attaquer le cas de RP2 ...).

Chapitre 12 : tude du groupe projectif

Soit G lun des groupes GL(V ), PGL(V ), SL(V ) ou PSL(V ), o V est un espace vectoriel
de dimension n + 1 sur un corps K. Ltude systmatique dun tel groupe commence par
les questions suivantes :
12.1. Questions. (1) Ce groupe, admet-il des sous-groupes distingus ? En particuler :
(a) quel est son centre Z(G) = {g G | h G : gh = hg} ?
(b) quel est son groupe driv D(G) ? Rappel : dans un groupe G, on dfinit le
commutateur de g, h G par
[g, h] := ghg 1 h1 .
Noter que [g, h] = e ssi g et h commutent. On note [G, G] = {[g, h] | g, h G}
lensemble des commutateurs et D(G) := h[G, G]i le groupe driv (groupe engendr
par [G, G] ; cest un sous-groupe distingu).
36

(c) le groupe, est-il simple ? Rappel : un groupe G est dit simple sil nadmet aucun
sous-groupe distingu part {e} et G.
(2) Peut-on trouver un ensemble gnrateur sympathique S de G (pas trop grand, et
vrifiant des relations pas trop compliques entre les lments de S) ?
(3) Y a-t-il dautres ralisations ou reprsentations de G, ou encore : quels sont les liens
de G avec dautres groupes connus ? quels sont les actions possibles de G ?
La rponse aux questions du (1) sera facilite par une tude pralable de la question (2):
pour G = GL(V ), il existe en effet des ensembles gnrateurs bien sympathiques.
12.2. Dfinition. Soit g GL(V ), g 6= idV , fixant un hyperplan point par point : il
existe un hyperplan E = ker() de V tel que g(v) = v pour tout v E. Lapplication
h := g idV est donc de rang 1 et son noyau est E. La droite vectorielle D := h(V ) =
im(g idV ) sappelle la droite de g. Noter : comme h est de rang 1 il existe un vecteur
a 6= 0 tel quon peut crire h(x) = (x)a. Nous dirons que
(D) g est une dilatation si g est diagonalisable (i.e., admet une base de vecteurs propres);
(T) g est une transvection si g nest pas diagonalisable.
12.3. Thorme. Soit E V un hyperplan (dim E = n, dim V = n + 1) et g GL(V )
tel que g fixe E point par point, mais g 6= idV . Alors sont quivalents
(1) g est une dilatation ;
(2) := det g 6= 1 ;
(3) la droite de g nest pas incluse dans E : im(g id) 6 E ;
(4) il existe une base de V par rapport laquelle g est reprsente par la matrice


1n 0
D :=
.
0
12.4 Thorme. Avec les notations du thorme prcdent, sont quivalents
(1) g est une transvection ;
(2) := det g = 1 ;
(3) la droite de g est incluse dans E : im(g id) E ;
(4) il existe a E, a 6= 0, tel que h(x) = (x)a, ou bien : g(x) = x + (x)a ;
(5) il existe une base de V par rapport laquelle g est reprsente par la matrice

..

.
1n

F :=
.
0

1
0 0
1
37

12.5. Dfinition. Si g est comme dans le thorme 12.4, nous crivons

g(x) = T,a (x) = x + (x)a,
et nous dirons que g est une transvection dhyperplan E = ker() et de droite D :=
im(g id) = Ka. Noter que D E.
Interprtation projective des transvections et dilatations. Si (x) = 1, alors T,a (x) =
x + a. Ainsi une transvection agit par translation (par a) dans la partie affine A =
P(V ) \ [ker ]. De mme, une dilatation agit par homothtie sur A (de centre [D], et de
rapport 1 ). Noter que lhyperplan projectif H := [E] est fix point par point par ces
applications. Les transvections sont celles parmi elles qui nont pas de point fixe dans A,
et le dilatations celles qui en ont.
12.6. Corollaire.
(i) Deux transvections quelconques sont conjugues dans GL(V ).
(ii) Deux dilatations sont conjugues dans GL(V ) ssi elles ont mme dterminant.
12.7. Exercice. Est-ce que deux transvections quelconques T, T 0 sont toujours conjugues dans SL(V ), i.e., existe-t-il h avec det h = 1 et T 0 = hT h1 ? (Indication :
distinguer les cas dim V > 2, dim V = 2 et dim V = 1. Voir Daniel Perrin, Cours
dAlgbre, pour plus dinformations.)
12.8. Remarque. Par des calculs directs, pour a, b ker(), a0 ker(0 ), a ker(),
(a) T,a T,b (x) = T,a+b (x), ainsi T := {T,a | a ker()} est un groupe ;
T,a T,a (x) = T+,a (x), ainsi Ta := {T,a | V , (a) = 0} est un groupe ;
(b) T,a = T0 ,a0 ssi K : a0 = a, = 0 ;
(c) pour tout h GL(V ), on a h T,a h1 = Th1 ,h(a) .
12.9. Thorme.
(i) Le centre Z(GL(V )) de GL(V ) est le groupe K idV .
(ii) Le centre de SL(V ) est le groupe { id| dim V = 1}.
Preuve. Si h commute avec tout g SL(V ), on a aura en particulier pout tout a et
Th1 ,h(a) = h T,a h1 = T,a ,
donc h(a) est un multiple de a et donc [h] = id ; le lemme 4.4 implique alors que h K id.
Corollaire : PGL(V ) = G/Z(G) pour G = GL(V ) et PSL(V ) = G/Z(G) pour G = SL(V ).
12.10. Thorme. Soit G := hT,a | V , a V : (a) = 0i le sous-groupe de SL(V )
engendr par les transvections.
(i) G = SL(V ), ie., le groupe SL(V ) est engendr par les transvections.
(ii) Le groupe GL(V ) est engendr par les transvections et les dilatations.

38

Preuve. Noter dabord que (i) (ii) : si g GL(V ), il suffit dappliquer (i) g 0 :=
(D )1 g avec := det g et D une dilatation de rapport . Pour prouver (i), linclusion
G SL(V ) est claire. Pour dmontrer lautre inclusion, on procde par rcurrence sur
dim V . Le cas dim V = 1 est trivial. Soit dim V = n + 1. Si g SL(V ) est tel quil
existe un vecteur a 6= 0 avec g(a) = a et un hyperplan E tel que V = E Ka et
g(E) = E, on peut appliquer lhypothse de rcurrence g|E et conclure que g G. Pour
g quelconque, on se ramne ce cas particulier: fixons nimporte quels v V et V
tels que (v) = 1, on a donc une dcomposition V = ker() Ka. Posons w := g(v)
et := g 1 . Le lemme suivant montrera quil existe g 0 G ayant le mme effet:
g 0 (v) = w et = (g 0 )1 . Alors h := g 1 g 0 remplit les conditions du cas particulier, et
on pourra conclure que g = g 0 h1 appartient G.
12.11. Lemme. Laction de G sur lensemble
M := {(v, ) V V | (v) = 1},
done par g.(v, ) = (gv, g 1 ), est transitive.
Preuve du lemme. Soient (v, ), (w, ) M . Alors il existe : V K linaire tel que
(v) = (w) = 1, et alors T,vw (w) = w + (w)(v w) = w + v w = v. Quitte
remplacer w, on peut donc supposer que v = w. Alors on a
(Tv, )1 (x) = (Tv, (x)) = (x + (x)v (x)v) = (x) + (x) (x) = (x)
et Tv, (v) = v v + v = v, donc Tv, .(v, ) = (v, ), do la transitivit.
Exercice. Ecrire une rotation du plan R sous forme de comose de deux transvections.
Remarque. En laborant cette preuve, on montre plus prcisment que g SL(V ) peut
tre crit comme un produit dau plus n = dim V transvections, sauf si g est une homothtie, auquel cas il en faut n + 1 (cf. Perrin Cours dalgbre).
12.12. Thorme. Supposons que la caractristique de K est diffrente de 2. Alors
(i) le groupe driv de GL(n, K) est donn par D(GL(n, K)) = SL(n, K) ;
(ii) si dim V > 2, alors D(SL(n, K)) = SL(n, K).
Preuve. (i) Linclusion est une consquence du fait que det[g, h] = 1, pour tout
g, h GL(V ). Prouvons lautre inclusion : si T = T,a est une transvection, alors
T 2 = T,2a en est une aussi (cest ici que la condition car(K) 6= 2 est utilise !). Si cest
le cas, daprs 12.6, T 2 et T sont conjugus dans GL(V ): il exste h GL(V ) tel que
T 2 = hT h1 , donc T = hT h1 T 1 = [h, T ], donc toute transvection est un commutateur.
Comme les transvections engendrent SL(V ), les commutateurs engendrent SL(V ), do
(i). Pour (ii), utiliser lexercice 12.7. (On peut affiner ce rsultat : il reste vrai dans tous
les cas sauf dim V = 2 et K = Z/2Z ou K = Z/3Z ; cf. D. Perrin Cours dalgbre.)
12.13. Thorme. Supposons que la caractristique de K est diffrente de 2 et que
dim V > 2. Alors le groupe PSL(V ) est simple. (Pour le cas dim V = 2 : voir Perrin
Cours dalgbre pour des noncs prcis.)
La mthode suivante de dmontrer ce rsultat est due Iwasawa.
(1) Lemme. Laction du groupe G = PSL(V ) sur X = P(V ) est doublement transitive,
i.e., pour tous les couples (x, x0 ), (y, y 0 ) X 2 tels que x 6= x0 et y 6= y 0 , il existe g G
tel que g.x = y et g.x0 = y 0 . (Cf. Corollaire 4.9, (2) : il faut se convaincre quon peut y
choisir g de dterminant 1).
39

(2) Soit G un groupe quelconque oprant sur un ensemble X, soit o X et H = {g G |

g.o = O} le stabilisateur de o. Alors :
(a) Laction GX X est doublement transitive ssi [elle est transitive sur X et laction
de H est transitive sur X \ {o}]. Supposons-le dans la suite.

(b) Si g
/ H, alors G = H HgH.
(En effet, soit p = gH 6= o = eH. Alors X = {o}H.p,

donc G/H = eH H.gH et G = H HgH.)

(c) Le stabilisateur H est un sous-groupe maximal de G (i.e., maximal parmi les sousgroupes propres de G ; en effet, si H H 0 G est une inclusion de sous-groupes
et g H 0 , g
/ H, alors HgH H 0 donc H 0 = G daprs (b)).
(d) Soit N un sous-groupe distingu de G. Alors N H := {nh | n N, h H} est
un sous-groupe de G. Il contient H, donc, soit N H = H, soit N H = G. Dans
le deuxime cas, toute classe gH est de la forme nH avec n N , donc N opre
transitivement sur X. Dans le premier cas, n.gH = gg 1 ngH = gn0 H = gH pour
tout g G, i.e., N agit trivialement sur X.
(e) Supposons quon a, pour tout x X, un sous-groupe Tx de G tel que:
i) Tx est commutatif,
ii) Tgx = gTx g 1 ,
iii) les sous-groupes (Tx )xX engendrent G.
Soit N un sous-groupe distingu de G qui nopre pas trivialement sur X. Alors
N To est un sous-groupe de G ; il contient nTo n1 = Tn.o pour tout n N ; comme
N agit transitivement daprs (d), il contient tout les Tx , et donc il contient G car
les Tx engendrent G. Ainsi G = N To . Soit g = nt et h = ms G, avec n, m N ,
t, s To . Alors (en utilisant, pour la seconde galit, que To est commutatif)
[g, h] = ntmst1 n1 s1 m1 = n(tmt1 )(sn1 s1 )m1 N .
Ainsi N contient le groupe des commutateurs D(G).
(3) On applique (e) la situation suivante : G = PSL(V ) et X = P(V ) ; soit x = [a] X;
si , sont des formes linaires telles que (a) = (a) = 0, on a T,a T,a = T+,a , donc
Tx := {T,a | V , (a) = 0}
est une famille de groupes vrifiant i), ii), iii). Conclusion : soit N un sous-groupe
distingu de PSL(V ) ; alors soit N opre trivialement sur X (dans ce cas N est le groupe
trivial car seule lidentit de PSL(V ) agit trivialement sur P(V )) ; sinon, par (e), N
contient le groupe driv D(G) qui est P(SL(V ) (daprs le thorme 12.12), donc N
contient PSL(V ), donc N = PSL(V ).

Quelques remarques pour conclure

Aprs ltude du groupe projectif, ltude des groupes orthogonaux serait la suite logique
du cours : pour un espace projectif P(V ) muni dune quadrique projective Q = Q , les
40

groupes orthogonaux jouent peu prs le mme rle que les groupes GL(V ) et PGL(V )
dans le chapitre prcdent. Leur tude est un peu plus dlicate que celle mene au chapitre
prcdent ; l aussi, voir le livre Cours dalgbre de Daniel Perrin. Rappelons seulement:
Lemme. Pour toute forme bilinaire : V V K,
O() := {g GL(V ) | v, w W : (gv, gw) = (v, w)}
est un sous-groupe de GL(V ), dit le groupe orthogonal de . Ce groupe agit naturellement
sur la quadrique projective Q = Q par
O() Q Q,

(g, [v]) 7 [g(v)].

Dfinition. On note SO() := O() SL(V ). Le groupe orthogonal projectif est

PO() := {[g] | g O()} PGL(V ). Rappelons aussi lcriture matricielle : si V = Kn
et (x, y) = xt By avec B Mn (K), alors


O() = A GL(n, K) | At BA = B .
Si B = 1n , i.e., (x, y) = xt y, on note O(n, K), parfois dit le groupe orthogonal.
Pour tudier les questions 12.1 pour le groupe orthogonal, on commence par tablir que
laction de O() sur Q est transitive, puis on sintresse des gnrateurs qui sont des
symtries orthogonales. La condition At BA = B ci-dessus donne det(A) = 1, ce qui
implique que le centre de O() est toujours un groupe fini. La preuve de la simplicit de
PSO() est techniquement un peu plus difficile que celle pour PSL(V ).
Le cas des corps finis
Cest un cas particulier intressant : on peut alors utiliser des arguments de comptage.
Soit K = Fq un corps de cardinalit q. Alors q est de la forme q = pk , p premier. Rappelons
n
qualors |KPn | = 1 + q + . . . + q n = 1q
=: N . Le groupe PGL(n + 1; K) peut alors tre
1q
vu comme un sous-groupe du groupe de permutations SN . Si q et n sont petits, il peut y
tre des cas o ces groupes sont gaux.
Exercice. Les cardinaux des groupes linaires sur Fq sont:
|GL(n, Fq )| = (q n 1)(q n 2) (q n q n1 )
|SL(n, Fq )| = (q n 1)(q n 2) (q n q n1 )q n1
|PGL(n, Fq )| = |SL(n, Fq )|
|PSL(n, Fq )| = |SL(n, Fq )|/d, avec d = P GCD(n, q 1).
Exercice. On a les isomorphismes suivants :
GL(2, F2 ) = SL(2, F2 ) = PSL(2, F2 )
= S3

PGL(2, F3 ) = S4 ; P(SL(2, F3 ) = A4
PGL(2, F4 )
= PSL(2, F4 )
= A5 ;

PGL(2, F5 ) = S5 ; PSL(2, F5 )
= A5 .
Exercice. Lesquels parmi les groupes ci-dessus sont simples ?
On est loin de connatre explicitement tous les groupes simples ; mais, aprs un trs
long travail, les mathmaticiens ont pu classifier tous les groupes finis simples : cf. http:
//fr.wikipedia.org/wiki/Liste_des_groupes_finis_simples. Pour les groupes infinis, les mieux tudis sont des groupes de type groupe matriciel, dont les groupes classiques GL(V ), O(), cf. http://fr.wikipedia.org/wiki/Groupe_classique, ou plus
gnralement, les groupes de Lie, cf. http://fr.wikipedia.org/wiki/Groupe_de_Lie.
41