Riemann Mapping Theorem — Mathematics Knowledge System

Overview

The Riemann Mapping Theorem is one of the most powerful results in complex analysis: every simply connected proper open subset of the complex plane is conformally equivalent to the open unit disk. This means that topologically the only distinction between such domains is whether they are simply connected, and conformally there is essentially a unique biholomorphic map from each to the disk (once a basepoint and a direction are normalized). The theorem guarantees existence but the proof — using normal families (Montel's theorem) — is non-constructive; finding explicit maps for specific domains is a major subject in its own right.

Intuition

Think of the theorem as saying: you can conformally 'reshape' any simply connected domain (a disk, a square, the upper half-plane, a crescent, ...) into the standard unit disk by a smooth angle-preserving deformation. The only domain that cannot be mapped to the disk is the entire plane ℂ, by Liouville's theorem (a bounded entire function is constant). The normalization at a point z₀ kills the Möbius-transformation freedom — the disk's automorphisms already biholomorphically map the disk to itself, so without normalization the map would not be unique.

Formal Definition

Definition

Let U ⊂ ℂ be a simply connected open set with U ≠ ℂ. Then there exists a biholomorphic map f: U → 𝔻 where 𝔻 = {z : |z| < 1}. If we require f(z₀) = 0 and f′(z₀) > 0 for a fixed z₀ ∈ U, the map is unique.

\exists!\ f : U \xrightarrow{\sim} \mathbb{D},\quad f(z_0)=0,\ f'(z_0) > 0

Riemann Mapping Theorem (uniqueness normalization)

\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}

Unit disk

f \text{ biholomorphic} \iff f \text{ holomorphic, bijective, and } f^{-1} \text{ holomorphic}

Biholomorphic

Worked Examples

We want a Möbius transformation sending ℍ to 𝔻. The real axis must map to the unit circle, and the upper half-plane to the interior.
$f: \mathbb{H} \to \mathbb{D}$
The classical map is the Cayley transform: f(z) = (z − i)/(z + i).
$f(z) = \frac{z - i}{z + i}$
Verify: for real x, |f(x)| = |x−i|/|x+i| = 1 (real axis → unit circle). For z=i (in ℍ), f(i)=0 ∈ 𝔻. Inversion preserves orientation.
$|f(x)| = 1 \text{ for } x \in \mathbb{R};\quad f(i) = 0$

Answer: f(z) = (z−i)/(z+i) (the Cayley transform).

Practice Problems

Difficulty 7/10

Give an explicit conformal map from the right half-plane {Re z > 0} to the unit disk.

Difficulty 8/10

Describe the key steps in the proof of the Riemann Mapping Theorem using normal families.

Difficulty 9/10

Is the annulus {1 < |z| < 2} conformally equivalent to the unit disk? Justify.

Common Mistakes

Common Mistake

The Riemann Mapping Theorem applies to all domains.

Simple connectivity is essential; doubly-connected domains like annuli require a different theory (quasiconformal or Teichmüller).

Common Mistake

The theorem gives an explicit formula for the map.

The theorem only guarantees existence; explicit maps must be found separately for each domain.

Quiz

The Riemann Mapping Theorem applies to which domains?

All open subsets of ℂSimply connected proper open subsets of ℂBounded open subsets onlyConvex open subsets only

What makes the Riemann map unique (once it exists)?

Boundedness of the domainNormalizing f(z₀)=0 and f′(z₀)>0 for a fixed interior point z₀The map being conformalThe domain being bounded

Summary

Every simply connected proper open subset of ℂ is biholomorphic to the unit disk.
The map is unique once we normalize f(z₀)=0 and f′(z₀)>0 at a chosen interior point.
The proof uses Montel's theorem (normal families) and an extremal principle.
ℂ itself is excluded because bounded entire functions are constant (Liouville).
Non-simply-connected domains (annuli, punctured disks) are not covered by the theorem.

References

WebsiteWikipedia — Riemann mapping theorem