Normally hyperbolic invariant manifold