Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Join (topology)
Summary
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 .
Some authors restrict the definition to subsets that are joinable: any two different line-segments, connecting a point of A to a point of B, meet in at most a common endpoint (that is, they do not intersect in their interior). Every two subsets can be made "joinable". For example, if is in and is in , then and are joinable in . The figure above shows an example for m=n=1, where and are line-segments.
The join of two simplices is a simplex: the join of an n-dimensional and an m-dimensional simplex is an (m+n+1)-dimensional simplex. Some special cases are:
The join of two disjoint points is an interval (m=n=0).
The join of a point and an interval is a triangle (m=0, n=1).
The join of two line segments is homeomorphic to a solid tetrahedron or disphenoid, illustrated in the figure above right (m=n=1).
The join of a point and an (n-1)-dimensional simplex is an n-dimensional simplex.
The join of a point and a polygon (or any polytope) is a pyramid, like the join of a point and square is a square pyramid. The join of a point and a cube is a cubic pyramid.
The join of a point and a circle is a cone, and the join of a point and a sphere is a hypercone.
If and are any topological spaces, then:
where the cylinder is attached to the original spaces and along the natural projections of the faces of the cylinder:
Usually it is implicitly assumed that and are non-empty, in which case the definition is often phrased a bit differently: instead of attaching the faces of the cylinder to the spaces and , these faces are simply collapsed in a way suggested by the attachment projections : we form the quotient space
where the equivalence relation is generated by
At the endpoints, this collapses to and to .
Official source
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 (1)
Related concepts (2)
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 .
Contractible space
In mathematics, a topological space X is contractible if the identity map on X is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space. A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible.