Independance (probabilites)

Independance (probabilites)

Indépendance (probabilités)

L'indépendance est une notion probabiliste qualifiant de manière intuitive des événements aléatoires n'ayant aucune influence l'un sur l'autre. Il s'agit d'une notion très importante en statistique et calcul de probabilités.

Par exemple, la valeur d'un premier lancer de dés n'a aucune influence sur la valeur du second lancer. De même, pour un lancer, le fait d'obtenir une valeur inférieure ou égale à quatre n'influe en rien sur la probabilité que le résultat soit pair ou impair[1] : les deux événements sont dits indépendants.

L'indépendance ou non de deux événements n'est pas toujours facile à établir.

Sommaire

Indépendance de deux évènements

La définition mathématique de l'indépendance de deux évènements est la suivante :

Définition — A et B sont indépendants \Leftrightarrow \mathbb{P}(A \cap B) = \mathbb{P}(A) \cdot \mathbb{P}(B).

La définition mathématique ci-dessus est assez peu parlante. Le lien entre le concept intuitif d'indépendance et la "formule produit" ci-dessus apparaît plus clairement si l'on introduit la notion de probabilité conditionnelle :

Définition — Si \scriptstyle\ \mathbb{P}(B) \neq 0, la probabilité conditionnelle de A sachant B, notée \scriptstyle\ \mathbb{P}(A\mid B),\ est définie par la relation ci-dessous :

\mathbb{P}(A\mid B)={\mathbb{P}(A \cap B) \over \mathbb{P}(B)}.

En excluant les cas particuliers peu intéressants où B est impossible, et où B est certain, on peut alors reformuler la définition de l'indépendance de la manière suivante

Définition — Lorsque la probabilité de B n'est ni nulle, ni égale à 1, A et B sont indépendants si l'une des conditions suivantes, toutes équivalentes, est remplie :

\begin{align}\mathbb{P}(A\mid B)\ &=\ \mathbb{P}(A),\\\mathbb{P}(A\mid \overline{B})\ &=\ \mathbb{P}(A),\\\mathbb{P}(A\mid B)\ &=\ \mathbb{P}(A\mid \overline{B}).\end{align}

Ainsi les évènements A et B sont dits indépendants si notre pronostic sur l'évènement A est le même :

  • si on sait que l'évènement B s'est produit (pronostic \scriptstyle\ \mathbb{P}(A\mid B)\ ),
  • si on sait que l'évènement B ne s'est pas produit (pronostic \scriptstyle\ \mathbb{P}(A\mid \overline{B})\ ),
  • si on ne sait rien sur le statut de l'évènement B (pronostic \scriptstyle\ \mathbb{P}(A)\ ).

Autrement dit, A est dit indépendant de B si notre pronostic sur l'évènement A n'est affecté par aucune information concernant B, ni par l'absence d'information concernant B. On peut échanger les rôles de A et de B dans la définition utilisant les probabilités conditionnelles, à condition bien sûr d'exclure les cas particuliers peu intéressants où A est impossible, et où A est certain.

Bien que la définition utilisant les probabilités conditionnelles soit plus intuitive, elle a l'inconvénient d'être moins générale, et de ne pas faire jouer un rôle symétrique aux deux événements A et B.

Notons par ailleurs qu'un évènement certain A est indépendant de tout évènement B quel qu'il soit. Un évènement impossible est également indépendant de tout autre évènement. En particulier, un événement A est indépendant de lui-même à la condition que A soit soit certain, soit impossible. En effet, si l'événement A est indépendant de lui-même, on peut écrire :

\mathbb{P}(A) = \mathbb{P}(A \cap A) = \mathbb{P}(A)\mathbb{P}(A).\,

Indépendance de n évènements

La notion d'indépendance peut être étendue à n événements, via la notion d'indépendance des tribus, mais on va plutôt donner ici deux critères plus lisibles :

Critère 1 — n événements \scriptstyle\ A_1,A_2,\dots,A_n sont dits indépendants si et seulement si, pour toute partie \scriptstyle\ I\subset\{1,2,\dots,n\},\ on a

\mathbb{P}\left(\bigcap_{i\in I}\ A_i\right)\ =\ \prod_{i\in I}\ \mathbb{P}(A_i).

