22.9. VARIABLES ALÉATOIRES RÉELLES CONTINUES
443
Proposition 22.63 Soit (fi, A), IP' ) un espace probabilisé. Dans l'espace
(V;(n), +, .), la covariance est une forme bilinéaire symétrique positive dont
la forme quadratique associée est la variance.
Preuve. Évident
Remarque 22.13 Attention, la covariance est une forme bilinéaire symétrique
positive mais non définie. En effet une variable aléatoire admet une variance nulle
si et seulement si elle est déterministe, c'est-à-dire constante.
En utilisant la formule de polarisation pour une forme quadratique, nous obtenons,
Corollaire 22.64 Soit (fi, A), IP' ) un espace probabilisé. Pour tout couple
(X, Y) de v;(n), on a
V(X +Y) = V(X) + V(Y) + 2 Cov(X, Y).
En utilisant l'inégalité de Cauchy-Schwarz pour une forme bilinéaire symétrique
positive, nous obtenons,
Corollaire 22.65 Soit (fi, A), IP' ) un espace probabilisé. Pour tout couple
(X, Y) de v;(n), on a
ICov(X, Y)I ::; a(X).a(Y).
Corrélation linéaire
Pour avoir une idée de la corrélation entre deux variables X et Y, nous normalisons la covariance :
Définition : Soit (fi, A), IP' ) un espace probabilisé. Pour tout couple
(X, Y) de v;(n), on appelle coefficient de corrélation linéaire le réel
Cov(X, Y)
p(X, Y) = a(X).a(Y).
Proposition 22.66 Soit (fi, A), IP' ) un espace probabilisé. Pour tout couple
(X, Y) de v;(n), on a
lp(X, Y)I ::; 1.
Preuve. Évident.