##  [Riemann Mapping Theorem](/riemann-mapping-theorem-0) 

 Definition

The theorem that any nonempty simply connected open subset of the complex plane which is not the whole plane is conformally equivalent to the unit disk, i.e., there exists a bijective holomorphic map from the domain onto the disk with a holomorphic inverse.

 

 

 

 

 

 





## Principle

Principle

Holomorphic functions in one complex variable are rigid enough that topological simple connectedness plus nontriviality determines a unique conformal model up to three real parameters; complex structure and maxima principles produce existence of a biholomorphic map to the disk.

 

 

 

 

 





## Demonstration

Demonstration

Example: the upper half-plane is simply connected and not the whole plane and is mapped biholomorphically to the unit disk by an explicit Möbius transformation; for many other simply connected domains existence is guaranteed though explicit formulas may be unavailable.

 

 

 

 

## Misapplication

Misapplication

Assuming the theorem holds in higher complex dimensions or for multiply connected planar domains is incorrect. Also mistaking existence for an explicit elementary formula for arbitrary domains is a misuse.

 

 

 

 

 





## Consequence

Consequence

Provides a canonical model (the unit disk) for planar simply connected domains, enabling transfer of function-theoretic problems to the disk where powerful tools like automorphism groups and kernel functions apply.

 

 

 

 

## Reversal

Reversal

For multiply connected domains or for C^n with n>1, the analogous statement fails: domains need not be biholomorphically equivalent to a fixed model, highlighting the special nature of one-complex-variable theory.

 

 

 

 

 





## Boundary

Boundary

Requires the domain to be a nonempty simply connected open subset of C that is not all of C. It excludes domains with holes, the whole plane, and higher-dimensional complex manifolds.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension exists between existence and explicit construction: the theorem assures a conformal map exists but typically not in closed form; there is also tension between topological classification (simply connected) and analytic structure (holomorphic bijections).

 

 

 

 

 





## Synthesis

Synthesis

The Riemann Mapping Theorem asserts that every proper simply connected planar domain can be realized as the unit disk via a bijective holomorphic change of coordinates, providing a universal conformal model for one-variable complex analysis.