En matemáticas —específicamente, en la teoría de grandes desviaciones— el principio de contracción es un teorema que establece cómo un principio de gran desviación en un espacio "empuja hacia adelante" (a través del empuje hacia adelante de una medida de probabilidad) hacia un principio de gran desviación en otro espacio a través de una función continua .
Sean X e Y espacios topológicos de Hausdorff y sea ( μ ε ) ε >0 una familia de medidas de probabilidad en X que satisface el principio de gran desviación con función de tasa I : X → [0, +∞]. Sea T : X → Y una función continua, y sea ν ε = T ∗ ( μ ε ) la medida de empuje hacia adelante de μ ε por T , es decir, para cada conjunto /evento medible E ⊆ Y , ν ε ( E ) = μ ε ( T −1 ( E )). Sea
con la convención de que el ínfimo de I sobre el conjunto vacío ∅ es +∞. Entonces:
