## Nice proof of the Jordan curve theorem?

As a student, I was taught that the Jordan curve theorem is a great example of an intuitively clear statement which has no simple proof.

What is the simplest known proof today?

Is there an intuitive reason why a very simple proof is not possible?

-
I retagged this a bit; proof-theory is inappropriate here. – Harald Hanche-Olsen Dec 11 2009 at 2:35
One reason why a simple proof is hard to come up with is that curves can be fiendishly complicated. In fact, if you restrict attention to piecewise smooth curves, it is not hard to come up with a simple proof, the point being that a smooth curve really divides the plane locally. – Harald Hanche-Olsen Dec 11 2009 at 2:38
In the smooth, PL or PL-smooth case the proof is quite intuitive and straightforward -- IMO going further to prove the Schoenflies theorem (that one of the bounded regions is a disc) is similarly straightforward. The reason it's not simple in the topological case is that topological curves can be extremely "fuzzy" making local arguments difficult -- Julia sets that are simple closed curves, for example. – Ryan Budney Dec 11 2009 at 2:46
For general continuous curves, it's not that a simple proof is not possible, it's that it's not desirable. The true content of the result is homology theory, which proves the separation result in n dimensions. There are special proofs in 2D that are simpler, but every such proof that I have seen feels like a one-night stand. – Greg Kuperberg Dec 11 2009 at 5:34
"One reason why a simple proof is hard to come up with is that curves can be fiendishly complicated." @Harald: I guess a general continuous function from R to R can be fiendishly complicated, and that's why we shouldn't expect a simple proof of the intermediate value theorem, right? ;-) – Kevin Buzzard Dec 11 2009 at 7:46

There's a short proof (less than three pages) that uses Brouwer's fixed point theorem, available here:

The Jordan Curve Theorem via the Brouwer Fixed Point Theorem

The goal of the proof is to take Moise's "intuitive" proof and make it simpler/shorter. Not sure whether you'd consider it "nice," though.

-
Thank you for this reference. The quality of the linked PDF is awful, however. For those with the requisite access, the paper is by Ryuji Maehara, Amer. Math. Monthly 91 (1984), 641–643 (doi:10.2307/2323369). The reviewer (see ams.org/mathscinet-getitem?mr=769530) also recommends the proof in Munkres' Topology: a first course as requiring a “comparable quantity of background”. – Harald Hanche-Olsen Dec 11 2009 at 3:17
The least nice part of Maehara's proof is the dependence on the Tietze extension theorem. – Konrad Swanepoel Dec 11 2009 at 19:36
In my opinion the Tietze-trick is the most beautiful part of the proof. I am also one of the many people grown up having told that the Jordan curve theorem is something quite difficult to prove. But after reading this proof I will sleep very well. – Balazs Strenner May 31 2011 at 4:47

It depends on what you mean by "simple". If you know homology, the proof is not very hard (less than 1 page), see for example, section 2.B ("Classical Applications") of Hatcher's book "Algebraic Topology".

-

Carsten Thomassen's proof is relatively simple:

Carsten Thomassen, The Jordan-Schönflies theorem and the classification of surfaces. Amer. Math. Monthly 99 (1992), no. 2, 116-130.

By the way, the Jordan Curve Theorem has a formal proof (one that can be checked by a computer): Thomas C. Hales, The Jordan curve theorem, formally and informally. Amer. Math. Monthly 114 (2007), no. 10, 882-894.

Hales bases the formal proof on Thomassen's.

The following is a survey on the older papers on the subject:

H. Guggenheimer, The Jordan curve theorem and an unpublished manuscript by Max Dehn. Archive for History of Exact Sciences 17 (1977), 193-200.

-
 Konrad: Do you understand what Thomassen argues for the Schonflies part of the theorem? It is the most complicated part of his paper. I admit that I did not try all that hard to follow it, but still I got lost. – Greg Kuperberg Dec 11 2009 at 18:40 @Greg: No, I only looked at the first part. I have never grokked a proof of Jordan-Schönflies. – Konrad Swanepoel Dec 11 2009 at 19:34

Several proofs are here:

http://www.maths.ed.ac.uk/~aar/jordan/index.htm

Among them, Tverberg's (1980) could (and should) be mentioned.

I really like Jordan's proof itself.

-
It is "Tverberg", not "Tvelberg". Sorry for the typo. – Ady Dec 11 2009 at 17:29
I've fixed it for you. But you can edit your answers, you know. – Kevin Lin Dec 26 2009 at 10:11
Well, nobody asked you to do that, I think. – Ady Dec 27 2009 at 17:07
mathoverflow.net/faq#othersedit – Kevin Lin Jan 9 2012 at 18:43

There is a proof of the Jordan Curve Theorem in my book "Topology and groupoids" which also derives results on the Phragmen-Brouwer Property. Also published as

`Groupoids, the Phragmen-Brouwer property and the Jordan curve theorem', J. Homotopy and Related Structures 1 (2006) 175-183.

The van Kampen Theorem for the fundamental groupoid on a set of base points is used to prove that if $X$ is pathconnected and the union of open path connected sets $U,V$ whose intersection has $n$ path components, then the fundamental group of $X$ contains the free group on $n-1$ generators as a retract.

May 30: The question asks why there is not a simple proof. Perhaps the following Figure 9.10 from the above book will explain why a proof is not expected to be so so easy; how do you decide whether a point in the middle is inside or outside?

-
You question seems to have many easy intuitive answers. For example, fix the point $x$ you want to decide is either inside or outside. Bound the given diagram by a large enough circle, and fix a point $y$ outside the circle. Connect $x$ and $y$ by a straight line. Now just count the number of times this line crosses the boundary of the figure. If it is odd, the point x lies inside. If it is even, the opposite. (Of course, this only works because your curve is piece-wise linear.) – Pace Nielsen May 30 at 19:18
I kind of left it to the imagination to concoct a modified example which nullifies an immediate proposed method. The given figure is rectilinear; it might be modified to have infinitely many wobbles, and then the line chosen might cross the figure say countably infinitely many times. The other method for this example is of course to start filling in from a point near the outside edge. Just the job for a child! – Ronnie Brown Jul 20 at 20:05

You should compare with: "Geometric Topology in Dimensions 2 and 3", Moise, Edwin E. (1977). Springer-Verlag and tell

-

An elementary proof by means of nonstandard analysis (by reduction to the case of polygons) and elementary combinatorics is given in Kanovei & Reeken, A nonstandard proof of the Jordan curve theorem, RAE 1999, 24, 161--170

-

A nice and simple proof using mod 2 intersection theory is given in the book Differential Topology by Guillemin,Pollack.

-
 Isn't this the smooth Jordan curve theorem? (Much easier). The function f (Page 86) is assumed to be smooth. – Daniel Moskovich May 30 at 13:08