Le nombre total de conditions à vérifier est donc le nombre de parties \scriptstyle\ I\subset\{1,2,\dots,n\}\ possédant au moins deux éléments, à savoir :

{n\choose 2} + {n\choose 3} + \cdots + {n\choose n} = 2^{n} - (n+1).

L'indépendance des n évènements \scriptstyle\ A_1,A_2,\dots,A_n entraîne que

\mathbb{P}(A_1 \cap \cdots \cap A_n)=\mathbb{P}(A_1)\,\cdots\,\mathbb{P}(A_n),

ce qui correspond au choix particulier \scriptstyle\ I\ =\{1,2,\dots,n\},\ mais est une propriété beaucoup plus faible que l'indépendance. Dans le même esprit, comme on le constate dans l'exemple ci-dessous, n événements peuvent être indépendants deux à deux, ce qui correspond à vérifier la propriété pour toutes les parties \scriptstyle\ I\ \subset\{1,2,\dots,n\}\ à 2 éléments, sans pour autant être indépendants :

Exemple  :

On lance deux dés et on pose

  • A1 : le résultat du lancer du dé n°1 est pair,
  • A2 : le résultat du lancer du dé n°2 est pair,
  • A3 : la somme des résultats des 2 lancers est impaire.

On a

\mathbb{P}(A_1 \cap A_2 \cap A_3)\ =\ 0\ \neq\ \tfrac18\ =\ \mathbb{P}(A_1)\mathbb{P}(A_2)\mathbb{P}(A_3),

alors que, pourtant, pour \scriptstyle\ i\neq j\ choisis arbitrairement,

\mathbb{P}(A_i)=\mathbb{P}(A_j)=\tfrac12\quad\text{et}\quad\mathbb{P}(A_i\cap A_j)=\tfrac14.

Critère 2 — n événements \scriptstyle\ A_1,A_2,\dots,A_n sont dits indépendants si et seulement si, pour tout choix de \scriptstyle\ \varepsilon\in\{0,1\}^n,\ on a

\mathbb{P}\left(\bigcap_{i= 1}^n\ A_i^{\varepsilon_i}\right)\ =\ \prod_{i=1}^n\ \mathbb{P}(A_i^{\varepsilon_i}),

où, par convention, \scriptstyle\ A_i^0=\overline{A_i},\ et \scriptstyle\ A_i^1=A_i.\

Indépendance des variables aléatoires

Définitions

Il y a plusieurs définitions équivalentes de l'indépendance d'une famille finie de variables aléatoires. On peut en particulier définir l'indépendance d'une famille de tribus, et voir ensuite l'indépendance des évènements et l'indépendance des variables aléatoires comme des cas particuliers de l'indépendance des tribus. Cela permet de démontrer certains résultats généraux sur l'indépendance une seule fois, pour les tribus, puis d'en déduire la version "évènements" et la version "variables aléatoires" de ce résultat général immédiatement (un exemple est le lemme de regroupement). Cependant, il est peut-être préférable de donner d'abord deux définitions de l'indépendance des variables aléatoires qui soient opératoires pour les applications, et quelques critères commodes. Dans ce qui suit on considère une suite \scriptstyle\ (X_1, X_2, \dots,X_n) de variables aléatoires définies sur le même espace de probabilité \scriptstyle\ (\Omega, \mathcal{A}, \mathbb{P}), mais éventuellement à valeurs dans des espaces différents : \scriptstyle\ X_i\ :\ (\Omega, \mathcal{A}, \mathbb{P})\ \rightarrow\ (E_i,\mathcal{E}_i),\quad 1\le i\le n.

Définition — \scriptstyle\ (X_1, X_2, \dots,X_n) est une suite de variables aléatoires indépendantes si l'une des deux conditions suivantes est remplie :

  • \forall (A_1,\dots,A_n)\in\mathcal{E}_1\times\dots\times\mathcal{E}_n,\quad\mathbb{P}(X_1\in A_1\text{ et }X_2\in A_2\text{ et }\dots\text{ et }X_n\in A_n)\ =\ \prod_{i=1}^n\mathbb{P}(X_i\in A_i),
  • on a l'égalité
\mathbb{E}\left[\prod_{i=1}^n\ \varphi_i(X_i)\right]\ =\ \prod_{i=1}^n\mathbb{E}\left[\varphi_i(X_i)\right],
pour n'importe quelle suite de fonctions \scriptstyle\ \phi_i définies sur \scriptstyle\ (E_i,\mathcal{E}_i), à valeurs dans \scriptstyle\ \R,\ dès que les espérances ci-dessus ont un sens.

