 Finite-time flow completeness on a compact manifold

A smooth time-dependent vector field on a compact manifold without boundary has flow maps throughout each compact time interval on which the field is defined. Finite-time escape is impossible on the compact state space. Uniqueness and the backward-time equation supply smooth inverses, so the flow is a smooth isotopy.