Finite-time flow completeness on a compact manifold
= 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>.