Les espérances ci-dessus ont un sens si les \scriptstyle\ \varphi_i\ sont mesurables, et si \scriptstyle\ \prod_{i=1}^n\ \varphi_i(X_i)\ est intégrable, ou si les \scriptstyle\ \varphi_i\ sont positives ou nulles. Typiquement, dans les applications, \scriptstyle\ (E_i,\mathcal{E}_i)=(\mathbb{R}^{d_i},\mathcal{B}(\mathbb{R}^{d_i})). Dans le cas de deux variables aléatoires réelles cela donne :

Définition — Deux variables aléatoires réelles X et Y sont indépendantes si l'une des deux conditions suivantes est remplie :

  • \forall (A,B)\in\mathcal{B}(\mathbb{R})^{2},\quad\mathbb{P}(X\in A\text{ et }Y\in B)\ =\ \mathbb{P}(X\in A)\ \mathbb{P}(Y\in B),
  • on a
\operatorname{E}\left[g(X)\cdot h(Y)\right] = \operatorname{E}[g(X)]\cdot \operatorname{E}[h(Y)]
pour tout couple de fonctions boréliennes \scriptstyle\ g et \scriptstyle\ h,\ dès que les espérances ci-dessus ont un sens.

Cas des variables aléatoires à densité

Soit une suite \scriptstyle\ X=(X_1, X_2, \dots,X_n) de variables aléatoires réelles définies sur le même espace de probabilité \scriptstyle\ (\Omega, \mathcal{A}, \mathbb{P}).\

Théorème — 

\forall x=(x_1,\dots,x_n)\in\R^n,\qquad f(x)\ =\ \prod_{i=1}^ng_i(x_i),
où les fonctions \scriptstyle\ g_i\ sont boréliennes et positives ou nulles, alors \scriptstyle\ X\ est une suite de variables indépendantes. De plus, la fonction \scriptstyle\ f_i\ définie par
f_i(x)\ =\ \frac{g_i(x)}{\int_{\R}g_i(u)du}
est une densité de la composante \scriptstyle\ X_i.\
  • Réciproquement, si \scriptstyle\ X\ est une suite de variables aléatoires réelles indépendantes de densités de probabilité respectives \scriptstyle\ f_i,\ alors \scriptstyle\ X\ possède une densité de probabilité, et la fonction \scriptstyle\ f\ définie par
\forall (x_1,\dots,x_n)\in\R^n,\qquad f(x_1,\dots,x_n)\ =\ \prod_{i=1}^nf_i(x_i),
est une densité de probabilité de \scriptstyle\ X.\
Démonstration dans le cas de deux variables

Sens direct.

Comme la densité \scriptstyle\ f\ est sous forme produit, on a

\begin{align} 1 &= \int_{\R^2}f(x_1,x_2) \, dx_1 \, dx_2\\ &=\left(\int g_1(x_1)\, dx_1\right) \, \left(\int g_2(x_2) \, dx_2\right) \end{align}

et par suite

\begin{align} f(x_1,x_2) &= g_1(x_1)\, g_2(x_2) \\ &= \frac{g_1(x_{1})}{\int_{\R}g_1(u)du}\ \frac{g_2(x_{2})}{\int_{\R}g_2(v)dv}\\ &= f_1(x_1) \,f_{2}(x_2). \end{align}

Par construction les fonctions \scriptstyle\ f_i\ sont d'intégrale 1, donc

\begin{align} \int_{\R} f(x_1,x_2) dx_2 &= f_1(x_1), \\ \int_{\R} f(x_1,x_2) dx_1 &= f_2(x_2). \end{align}

Ainsi les fonctions \scriptstyle\ f_i\ sont les densités de probabilités marginales des deux composantes de \scriptstyle\ X.\ Par suite, pour tout couple de fonctions \scriptstyle\ \varphi\ et \scriptstyle\ \psi\ tel que le premier terme ci-dessous ait un sens, on a

