The Fiber contraction theorem due to Hirsch and Pugh:

Let $F: E \to E$ be a mapping on the fiber bundle $\pi: E \to B$ covering $f: B \to B$, where $B$ is a topological space and the fibers $Y$ of $E$ are complete metric spaces. Let $f$ have a globally attractive fixed point $b \in B$ and the fiber mapping is a uniform contraction in a neighborhood $\pi^{-1}(U), b \in U \subset B$ (and thus a unique fixed point $e = (b,y) \in \pi^{-1}(b)$), and $b \mapsto F(b,y)$ be continuous. Then $e$ is the unique, globally attracting fixed point of $F$.

This result is an extension of the Banach fixed point theorem that can be used to prove e.g. the existence of center manifolds and normally hyperbolic invariant manifolds. It is specifically useful when one cannot find a contraction on an space of $C^k$ functions, but can construct inductively a contraction on the $k$-th jet when the $k-1$ jets are known to converge to a fixed point.

The Fiber contraction theorem due to Hirsch and Pugh:

Let $F: E \to E$ be a mapping on the fiber bundle $\pi: E \to B$ covering $f: B \to B$, where $B$ is a topological space and the fibers $Y$ of $E$ are complete metric spaces. Let $f$ have a globally attractive fixed point $b \in B$ and the fiber mapping is a uniform contraction in a neighborhood $\pi^{-1}(U), b \in U \subset B$ (and thus there exists a unique fixed point $e = (b,y) \in \pi^{-1}(b)$), and $b \mapsto F(b,y)$ be continuous. Then $e$ is the unique, globally attracting fixed point of $F$.

This result is an extension of the Banach fixed point theorem that can be used to prove e.g. the existence of center manifolds and normally hyperbolic invariant manifolds. It is specifically useful when one cannot find a contraction on an space of $C^k$ functions, but can construct inductively a contraction on the $k$-th jet when the $k-1$ jets are known to converge to a fixed point.