# Difference between revisions of "Double mapping cylinder"

(→Definition) |
|||

(7 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{interval-cum-mapping construct}} | ||

+ | |||

==Definition== | ==Definition== | ||

− | Suppose <math>X,Y,Z</math> are [[topological space]]s and <math>f:X \to Z</math> and <math>g: | + | Suppose <math>X,Y,Z</math> are [[topological space]]s and <math>f:X \to Z</math> and <math>g: X \to Z</math> are [[continuous map]]s. The '''double mapping cylinder''' of <math>f</math> and <math>g</math> is defined as the quotient of <math>X \times [0,1] \sqcup Y \sqcup Z</math> via the relations <math>(x,0) \simeq f(x)</math> and <math>(x,1) \simeq g(x)</math>. |

+ | |||

+ | ==More specific constructions== | ||

+ | |||

+ | Specific cases of the above arise either by setting <math>X = Y</math> and <math>f</math> the identity map (or correspondingly for <math>Z</math> and <math>g</math>) or setting <math>Y</matH> or <math>Z</math> to be a [[one-point space]]. If we impose only one constraint, the resultant construction is the construction corresponding to the ''other'' unspecified map. If we impose two constraints, then the resulting construction depends only on the input space <math>X</math>. | ||

+ | |||

+ | Note that the roles of <math>Y</math> and <math>Z</math> can be interchanged here. | ||

+ | {| class="sortable" border="1" | ||

+ | ! Name of construction !! One-point spaces? !! Identity maps? !! Remaining input? || Conclusion | ||

+ | |- | ||

+ | | [[generalization of::mapping cylinder]] || -- || <math>f</math>, so <math>X = Y</math> || <math>g:X \to Z</math> || With this stipulation, the double mapping cylinder is the same as the mapping cylinder for <math>g:X \to Z</math>. | ||

+ | |- | ||

+ | | [[generalization of::mapping cone]] || <math>Z</math>, so <math>g</math> sends all of <math>X</math> to one point || -- || <math>f:X \to Y</math> ||With this stipulation, the double mapping cylinder is the same as the mapping cone for <math>f:X \to Y</math>. | ||

+ | |- | ||

+ | | [[generalization of::cone space]] || <math>Z</math>, so <math>g</math> sends all of <math>X</math> to one point || <math>f</math>, so <math>X = Y</math> || Only the space <math>X</math> || With this stipulation, we get the cone space for <math>X</math> | ||

+ | |- | ||

+ | | [[generalization of::suspension]] || both <math>Y</math> and <math>Z</math> || -- || Only the space <math>X</math> || With this stipulation, we get the suspension of <math>X</math> | ||

+ | |- | ||

+ | | [[generalization of::cylinder]] || -- || both <math>f</math> and <math>g</math> || only the space <math>X</math> || With this stipulation, we get the cylinder on <math>X</math>, i.e., the product of <math>X</math> and the [[unit interval]] | ||

+ | |} | ||

− | == | + | ===The join=== |

− | + | The [[join]] of two spaces <math>A</math> and <math>B</math> can be constructed as a double mapping cylinder as follow: Set <math>X = A \times B</math>, <math>Y = A</math> and <math>Z = B</math>, and let <math>f,g</math> be the coordinate projection maps. | |

− | |||

− | |||

==Generalizations== | ==Generalizations== | ||

* [[Mapping torus]] | * [[Mapping torus]] | ||

+ | |||

+ | ==Related notions== | ||

+ | |||

+ | * [[Mapping telescope]] | ||

+ | |||

+ | ==Facts== | ||

+ | |||

+ | There is a relation between the homology of the double mapping cylinder of <math>f</math> and <math>g</math>, and the homologies of the spaces <math>X</math>, <math>Y</math> and <math>Z</math>. The relation is described by the [[exact sequence for double mapping cylinder]]. |

## Latest revision as of 22:44, 11 February 2014

This article describes a construct that involves some variant of taking a product of a topological space with the unit interval and then making some identifications, typically at the endpoints, based on some specific maps.

View more such constructs

## Contents

## Definition

Suppose are topological spaces and and are continuous maps. The **double mapping cylinder** of and is defined as the quotient of via the relations and .

## More specific constructions

Specific cases of the above arise either by setting and the identity map (or correspondingly for and ) or setting or to be a one-point space. If we impose only one constraint, the resultant construction is the construction corresponding to the *other* unspecified map. If we impose two constraints, then the resulting construction depends only on the input space .

Note that the roles of and can be interchanged here.

Name of construction | One-point spaces? | Identity maps? | Remaining input? | Conclusion |
---|---|---|---|---|

mapping cylinder | -- | , so | With this stipulation, the double mapping cylinder is the same as the mapping cylinder for . | |

mapping cone | , so sends all of to one point | -- | With this stipulation, the double mapping cylinder is the same as the mapping cone for . | |

cone space | , so sends all of to one point | , so | Only the space | With this stipulation, we get the cone space for |

suspension | both and | -- | Only the space | With this stipulation, we get the suspension of |

cylinder | -- | both and | only the space | With this stipulation, we get the cylinder on , i.e., the product of and the unit interval |

### The join

The join of two spaces and can be constructed as a double mapping cylinder as follow: Set , and , and let be the coordinate projection maps.

## Generalizations

## Related notions

## Facts

There is a relation between the homology of the double mapping cylinder of and , and the homologies of the spaces , and . The relation is described by the exact sequence for double mapping cylinder.