Cone (topology)

Cone of a circle. The original space is in blue, and the collapsed end point is in green.

In topology, especially algebraic topology, the cone CX of a topological space X is the quotient space:

of the product of X with the unit interval I = [0, 1]. Intuitively we make X into a cylinder and collapse one end of the cylinder to a point.

If X sits inside Euclidean space, the cone on X is homeomorphic to the union of lines from X to another point. That is, the topological cone agrees with the geometric cone when defined. However, the topological cone construction is more general.

Examples

This in turn is homeomorphic to the closed disc.

Properties

All cones are path-connected since every point can be connected to the vertex point. Furthermore, every cone is contractible to the vertex point by the homotopy

ht(x,s) = (x, (1t)s).

The cone is used in algebraic topology precisely because it embeds a space as a subspace of a contractible space.

When X is compact and Hausdorff (essentially, when X can be embedded in Euclidean space), then the cone CX can be visualized as the collection of lines joining every point of X to a single point. However, this picture fails when X is not compact or not Hausdorff, as generally the quotient topology on CX will be finer than the set of lines joining X to a point.

Reduced cone

If is a pointed space, there is a related construction, the reduced cone, given by

With this definition, the natural inclusion becomes a based map, where we take to be the basepoint of the reduced cone.

Cone functor

The map induces a functor on the category of topological spaces Top.

See also

References

This article is issued from Wikipedia - version of the 9/15/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.