Stable manifold theorem

For a sufficiently smooth vector field at a hyperbolic equilibrium, the sums of generalized eigenspaces with negative and positive real parts are tangent to local invariant stable and unstable manifolds of the same dimensions. Their points converge to the equilibrium in forward and backward time respectively. Hyperbolicity excludes eigenvalues with zero real part; center manifolds require a separate theorem.