# Schoenflies problem

Contents 1 Original formulation 2 Proofs of the Jordan–Schoenflies theorem 2.1 Polygonal curve 2.2 Continuous curve 2.3 Smooth curve 3 Generalizations 4 Notes 5 References Original formulation The original formulation of the Schoenflies problem states that not only does every simple closed curve in the plane separate the plane into two regions, one (the "inside") bounded and the other (the "outside") unbounded; but also that these two regions are homeomorphic to the inside and outside of a standard circle in the plane.

An alternative statement is that if {displaystyle Csubset mathbb {R} ^{2}} is a simple closed curve, then there is a homeomorphism {displaystyle f:mathbb {R} ^{2}to mathbb {R} ^{2}} such that {displaystyle f(C)} is the unit circle in the plane. Elementary proofs can be found in Newman (1939), Cairns (1951), Moise (1977) and Thomassen (1992). The result can first be proved for polygons when the homeomorphism can be taken to be piecewise linear and the identity map off some compact set; the case of a continuous curve is then deduced by approximating by polygons. The theorem is also an immediate consequence of Carathéodory's extension theorem for conformal mappings, as discussed in Pommerenke (1992, p. 25).

If the curve is smooth then the homeomorphism can be chosen to be a diffeomorphism. Proofs in this case rely on techniques from differential topology. Although direct proofs are possible (starting for example from the polygonal case), existence of the diffeomorphism can also be deduced by using the smooth Riemann mapping theorem for the interior and exterior of the curve in combination with the Alexander trick for diffeomorphisms of the circle and a result on smooth isotopy from differential topology.[1] Such a theorem is valid only in two dimensions. In three dimensions there are counterexamples such as Alexander's horned sphere. Although they separate space into two regions, those regions are so twisted and knotted that they are not homeomorphic to the inside and outside of a normal sphere.

Proofs of the Jordan–Schoenflies theorem For smooth or polygonal curves, the Jordan curve theorem can be proved in a straightforward way. Indeed, the curve has a tubular neighbourhood, defined in the smooth case by the field of unit normal vectors to the curve or in the polygonal case by points at a distance of less than ε from the curve. In a neighbourhood of a differentiable point on the curve, there is a coordinate change in which the curve becomes the diameter of an open disk. Taking a point not on the curve, a straight line aimed at the curve starting at the point will eventually meet the tubular neighborhood; the path can be continued next to the curve until it meets the disk. It will meet it on one side or the other. This proves that the complement of the curve has at most two connected components. On the other hand, using the Cauchy integral formula for the winding number, it can be seen that the winding number is constant on connected components of the complement of the curve, is zero near infinity and increases by 1 when crossing the curve. Hence the curve separates the plane into exactly two components, its "interior" and its "exterior", the latter being unbounded. The same argument works for a piecewise differentiable Jordan curve.[2] Polygonal curve Given a simple closed polygonal curve in the plane, the piecewise linear Jordan–Schoenflies theorem states that there is a piecewise linear homeomorphism of the plane, with compact support, carrying the polygon onto a triangle and taking the interior and exterior of one onto the interior and exterior of the other.[3] The interior of the polygon can be triangulated by small triangles, so that the edges of the polygon form edges of some of the small triangles. Piecewise linear homeomorphisms can be made up from special homeomorphisms obtained by removing a diamond from the plane and taking a piecewise affine map, fixing the edges of the diamond, but moving one diagonal into a V shape. Compositions of homeomorphisms of this kind give rise to piecewise linear homeomorphisms of compact support; they fix the outside of a polygon and act in an affine way on a triangulation of the interior. A simple inductive argument shows that it is always possible to remove a free triangle—one for which the intersection with the boundary is a connected set made up of one or two edges—leaving a simple closed Jordan polygon. The special homeomorphisms described above or their inverses provide piecewise linear homeomorphisms which carry the interior of the larger polygon onto the polygon with the free triangle removed. Iterating this process it follows that there is a piecewise linear homeomorphism of compact support carrying the original polygon onto a triangle.[4] Because the homeomorphism is obtained by composing finite many homeomorphisms of the plane of compact support, it follows that the piecewise linear homeomorphism in the statement of the piecewise linear Jordan-Schoenflies theorem has compact support.