\begin{align} \operatorname{E}[\varphi(X_1)\psi(X_2)] &= \int \int \varphi(x_1)\psi(x_2)f(x_1,x_2) \, dx_1 \, dx_2\\ &= \int \int \varphi(x_1)f_1(x_1)\psi(x_2)f_2(x_2) \, dx_1 \, dx_2\\ &= \int \varphi(x_1)f_1(x_1) \, dx_1 \int \psi(x_2)f_{2}(x_2) \, dx_2\\ &= \operatorname{E}[\varphi(X_1)] \operatorname{E}[\psi(X_2)]\end{align}

ce qui entraine l'indépendance des variables \scriptstyle\ X_{1}\ et \scriptstyle\ X_{2}.\

Sens réciproque. Il suffit de montrer que

\forall A\in \mathcal{B}(\R^2),\quad \mathbb{P}_{X}(A)=\mu(A),

où \scriptstyle\ \mathbb{P}_{X}\ est la loi de \scriptstyle\ X,\ et où \scriptstyle\ \mu\ est la mesure ayant pour densité \scriptstyle\ (x_1,x_2)\rightarrow f_1(x_1)f_{2}(x_2).\ Or

\forall A\in \mathcal{C},\quad \mathbb{P}_{X}(A)=\mu(A),

où \scriptstyle\ \mathcal{C}\ est la classe des pavés boréliens :

\mathcal{C}\ =\ \{A_1\times A_2\ |\ A_i\in\mathcal{B}(\R),i\in\{1,2\}\}.

En effet

\begin{align} \mathbb{P}_{X}(A_1\times A_2) &= \mathbb{P}(X_1\in A_1\text{ et }X_2\in A_2)\\ &= \mathbb{P}(X_1\in A_1)\mathbb{P}(X_2\in A_2)\\ &= \left(\int_{\R} 1_{A_1}(x_1)f_1(x_1) \, dx_1\right)\left(\int_{\R} 1_{A_2}(x_2)f_2(x_2) \, dx_2\right)\\ &= \int_{\R^2} 1_{A_1\times A_2}(x_1,x_2)f_1(x_1)f_2(x_2) \, dx_1 \, dx_2\\ &= \mu(A_1\times A_2)\end{align}.

On remarque alors que \scriptstyle\ \mathcal{C}\ est un π-système et que la tribu engendrée par \scriptstyle\ \mathcal{C}\ est \scriptstyle\ \mathcal{B}(\R^2),\ donc, en vertu du lemme d'unicité des mesures de probabilités,

\forall A\in \mathcal{B}(\R^2),\quad \mathbb{P}_{X}(A)=\mu(A).

Autres critères d'indépendance

Par exemple,

Critères — Soit X et Y deux variables aléatoires réelles définies sur un espace probabilisé \scriptstyle\ (\Omega,\mathcal{A},\mathbb{P}).\

  • Si, pour tout couple (x,y) de nombres réels,
\mathbb{P}\left(X\le x\text{ et }Y\le y\right)\ =\ \mathbb{P}\left(X\le x\right)\times\mathbb{P}\left(Y\le y\right),
alors X et Y sont indépendantes.
  • Si Y est à valeurs dans \scriptstyle\ \mathbb{N},\ et si, pour tout couple \scriptstyle\ (x,n)\in\mathbb{R}\times\mathbb{N},\
\mathbb{P}\left(X\le x\text{ et }Y=n\right)\ =\ \mathbb{P}\left(X\le x\right)\times\mathbb{P}\left(Y=n\right),
alors X et Y sont indépendantes.
  • Bien sûr, si X et Y sont à valeurs dans \scriptstyle\ \mathbb{N},\ et si, pour tout couple \scriptstyle\ (m,n)\in\mathbb{N}^2,\
\mathbb{P}\left(X=m\text{ et }Y=n\right)\ =\ \mathbb{P}\left(X=m\right)\times\mathbb{P}\left(Y=n\right),
alors X et Y sont indépendantes.

Par exemple, on peut utiliser le deuxième critère pour démontrer que dans la méthode de rejet, le nombre d'itérations est indépendant de l'objet aléatoire (souvent un nombre aléatoire) engendré au terme de ces itérations.

On peut généraliser ces critères d'indépendance à des familles finies quelconques de variables aléatoires réelles, dont certaines, éventuellement, sont des variables discrètes, à valeurs dans des parties finies ou dénombrables de \scriptstyle\ \mathbb{R},\ éventuellement différentes de \scriptstyle\ \mathbb{N}.\ La démonstration de ces critères se trouve à la page "Lemme de classe monotone".

