In mathematics, Carathéodory's theorem is a theorem in complex analysis, named after Constantin Carathéodory, which extends the Riemann mapping theorem. The theorem, first proved in 1913, states that any conformal mapping sending the unit disk to some region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curve. The result is one of Carathéodory's results on prime ends and the boundary behaviour of univalent holomorphic functions. Proofs of Carathéodory's theorem The first proof of Carathéodory's theorem presented here is a summary of the short self-contained account in ; there are related proofs in and . Clearly if f admits an extension to a homeomorphism, then ∂U must be a Jordan curve. Conversely if ∂U is a Jordan curve, the first step is to prove f extends continuously to the closure of D. In fact this will hold if and only if f is uniformly continuous on D: for this is true if it has a continuous extension to the closure of D; and, if f is uniformly continuous, it is easy to check f has limits on the unit circle and the same inequalities for uniform continuity hold on the closure of D. Suppose that f is not uniformly continuous. In this case there must be an ε > 0 and a point ζ on the unit circle and sequences zn, wn tending to ζ with |f(zn) − f(wn)| ≥ 2ε. This is shown below to lead to a contradiction, so that f must be uniformly continuous and hence has a continuous extension to the closure of D. For 0 < r < 1, let γr be the curve given by the arc of the circle | z − ζ | = r lying within D. Then f ∘ γr is a Jordan curve. Its length can be estimated using the Cauchy–Schwarz inequality: Hence there is a "length-area estimate": The finiteness of the integral on the left hand side implies that there is a sequence rn decreasing to 0 with tending to 0. But the length of a curve g(t) for t in (a, b) is given by The finiteness of therefore implies that the curve has limiting points an, bn at its two ends with |an – bn| ≤ , so this distance, as well as diameter of the curve, tends to 0. These two limit points