Namespaces
Variants
Actions

Join

From Encyclopedia of Mathematics
Revision as of 17:01, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

of two topological spaces and

The topological space, denoted by , and defined as the quotient space of the product by the decomposition whose elements are the sets (), (), and the individual points of the set .

Examples. If consists of a single point, then is the cone over . is homeomorphic to the -fold suspension over . In particular, . The operation of join is commutative and associative (at least in the category of locally compact Hausdorff spaces). For calculating the homology of a join (with coefficients in a principal ideal domain), an analogue of the Künneth formula is used:

The join of an -connected space and an -connected space is -connected. The operation of join lies at the basis of Milnor's construction of a universal principal fibre bundle.


Comments

Let and be (abstract) simplicial complexes with vertices and , respectively. Then the join of and is the simplicial complex with vertices whose simplices are all subsets of the form for which is a simplex of and is a simplex of . If denotes a geometric realization of a simplicial complex , then is (homeomorphic to) .

References

[a1] S. Lefschetz, "Topology" , Chelsea, reprint (1965) pp. Sect. 47 (Chapt. II §8)
[a2] E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. 25; 437–444
[a3] C.R.F. Maunder, "Algebraic topology" , v. Nostrand-Reinhold (1970)
How to Cite This Entry:
Join. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Join&oldid=47466
This article was adapted from an original article by M.Sh. Farber (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article