# Why is the Jordan Curve Theorem not “obvious”?

I am horribly confused about Jordan's Curve Theorem (henceforth JCT). Could you give me some reason why should the validity of this theorem be in doubt? I mean for anyone who trusts the eye theorem is obvious. Therefore answers like "do not trust the eye" is not going to help me.

I am looking for answers along the following lines. If the JCT were true for the "obvious" reason, then it might lead to some contradiction someplace else. To be more concrete, I can give an analogy with another theorem for which I had similar feelings -- namely the unique factorization theorem for natural numbers which subsided when I learnt about Kummer Primes.

In case you think that I am being too demanding when I ask this question, here is another direction you could help me with. In that case, I would just like one or two quick sentences about your personal experience with Jordan's curve theorem -- kind of like when you had your aha moment with this theorem. Something like, "I see, now I know (or can guess) why proving it was such a big deal". Please reply when you get time -- I am horribly confused.

-
@Akash: What are the "obvious reasons" for its truth? – Ryan Budney Sep 4 '11 at 17:09
I'm quite sure this doesn't count as graph theory, and I don't really see how this is a ‘big picture’ question. As for the question itself: the mind's eye is of very limited imagination; the existence of continuous space-filling curves should be enough to give pause to the thought that the Jordan curve theorem is obvious. It is certainly obvious in the cases we can easily imagine (e.g. piecewise linear curves) but the point is that our imaginations are woefully inadequate! – Zhen Lin Sep 4 '11 at 17:10
For example, do these obvious reasons also apply to embeddings of $S^2$ in $\mathbb R^3$, why or why not? Similarly, $S^3$ in $\mathbb R^4$? – Ryan Budney Sep 4 '11 at 17:11
An interesting article is Jordan’s Proof of the Jordan Curve Theorem by Thomas C. Hales. – lhf Sep 4 '11 at 18:38
That lots of "obvious" things are false may be seen by looking at the book Counterexamples in Analysis. – Michael Hardy Sep 4 '11 at 21:21

There is exactly one way in which one can convince oneself that a statement is not obvious: try to prove it and look at your attempts very, very critically.

If you think you can come up with a proof of the curve theorem, edit it into the answer and we can help you dissect it :)

Later. Asaf observes that it may be the case that you are refering to "intuitively obviousness". Well... I tend to think that when someone says something is intuitively obvious without having a specific proof in mind, he is just waving hands in words. But there are two observations one can make which are independent of that.

First, the full Jordan curve theorem deals with arbitrary closed curves, and here ẗhe word "arbitrary" includes things that one usually does not think about, curves so complicated that one cannot make accurate pictures of them, so it is rather unlikely one has any intuition about them at all (at least, when encountering the theorem for the first time) This is a situation that comes all the time: one thinks a statement is intuitively true only because one is not familiar with the cases where it is not clearly true at all. One's intuition is built upon our experience, and since our experience is, by definition, limited, our intuition is limited, too.

In any case, I would suggest you try to prove the version of the Jordan curve theorem which deals with piecewise linear curves, that is, with polygonal closed curves (with finitely many segments). In this more restricted situation, we have eliminated all the wildness continuous arcs can have and are left with a geometrically sensible situation. But! It is nonetheless quite not obvious how to prove the theorem in this simple situation either, as you will find out when you try. (This version can be proved without the machinery used to prove the general theorem, though)

-
@Asaf: what do you mean by intuitively obvious? I think it helps to be specific about what intuitive mechanisms you're using. – Ryan Budney Sep 4 '11 at 17:10
Additionally, one person's "intuitive" may very well be another person's "murky"... – J. M. Sep 4 '11 at 17:20
@Ryan: I mean that when you draw a closed and simple curve it is obvious that the theorem is true. I'm not implying that the theorem is very obvious in the mathematical sense of the word. However it is not a theorem which comes as shocking as Banach-Tarski, for example. The Jordan Curve Theorem is only shocking when you realize it is not a simple proof. – Asaf Karagila Sep 4 '11 at 19:29
@Ryan: Intuition does not mean that it can be explained. Intuition means that "this seems like a true statement." – Asaf Karagila Sep 4 '11 at 19:48
@Asaf: the interesting point is that it is a false statement (that the interior of a sphere is a ball) – Mariano Suárez-Alvarez Sep 4 '11 at 22:06

I think perhaps the biggest thing that blinds one's intuition is that when one imagines embedding a circle in the plane, it's very easy to "lose the plot" and instead imagine embedding a disc in the plane, with the circle on the boundary. So not only do you see immediately the inside and outside, but you also see the Schoenflies theorem -- that a circle in the plane bounds a disc.

A game that might help you check your intuition would be to get someone else to draw an extremely complicated simple closed curve in the plane, and then see if you can determine whether or not it has an "inside" and "outside" quickly. In particular, see if you can quickly judge whether or not parts of the diagram are in the "inside" and "outside", and then check more carefully to see if you were correct.

This game can be made more complicated by there being more than one disjoint simple closed curve in the diagram. What happens then? And so on. I suspect that until you find the germ of the proof, this puzzle has much the same shape as the kind of "maze puzzles" you see in comic sections of newspapers.

-
There's an exercise like this at the beginning of Thurston's "Three dimensional topology and geometry." – Grumpy Parsnip Sep 4 '11 at 17:29
+1 Nice answer! That sure is helpful – Akash Kumar Sep 5 '11 at 2:58

The Jordan Curve theorem is actually pretty easy to prove if you assume the curve is smooth or piecewise linear. The difficulty arises when you try to handle the general case. This includes nowhere-differentiable curves like the boundary of the Koch snowflake, and even wilder curves which can't even be drawn by hand, like Mariano says. It's kind of a magic fact about the plane that simple closed curves behave nicely enough for the JCT or Schoenflies theorem to hold. Actually JCT holds for any sphere $S^n$ embedded in $\mathbb R^{n+1}$ by Alexander duality, but the Schoenflies theorem does not (when $n>2$). Alexander's horned sphere is an example of $S^2$ embedded in $\mathbb R^3$ whose complement is not simply connected. Another phenomenon that "magically" doesn't happen in the plane is the phenonemon of wildness. There are embedded compact arcs in $\mathbb R^3$, such as the Fox-Artin wild arc, which have non-simply connected complements. So you can never straighten these arcs out. However in the plane any arc (or simple closed curve) can be straightened out by an ambient isotopy.

-
Do you have a reference for a proof of the smooth JCT? I've been trying to remember where I saw it last time, with no luck. – Mariano Suárez-Alvarez Sep 5 '11 at 3:53
I think John Stillwell has a proof in his book "Classical Topology and Combinatorial Group Theory." Maybe that's just the PL case. – Grumpy Parsnip Sep 5 '11 at 12:46
Yup. He does the PL case. – Mariano Suárez-Alvarez Sep 5 '11 at 15:14
@Mariano: Once you can prove that the curve has a regular neighborhood which is a normal bundle, then Stillwell's proof should still work. I suppose it's debatable about whether proving the existence of such a neighborhood is significantly simpler than proving the full JCT in all its glory. – Grumpy Parsnip Sep 5 '11 at 16:23
The smooth JCT is an exercise on Page 3 of Hatcher's "Notes on Basic 3-Manifold Topology". It's a nice, easy exercize in basic Morse Theory. It is proved the same way that he proves the Alexander Theorem, but it's much easier...The only fiddly point is "rounding the corners" when you slice the curve up into smaller curves. – Daniel Moskovich Nov 15 '11 at 15:07

"I mean for anyone who trusts the eye theorem is obvious."

How can you trust your eye when you are unable to fully visualize general continuous curve, e.g. a fractal? If a point $z_0$ lies on a fractal that is a Jordan curve, then there is no way to tell in what direction the "inside" is.

For this reason we must "be blind" and resort in our proof only to the following properties:

1. Curve is continuous
2. Curve is closed
3. Curve does not intersect itself

With previous facts and Bolzano's Theorem you can easily prove Jordan Curve Theorem for a circle, but the general result is far from obvious. How to even start?

-