Variété hyperboliquethumb|Une projection en perspective d'un pavage dodécahédrique dans H3. C'est un exemple de ce qu'un observateur pourrait observer à l'intérieur d'une 3-variété hyperbolique thumb|La pseudosphère : chaque moitié de cette forme est une surface hyperbolique à bord. En mathématiques, une variété hyperbolique est un espace dans lequel chaque point apparaît localement comme d'une certaine dimension. Ces variétés sont spécifiquement étudiées en dimensions 2 et 3, où elles sont appelées respectivement surfaces de Riemann et .
Groupe hyperboliqueEn théorie géométrique des groupes — une branche des mathématiques — un groupe hyperbolique, ou groupe à courbure négative, est un groupe de type fini muni d'une métrique des mots vérifiant certaines propriétés caractéristiques de la géométrie hyperbolique. Cette notion a été introduite et développée par Mikhaïl Gromov au début des années 1980. Il avait remarqué que beaucoup de résultats de Max Dehn concernant le groupe fondamental d'une surface de Riemann hyperbolique ne reposaient pas sur le fait qu'elle soit de 2 ni même que ce soit une variété, mais restaient vrais dans un contexte beaucoup plus général.
Hyperbolic 3-manifoldIn mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries (a Kleinian group).
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.
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
Groupe discretIn mathematics, a topological group G is called a discrete group if there is no limit point in it (i.e., for each element in G, there is a neighborhood which only contains that element). Equivalently, the group G is discrete if and only if its identity is isolated. A subgroup H of a topological group G is a discrete subgroup if H is discrete when endowed with the subspace topology from G. In other words there is a neighbourhood of the identity in G containing no other element of H.
Uniform tilings in hyperbolic planeIn hyperbolic geometry, a uniform hyperbolic tiling (or regular, quasiregular or semiregular hyperbolic tiling) is an edge-to-edge filling of the hyperbolic plane which has regular polygons as faces and is vertex-transitive (transitive on its vertices, isogonal, i.e. there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent, and the tiling has a high degree of rotational and translational symmetry.
Relatively hyperbolic groupIn mathematics, the concept of a relatively hyperbolic group is an important generalization of the geometric group theory concept of a hyperbolic group. The motivating examples of relatively hyperbolic groups are the fundamental groups of complete noncompact hyperbolic manifolds of finite volume.
Hyperbolic volumeIn the mathematical field of knot theory, the hyperbolic volume of a hyperbolic link is the volume of the link's complement with respect to its complete hyperbolic metric. The volume is necessarily a finite real number, and is a topological invariant of the link. As a link invariant, it was first studied by William Thurston in connection with his geometrization conjecture.
Groupe topologiqueEn mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
Groupe localement compactUn groupe localement compact est, en mathématiques, un groupe topologique dont l'espace topologique sous-jacent est localement compact. Ces propriétés permettent de définir une mesure, dite mesure de Haar, et donc de calculer des intégrales et des moyennes ou encore une transformée de Fourier. Ces propriétés à la croisée de l'algèbre générale, de la topologie et de la théorie de la mesure sont particulièrement intéressantes, notamment pour leurs applications en physique.
Triangle groupIn mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere, or the hyperbolic plane by congruent triangles called Möbius triangles, each one a fundamental domain for the action. Let l, m, n be integers greater than or equal to 2.
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Locally profinite groupIn mathematics, a locally profinite group is a Hausdorff topological group in which every neighborhood of the identity element contains a compact open subgroup. Equivalently, a locally profinite group is a topological group that is Hausdorff, locally compact, and totally disconnected. Moreover, a locally profinite group is compact if and only if it is profinite; this explains the terminology. Basic examples of locally profinite groups are discrete groups and the p-adic Lie groups.
Kleinian groupIn mathematics, a Kleinian group is a discrete subgroup of the group of orientation-preserving isometries of hyperbolic 3-space H3. The latter, identifiable with PSL(2, C), is the quotient group of the 2 by 2 complex matrices of determinant 1 by their center, which consists of the identity matrix and its product by −1. PSL(2, C) has a natural representation as orientation-preserving conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball B3 in R3.
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.
Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Mesure de HaarEn mathématiques, une mesure de Haar sur un groupe localement compact est une mesure de Borel quasi-régulière non nulle invariante par translation à gauche. Autrement dit, pour toute partie borélienne B de G, et pour tout g dans G, on a : L'existence d'une mesure de Haar est assurée dans tout groupe localement compact. Elle est finie sur les parties compactes de G. De plus, toute mesure borélienne complexe invariante par translations à gauche s'écrit où est un nombre complexe.
