# Conformal map

In mathematics, a **conformal map** is a function that locally preserves angles, but not necessarily lengths.

The conformal property may be described in terms of the Jacobian derivative matrix of a coordinate transformation. The transformation is conformal whenever the Jacobian at each point is a positive scalar times a rotation matrix (orthogonal with determinant one). Some authors define conformality to include orientation-reversing mappings whose Jacobians can be written as any scalar times any orthogonal matrix.^{[1]}

For mappings in two dimensions, the (orientation-preserving) conformal mappings are precisely the locally invertible complex analytic functions. In three and higher dimensions, Liouville's theorem sharply limits the conformal mappings to a few types.

The notion of conformality generalizes in a natural way to maps between Riemannian or semi-Riemannian manifolds.

A map of the Riemann sphere onto itself is conformal if and only if it is a Möbius transformation.

The complex conjugate of a Möbius transformation preserves angles, but reverses the orientation. For example, circle inversions.

A diffeomorphism between two Riemannian manifolds is called a **conformal map** if the pulled back metric is conformally equivalent to the original one. For example, stereographic projection of a sphere onto the plane augmented with a point at infinity is a conformal map.

One can also define a **conformal structure** on a smooth manifold, as a class of conformally equivalent Riemannian metrics.

A classical theorem of Joseph Liouville shows that there are much fewer conformal maps in higher dimensions than in two dimensions. Any conformal map from an open subset of Euclidean space into the same Euclidean space of dimension three or greater can be composed from three types of transformations: a homothety, an isometry, and a special conformal transformation.

In cartography, several named map projections, including the Mercator projection and the stereographic projection are conformal. They are specially useful for use in marine navigation because of its unique property of representing any course of constant bearing as a straight segment. Such a course, known as a rhumb (or, mathematically, a loxodrome) is preferred in marine navigation because ships can sail in a constant compass direction.

Conformal maps are also valuable in solving nonlinear partial differential equations in some specific geometries. Such analytic solutions provide a useful check on the accuracy of numerical simulations of the governing equation. For example, in the case of very viscous free-surface flow around a semi-infinite wall, the domain can be mapped to a half-plane in which the solution is one-dimensional and straightforward to calculate. ^{[4]}

For discrete systems, Noury and Yang presented a way to convert discrete systems root locus into continuous root locus through a well-know conformal mapping in geometry (aka inversion mapping).^{[5]}

A large group of conformal maps for relating solutions of Maxwell's equations was identified by Ebenezer Cunningham (1908) and Harry Bateman (1910). Their training at Cambridge University had given them facility with the method of image charges and associated methods of images for spheres and inversion. As recounted by Andrew Warwick (2003) *Masters of Theory*:
^{[6]}

Warwick highlights this "new theorem of relativity" as a Cambridge response to Einstein, and as founded on exercises using the method of inversion, such as found in James Hopwood Jeans textbook *Mathematical Theory of Electricity and Magnetism*.

In general relativity, conformal maps are the simplest and thus most common type of causal transformations. Physically, these describe different universes in which all the same events and interactions are still (causally) possible, but a new additional force is necessary to effect this (that is, replication of all the same trajectories would necessitate departures from geodesic motion because the metric tensor is different). It is often used to try to make models amenable to extension beyond curvature singularities, for example to permit description of the universe even before the Big Bang.