0.11. The 2-dimensional PL Sch¨ onflies Theorem 19 represents an isomorphism. Historical Notes. The contractible ∂-manifold M constructed in Exam- ple 0.10.3 is called a Newman contractible manifold. It is named after M. H. A. Newman (1948), who was the first to describe contractible ∂- manifolds this way. The same construction can also be carried out (topolog- ically) in S4, but the 4-dimensional case requires more care to ensure that M is simply connected (see (Lickorish, 2003)). No such example is possible in S3. Exercise 0.10.1. The homomorphism described in the last paragraph of the proof of Example 0.10.2 is an epimorphism. 0.11. The 2-dimensional PL Sch¨ onflies Theorem A simple closed curve in a space X is the image of a continuous one-to- one function f : S1 X. The classical Jordan Curve Theorem states that any simple closed curve in R2 separates R2 into exactly two compo- nents, with the simple closed curve being the topological frontier of each of the complementary domains. In this form the theorem generalizes to high dimensions—see Exercise 0.3.2. There is another, stronger form of the Jordan Curve Theorem, called the Sch¨ onflies Theorem, unique to two di- mensions, which provides context for many of the results in this book. In effect, the Sch¨ onflies Theorem shows that most of the unusual phenomena to be studied in this book are high-dimensional and do not occur in dimension two. This section offers a short review of this key result. Theorem 0.11.1 (Topological Sch¨ onflies). For any two simple closed curves P1 and P2 in R2, there is a (compactly supported) topological homeomor- phism Θ : R2 R2 such that Θ(P1) = P2. We will not prove the topological Sch¨ onflies Theorem. A thorough ex- position of the proof can be found in (Moise, 1977, Chapter 9). The original version appeared in (Sch¨ onflies, 1908). The tools of (Rourke and Sanderson, 1972) come very close to proving the PL variant of the theorem we complete the proof in that special case. Theorem 0.11.2 (PL Sch¨ onflies). For any two polygonal simple closed curves P1 and P2 in R2, there is a (compactly supported) PL homeomor- phism Θ : R2 R2 such that Θ(P1) = P2. Lemma 0.11.3. Each polygonal simple closed curve P in R2 with at least 4 vertices has a pair of nonadjacent vertices v and w for which the interior of the segment vw misses P .
Previous Page Next Page