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 affineCette géométrie est notre géométrie familière (épurée) puisque la géométrie euclidienne est affine. (et le parallélisme) dans le moule de la géométrie projective.
Description Le premier axiome de la géométrie projective (« Deux droites coplanairesc'est-à-dire qu'elles appartiennent à un même plan. ont un point commun ») et l'axiome du parallélisme de la géométrie affine (« Par un point extérieur à une droite, il passe toujours une parallèle à cette droite, et une seule ») semble généralement incompatibles. La géométrie arguésienne est un moyen de concilier géométrie affine et géométrie projective:
Parallèles Desargues a redéfini la notion de parallélisme en introduisant les éléments impropresCes éléments sont souvent dits « à l'infini ». : 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 :
En géométrie projective (en géométrie elliptique également), il n'y a 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 :
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 aux é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.
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.
Notes et références Notes
Références
Arguésienne Arguésienne