Mathematics · Glossary

What is simply connected domain?

Definition 18.8 University Mathematics — Year 3 · Chapter 18 — Conformal Maps and the Riemann Mapping Theorem

An open connected ΩC\Omega \subseteq \C is simply connected (in the homological sense, sufficient for all our purposes) if Indγ(w)=0\operatorname{Ind}_\gamma(w) = 0 for every cycle γ\gamma in Ω\Omega and every wΩw \notin \Omega — “no cycle of Ω\Omega surrounds a hole”. By the global Cauchy theorem (Theorem 17.1) and Proposition 16.5, on such Ω\Omega every holomorphic function has a primitive; hence every zero-free fH(Ω)f \in \mathcal H(\Omega) has a holomorphic logarithm (exp\exp\circ(primitive of f/ff'/f), adjusted by a constant, as (feL)=0(f\eu^{-L})' = 0) and holomorphic nn-th roots eL/n\eu^{L/n}.

Read in context →