Liouville's theorem (conformal mappings)In mathematics, Liouville's theorem, proved by Joseph Liouville in 1850, is a rigidity theorem about conformal mappings in Euclidean space. It states that any smooth conformal mapping on a domain of Rn, where n > 2, can be expressed as a composition of translations, similarities, orthogonal transformations and inversions: they are Möbius transformations (in n dimensions). This theorem severely limits the variety of possible conformal mappings in R3 and higher-dimensional spaces.
Cayley–Klein metricIn mathematics, a Cayley–Klein metric is a metric on the complement of a fixed quadric in a projective space which is defined using a cross-ratio. The construction originated with Arthur Cayley's essay "On the theory of distance" where he calls the quadric the absolute. The construction was developed in further detail by Felix Klein in papers in 1871 and 1873, and subsequent books and papers. The Cayley–Klein metrics are a unifying idea in geometry since the method is used to provide metrics in hyperbolic geometry, elliptic geometry, and Euclidean geometry.
Infinite compositions of analytic functionsIn mathematics, infinite compositions of analytic functions (ICAF) offer alternative formulations of analytic continued fractions, series, products and other infinite expansions, and the theory evolving from such compositions may shed light on the convergence/divergence of these expansions. Some functions can actually be expanded directly as infinite compositions. In addition, it is possible to use ICAF to evaluate solutions of fixed point equations involving infinite expansions.
Projectively extended real lineIn real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extension of the set of the real numbers, , by a point denoted ∞. It is thus the set with the standard arithmetic operations extended where possible, and is sometimes denoted by or The added point is called the point at infinity, because it is considered as a neighbour of both ends of the real line. More precisely, the point at infinity is the limit of every sequence of real numbers whose absolute values are increasing and unbounded.
Möbius planeIn mathematics, the classical Möbius plane (named after August Ferdinand Möbius) is the Euclidean plane supplemented by a single point at infinity. It is also called the inversive plane because it is closed under inversion with respect to any generalized circle, and thus a natural setting for planar inversive geometry. An inversion of the Möbius plane with respect to any circle is an involution which fixes the points on the circle and exchanges the points in the interior and exterior, the center of the circle exchanged with the point at infinity.
Conformal groupIn mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it is the group of transformations that preserve the conformal geometry of the space. Several specific conformal groups are particularly important: The conformal orthogonal group. If V is a vector space with a quadratic form Q, then the conformal orthogonal group CO(V, Q) is the group of linear transformations T of V for which there exists a scalar λ such that for all x in V For a definite quadratic form, the conformal orthogonal group is equal to the orthogonal group times the group of dilations.
Poincaré metricIn mathematics, the Poincaré metric, named after Henri Poincaré, is the metric tensor describing a two-dimensional surface of constant negative curvature. It is the natural metric commonly used in a variety of calculations in hyperbolic geometry or Riemann surfaces. There are three equivalent representations commonly used in two-dimensional hyperbolic geometry. One is the Poincaré half-plane model, defining a model of hyperbolic space on the upper half-plane. The Poincaré disk model defines a model for hyperbolic space on the unit disk.
