Difference between revisions of "Disc, topological"
(Importing text file) |
(TeX; duplicate) |
||
Line 1: | Line 1: | ||
+ | {{TEX|done}} | ||
A surface homeomorphic to a disc in a plane, i.e. an orientable [[Two-dimensional manifold|two-dimensional manifold]] of genus zero with one boundary component. A locally connected continuum without locally decomposing points is homeomorphic to a disc exactly if any simple closed curve outside a given point of this continuum decomposes it, and if there exists a simple closed curve which does not decompose it. | A surface homeomorphic to a disc in a plane, i.e. an orientable [[Two-dimensional manifold|two-dimensional manifold]] of genus zero with one boundary component. A locally connected continuum without locally decomposing points is homeomorphic to a disc exactly if any simple closed curve outside a given point of this continuum decomposes it, and if there exists a simple closed curve which does not decompose it. | ||
Line 4: | Line 5: | ||
====Comments==== | ====Comments==== | ||
− | Instead of "decomposition | + | Instead of "decomposition point" the term cutpoint is used in Western literature: A point $x\in X$, $X$ a topological space, is a cutpoint if $X\setminus\{x\}$ is disconnected (cf. [[Connected space|Connected space]]). Also, "separate" is more customary then "decompose" : A set $A\subset X$, $X$ a topological space, separates $X$ (between two points $x,y\in X$) if $X\setminus A$ is disconnected (and $x$ and $y$ are in distinct components of $X\setminus A$). |
A simple closed curve is a topological image of a circle in the plane. | A simple closed curve is a topological image of a circle in the plane. |
Latest revision as of 18:20, 16 April 2014
A surface homeomorphic to a disc in a plane, i.e. an orientable two-dimensional manifold of genus zero with one boundary component. A locally connected continuum without locally decomposing points is homeomorphic to a disc exactly if any simple closed curve outside a given point of this continuum decomposes it, and if there exists a simple closed curve which does not decompose it.
Comments
Instead of "decomposition point" the term cutpoint is used in Western literature: A point $x\in X$, $X$ a topological space, is a cutpoint if $X\setminus\{x\}$ is disconnected (cf. Connected space). Also, "separate" is more customary then "decompose" : A set $A\subset X$, $X$ a topological space, separates $X$ (between two points $x,y\in X$) if $X\setminus A$ is disconnected (and $x$ and $y$ are in distinct components of $X\setminus A$).
A simple closed curve is a topological image of a circle in the plane.
Another, better way to state the characterization is as follows: A locally connected metric continuum without cutpoints is homeomorphic to a disc if and only if it contains one simple closed curve which does not separate and all other simple closed curves in it do separate it.
This theorem was proved essentially by L. Zippin in [a2]. In [a1] one can find a nice survey of results in this area.
References
[a1] | E.R. van Kampen, "On some characterizations of 2-dimensional manifolds" Duke Math. J. , 1 (1935) pp. 74–93 |
[a2] | L. Zippin, "On continuous curves and the Jordan curve theorem" Amer. J. Math. , 52 (1930) pp. 331–350 |
Disc, topological. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Disc,_topological&oldid=31790