Cone (topology)

In topology, especially algebraic topology, the cone of a topological space is intuitively obtained by stretching X into a cylinder and then collapsing one of its end faces to a point. The cone of X is denoted by or by . Formally, the cone of X is defined as: where is a point (called the vertex of the cone) and is the projection to that point. In other words, it is the result of attaching the cylinder by its face to a point along the projection . If is a non-empty compact subspace of Euclidean space, the cone on is homeomorphic to the union of segments from to any fixed point such that these segments intersect only by itself. That is, the topological cone agrees with the geometric cone for compact spaces when the latter is defined. However, the topological cone construction is more general. The cone is a special case of a join: the join of with a single point . Here we often use a geometric cone ( where is a non-empty compact subspace of Euclidean space). The considered spaces are compact, so we get the same result up to homeomorphism. The cone over a point p of the real line is a line-segment in , . The cone over two points {0, 1} is a "V" shape with endpoints at {0} and {1}. The cone over a closed interval I of the real line is a filled-in triangle (with one of the edges being I), otherwise known as a 2-simplex (see the final example). The cone over a polygon P is a pyramid with base P. The cone over a disk is the solid cone of classical geometry (hence the concept's name). The cone over a circle given by is the curved surface of the solid cone: This in turn is homeomorphic to the closed disc. More general examples: The cone over an n-sphere is homeomorphic to the closed (n + 1)-ball. The cone over an n-ball is also homeomorphic to the closed (n + 1)-ball. The cone over an n-simplex is an (n + 1)-simplex. 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 The cone is used in algebraic topology precisely because it embeds a space as a subspace of a contractible space.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (2)

Related concepts (2)

Suspension (topology)

In topology, a branch of mathematics, the suspension of a topological space X is intuitively obtained by stretching X into a cylinder and then collapsing both end faces to points. One views X as "suspended" between these end points. The suspension of X is denoted by SX or susp(X). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by ΣX. The "usual" suspension SX is sometimes called the unreduced suspension, unbased suspension, or free suspension of X, to distinguish it from ΣX.

Join (topology)

In topology, a field of mathematics, the join of two topological spaces and , often denoted by or , is a topological space formed by taking the disjoint union of the two spaces, and attaching line segments joining every point in to every point in . The join of a space with itself is denoted by . The join is defined in slightly different ways in different contexts If and are subsets of the Euclidean space , then:,that is, the set of all line-segments between a point in and a point in .

Computational tools for twisted topological Hochschild homology of equivariant spectra

Kathryn Hess Bellwald, Inbar Klang

Twisted topological Hochschild homology of Cn-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we intr ...

ELSEVIER2022

A Shadow Perspective on Equivariant Hochschild Homologies

Kathryn Hess Bellwald, Inbar Klang

Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category V, as ...

OXFORD UNIV PRESS2022