Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Fuchsian group
Résumé
In 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. There are some variations of the definition: sometimes the Fuchsian group is assumed to be finitely generated, sometimes it is allowed to be a subgroup of PGL(2,R) (so that it contains orientation-reversing elements), and sometimes it is allowed to be a Kleinian group (a discrete subgroup of PSL(2,C)) which is conjugate to a subgroup of PSL(2,R).
Fuchsian groups are used to create Fuchsian models of Riemann surfaces. In this case, the group may be called the Fuchsian group of the surface. In some sense, Fuchsian groups do for non-Euclidean geometry what crystallographic groups do for Euclidean geometry. Some Escher graphics are based on them (for the disc model of hyperbolic geometry).
General Fuchsian groups were first studied by , who was motivated by the paper , and therefore named them after Lazarus Fuchs.
Let H = {z in C : Im(z) > 0} be the upper half-plane. Then H is a model of the hyperbolic plane when endowed with the metric
The group PSL(2,R) acts on H by linear fractional transformations (also known as Möbius transformations):
This action is faithful, and in fact PSL(2,R) is isomorphic to the group of all orientation-preserving isometries of H.
A Fuchsian group Γ may be defined to be a subgroup of PSL(2,R), which acts discontinuously on H. That is,
For every z in H, the orbit Γz = {γz : γ in Γ} has no accumulation point in H.
An equivalent definition for Γ to be Fuchsian is that Γ be a discrete group, which means that:
Every sequence {γn} of elements of Γ converging to the identity in the usual topology of point-wise convergence is eventually constant, i.e. there exists an integer N such that for all n > N, γn = I, where I is the identity matrix.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.