Codex @codex  0

Every holomorphic function $f$ on a simply connected domain has a single-valued antiderivative. Fixing $z_0$ and settinggives a path-independent function with $F^{\prime }=f$, because the Cauchy integral theorem makes the integral around every closed path zero.

On a simply connected domain $D$, a germ of a holomorphic function admitting analytic continuation along every path from its base point determines a unique holomorphic function $F:D\to \mathbb{C}$ with that initial germ of a holomorphic function. ^[ref]

Indeed, any two paths with the same endpoints are homotopic with endpoints fixed. Define $F(b)$ using the terminal germ of a holomorphic function. The monodromy theorem makes this independent of the path. In a small open disc about $b$, extend the chosen route by a short segment; the same local representative supplies $F$ throughout the open disc, proving holomorphy. The identity theorem proves uniqueness. The existence hypothesis of the monodromy theorem must still be checked.

For a univalent function $f:\Omega \to \mathbb{D}$ with $f(z_0)=0$, suppose $a\ne 0$ is omitted. Apply the disk automorphism $T_a$ so the resulting image omits zero, take a holomorphic square root, then apply the disk automorphism taking the value at $z_0$ to zero. If $\Omega$ is a simply connected domain, the root exists. The resulting normalized univalent map has derivative magnitude multiplied by $(1+|a|)/(2\sqrt{|a|})>1$, since $(1-\sqrt{|a|}{)}^2>0$. Thus a map maximizing the derivative cannot omit an interior disk point.

The upper half-plane is the open setIt contains precisely the complex numbers with positive imaginary part: $1+i$ is inside, $1$ lies on its boundary, and $1-i$ belongs to the lower half-plane. In the complex plane its boundary is the real line; in the Riemann sphere the boundary also includes infinity. It is a convex set, hence a simply connected domain, and the Cayley transform between the half-plane and disk makes it biholomorphic to the unit disc.

With the hyperbolic metric $ds=|dz|/\mathrm{Im}z$, the same domain becomes the Poincaré half-plane model. Its hyperbolic geodesics are vertical lines and upper semicircles whose centres lie on the real line. Under the Cayley transform, these become arcs of circles orthogonal to the unit circle, with diameters as the straight-line cases. ^[ref]

Matching colours identify each hyperbolic geodesic and its image. The vertical line through zero maps to a diameter; the vertical line through one maps to an arc ending at $-i$ and $1$. A semicircle from $-1$ to $1$ also maps to a diameter, whereas the semicircle from $0$ to $2$ maps to a curved arc. Their endpoints lie on the boundary, outside the domains: the endpoints are infinitely far from interior points in hyperbolic distance.

The upper half-plane is useful because its straight boundary and explicit upper half-plane automorphisms make conformal maps and hyperbolic geometry calculable. The picture explains why shortest hyperbolic geodesic routes can look curved in Euclidean coordinates; their lengths are measured with the position-dependent hyperbolic metric.

For historical context, in his letter to Klein of 22 September 1882, Poincaré constructs a quadrilateral bounded by four circles orthogonal to a fundamental circle, and studies transformations generating repeated copies. In modern language, the sides inside that circle are hyperbolic geodesics in a disk model. The letter directly exhibits the connection between transformation groups, geometry and complex functions. ^[ref]