Disque de PoincaréEn géométrie, le disque de Poincaré (appelé aussi représentation conforme) est un modèle du plan hyperbolique, ou plus généralement de la géométrie hyperbolique à n dimensions, où les points sont situés dans la boule unité ouverte de dimension n et les droites sont soit des arcs de cercles contenus dans cette boule et orthogonaux à sa frontière, soit des diamètres de la boule. En plus du modèle de Klein et du demi-plan de Poincaré, il a été proposé par Eugenio Beltrami pour démontrer que la consistance de la géométrie hyperbolique était équivalente à la consistance de la géométrie euclidienne.
Fuchsian groupIn mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of orientation-preserving isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations of the upper half plane, so a Fuchsian group can be regarded as a group acting on any of these spaces.
Disque unitédroite|vignette|Disque unité ouvert avec la distance euclidienne. En mathématiques, le disque unité ouvert autour de P (où P est un point donné dans le plan), est l'ensemble des points dont la distance à P est inférieure à 1 : Le disque unité fermé autour de P est l'ensemble des points dont la distance à P est inférieure ou égale à un : Les disques unités sont des cas particuliers de disques et de boules unités ; en tant que tels, ils contiennent l'intérieur du cercle unité et, dans le cas du disque unité fermé, le cercle unité lui-même.
Hyperbolic spaceIn mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
Transformation de MöbiusEn mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de noté , définies comme la composée d'un nombre fini d'inversions par rapport à des hyperplans ou des hypersphères.
Upper half-planeIn mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is defined similarly, by requiring that be negative instead. Each is an example of two-dimensional half-space. The affine transformations of the upper half-plane include shifts , , and dilations , . Proposition: Let and be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes to . Proof: First shift the center of to . Then take and dilate.
Groupe modulaireEn mathématiques, on appelle groupe modulaire le groupe PSL(2, Z), quotient du groupe spécial linéaire SL(2, Z) par son centre { Id, –Id }. Il s'identifie à l'image de SL(2, Z) dans le groupe de Lie On le note souvent Γ(1) ou simplement Γ. Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré H des nombres complexes de partie imaginaire strictement positive. Cette action n'est que la restriction de l'action de PGL(2, C) sur la droite projective complexe P(C) = C ∪ {∞} : la matrice agit sur P(C) par la transformation de Möbius qui en envoie z sur .
Modèle de l'hyperboloïdeEn géométrie, le modèle de l'hyperboloïde, également dénommé modèle de Minkowski ou modèle de Lorentz (d'après les noms de Hermann Minkowski et Hendrik Lorentz), est un modèle de géométrie hyperbolique dans un espace de Minkowski de dimension n. Ce modèle d'espace hyperbolique est étroitement lié au modèle de Klein ou au disque de Poincaré. Espace de Minkowski Si x = (x0, x1, ...
Quartique de Kleinthumb|La quartique de Klein est le quotient d'un pavage uniforme triangulaire d'ordre 7. En géométrie hyperbolique, la quartique de Klein, du nom du mathématicien allemand Felix Klein, est une surface de Riemann compacte de genre 3. Elle a le groupe d'automorphismes d'ordre le plus élevé possible parmi les surfaces de Riemann de genre 3, à savoir le groupe simple d'ordre 168. La quartique de Klein est en conséquence la de genre le plus bas possible. Surface de Bolza Surface de Macbeath Théorème de Stark-Hee
HorosphereIn hyperbolic geometry, a horosphere (or parasphere) is a specific hypersurface in hyperbolic n-space. It is the boundary of a horoball, the limit of a sequence of increasing balls sharing (on one side) a tangent hyperplane and its point of tangency. For n = 2 a horosphere is called a horocycle. A horosphere can also be described as the limit of the hyperspheres that share a tangent hyperplane at a given point, as their radii go towards infinity.
Métrique de PoincaréEn mathématiques, et plus précisément en géométrie différentielle, la métrique de Poincaré, due à Henri Poincaré, est le tenseur métrique décrivant une surface de courbure négative constante. C'est la métrique naturelle utilisée pour des calculs en géométrie hyperbolique ou sur des surfaces de Riemann.
Eugenio BeltramiEugenio Beltrami (1835-1900), appelé Eugène Beltrami en français, est un mathématicien et physicien italien. Il est connu pour ses travaux sur l'élasticité, l'hydrodynamique, l’électricité et le magnétisme, mais son nom est surtout associé à l'histoire de la géométrie, et au rôle fondamental qu'il joua dans l'affermissement des fondements de la géométrie non euclidienne. Sa famille paternelle comptait des artistes, dont son père, un peintre passionné de miniatures.
Pseudosphèrethumb|right|La pseudosphère étudiée par Eugenio Beltrami En géométrie, le terme de pseudosphère est utilisé pour décrire diverses surfaces dont la courbure de Gauss est constante et négative. Selon le contexte, il peut se référer soit à une surface théorique de courbure négative (une variété riemannienne), soit à une surface effectivement réalisée de l'espace, telle qu'une tractricoïde. Dans son acception la plus générale, une pseudosphère de rayon R est une surface (complète et simplement connexe) de courbure totale en tout point égale à , par analogie à la sphère de rayon R dont la courbure est .
BirapportLe birapport, ou rapport anharmonique selon la dénomination de Michel Chasles est un outil puissant de la géométrie, en particulier la géométrie projective. La notion remonte à Pappus d'Alexandrie, mais son étude systématique est réalisée en 1827 par Möbius. thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : . thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : .
HorocycleEn géométrie hyperbolique, un horocycle (ou parfois horicycle, du ὅριον + κύκλος — frontière + cercle) est une courbe dont les normales convergent asymptotiquement vers le même point à l'infini. Généralisant certaines propriétés des droites et des cercles euclidiens, les horocycles sont représentés dans le modèle du disque de Poincaré par des cercles tangents au cercle limite. En géométrie euclidienne, une courbe dont toutes les normales sont parallèles est une droite.
Modèle de KleinEn mathématiques, et plus précisément en géométrie non euclidienne, le 'modèle de Beltrami-Klein, également appelé modèle projectif ou modèle du disque de Klein', est un modèle de géométrie hyperbolique de dimension n dans lequel l'espace hyperbolique est modélisé par la boule unité euclidienne ouverte de rayon 1 de dimension n, les points de l'espace hyperbolique étant les points de la boule unité, et les droites de l'espace hyperbolique étant les cordes de la boule unité.
Espace homogèneEn géométrie, un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l'optique du programme d'Erlangen, le groupe représente des symétries préservant la géométrie de l'espace, et le caractère homogène se manifeste par l'indiscernabilité des points, et exprime une notion disotropie. Les éléments de l'espace forment une seule orbite selon G. Les espaces des géométries classiques (en dimension finie quelconque) de points sont des espaces homogènes pour leur groupe de symétries.
Linear fractional transformationIn mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form The precise definition depends on the nature of a, b, c, d, and z. In other words, a linear fractional transformation is a transformation that is represented by a fraction whose numerator and denominator are linear. In the most basic setting, a, b, c, d, and z are complex numbers (in which case the transformation is also called a Möbius transformation), or more generally elements of a field.
Métrique de Cayley-KleinEn mathématiques, une métrique de Cayley-Klein est une métrique définie sur le complémentaire d'une quadrique fixée d'un espace projectif, la quadrique absolue, à l'aide du birapport. Cette métrique a été construite par Arthur Cayley en 1859 ; la construction fut complétée par Felix Klein entre 1871 et 1873. Les métriques de Cayley-Klein fournissent un cadre unifié aux différentes géométries euclidiennes et non euclidiennes, en y définissant la notion de distance par la même construction dans tous les cas.
Géométrie hyperboliqueEn mathématiques, la géométrie hyperbolique (nommée auparavant géométrie de Lobatchevski, lequel est le premier à en avoir publié une étude approfondie) est une géométrie non euclidienne vérifiant les quatre premiers postulats d’Euclide, mais pour laquelle le cinquième postulat, qui équivaut à affirmer que par un point extérieur à une droite passe une et une seule droite qui lui est parallèle, est remplacé par le postulat selon lequel « par un point extérieur à une droite passent plusieurs droites parallèle
