We investigate the existence of a true invariant manifold given an approximately invariant manifold for an infinite-dimensional dynamical system. We prove that if the given manifold is approximately invariant and approximately normally hyperbolic, then the dynamical system has a true invariant manifold nearby. We apply this result to reveal the global dynamics of boundary spike states for the generalized Allen–Cahn equation.