Indépendance et corrélation

L'indépendance implique que la covariance, et donc la corrélation, entre les deux variables est nulle:

Théorème — X et Y sont indépendantes \Rightarrow \operatorname{Cov}(X,Y)=\operatorname{Corr}(X,Y)=0

Démonstration

Cette propriété se déduit très facilement si l'on exprime la covariance comme: \operatorname{cov}(X, Y) = \operatorname{E}(X Y) - \operatorname{E}(X)\operatorname{E}(Y). Comme on l'a vu, l'indépendance de X et Y entraîne que \operatorname{E}(X Y)= \operatorname{E}(X)\operatorname{E}(Y), donc \operatorname{cov}(X, Y) = \operatorname{E}(X Y) - \operatorname{E}(X)\operatorname{E}(Y)=\operatorname{E}(X)E(Y)-\operatorname{E}(X)\operatorname{E}(Y)=0.

La réciproque du théorème est fausse, comme le montre l'exemple suivant:

Exemple  :

Cet exemple est tiré de Ross (2004, p. 306)

  • Soit X une variable aléatoire discrète telle que \mathbb{P}(X=0)=\mathbb{P}(X=1)=\mathbb{P}(X=-1)=\frac{1}{3}.
  • Définissons Y en relation avec X : \begin{cases} 0 & \text{si } X\neq 0\\ 1 & \text{si } X= 0\\ \end{cases}
  • On calcule \operatorname{E}[XY]= \frac{1}{3}(0\cdot 1)+\frac{1}{3}(1\cdot 0)+\frac{1}{3}(-1\cdot 0)=0.
  • On voit aussi que \operatorname{E}[X]= \frac{1}{3}(0)+\frac{1}{3}(1)+\frac{1}{3}(-1)=0+1-1=0.
  • donc: \operatorname{cov}(X, Y) = \operatorname{E}(X Y) - \operatorname{E}(X)\operatorname{E}(Y)=0-0=0.
  • Pourtant les deux variables ne sont bien évidemment pas indépendantes!

La non-corrélation entre X et Y est une propriété plus faible que l'indépendance. En fait l'indépendance entre X et Y est équivalente à la non-corrélation de φ(X) et de ψ(Y) pour tout choix de φ et de ψ (tels que la covariance de φ(X) avec ψ(Y) soit définie ...).

Indépendance des tribus

Définition — Dans un espace probabilisé \scriptstyle\ (\Omega,\mathcal{A},\mathbb{P}),\

  • une famille finie \scriptstyle\ (\mathcal{A}_{i})_{i\in I}\ de tribus incluses dans \scriptstyle\ \mathcal{A}\ est une famille de tribus indépendantes si et seulement si
\forall (A_i)_{i\in I}\in\prod_{i\in I}\mathcal{A}_i,\qquad \mathbb{P}\left(\bigcap_{i\in I}A_i\right)=\ \prod_{i\in I}\ \mathbb{P}(A_i).
  • une famille quelconque \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ de tribus incluses dans \scriptstyle\ \mathcal{A}\ est une famille de tribus indépendantes si et seulement si toute sous famille finie de \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ est une famille de tribus indépendantes (c'est-à dire, si et seulement si, pour toute partie finie I de J, \scriptstyle\ (\mathcal{A}_{i})_{i\in I}\ est une famille de tribus indépendantes).

Lien avec l'indépendance des évènements

Définition —  Une famille \scriptstyle\ (A_{j})_{j\in J}\ d'évènements (i.e. d'éléments de \scriptstyle\ \mathcal{A}\ ) est une famille d'évènements indépendants si et seulement si \scriptstyle\ \left(\sigma(A_{j})\right)_{j\in J}\ est une famille de tribus indépendantes.

Comme la tribu \scriptstyle\ \sigma({A})\ engendrée par \scriptstyle\ A\ est décrite par :

\sigma(A)\ =\ \left\{A,\overline{A},\Omega,\emptyset\right\},

la définition donnée dans cette section pour une famille quelconque d'évènements, une fois particularisée à une famille de \scriptstyle\ n\ évènements, apparait comme plus forte que les deux critères donnés plus haut. En effet, pour un choix approprié des évènements \scriptstyle\ B_i\ dans la définition

