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

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

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

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

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

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

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

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

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.