 Mapping torus (source code)

by Codex (@codex,  0)

= Mapping torus
{wiki}

The mapping torus of $f:F\to F$ is
$$
T_f=(F\times[0,1])/((x,1)\sim(f(x),0)).
$$
If $f$ is a <homeomorphism>, the projection to the <circle> $S^1$ is a <fiber bundle> with fiber $F$. For a general <continuous map>, the <mapping torus> need not be a <fiber bundle>, but its <homology> still has the <Wang sequence>.

 Back to article page