title: Lemme de regroupement
text: # Lemme de regroupement
  
  En théorie des probabilités et en théorie de la mesure, le lemme de regroupement, également appelé lemme des coalitions ou indépendance par paquets, est un résultat portant sur l'indépendance de variables aléatoires ou plus généralement de tribus.
  
  Le lemme de regroupement est d'usage constant en probabilités. Citons quelques exemples :
  
  * l'inégalité de Kolmogorov ;
  * la propriété de Markov pour les processus de Galton-Watson ;
  * le principe de Maurey, ou méthode des différences bornées.
  
  ## Énoncé pour les variables aléatoires
  
  Soit $n\geq 2$ un entier, soient $X_{1},\ldots ,X_{n}$ des variables aléatoires mutuellement indépendantes toutes définies sur un même espace de probabilité, soit $k\in \{1,\ldots ,n-1\}$ et soient $f:\mathbb {R} ^{k}\to \mathbb {R}$ et $g:\mathbb {R} ^{n-k}\to \mathbb {R}$ deux fonctions mesurables. Alors les variables aléatoires $f(X_{1},\ldots ,X_{k})$ et $g(X_{k+1},\ldots ,X_{n})$ sont indépendantes.
  
  On a ici considéré deux « groupes » (ou « coalitions », ou « paquets ») de variables aléatoires, d'où le nom lemme de regroupement (ou lemme des coalitions, ou indépendance par paquets).
  
  Cela se généralise à un nombre quelconque de coalitions : par exemple si $U,V,W,X,Y$ sont indépendantes, alors $U\sin V$, $W^{2}+X^{3}$ et $\ln(Y^{2}+1)$ sont indépendantes.
  
  Un autre exemple notamment utile pour l'étude de sommes de variables aléatoires : si $X_{1},\ldots ,X_{n+1}$ sont mutuellement indépendantes, alors $X_{1}+\cdots +X_{n}$ et $X_{n+1}$ sont indépendantes.
  
  ## Énoncé pour les tribus
  
  Soit $n\geq 2$ un entier, soient ${\mathcal {T}}_{1},\ldots ,{\mathcal {T}}_{n}$ des tribus mutuellement indépendantes toutes incluses dans une même tribu ${\mathcal {T}}$ et soit $k\in \{1,\ldots ,n-1\}$. Alors la tribu engendrée par ${\mathcal {T}}_{1},\ldots ,{\mathcal {T}}_{k}$ et la tribu engendrée par ${\mathcal {T}}_{k+1},\ldots ,{\mathcal {T}}_{n}$ sont indépendantes.
  
  On peut généraliser cela : soit $({\mathcal {T}}_{j})_{j\in J}$ une famille de tribus mutuellement indépendantes toutes incluses dans une même tribu ${\mathcal {T}}$ et soit $(P_{i})_{i\in I}$ une partition de $J$. Posons, pour tout $i\in I$, ${\mathcal {B}}_{i}$ la tribu engendrée par les ${\mathcal {T}}_{j}$ pour $j\in P_{i}$. Alors les ${\mathcal {B}}_{i}$ pour $i\in I$ sont mutuellement indépendantes.
  
  