Géométrie arguésienne
Un article de Wikipédia, l'encyclopédie libre.
 |
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En géométrie synthétique, la géométrie arguésienne est une "construction" simple (due à Desargues), basée sur l'introduction d'éléments impropres, pour faire entrer la géométrie affine[1] (et le parallélisme) dans le moule de la géométrie projective.
Sommaire |
[modifier] Introduction
Le premier axiome de la géométrie projective énonce (entre autres) :
Deux droites coplanaires[2] ont un point commun.
En revanche, l'axiome du parallélisme de la géométrie affine (une formulation simplifiée de cinquième postulat de la géométrie d'Euclide) est :
Par un point extérieur à une droite, il passe toujours une parallèle à cette droite, et une seule.
Il semble donc que géométrie projective et géométrie affine sont inconciliables puisque par définition.
Deux droites sont parallèles lorsqu'elles sont coplanaires et sans intersection.
En réalité, il n'en est rien.
[modifier] Description
La géométrie arguésienne est un moyen de concilier géométrie affine et géométrie projective :
[modifier] Parallèles
Desargues a redéfini la notion de parallélisme en introduisant les éléments impropres[3] : point impropre (assimilable au point de fuite), droite ou plan impropres. Il va de soi que les éléments d'une forme impropre sont impropres. La géométrie arguésienne se caractérise donc par la distinction d'éléments impropres. La définition du parallélisme devient :
Deux droites, deux plans, ou encore une droite et un plan sont parallèles lorsque leur intersection est impropre.
En géométrie projective (en géométrie elliptique également), il n'y pas de points impropres donc pas de parallélisme. En revanche, on y construit de nouvelles géométries et tout d'abord la géométrie affine en deux étapes fort simples :
- on définit des points impropres
- on les supprime
La caractérisation des éléments impropres en géométrie affine est :
Les éléments impropres appartiennent à un unique plan impropre.
Toute droite (propre) possède un unique point impropre.
L'élimination des points consiste à dire : « on transforme une droite projective en une droite affine en lui ôtant son point impropre. ». On retrouve alors immédiatement l'axiome du parallélisme de la géométrie affine. De plus, le point impropre supprimé est assimilable à la direction de ses droites.
L'on peut également recourir au éléments impropres pour caractériser le parallélisme de la géométrie hyperbolique ; mais cette dernière n'est pas entièrement compatible avec la géométrie projective.
[modifier] Segment
En géométrie projective, deux points définissent deux segments dits supplémentaires[4] Mais en géométrie, deux points ne définissent plus qu'un segment : c'est celui des deux qui ne contient pas le point impropre. L'ordre affine devient binaire donc plus familier[5].
[modifier] Conclusion
La notion d'élément impropre n'est pas nécessaire à la géométrie projective ; mais sert de "passerelle" entre cette géométrie et la géométrie affine. La suppression des éléments impropres est comparable à une ouverture (au sens topologique) de l'espace. Inversement la géométrie projective s'apparente à une fermeture de la géométrie affine.
De plus la construction arguésienne permet une réécriture[6], une transposition rapide des théorèmes de la géométrie projective (le théorème de Desargues en premier lieu). Paradoxalement, on s'aperçoit vite du caractère simplificateur de la géométrie projective qui nous débarrasse des singularités du parallélisme (appelées « dégénérescences »).
[modifier] Notes
- ↑ Cette géométrie est notre géométrie familière (épurée) puisque la géométrie euclidienne est affine.
- ↑ c'est à dire qu'elles appartiennent à un même plan.
- ↑ ces éléments sont souvent dits « à l'infini ».
- ↑ de ce point de vue, une droite projective, prise isolément, s'apparente plus à un cercle.
- ↑ Il est de même de la notion de sens ou orientation (c'est à dire, cela permet de distinguer
de 
). Dans une certaine mesure et grossièrement, cela permet également de distinguer 
de 
; l'intérieur de l'extérieur. - ↑ de la même manière que la dualité
[modifier] Références
- Paul Rossier, Géométrie synthétique moderne, Vuibert, 1961
