Generalized Fiber Contraction Mapping Principle

We prove a generalized non-stationary version of the fiber contraction mapping theorem. It was originally used in [HirschPugh70] to prove that the stable foliation of a $C^2$ Anosov diffeomorphism of a surface is $C^1$. Our generalized principle is used in [Luna24], where an analogous regularity result for stable foliations of non-stationary systems is proved. The result is stated in a general setting so that it may be used in future dynamical results in the random and non-stationary settings, especially for graph transform arguments.