a1a82fe41e3820b5.tex
1: \begin{definition}
2: A \emph{Jordan curve} is a homeomorphic image of a topological circle $\bbS^1$ in the complex plane $\bbC$.  A \emph{Jordan domain} is a bounded open set in $\bbC$ with Jordan curve boundary.  We use the term \emph{closed Jordan domain} or \emph{compact Jordan domain} to refer to the closure of a Jordan domain.  We define the \emph{positive orientation} on a Jordan curve as usual.  That is, if $K$ is a closed Jordan domain, then as we traverse $\partial K$ in what we call the \emph{positive} direction, the interior of $K$ stays to the left.
3: 
4: %\begin{jct}
5: %\label{jct}
6: %A Jordan curve $\gamma$ separates the plane into two connected components, one bounded and one unbounded.  The bounded one is a topological open disk and the unbounded one is a punctured topological open disk.  The boundary of either is exactly $\gamma$.
7: %\end{jct}
8: 
9: %\noindent See \cite{MR1160354}*{Theorem 10.2}.
10: 
11: Let $K$ and $\tilde K$ be closed Jordan domains.  Let $\phi:\partial K \to \partial \tilde K$ be a homeomorphism of Jordan curves which is fixed-point-free and orientation-preserving.  We call such a homeomorphism \emph{indexable}.  Then $\{\phi(z) - z\}_{z\in \partial K}$ is a closed curve in the plane which misses the origin.  It has a natural orientation induced by traversing $\partial K$ positively.  Then we define the \emph{fixed-point index} of $\phi$, denoted $\eta(\phi)$, to be the winding number of $\{\phi(z) - z\}_{z\in \partial K}$ around the origin.
12: \end{definition}
13: