The complement of a simple closed curve in the Riemann sphere has two connected components (Jordan). Schoenflies theorem implies that each of these components is homeomorphic to a disk and hence each has trivial fundamental group. Is there a direct (and simple) way to see that each component has trivial fundamental group without invoking Schoenflies?
Asked
Viewed
229 times
2

1$\begingroup$ The Wikipedia article lists four "elementary proofs." Have you looked at these? en.wikipedia.org/wiki/Schoenflies_problem $\endgroup$ – Christian Remling Sep 3 '16 at 19:12

$\begingroup$ @Christian Remming: Thanks for your question. "Elementary" is not the same as "direct" or "simple". I have read the Thomassen proof and have looked at the Moise and Bing proofs.They are elementary but I wouldn't call them "simple". In fact, this question was motivated by a desire to flesh out the proof that uses the Carath\'eodory extension theorem. The missing link for me is between the output of the Jordan curve theorem and the input of the Riemann mapping theorem. $\endgroup$ – Chris Judge Sep 3 '16 at 21:57

$\begingroup$ (continued) I think that I now know how to bridge that gap, but it's not simple: JordanBrouwer implies that first homology of a connected component is trivial and then since each curve is nullhomologous one can construct a complex logarithm function. Then the usual proof (e.g. Ahlfors) of the Riemann mapping goes through. $\endgroup$ – Chris Judge Sep 3 '16 at 21:57

$\begingroup$ Chris, you are essentially using Schoenflies in your proof, as you are giving a pretty standard proof of the Schoenflies theorem with that argument. $\endgroup$ – Ryan Budney Sep 4 '16 at 3:57

1$\begingroup$ If you'll grant that Schoenflies is easy for a piecewise linear Jordan curve, try this: Show that each component of the complement of any compact connected set in the plane has trivial fundamental group. Do this by reducing to the case when the compact set is a piecewise linear $2$manifold. (Any given loop in the complement of the compact set is in the complement of some neighborhood, therefore in the complement of some PL $2$manifold neighborhood.) $\endgroup$ – Tom Goodwillie Sep 4 '16 at 12:48