Jordan curve theorem and Alexander horned sphere

Jordan curve or a simple closed curve in the plane \mathbf{R}^2 is the image C of an injective continuous map of a circle into the plane, \varphi:S^1\to\mathbf{R}^2. A Jordan arc in the plane is the image of an injective continuous map of a closed interval into the plane.

With these definitions, the Jordan curve theorem can be stated as follow:

Let C be a Jordan curve in the plane \mathbf{R}^2. Then its complement, \mathbf{R}^2\setminus C, consists of exactly two connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior), and the curve C is the boundary of each component.

Furthermore, the complement of a Jordan arc in the plane is connected.

The Schoenflies theorem is a sharpening of the Jordan curve theorem.

If C\subset\mathbf{R}^2 is a simple closed curve, then there is a homeomorphism f:\mathbf{R}^2\to\mathbf{R}^2 such that f(C) is the unit circle in the plane.

If the curve is smooth then the homeomorphsim can be chosen to be a diffeomorphism. Such a theorem is valid only in two dimension. 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 homeormorphic to the inside and outside of a normal sphere.

Advertisements

发表评论

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s