The Jordan Curve Theorem

The first time I faced this challenge was in the stage of my second Analysis course in College. The instructor needed this result for one of the proofs in class, stated it, and claimed that “you would need some more miles under your belts to be able to find—and understand—a proof of it.”  It goes like this:

Let $\phi \colon \mathbb{S}^1 \to \mathbb{R}^2$ be an injective, continuous map from the circle $\mathbb{S}^1$ to the Euclidean plane $\mathbb{R}^2$.  We say that the image of this map is a Jordan curve—a non-self-intersecting continuous loop in the plane.

The complement $\mathbb{R}^2 \setminus C$ of a Jordan curve $C=\text{img} (\phi)$ in the plane consists on two connected components: one of them is bounded, and the other unbounded. The curve $C$ is the boundary of both components.

How is it possible that such a basic and intuitive statement does need “a proof”?  Isn’t it evident?  This is one of those cases in which Mathematics can turn frustrating for a moment: somehow one feels like Pandora after opening the infamous box.  The source of that frustration relies on the impossibility of coming up with a devastating reasoning on the spot to prove that the statement is indeed true.  Where does one start?

Two years later, in the scope of Algebraic Topology while toying with Homology Theory, the instructor pointed to “an amusing application of the Mayer-Vietoris sequence”:

If $X \subset \mathbb{R}^d$ is a subset of the Euclidean $d$–dimensional space $\mathbb{R}^d$ which is homeomorphic to a $k$–sphere (for any $0 \leq k \leq d-1$), then the reduced integral homology groups $\widetilde{H}_q(Y)$ of $Y = \mathbb{R}^d \setminus X$ are given by

 $\widetilde{H}_q(Y) = \begin{cases} \mathbb{Z} &\text{if }q=d-1-k \\ 0 & \text{otherwise} \end{cases}$

This “simple” application of the Mayer-Vietoris sequence, when considering the case $d=2$, $k=1$ and $X=C=\text{img}(\phi)$, gives us a proof of the Jordan Curve Theorem as corollary!

Let us trace back a few steps, and try to go over enough Homology Theory to understand what those results are about, and why the computation of the reduced integral homology group $\widetilde{H}_0(\mathbb{R}^2 \setminus C)$ casts any light on connected components and boundedness.