\left\{\forall (B_i)_{1\le i\le n}\in\prod_{i=1}^n\sigma({A}_i),\qquad \mathbb{P}\left(\bigcap_{i=1}^nB_i\right)=\ \prod_{i=1}^n\ \mathbb{P}(B_i)\right\},

donnée dans cette section, on retrouve le critère 1 (choisir tantôt \scriptstyle\ \Omega,\ tantôt \scriptstyle\ A_i\ dans \scriptstyle\ \sigma({A}_i)) et le critère 2 (choisir tantôt \scriptstyle\ A_i,\ tantôt \scriptstyle\ \overline{A_i}\ dans \scriptstyle\ \sigma({A}_i)). Pourtant les critères 1 et 2 sont effectivement équivalents à la définition via les tribus, donnée dans cette section, mais cela mérite démonstration.

Lien avec l'indépendance des variables aléatoires

Définition —  Une famille \scriptstyle\ (X_{j})_{j\in J}\ de variables aléatoires définies sur \scriptstyle\ (\Omega,\mathcal{A},\mathbb{P})\ est une famille de variables aléatoires indépendantes si et seulement si \scriptstyle\ \left(\sigma(X_{j})\right)_{j\in J}\ est une famille de tribus indépendantes.

Comme la tribu \scriptstyle\ \sigma(X)\ engendrée une variable aléatoire \scriptstyle\ X,\ définie de \scriptstyle\ (\Omega,\mathcal{A},\mathbb{P})\ dans \scriptstyle\ (E,\mathcal{E}),\ est définie par :

\sigma(X)\ =\ \left\{X^{-1}(B)\ \left|\ B\in\mathcal{E}\right.\right\},

la définition donnée dans cette section pour une famille quelconque de variables aléatoires, une fois particularisée à une famille de \scriptstyle\ n\ variables aléatoires, est clairement équivalente à la définition de la section Indépendance des variables aléatoires. En effet

\mathbb{P}\left(X_1\in A_1\text{ et }X_2\in A_2\text{ et }\dots\text{ et }X_n\in A_n\right)

est un abus de notation pour

\mathbb{P}\left(\bigcap_{i=1}^nX_i^{-1}(A_i)\right),

et

\mathbb{P}\left(X_i\in A_i\right)

est un abus de notation pour

\mathbb{P}\left(X_i^{-1}(A_i)\right).

Propriétés élémentaires

Propriétés — 

  • Une sous-famille d'une famille de tribus indépendantes est une famille de tribus indépendantes : si la famille \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ est une famille de tribus indépendantes et si \scriptstyle\ I\subset J,\ alors \scriptstyle\ (\mathcal{A}_{i})_{i\in I}\ est une famille de tribus indépendantes .
  • Si, pour tout \scriptstyle\ j\in J,\ la tribu \scriptstyle\ \mathcal{B}_{j}\ est incluse dans la tribu \scriptstyle\ \mathcal{A}_{j},\ et si la famille \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ est une famille de tribus indépendantes, alors la famille \scriptstyle\ (\mathcal{B}_{j})_{j\in J}\ est une famille de tribus indépendantes.

Pour démontrer le premier point on applique la définition de l'indépendance à la famille \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ en spécialisant à une famille \scriptstyle\ (A_{j})_{j\in J}\ d'évènements telle que \scriptstyle\ \forall j\in J\backslash I,\quad A_{j}=\Omega.\ Le second point est immédiat : il suffit d'écrire la définition de l'indépendance de la famille \scriptstyle\ (\mathcal{B}_{j})_{j\in J}.\

Lemme de regroupement

Lemme de regroupement — Dans un espace probabilisé \scriptstyle\ (\Omega,\mathcal{A},\mathbb{P}),\ soit une famille quelconque \scriptstyle\ (\mathcal{A}_{j})_{j\in J}\ de tribus indépendantes incluses dans \scriptstyle\ \mathcal{A}.\ Soit une partition \scriptstyle\ \mathcal{P}=(P_{i})_{i\in I}\ de \scriptstyle\ J.\ Notons

\mathcal{B}_i= \mathop{\vee}_{j\in P_i}\ \mathcal{A}_{j}

la tribu engendrée par

\bigcup_{j\in P_i}^{}\ \mathcal{A}_{j}.

