Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: easiest proof of Jordan Curve Theorem as a corollary of Moebius
theorem #1982 Correcting Math

Replies: 7   Last Post: Aug 11, 2014 3:19 PM

 Messages: [ Previous | Next ]
 plutonium.archimedes@gmail.com Posts: 18,572 Registered: 3/31/08
proof of Jordan Curve Theorem from Moebius theorem #1985 Correcting Math
Posted: Aug 11, 2014 1:25 AM

Jordan Curve Theorem: Now Wikipedia describes this theorem as saying, draw a closed curve in the plane and that closed curve divides the plane into two regions of all the points inside the closed curve and all the points exterior to the closed curve. So that if we take any point inside and any point exterior to the closed curve and followed a path containing those two points we end up crossing the closed curve.

Moebius Theorem: basically says that 4 mutual adjacencies in the plane is the maximum there can be.

Alright, here are 4 mutual adjacencies where the region B is a closed loop that is landlocked so no 5th adjacency can reach it.

MMMMMMMO ?
MMMMMMMO ?
MMMMBBJJJO ?
MMMMBBJJJO ?
MMMMOOOO

So, how to prove the Jordan Curve theorem given the Moebius theorem? Well we construct a 5th region of P that encloses all of the M,O,J,B regions:

PPPPPPPPPPPPPP
PMMMMMMMOP
PMMMMMMMOP
PMMMMBBJJJOP
PMMMMBBJJJOP
PMMMMOOOOP
PPPPPPPPPPPPPP

Now we construct a path out of B from an interior point of B to an interior point of P, the region that encloses all the other regions. If such a path is constructible that does not cross the borderline of B or the closed loop of B, means that such a path would be a 5th mutual adjacency of the region B, so that the Moebius Theorem is no longer true because such a construction gives a 5th mutual adjacency.

Now here is the proof again of the Moebius Theorem.

proof of Moebius theorem-- 4 mutual adjacencies is the maximum:

Proginoskes wrote 17 Feb 2006:
>
> The usual proof of Mobius's proof is through the use of Euler's
>
> formula
>
> for polyhedra:
>
> v - e + f = 2
>
> In the "map" with 5 mutual adjacencies, f = 5, e = C(5,2) = 10, and v <= 2/3 * 10. (Thus v <= 6.) Substituting into this equation, we get
>
> 2 = v - e + f <= 6 - 10 + 5 = 1.

Now maybe we can wrestle and wrangle the Euler formula to give a direct proof of Jordan Curve theorem, although I doubt it, because unless we use a generalized statement-- Moebius, we get into the bane of mathematics proof-- case studies. When your proof is case studies, more than 3 cases, means you have no proof. Because a case study proof has to prove at the end why the proof requires umpteen number of cases. Not because you say it needs these cases to study, but why is a special number of cases needed that is integral to the statement you want to prove.

You see, when we prove FLT from Beal, we need no case study at all. And when we prove Jordan Curve from Moebius, we need no case studies at all for one is bound up inside the other as a corollary. Too many old timers of Old Math believe in case studies as proofs, but the only use those case studies are, is to give the person a better understanding of the statement, and they do not serve as a proof of the statement.

AP