In mathematics — specifically, in large deviations theory — the contraction principle is a theorem that states how a large deviation principle on one space "pushes forward" (via the pushforward of a probability measure) to a large deviation principle on another space via a continuous function.
Let X and Y be Hausdorff topological spaces and let (μ<sub>ε</sub>)<sub>ε>0</sub> be a family of probability measures on X that satisfies the large deviation principle with rate function I : X â [0, +âÂÂ]. Let T : X â Y be a continuous function, and let ν<sub>ε</sub> = T<sub>âÂÂ</sub>(μ<sub>ε</sub>) be the push-forward measure of μ<sub>ε</sub> by T, i.e., for each measurable set/event E â Y, ν<sub>ε</sub>(E) = μ<sub>ε</sub>(T<sup>−1</sup>(E)). Let
with the convention that the infimum of I over the empty set â is +âÂÂ. Then: