Orientation of Simple Closed Contour is with Respect to Interior

Theorem
Let $C$ be a simple closed contour in the complex plane $\C$.

Let $\Int C$ denote the interior of $C$.

$C$ is positively oriented, $C$ is positively oriented with respect to $\Int C$.

$C$ is negatively oriented, $C$ is negatively oriented with respect to $\Int C$.

Sufficient condition
Suppose $C$ is positively oriented.

Let $\gamma : \closedint a b$ be a parameterization of $C$.

Set $K := \set { t \in \closedint a b : \textrm{ $\gamma$ is not differentiable at $t$ } }$.

By definition of positive orientation, it follows that for all $t \in \openint a b \setminus K$, there exists $r_0 \in \R_{>0}$ such that:


 * for all $\epsilon \in \openint 0 {r_0}$ : $\map \gamma t + \epsilon i \map {\gamma'} t \in \Int C$

Complex Plane is Homeomorphic to Real Plane shows that we can identify the complex plane $\C$ with the real plane $\R^2$ by the homeomorphism $\map \phi {x, y} = x + i y$.

Interior of Simple Closed Contour is Well-Defined shows that the image $\Img C$ can be identified with the image of a Jordan curve $g: \R^2 \to \R^2$.

From the same theorem, it follows that $\Int C$ can be identified with the interior of $g$.

From the Jordan Curve Theorem, it follows that $\Int C$ is an open connected set with $\Img C$ as its boundary.

It follows that $\Int C$ is a connected domain with $\Img C \subseteq \partial \Int C$, which is the first requirement for $C$ to be positively oriented with respect to $\Int C$.

The next requirement is that for all $t \in \openint a b \setminus K$, we need to find $r \in \R_{>0}$ such that:


 * for all $\epsilon \in \openint 0 r$ : $\map \gamma t + \epsilon i \map {\gamma'} t \in \Int C$, and $\map \gamma t - \epsilon i \map {\gamma'} t \notin \Int C$

From All Normal Vectors of Simple Closed Contour Cannot Point into Interior, it follows that there exists $r_1 \in \R_{>0}$ such that $\map \gamma t - \epsilon i \map {\gamma'} t \notin \Int C$ for all $\epsilon \in \openint 0 {r_1}$.

Then $r := \map \min {r_0, r_1}$ fulfils the criteria.

When $C$ is negatively oriented, the proof is similar.

Necessary condition
This follows directly from the definitions of orientation of contour.