As a corollary, it follows that any homeomorphism between simple closed polygonal curves extends to a homeomorphism between their interiors.[5] For each polygon there is a homeomorphism of a given triangle onto the closure of their interior. The three homeomorphisms yield a single homeomorphism of the boundary of the triangle. By the Alexander trick this homeomorphism can be extended to a homeomorphism of closure of interior of the triangle. Reversing this process this homeomorphism yields a homeomorphism between the closures of the interiors of the polygonal curves.

Continuous curve The Jordan-Schoenflies theorem for continuous curves can be proved using Carathéodory's theorem on conformal mapping. It states that the Riemann mapping between the interior of a simple Jordan curve and the open unit disk extends continuously to a homeomorphism between their closures, mapping the Jordan curve homeomorphically onto the unit circle.[6] To prove the theorem, Carathéodory's theorem can be applied to the two regions on the Riemann sphere defined by the Jordan curve. This will result in homeomorphisms between their closures and the closed disks |z| ≤ 1 and |z| ≥ 1. The homeomorphisms from the Jordan curve to the circle will differ by a homeomorphism of the circle which can be extended to the unit disk (or its complement) by the Alexander trick. Composition with this homeomorphism will yield a pair of homeomorphisms which match on the Jordan curve and therefore define a homeomorphism of the Riemann sphere carrying the Jordan curve onto the unit circle.

The Jordan-Schoenflies theorem can be deduced using differential topology. In fact it is an immediate consequence of the classification up to diffeomorphism of smooth oriented 2-manifolds with boundary, as described in Hirsch (1994). Indeed, the smooth curve divides the 2-sphere into two parts. By the classification each is diffeomorphic to the unit disk and—taking into account the isotopy theorem—they are glued together by a diffeomorphism of the boundary. By the Alexander trick, such a diffeomorphism extends to the disk itself. Thus there is a diffeomorphism of the 2-sphere carrying the smooth curve onto the unit circle.

On the other hand, the diffeomorphism can also be constructed directly using the Jordan-Schoenflies theorem for polygons and elementary methods from differential topology, namely flows defined by vector fields.[12] When the Jordan curve is smooth (parametrized by arc length) the unit normal vectors give a non-vanishing vector field X0 in a tubular neighbourhood U0 of the curve. Take a polygonal curve in the interior of the curve close to the boundary and transverse to the curve (at the vertices the vector field should be strictly within the angle formed by the edges). By the piecewise linear Jordan–Schoenflies theorem, there is a piecewise linear homeomorphism, affine on an appropriate triangulation of the interior of the polygon, taking the polygon onto a triangle. Take an interior point P in one of the small triangles of the triangulation. It corresponds to a point Q in the image triangle. There is a radial vector field on the image triangle, formed of straight lines pointing towards Q. This gives a series of lines in the small triangles making up the polygon. Each defines a vector field Xi on a neighbourhood Ui of the closure of the triangle. Each vector field is transverse to the sides, provided that Q is chosen in "general position" so that it is not collinear with any of the finitely many edges in the triangulation. Translating if necessary, it can be assumed that P and Q are at the origin 0. On the triangle containing P the vector field can be taken to be the standard radial vector field. Similarly the same procedure can be applied to the outside of the smooth curve, after applying Möbius transformation to map it into the finite part of the plane and ∞ to 0. In this case the neighbourhoods Ui of the triangles have negative indices. Take the vector fields Xi with a negative sign, pointing away from the point at infinity. Together U0 and the Ui's with i ≠ 0 form an open cover of the 2-sphere. Take a smooth partition of unity ψi subordinate to the cover Ui and set {displaystyle displaystyle {X=sum psi _{i}cdot X_{i}.}} X is a smooth vector field on the two sphere vanishing only at 0 and ∞. It has index 1 at 0 and -1 at ∞. Near 0 the vector field equals the radial vector field pointing towards 0. If αt is the smooth flow defined by X, the point 0 is an attracting point and ∞ a repelling point. As t tends to +∞, the flow send points to 0; while as t tends to –∞ points are sent to ∞. Replacing X by f⋅X with f a smooth positive function, changes the parametrization of the integral curves of X, but not the integral curves themselves. For an appropriate choice of f equal to 1 outside a small annulus near 0, the integral curves starting at points of the smooth curve will all reach smaller circle bounding the annulus at the same time s. The diffeomorphism αs therefore carries the smooth curve onto this small circle. A scaling transformation, fixing 0 and ∞, then carries the small circle onto the unit circle. Composing these diffeomorphisms gives a diffeomorphism carrying the smooth curve onto the unit circle.

