Géométrie différentielle des surfacesEn mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l'espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies éventuellement de structures supplémentaires, le plus souvent une métrique riemannienne. Outre les surfaces classiques de la géométrie euclidienne (sphères, cônes, cylindres, etc.
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.
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.
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é.
Demi-plan de PoincaréLe demi-plan de Poincaré est un sous-ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d'éclairer les travaux du Russe Nikolaï Lobatchevski. Le demi-plan de Poincaré est formé par les nombres complexes de partie imaginaire strictement positive. Il fournit un exemple de géométrie non euclidienne, plus précisément de géométrie hyperbolique. On considère le demi-plan supérieur : On munit le demi-plan supérieur de la métrique : Cette métrique possède une courbure scalaire constante négative : On se ramène usuellement au cas d'une courbure unité, c’est-à-dire qu'on choisit : a = 1 pour simplifier les équations.
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Axiome des parallèlesL’axiome d'Euclide, dit également cinquième postulat d’Euclide, est dû au savant grec Euclide (). C'est un axiome relatif à la géométrie du plan. La nécessité de cet axiome a constitué la question la plus lancinante de toute l'histoire de la géométrie, et il a fallu plus de deux millénaires de débats ininterrompus pour que la communauté scientifique reconnaisse l'impossibilité de le réduire au statut de simple théorème. vignette|Illustration de l'axiome d'Euclide : La droite S détermine les angles internes α et β avec les droites g et h.
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.
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 .
