Simple Closed Contour has Orientation

== Theorem ==
Let $C$ be a simple closed contour in the complex plane $\C$.
Then either $C$ is positively oriented, or $C$ is negatively oriented.
Also, $C$ cannot be both positively and negatively oriented.
== Proof ==
Let $\gamma: \closedint a b \to \C$ be a parameterization of $C$.
Let $t \in \openint a b$ such that $\gamma$ is complex-differentiable at $t$.
From Normal Vectors Form Space around Simple Complex Contour, it follows that there exists $r \in \R_{>0}$ such that for all $\epsilon \in \openint 0 r$:
:$\map \gamma t + \epsilon i \map {\gamma'} t \notin \Img C$
where $\Img C$ denotes the image of $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$.
Let $\Int C$ denote the interior of $C$.
From Interior of Simple Closed Contour is Well-Defined, it follows that $\Int C$ can be identified with the interior of a Jordan curve in $\R^2$.
From the Jordan Curve Theorem, it follows that $\C \setminus \Img C$ is a union of two open connected components, one of which is $\Int C$.
From Connected Open Subset of Euclidean Space is Path-Connected, it follows that $\Int C$ is path-connected.
Let $\epsilon \in \openint 0 r$.
Let the straight line segment between $\map \gamma t + \dfrac r 2 i \map {\gamma'} t$ and $\map \gamma t + \epsilon i \map {\gamma'} t$ be parameterized by the path $f : \closedint 0 1 \to \C \setminus \Img C$, defined by:
:$\map f s = \map \gamma t + \paren {s \dfrac r 2 + \paren{1 - s} \epsilon } i \map {\gamma'} t$ 
Suppose that $\map \gamma t + \dfrac r 2 i \map {\gamma'} t \in \Int C$.
As $f$ is a path in $\C \setminus \Img C$, of which $\Int C$ is a path component, it follows that $f$ is a path in $\Int C$.
As $\Int C$ is path-connected, it follows that for all $\epsilon \in \openint 0 r$:
:$\map \gamma t + \epsilon i \map {\gamma'} t \in \Int C$
From Single Point Characterization of Simple Closed Contour, it follows that $C$ is positively oriented.
Suppose instead that $\map \gamma t + \dfrac r 2 i \map {\gamma'} t \notin \Int C$.
As $\Int C$ is path-connected, it follows by the same argument as above that for all $\epsilon \in \openint 0 r$:
:$\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 theres exists $r_1 \in \R_{>0}$ such that for all $\epsilon \in \openint 0 {r_1}$:
:$\map \gamma t - \epsilon i \map {\gamma'} t \in \Int C$
From Single Point Characterization of Simple Closed Contour, it follows that $C$ is negatively oriented.
From Orientation of Simple Closed Contour is with Respect to Interior, it follows that $C$ is:
* positively oriented with respect to $\Int C$, $C$ is positively oriented;
* and negatively oriented with respect to $\Int C$, $C$ is negatively oriented.
From Orientation of Contour is Well-Defined, it follows that the orientation of $C$ with respect to $\Int C$ is independent of the choice of the parameterization $\gamma$ of $C$.
Hence, the orientation of $C$ is independent of its parameterization.
Category:Orientation of Complex Contour