Ê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
Linear fractional transformation
Résumé
In 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. The invertibility condition is then ad – bc ≠ 0. Over a field, a linear fractional transformation is the restriction to the field of a projective transformation or homography of the projective line.
When a, b, c, d are integer (or, more generally, belong to an integral domain), z is supposed to be a rational number (or to belong to the field of fractions of the integral domain. In this case, the invertibility condition is that ad – bc must be a unit of the domain (that is 1 or −1 in the case of integers).
In the most general setting, the a, b, c, d and z are elements of a ring, such as square matrices. An example of such linear fractional transformation is the Cayley transform, which was originally defined on the 3 × 3 real matrix ring.
Linear fractional transformations are widely used in various areas of mathematics and its applications to engineering, such as classical geometry, number theory (they are used, for example, in Wiles's proof of Fermat's Last Theorem), group theory, control theory.
In general, a linear fractional transformation is a homography of P(A), the projective line over a ring A. When A is a commutative ring, then a linear fractional transformation has the familiar form
where a, b, c, d are elements of A such that ad – bc is a unit of A (that is ad – bc has a multiplicative inverse in A)
In a non-commutative ring A, with (z, t) in A2, the units u determine an equivalence relation An equivalence class in the projective line over A is written U[z : t], where the brackets denote projective coordinates.
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.