Show that is a well-defined, smooth embedding. Compute .
Let M be a differentiable manifold and a diffeomorphism. Consider the direct product with the identification of pairs of points and , for all . Let be the quotient space (called the mapping torus of f, or, the suspension construction on f.)
Identify the resulting mapping tori. In which of the three cases is the bundle trivial?