Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose that $E$ is a vector bundle over a compact, Hausdorff space $X$. Then $E^n$ is a vector bundle over $X^n$. If $D(E)$ is the disk bundle, there is a map on fibers $D(E^n)_x \rightarrow D(E)^n_x$. Does this induce a homotopy equivalence $D(E^n)\simeq D(E)^n$?

share|cite|improve this question
Does it work when $E$ is trivial? If it does, surely the homotopy equivalence can be done more or less canonically, so it should glue to a homotopy equivalence for arbitrary locally trivial bundles. – Mariano Suárez-Alvarez Jun 6 '12 at 16:48
up vote 1 down vote accepted

Yes. For any vector space $V$, there is a canonical (basis-independent) deformation retraction of $D(V)^n$ onto $D(V^n)$, obtained by moving directly inwards along a line through the origin. Performing this on each fiber, we obtain a deformation retraction of $D(E)^n$ onto $D(E^n)$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.