ne la fonde. Il eut un rôle médiateur dans le débat sur la nature des géométries non-euclidiennes et la

Par un point extérieur à une droite, il passe toujours une parallèle à cette droite, et une seule.

Voir l'axiomatique de Hilbert ou les Éléments d'Euclide pour des énoncés plus complet de la géométrie euclidienne.

La réfutation de ce postulat a conduit à l'élaboration de deux géométries non euclidiennes : la géométrie hyperbolique par Gauss, Lobatchevski, Bolyai et la géométrie elliptique par Riemann.

Programme d'Erlangen[modifier | modifier le code]
Dans la conception de Felix Klein (auteur du programme d'Erlangen), la géométrie est l'étude des espaces de points sur lesquels opèrent des groupes de transformations (appelées aussi symétries) et des quantités et des propriétés qui sont invariantes pour ces groupes.

Parmi les transformations les plus connues, on retrouve les isométries, les similitudes, les rotations, les réflexions, les translations et les homothéties.

Il ne s'agit donc pas d'une discipline mais d'un important travail de synthèse qui a permis une vision claire des particularités de chaque géométrie. Ce programme caractérise donc plus la géométrie qu'il ne la fonde. Il eut un rôle médiateur dans le débat sur la nature des géométries non-euclidiennes et la controverse entre géométries analytique et synthétique.

Géométrie des groupes classiques[modifier | modifier le code]
Il y a en géométrie différentielle et en géométrie algébrique des groupes de Lie et des groupes algébriques, qui eux ont des espaces homogènes, et la géométrie classique se ramène souvent à l'étude de ces espaces homogènes. Les géométries affine et projective sont liées aux groupes linéaires, et les géométries euclidienne, sphérique, elliptique et hyperbolique sont liées aux groupes orthogonaux.