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: Problem understanding proof of Jordan Curve Theorem
Replies: 13   Last Post: Jul 12, 2013 9:25 AM

 Messages: [ Previous | Next ]
 Rupert Posts: 3,810 Registered: 12/6/04
Re: Problem understanding proof of Jordan Curve Theorem
Posted: Jul 10, 2013 4:06 AM

On Tuesday, July 9, 2013 11:56:54 PM UTC+2, peps...@gmail.com wrote:
> On Tuesday, July 9, 2013 10:53:04 PM UTC+1, Paul wrote:
>

> > I have been reading Tverberg's proof of the Jordan Curve Theorem:
>
> >
>
> > http://www.maths.ed.ac.uk/~aar/jordan/tverberg.pdf
>
> >
>
> >
>
> >
>
> > I understand completely the proofs of lemmas 1 and 2, but I'm having trouble following the proof of lemma 3. In particular, it's not clear to me why there is a disc D with abs(a - b) maximal. This is probably a consequence of the fact that continuous functions on compact sets attain their maxima, but I can't justify that assertion.
>
> >
>
> >
>
> >
>
> > Thank you very much for your help,
>
> >
>
>
>
>
>
>
>
> To clarify, when I say that I can't justify "that assertion", I mean the assertion about disk D. I _don't_ mean the assertion that continuous functions on compact sets attain their suprema.
>
>
>
> Paul Epstein

There exists a disc D whose boundary circle meets the Jordan polygon in exactly one point. (So in that case |a-b|=0). Now, the set of ordered pairs (a,b) such that there exists a disc D whose boundary circle meets the Jordan polygon at gamma(a) and gamma(b) is a closed subset of S^1 x S^1 (and is nonempty by the foregoing remark). As such it is compact with the subspace topology coming from S^1 x S^1, and the map sending (a,b) to |a-b| is a continuous real-valued function defined on this space. A continuous real-valued function defined on a nonempty compact set attains a maximum.

Date Subject Author
7/9/13 Paul
7/9/13 Paul
7/10/13 Rupert
7/10/13 Paul
7/10/13 Rupert
7/10/13 Paul
7/10/13 Rupert
7/10/13 Rupert
7/10/13 David C. Ullrich
7/10/13 David C. Ullrich
7/11/13 Paul
7/11/13 David C. Ullrich
7/11/13 Paul
7/12/13 Paul