Dans tout ce qui suit, \( X \) et \( Y \) désignent deux variables aléatoires réelles discrètes définies sur un espace probabilisé discret \( (\Omega, {\cal A}, P) \).

De plus, \( \Phi \) désigne une application \( X(\Omega)\times Y(\Omega) \rightarrow {\mathbb R} \).

Typiquement, les opérations \( X + Y \) et \( XY \) pourront être vues comme des applications \( \Phi \) particulières.

1. Couples de variables aléatoires

1. Définition - L'application \( (X; Y): \Omega\longrightarrow {\mathbb R}^2 \) est appelé couple de variables aléatoires réelles discrètes.

On définie de même un \( n \)-uplet de variables aléatoires, communément appelé vecteur aléatoire.

2. Définition - On appelle loi de \( (X; Y) \) l'application définie par :

On note simplement \( P_{(X; Y)}(x, y) = P(X = x; Y = y) \).

3. Définition - On dit que \( X \) et \( Y \) sont indépendantes si pour tout \( x\in X(\Omega) \) et \( y\in Y(\Omega) \) :

\( \displaystyle P(X = x; Y = y) = P(X = x)P(Y = y) \)

Cette notion est une adaptation de l'indépendance définie pour les probabilités, les rôles des événements étant joués par \( A = \{X = x\} \) et \( B = \{Y = y\} \).

4. Propriété - Pour tout \( x\in {\mathbb R} \) :

\( \displaystyle P(X = x) = \sum_{y\in Y(\Omega)} P(X = x; Y = y) \)

Démonstration : pour tout \( x\in {\mathbb R} \) :

\( \displaystyle P(X = x) = P(\{ X = x\} \cap \Omega \}) \)

\( \displaystyle \phantom{P(X = x)} = P(\{ X = x\} \cap (\cup_{y\in Y(\Omega)} \{Y = y\} \}) \)

\( \displaystyle \phantom{P(X = x)} = P(\cup_{y\in Y(\Omega)} \{ X = x\} \cap\{Y = y\}) \)

S'agissant d'un ensemble dénombrable de parties disjointes,

\( \displaystyle P(X = x) = \sum_{y\in Y(\Omega)} P(\{ X = x\} \cap\{Y = y\}) \)

\( \displaystyle \phantom{P(X = x)} = \sum_{y\in Y(\Omega)} P(X = x, Y = y) \)

■

5. Vocabulaire - On dit que les lois de \( X \) et \( Y \) sont les lois marginales de la loi conjointe de \( (X; Y) \).

2. Application sur un couple

1. Propriété - Pour tout \( t \in {\mathbb R} \) : \( P(\Phi(X, Y) = t) = \displaystyle\sum_{(x, y)\in \Phi^{-1}(t)} P(X = x; Y= y) \)

Démonstration : pour tout \( t\in {\mathbb R} \),

\( \displaystyle P(\Phi(X, Y) = t) = P(\cup_{(x, y)\in \Phi^{-1}(t)} \{X = x\} \cap \{Y = y\}) \)

S'agissant d'un ensemble dénombrable de parties disjointes :

\( \displaystyle P(\Phi(X, Y) = t) = \sum_{(x, y)\in \Phi^{-1}(t)} P(\{X = x\} \cap \{Y = y\}) \)

\( \displaystyle \phantom{P(\Phi(X, Y) = t)} = \sum_{(x, y)\in \Phi^{-1}(t)} P(X = x; Y= y) \)

■

2. Théorème - Sous réserve d'existence :

\( E(\Phi(X; Y)) = \displaystyle\sum_{(x; y)\in X(\Omega)\times Y(\Omega)}P(X = x; Y = y)\,\phi(x; y) \)

Démonstration : revenons à la définition !

\( \displaystyle E(\Phi(X; Y)) = \sum_{t\in \Phi(X; Y)(\Omega)} P(\Phi(X; Y) = t)\,t \)

\( \displaystyle \phantom{E(\Phi(X; Y))} = \sum_{z\in \Phi(X; Y)(\Omega)} ( \sum_{(x, y)\in \Phi^{-1}(z)} P(X = x; Y= y) )\,z \)

\( \displaystyle \phantom{E(\Phi(X; Y))} = \sum_{z\in \Phi(X; Y)(\Omega)} \sum_{(x, y)\in \Phi^{-1}(z)} P(X = x; Y= y)\,z \)

\( \displaystyle \phantom{E(\Phi(X; Y))} = \sum_{z\in \Phi(X; Y)(\Omega)} \sum_{(x, y)\in \Phi^{-1}(z)} P(X = x; Y= y)\,\Phi(x; y) \)

Ainsi, d'après le théorème de sommation par paquets,

\( \displaystyle \phantom{E(\Phi(X; Y))} = \sum_{(x; y)\in X(\Omega)\times Y(\Omega)} P(X = x; Y= y)\,\Phi(x; y) \)

■

3. Corollaire [Linéarité de l'espérance] - Sous réserve d'existence, pour tout \( a\in{\mathbb R} \) et \( b\in{\mathbb R} \),

\( E(aX + bY) = a\times E(X) + b\times E(Y) \)

Démonstration - Posons \( \Phi(X; Y) = aX + bY \). Alors,

\( \displaystyle E(aX + bY) = \sum_{(x; y)\in X(\Omega)\times Y(\Omega)} P(X = x; Y= y)\,(ax +by) \)

\( \displaystyle \phantom{E(aX + bY)} = \sum_{(x; y)\in X(\Omega)\times Y(\Omega)} a P(X = x; Y= y)\,x + b P(X = x; Y= y) y \)

Les espérances de \( X \) et \( Y \) étant définies,

\( \displaystyle E(aX + bY) = a \sum_{(x; y)\in X(\Omega)\times Y(\Omega)} P(X = x; Y= y)\,x \)

\( \displaystyle + b \sum_{(x; y)\in X(\Omega)\times Y(\Omega)} P(X = x; Y= y)\,y \)

\( \displaystyle \phantom{E(aX + bY)} = a \sum_{x\in X(\Omega)} P(X = x)\,x + b \sum_{y\in Y(\Omega)} P(Y= y)\,y \)

\( \displaystyle \phantom{E(aX + bY)} = a\times E(X) + b\times E(Y) \)

■