In this lecture we prove one of the cornerstones of hyperbolic dynamics: the Stable Manifold Theorem, which states that:

The stable manifold is a manifold.

Formulated as such, the theorem sounds almost tautological.

Rest assured, however, that this is most definitely not the case.

(I am merely being facetious.)

Comments and questions?