Definition:Connected Domain (Complex Analysis)/Simply Connected Domain

Definition
Let $D \subseteq \C$ be a connected domain.

$D$ is called a simply connected domain iff $D$ is open and simply connected.

Simply Connectedness Requirement
It is required that two paths in $D$ with the same initial points and final points are freely homotopic.

Let $\gamma: \left[{a \,.\,.\, b}\right] \to D$ and $\sigma: \left[{c \,.\,.\, d}\right] \to D$ be two paths with $\gamma \left({a}\right) = \sigma \left({c}\right)$ and $\gamma \left({b}\right) = \sigma \left({d}\right)$.

If $D$ is a simply connected domain, then there exists a continuous function $H: \left[{0 \,.\,.\, 1 }\right] \times \left[{0 \,.\,.\, 1}\right] \to D$ such that:


 * $H \left({t, 0}\right) = \gamma \left({t}\right)$ for all $t \in \left[{0 \,.\,.\, 1}\right]$.
 * $H \left({t, 1}\right) = \sigma \left({t}\right)$ for all $t \in \left[{0 \,.\,.\, 1}\right]$.

The function $H$ is called a (free) homotopy.

This follows from Homotopy Characterisation of Simply Connected Sets.