title: Principe de contraction
text: # Principe de contraction
  
  Dans la théorie des probabilités et statistique fondamentales, et plus précisément dans la théorie de principe de grandes déviations, le principe de contraction est un théorème qui établit que la mesure image d'un espace de probabilité vérifiant le principe de grandes déviations par une application continue vérifiera également le principe de grandes déviations. Elle fait partie des transformations qui conservent le principe de grandes déviations, en modifiant éventuellement la fonction de taux.
  
  ## Énoncé
  
  Soient ${\mathcal {X}},{\mathcal {Y}}$ des espaces topologiques séparés (ou espace de Hausdorff). On donne dans cette partie les énoncés des théorèmes 4.2.1 et 4.2.4 de Dembo et Zeitouni.
  
  ### Rappel du principe de grandes déviations
  
  On appelle fonction de taux une fonction $I:{\mathcal {X}}\to [0,\infty ]$ semi-continue inférieurement (i.e. $\forall l>0$, l'ensemble $I_{\leq l}:=\{x:I(X)\leq l\}$ est un fermé de ${\mathcal {X}}$). Une telle fonction est qualifiée de bonne si les ensembles de niveaux $I_{\leq l}$ sont compacts dans ${\mathcal {X}}$.
  
  On dit qu'une famille de mesures de probabilité $(\mu _{\varepsilon })$ définie sur un espace probabilisable $({\mathcal {X}},{\mathcal {T}})$ vérifie le principe des grandes déviations (LDP) avec pour fonction taux $I$ si pour tout $\Gamma \in {\mathcal {T}}$,
  
  ${\begin{array}{l}\liminf _{\varepsilon \to 0}\varepsilon \log(\mu _{\varepsilon }(\Gamma ))&\geq -\inf _{x\in \mathrm {Int} (\Gamma )}I(x)\\\limsup _{\varepsilon \to 0}\varepsilon \log(\mu _{\varepsilon }(\Gamma ))&\leq -\inf _{x\in \mathrm {Adh} (\Gamma )}I(x),\end{array}}$
  
  où $\mathrm {Int} (\Gamma ),\mathrm {Adh} (\Gamma )$ désignent respectivement l'intérieur et l'adhérence de $\Gamma$ dans ${\mathcal {X}}$.
  
  ### Principe de contraction
  
  Soient $f:{\mathcal {X}}\to {\mathcal {Y}}$ une application continue et $I:{\mathcal {X}}\to [0,\infty ]$ une bonne fonction de taux. Alors d'une part, la fonction $I'\colon {\mathcal {Y}}\to [0,\infty ]$ définie par
  
  $\forall y\in {\mathcal {Y}},\quad I'(y):=\left\lbrace {\begin{array}{ll}\inf _{x\in {\mathcal {X}},y=f(x)}I(x)&{\textrm {si}}f^{-1}(y)\neq \emptyset \\+\infty &{\textrm {sinon}}\end{array}}\right.$
  
  est une bonne fonction de taux sur ${\mathcal {Y}}$. D'autre part, si $(\mu _{\varepsilon })$ est une famille de probabilité sur ${\mathcal {X}}$ vérifiant le principe des grandes déviations avec $I$ alors la famille de mesures $(\mu _{\varepsilon }\circ f^{-1})$ sur ${\mathcal {Y}}$ vérifie également le principe des grandes déviations avec $I'$.
  
  ### Principe de contraction inverse
  
  Soient $g:{\mathcal {Y}}\to {\mathcal {X}}$ une application continue, $I:{\mathcal {X}}\to [0,\infty ]$ une bonne fonction de taux et $(\nu _{\varepsilon })$ est une famille de mesures de probabilité exponentiellement tendue, c'est-à-dire que pour tout $\alpha >0$, il existe un compact $K_{\alpha }$ de ${\mathcal {X}}$ tel que $\limsup _{\varepsilon \to 0}\varepsilon \log(\mu _{\varepsilon }(K_{\alpha }^{C}))<-\alpha$. Si $(\nu _{\varepsilon }\circ g^{-1})$ vérifie le principe des grandes déviations avec $I$ alors la famille de mesures $(\nu _{\varepsilon })$ vérifie également le principe des grandes déviations avec $I':=I\circ g$.
  
  