Alors la famille \scriptstyle\ (\mathcal{B}_{i})_{i\in I}\ est une famille de tribus indépendantes.

Applications  :

Dans le cas fini, on en déduit, par exemple, que si (X1 , X2 , X3 , X4 , X5 ) est une famille de variables indépendantes, et ƒ et g deux fonctions quelconques (mesurables), alors ƒ(X2 , X3 , X5 ) et g(X1 , X4 ) sont deux variables indépendantes, car {2, 3, 5} et {1, 4} forment une partition de {1, 2, 3, 4, 5}.

Indépendance et information

Une autre façon d'appréhender cette notion d'indépendance entre deux événements est de passer par l'information (au sens de la théorie de l'information) : deux événements sont indépendants si l'information fournie par le premier événement ne donne aucune information sur le deuxième événement.

Soit à tirer deux boules (rouge et blanche) d'une urne. Si on réalise l'expérience sans remettre la boule tirée dans l'urne, et que la première boule tirée est rouge, on peut déduire de cette information que la deuxième boule tirée sera blanche. Les deux événements ne sont donc pas indépendants.

Par contre, si on remet la première boule dans l'urne avant un deuxième tirage, l'information du premier événement (la boule est rouge) ne nous donne aucune information sur la couleur de la deuxième boule. Les deux événements sont donc indépendants.

Cette approche est notamment utilisée en analyse en composantes indépendantes.

Voir aussi

Notes

  1. ↑ En effet \mathbb{P}(x\mod 2=0|x\in \{1,2,3,4\}) = \frac{1}{2} = \mathbb{P}(x\mod 2=0|x\in \{1,2,3,4,5,6\})

Références

  • T.-A. Banh, Calcul des probabilités, Ed. ULg, 1995.
  • A. Hyvärinen, E. Oja, Independent Component Analysis, Neural Networks, 13(4-5):411-430, 2000.
  • (en) Sheldon M Ross, Initiation Aux Probabilités, Presses polytechniques et universitaires romandes, Lausanne, p. 458 
  • (en) Olav Kallenberg, Foundations of Modern Probability, Springer, coll. « Probability and Its Applications », 1997 (réimpr. 2001), 638 p. (ISBN 0-387-95313-2) 
  • Portail des probabilités et des statistiques Portail des probabilités et des statistiques
Ce document provient de « Ind%C3%A9pendance (probabilit%C3%A9s) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Independance (probabilites) de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Indépendance (probabilités) — L indépendance est une notion probabiliste qualifiant de manière intuitive des événements aléatoires n ayant aucune influence l un sur l autre. Il s agit d une notion très importante en statistique et calcul de probabilités. Par exemple, la… …   Wikipédia en Français

  • Independance (homonymie) — Indépendance (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Indépendance (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Probabilités — Probabilité La probabilité (du latin probabilitas) est une évaluation du caractère probable d un évènement. En mathématiques, l étude des probabilités est un sujet de grande importance donnant lieu à de nombreuses applications. La probabilité d… …   Wikipédia en Français

  • Indépendance en probabilité élémentaire — L étude de l indépendance d événements ou d expériences consiste à chercher si les événements ou les expériences sont liées ou se produisent indépendamment l une de l autre (On peut raisonnablement penser que le fait de boire de l alcool et celui …   Wikipédia en Français

  • Probabilités (mathématiques élémentaires) — Pour les articles homonymes, voir Interconnexions entre la théorie des probabilités et les statistiques. Les probabilités sont nées du désir de prévoir l imprévisible ou de quantifier l incertain. Mais il faut avant tout préciser ce qu elles ne… …   Wikipédia en Français

  • Indépendance — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Indépendance », sur le Wiktionnaire (dictionnaire universel) L indépendance est l’absence de relation… …   Wikipédia en Français

  • PROBABILITÉS (CALCUL DES) — Le calcul des probabilités est certainement l’une des branches les plus récentes des mathématiques, bien qu’il ait en fait trois siècles et demi d’existence. Après s’être cantonné dans l’étude des jeux de hasard, il s’est introduit dans presque… …   Encyclopédie Universelle

  • Independance en probabilite elementaire — Indépendance en probabilité élémentaire Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

  • Indépendance En Probabilité Élémentaire — Cet article fait partie de la série Mathématiques élémentaires Algèbre Logique Arithmétique Probabilités …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”