Generalizations There does exist a higher-dimensional generalization due to Morton Brown (1960) and independently Barry Mazur (1959) with Morse (1960), which is also called the generalized Schoenflies theorem. It states that, if an (n − 1)-dimensional sphere S is embedded into the n-dimensional sphere Sn in a locally flat way (that is, the embedding extends to that of a thickened sphere), then the pair (Sn, S) is homeomorphic to the pair (Sn, Sn−1), where Sn−1 is the equator of the n-sphere. Brown and Mazur received the Veblen Prize for their contributions. Both the Brown and Mazur proofs are considered "elementary" and use inductive arguments.

The Schoenflies problem can be posed in categories other than the topologically locally flat category, i.e. does a smoothly (piecewise-linearly) embedded (n − 1)-sphere in the n-sphere bound a smooth (piecewise-linear) n-ball? For n = 4, the problem is still open for both categories. See Mazur manifold. For n ≥ 5 the question in the smooth category has an affirmative answer, and follows from the h-cobordism theorem.

Notes ^ See: Hirsch 1994 Shastri 2011 Napier & Ramachandran 2011 Taylor 2011 Kerzman 1977 Bell & Krantz 1987 Bell 1992 ^ Katok & Climenhaga 2008 ^ See: Moise 1977 Bing 1983 ^ Moise 1977, pp. 26–29 ^ Bing 1983, p. 29 ^ See: Carathéodory 1913 Goluzin 1969, p. 44 Pommerenke 1975 ^ See: Moise 1977 Bing 1983 ^ See: Bing 1983 Katok & Climenhaga 2008, Lecture 36 ^ Bing & 1983, pp. 29–32 ^ See: Napier & Ramachandran 2011 Taylor 2011 Kerzman 1977 Bell & Krantz 1987 Bell 1992 ^ See: Hirsch 1994, p. 182, Theorem 1.9 Shastri 2011, p. 173, Theorem 6.4.3 ^ See: Smale 1961 Milnor 1965 Hirsch 1994 Shastri 2011 Matsumoto 2002 Nicolaescu 2011 References Bell, Steven R.; Krantz, Steven G. (1987), "Smoothness to the boundary of conformal maps", Rocky Mountain Journal of Mathematics, 17: 23–40, doi:10.1216/rmj-1987-17-1-23 Bell, Steven R. (1992), The Cauchy transform, potential theory, and conformal mapping, Studies in Advanced Mathematics, CRC Press, ISBN 978-0-8493-8270-3 Bing, R. H. (1983), The Geometric Topology of 3-Manifolds, Colloquium Publications -, vol. 40, American Mathematical Society, ISBN 978-0-8218-1040-8 Brown, Morton (1960), "A proof of the generalized Schoenflies theorem", Bulletin of the American Mathematical Society, 66 (2): 74–76, CiteSeerX 10.1.1.228.5491, doi:10.1090/S0002-9904-1960-10400-4, MR 0117695 Cairns, Stewart S. (1951), "An Elementary Proof of the Jordan-Schoenflies Theorem", Proceedings of the American Mathematical Society, 2 (6): 860–867, doi:10.1090/S0002-9939-1951-0046635-9, MR 0046635 Carathéodory, Constantin (1913), "Zur Ränderzuordnung bei konformer Abbildung", Göttingen Nachrichten: 509–518 do Carmo, Manfredo P. (1976), Differential geometry of curves and surfaces, Prentice-Hall, ISBN 978-0-13-212589-5 Goluzin, Gennadiĭ M. (1969), Geometric theory of functions of a complex variable, Translations of Mathematical Monographs, vol. 26, American Mathematical Society Hirsch, Morris (1994), Differential topology (2nd ed.), Springer Katok, Anatole B.; Climenhaga, Vaughn (2008), Lectures on Surfaces: (Almost) Everything You Wanted to Know about Them, Student Mathematical Library, vol. 46, American Mathematical Society, ISBN 978-0-8218-4679-7 Kerzman, Norberto (1977), A Monge-Ampére equation in complex analysis, Proc. Symp. Pure Math., vol. XXX, Providence, RI: American Mathematical Society, MR 0454082 Matsumoto, Yukio (2002), An introduction to Morse theory, Translations of Mathematical Monographs, vol. 208, American Mathematical Society, ISBN 978-0821810224 Mazur, Barry (1959), "On embeddings of spheres", Bulletin of the American Mathematical Society, 65 (2): 59–65, doi:10.1090/S0002-9904-1959-10274-3, MR 0117693 Milnor, John (1965), Lectures on the h-cobordism theorem, Princeton University Press Moise, Edwin E. (1977), Geometric topology in dimensions 2 and 3, Graduate texts in mathematics, vol. 47, New York-Heidelberg: Springer-Verlag, doi:10.1007/978-1-4612-9906-6, ISBN 978-0-387-90220-3, MR 0488059 Morse, Marston (1960), "A reduction of the Schoenflies extension problem", Bulletin of the American Mathematical Society, 66 (2): 113–115, doi:10.1090/S0002-9904-1960-10420-X, MR 0117694 Napier, Terrence; Ramachandran, Mohan (2011), An Introduction to Riemann Surfaces, Springer, ISBN 978-0-8176-4692-9 Newman, Maxwell Herman Alexander (1939), Elements of the topology of plane sets of points, Cambridge University Press Nicolaescu, Liviu (2011), An invitation to Morse theory (2nd ed.), Springer, ISBN 9781461411048 Pommerenke, Christian (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, vol. 15, Vandenhoeck & Ruprecht Pommerenke, Christian (1992), Boundary behaviour of conformal maps, Grundlehren der Mathematischen Wissenschaften, vol. 299, Springer, ISBN 978-3540547518 Schoenflies, A. (1906), "Beitrage zur Theorie der Punktmengen III", Mathematische Annalen, 62 (2): 286–328, doi:10.1007/bf01449982, S2CID 123992220 Shastri, Anant R. (2011), Elements of differential topology, CRC Press, ISBN 9781439831601 Smale, Stephen (1961), "On gradient dynamical systems", Annals of Mathematics, 74 (1): 199–206, doi:10.2307/1970311, JSTOR 1970311 Taylor, Michael E. (2011), Partial differential equations I. Basic theory, Applied Mathematical Sciences, vol. 115 (Second ed.), Springer, ISBN 978-1-4419-7054-1 Thomassen, Carsten (1992), "The Jordan-Schoenflies Theorem and the Classification of Surfaces", American Mathematical Monthly, 99 (2): 116–130, doi:10.2307/2324180, JSTOR 2324180 Categories: Geometric topologyHomeomorphismsDifferential topologyDiffeomorphismsTheorems in topologyMathematical problems

Si quieres conocer otros artículos parecidos a Schoenflies problem puedes visitar la categoría Differential topology.

Subir

Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información