Conformal map in the context of Holomorphic function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space ⁠${\displaystyle \mathbb {C} ^{n}}$⁠. The existence of a complex derivative in a neighbourhood is a very strong condition: It implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (is analytic). Holomorphic functions are the central objects of study in complex analysis.

Though the term analytic function is often used interchangeably with "holomorphic function", the word "analytic" is defined in a broader sense to denote any function (real, complex, or of more general type) that can be written as a convergent power series in a neighbourhood of each point in its domain. That all holomorphic functions are complex analytic functions, and vice versa, is a major theorem in complex analysis.

In mathematics, an n-sphere or hypersphere is an ⁠${\displaystyle n}$⁠-dimensional generalization of the ⁠${\displaystyle 1}$⁠-dimensional circle and ⁠${\displaystyle 2}$⁠-dimensional sphere to any non-negative integer ⁠${\displaystyle n}$⁠.

The circle is considered 1-dimensional and the sphere 2-dimensional because a point within them has one and two degrees of freedom respectively. However, the typical embedding of the 1-dimensional circle is in 2-dimensional space, the 2-dimensional sphere is usually depicted embedded in 3-dimensional space, and a general ⁠${\displaystyle n}$⁠-sphere is embedded in an ⁠${\displaystyle n+1}$⁠-dimensional space. The term hypersphere is commonly used to distinguish spheres of dimension ⁠${\displaystyle n\geq 3}$⁠ which are thus embedded in a space of dimension ⁠${\displaystyle n+1\geq 4}$⁠, which means that they cannot be easily visualized. The ⁠${\displaystyle n}$⁠-sphere is the setting for ⁠${\displaystyle n}$⁠-dimensional spherical geometry.

In mathematics, an invariant is a property of a mathematical object (or a class of mathematical objects) which remains unchanged after operations or transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually indicated by the context in which the term is used. For example, the area of a triangle is an invariant with respect to isometries of the Euclidean plane. The phrases "invariant under" and "invariant to" a transformation are both used. More generally, an invariant with respect to an equivalence relation is a property that is constant on each equivalence class.

Invariants are used in diverse areas of mathematics such as geometry, topology, algebra and discrete mathematics. Some important classes of transformations are defined by an invariant they leave unchanged. For example, conformal maps are defined as transformations of the plane that preserve angles. The discovery of invariants is an important step in the process of classifying mathematical objects.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two dimensions, conformal geometry may refer either to the study of conformal transformations of what are called "flat spaces" (such as Euclidean spaces or spheres), or to the study of conformal manifolds that are Riemannian or pseudo-Riemannian manifolds with a class of metrics that are defined up to scale. Study of the flat structures is sometimes termed Möbius geometry, and is a type of Klein geometry.

In mathematics, a hypersphere or 3-sphere is a 4-dimensional analogue of a sphere, and is the 3-dimensional n-sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. The interior of a 3-sphere is a 4-ball.

It is called a 3-sphere because topologically, the surface itself is 3-dimensional, even though it is curved into the 4th dimension. For example, when traveling on a 3-sphere, you can go north and south, east and west, or along a 3rd set of cardinal directions. This means that a 3-sphere is an example of a 3-manifold.

In mathematics, orthogonal coordinates are defined as a set of d coordinates ${\displaystyle \mathbf {q} =(q^{1},q^{2},\dots ,q^{d})}$ in which the coordinate hypersurfaces all meet at right angles (note that superscripts are indices, not exponents). A coordinate surface for a particular coordinate q is the curve, surface, or hypersurface on which q is a constant. For example, the three-dimensional Cartesian coordinates (x, y, z) is an orthogonal coordinate system, since its coordinate surfaces x = constant, y = constant, and z = constant are planes that meet at right angles to one another, i.e., are perpendicular. Orthogonal coordinates are a special but extremely common case of curvilinear coordinates.

In cartography, a conformal map projection is one in which every angle between two curves that cross each other on Earth (a sphere or an ellipsoid) is preserved in the image of the projection; that is, the projection is a conformal map in the mathematical sense. For example, if two roads cross each other at a 39° angle, their images on a map with a conformal projection cross at a 39° angle.

In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere (the pole or center of projection), onto a plane (the projection plane) perpendicular to the diameter through the point. It is a smooth, bijective function from the entire sphere except the center of projection to the entire plane. It maps circles on the sphere to circles or lines on the plane, and is conformal, meaning that it preserves angles at which curves meet and thus locally approximately preserves shapes. It is neither isometric (distance preserving) nor equiareal (area preserving).

The stereographic projection gives a way to represent a sphere by a plane. The metric induced by the inverse stereographic projection from the plane to the sphere defines a geodesic distance between points in the plane equal to the spherical distance between the spherical points they represent. A two-dimensional coordinate system on the stereographic plane is an alternative setting for spherical analytic geometry instead of spherical polar coordinates or three-dimensional cartesian coordinates. This is the spherical analog of the Poincaré disk model of the hyperbolic plane.