Isometry groupIn mathematics, the isometry group of a metric space is the set of all bijective isometries (that is, bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element is the identity function. The elements of the isometry group are sometimes called motions of the space. Every isometry group of a metric space is a subgroup of isometries. It represents in most cases a possible set of symmetries of objects/figures in the space, or functions defined on the space.
Déplacement hyperboliqueEn géométrie, les déplacements hyperboliques sont les isométries d'un espace hyperbolique préservant l'orientation, autrement dit les transformations de cet espace préservant les distances et les angles (orientés), et en particulier conservant les alignements. Pour la composition des applications, ces déplacements forment un groupe topologique, et même un groupe de Lie ; ce groupe caractérise l'espace, selon une approche développée par Felix Klein dans son programme d'Erlangen.
Fuchsian modelIn mathematics, a Fuchsian model is a representation of a hyperbolic Riemann surface R as a quotient of the upper half-plane H by a Fuchsian group. Every hyperbolic Riemann surface admits such a representation. The concept is named after Lazarus Fuchs. By the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. More precisely this theorem states that a Riemann surface which is not isomorphic to either the Riemann sphere (the elliptic case) or a quotient of the complex plane by a discrete subgroup (the parabolic case) must be a quotient of the hyperbolic plane by a subgroup acting properly discontinuously and freely.
HypercycleEn géométrie hyperbolique, un hypercycle est une courbe formée de tous les points situés à la même distance, appelée le rayon, d'une droite fixée (appelée son axe). Les hypercycles peuvent être considérés comme des cercles généralisés, mais possèdent aussi certaines propriétés des droites euclidiennes ; dans le modèle du disque de Poincaré, les hypercycles sont représentés par des arcs de cercles. En géométrie euclidienne, l'ensemble de tous les points situés à distance donnée d'une droite donnée est formée de deux parallèles à cette droite (c'est cette propriété que Clairaut prend comme définition du parallèlisme).
Programme d'ErlangenLe programme d'Erlangen est un programme de recherche mathématique publié par le mathématicien allemand Felix Klein en 1872, dans son Étude comparée de différentes recherches récentes en géométrie. L'objectif est de comparer les différentes géométries apparues au cours du pour en dégager les points de similitude : on peut ainsi plus clairement distinguer la géométrie affine, la géométrie projective, la géométrie euclidienne, la géométrie non euclidienne au travers d'une vision globale.
Surface de RiemannEn géométrie différentielle et géométrie analytique complexe, une surface de Riemann est une variété complexe de dimension 1. Cette notion a été introduite par Bernhard Riemann pour prendre en compte les singularités et les complications topologiques qui accompagnent certains prolongements analytiques de fonctions holomorphes. Par oubli de structure, une surface de Riemann se présente comme une variété différentielle réelle de dimension 2, d'où le nom surface. Elles ont été nommées en hommage au mathématicien allemand Bernhard Riemann.
Espace de Minkowskithumb|Représentation schématique de l'espace de Minkowski, qui montre seulement deux des trois dimensions spatiales. En géométrie et en relativité restreinte, l'espace de Minkowski du nom de son inventeur Hermann Minkowski, appelé aussi l'espace-temps de Minkowski ou parfois l'espace-temps de Poincaré-Minkowski, est un espace mathématique, et plus précisément un espace affine pseudo-euclidien à quatre dimensions, modélisant l'espace-temps de la relativité restreinte : les propriétés géométriques de cet espace correspondent à des propriétés physiques présentes dans cette théorie.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
