Disk bundle
= Disk bundle
{title2=$D(E)$}
The disk bundle of a metric <vector bundle> consists of the vectors of norm at most one. Its boundary is the <sphere bundle> $S(E)$, and radial contraction makes $D(E)$ homotopy equivalent to its zero section.