Notions fondamentales de la Théorie des Probabilités

Transcription

1 Université d Artois Faculté des Sciences Jean Perrin Probabilités (Master 1 Mathématiques-Informatique) Daniel Li Chapitre 1 Notions fondamentales de la Théorie des Probabilités Dans ce chapitre, nous allons donner les définitions de base concernant la Théorie des Probabilités. Il faut plutôt voir ce cours plus comme un cours de techniques probabilistes que comme un cours de Probabilités : on ne cherchera pas à donner d interprétation concrète des notions et des résultats présentés dans ce cours. C est en quelque sorte le minimum vital de Probabilités que doit posséder tout mathématicien. 1 Espace de probabilité Une probabilité (ou mesure de probabilité) est une mesure positive P sur un espace mesurable (Ω, A ) telle que P (Ω) = 1. On dit aussi loi de probabilité. Le triplet (Ω, A, P ) est appelé espace de probabilité. La Théorie des Probabilités utilise la Théorie de la mesure, mais, pour des raisons historiques, a un langage qui lui est propre (ce qui est d ailleurs peut-être à l origine de la réticence, voire de l ostracisme, dont la majorité des mathématiciens ont fait preuve par le passé, et encore parfois aujourd hui, envers les Probabilités). On a le dictionnaire suivant : notation point de vue ensembliste point de vue probabiliste ω Ω point de Ω observation A A partie mesurable événement ω A ω est dans la partie A l événement A est réalisé par ω A B A est contenu dans B A implique B ensemble vide événement impossible Ω ensemble plein événement certain A B réunion de A et B A ou B A B intersection de A et B A et B 1

2 Si l on considère qu un espace de probabilité est la modélisation d une expérience, un point ω de Ω peut aussi être vu comme le résultat, ou la réalisation, de l expérience modélisée par (Ω, A, P ). On dit aussi que ω est une éventualité. Par rapport au point de vue ensembliste, dans lequel la notion de base est le point, qui peut ou non appartenir à une partie donnée, dans le point de vue probabiliste, il faut plutôt inverser les rôles : la notion de base est l ensemble des événements, et chaque événement peut être réalisé ou non par une observation. Pour deux événements A et B, dire que ω A B s exprime en disant que ω réalise l événement A ou l événement B, et ω A B en disant que ω réalise l événement A et l événement B. Comme A est une tribu, si l on a une famille dénombrable d événements A n, n 1, alors les ensembles suivants sont des événements : n 1 A n : on a ω n 1 A n si l un au moins des événements A n est réalisé par ω. n 1 A n : on a ω n 1 A n si tous les événements A n sont réalisés par ω. k n A k si une infinité des événements lim n A n lim n : on a ω lim A n = n n 1 A n sont réalisés par ω. A n : on a ω lim A n = n 1 n sauf un nombre fini, sont réalisés par ω. On a bien sûr lim A n lim A n. n n k n A k si tous les événements A n, Le résultat suivant, bien que très facile, est extrêmement utile. Théorème 1.1 (Lemme de Borel-Cantelli) Si P (A n ) < +, alors on a : P ( lim A ) n = 0. n n=1 Définition 1.2 Pour tout événement A, on dit que : A est presque impossible si P (A) = 0 ; A est presque sûr, ou presque certain, si P (A) = 1. La notion de presque sûr est la version probabiliste de la notion de presque partout. Lorsque l événement A est l ensemble des ω pour lesquels une certaine propriété est vraie, on dit que cette propriété est presque sûrement vraie si A est presque sûr. On notera en abrégé p.s. pour presque sûrement. n Comme ( lim A n) c = lim (A c n), le lemme de Borel-Cantelli dit que, sous n n l hypothèse n 1 P (A n) < +, on a lim (A c n) presque sûrement ; par conséquent, le lemme de Borel-Cantelli s exprime de la façon plus utile suivante : 2

3 Théorème 1.3 (Lemme de Borel-Cantelli) Si n=1 P (Bc n) < +, alors presque sûrement, tous les événements B n sont réalisés, à l exception d un nombre fini. Preuve 1. Pour tout n 1, on a P ( k n A ) k k n P (A k) ; donc, puisque la suite ( k n A ) k est décroissante : n 1 ( ) ( P lim A n = lim P ) A k lim P (A k ) = 0, n n n k n puisque la série converge. Preuve 2. La condition n 1 P (A n) < + signifie que la fonction n 1 1I A n est P -intégrable ; elle est donc finie P -presque partout, ce qui est le résultat annoncé. 2 Variables aléatoires k n Définition 2.1 On appelle variable aléatoire, en abrégé v.a. (vectorielle, à valeurs dans d ), toute application mesurable X : (Ω, A ) ( d, Bor ( d ) ). Pour d = 1, on autorise X à prendre ses valeurs dans ; elle doit donc être mesurable pour Bor (). On dit que c est une variable aléatoire réelle ; en abrégé v.a.r.. On conviendra par la suite que 1 =. Si d > 1, on dira aussi vecteur aléatoire. Si X = (X 1,..., X d ) est un vecteur aléatoire, alors les X k sont des v.a.r. ; réciproquement, si X 1,..., X d sont des v.a.r., à valeurs dans, alors (X 1,..., X d ) est un vecteur aléatoire. emarque. Il faut noter que, contrairement à ce que peux laisser croire le nom, une variable aléatoire est une fonction, et non pas une variable. Cette terminologie trompeuse est, là encore, due à des raisons historiques, datant de l époque où l on avait pas conscience de la distinction entre une fonction et sa valeur en un point. Terminologie. On dit que la v.a.r. X a un moment d ordre p, 1 p <, si X L p (Ω, A, P ). Lorsque X est intégrable (on utilisera plutôt ce terme que celui de moment d ordre 1), son intégrale est appelée espérance (mathématique) de X ; on dit aussi que c est la moyenne de X. On la note : E (X) = X dp. Ω 3

4 On dit que la variable aléatoire X est centrée lorsque E (X) = 0. La v.a.r. X E (X) (mis pour X E (X)1I) est appelée la v.a. centrée associée à X ; elle est évidemment centrée. Lorsque X L 2 (Ω, A, P ), on définit la variance de X par : Var (X) = E ( [X E (X)] 2). Ce nombre (qui est positif) mesure les variations de X autour de sa moyenne. On la calcule habituellement par la formule suivante : Proposition 2.2 Var (X) = E (X 2 ) [E (X)] 2. Preuve. Il suffit de développer : E ( [X E (X)] 2) = E ( X 2 2E (X)X + [E (X)] 2) = E (X 2 ) 2E (X)E (X) + [E (X)] 2), car E (1I) = 1. Notons que l on a Var (ax) = a 2 Var (X) pour tout a. Pour revenir à l ordre de grandeur initial, on utilise l écart-type : σ X = Var (X). Autrement dit : σ X = X E (X) L2 (Ω,A,P ). Le nombre X L2 (P ) = [E (X 2 )] 1/2 est appelé moyenne quadratique de X. Lorsque l on mesure les résultats d une expérience aléatoire par une variable aléatoire X, l espace de probabilité (Ω, A, P ) est une modélisation de la situation liée à cette expérience. Cette modélisation peut être faite de diverses façons, ce qui veut dire que l espace (Ω, A, P ), et en particulier la probabilité P, n a pas de sens intrinsèque. Ce qui est important, c est la répartition des valeurs que peut prendre X, et leur fréquence. C est pourquoi le concept suivant, qui précise ces fréquences d apparitions, est fondamental ; d ailleurs avant l axiomatisation de la Théorie des Probabilités par Kolmogorov en 1933, les Probabilistes ne voyaient les variables aléatoires qu à travers leur loi. Définition 2.3 On appelle loi de la variable aléatoire X la mesure-image de la probabilité P par X. On la note P X. On dit aussi loi de probabilité de X. On l appelle encore la distribution de la variable aléatoire X. Cela signifie que pour tout borélien B de d, on a : P X (B) = P (X B), 4

5 P (X B) étant la notation usuelle pour : P ({ω Ω ; X(ω) B}) = P ( X 1 (B) ). P X est donc une mesure de probabilité sur d. Si Q est une mesure de probabilité sur d, on note X Q pour exprimer que X a la loi Q, c est-à-dire que Q = P X ; on a donc X P X. Si la loi de X a une densité f X par rapport à la mesure de Lebesgue, on dit que X possède la densité f X. appelons que pour toute fonction f : d borélienne positive ou P X - intégrable, on a : f(x) dp X (x) = d Ω f[x(ω)] dp (ω), soit : d f(x) dp X (x) = E ( f(x) ), où f(x) est la notation habituelle pour la composée f X. Ainsi, lorsque X est une v.a.r., X est intégrable si et seulement si P ({X = }) = P ({X = + }) = 0 et : x dp X (x) < + ; et alors : E (X) = x dp X (x). On notera que, X étant intégrable, elle est presque sûrement finie, c est-à-dire presque sûrement à valeurs dans (soit P X ({, + }) = 0) ; on peut donc intégrer sur au lieu d intégrer sur. Pour une expérience mesurée par une v.a. X, il est important de savoir quels sont les événements liés à cette expérience. Définition 2.4 On appelle tribu engendrée par la variable aléatoire X la plus petite sous-tribu A X de A pour laquelle X reste mesurable. On la note aussi σ(x) (à ne pas confondre avec l écart-type!). Proposition 2.5 On a : A X = {X 1 (B) ; B Bor( d )}. 5

6 Preuve. L ensemble écrit à droite doit évidemment être contenu dans A X ; c est d autre part une tribu, et X est mesurable pour cette tribu. Théorème 2.6 (Doob) Une fonction Y : Ω d est une variable aléatoire A X -mesurable si et seulement s il existe une fonction borélienne f : d d telle que Y = f(x). Preuve. La condition suffisante est évidente. Pour la condition nécessaire, en regardant coordonnée par coordonnée, on peut supposer Y réelle ; et en écrivant Y = Y + Y, la supposer positive. Mais alors, comme elle est A X -mesurable, elle est limite d une suite croissante de fonctions Y n A X -étagées. D après la proposition précédente, ces fonctions A X -étagées peuvent s écrire : Y n = k n na k,n 1I X 1 (B k,n ) = k n avec a k,n 0 et les B k,n boréliens de d. Posons : On a bien f n = k n ( k n ) na k,n (1I Bk,n X) = a k,n 1I Bk,n X, a k,n 1I Bk,n et f = lim n f n. Y = lim n Y n = lim n f n(x) = lim n f n(x) = f(x). Lorsque X est une v.a.r., à valeurs dans, on utilise souvent la notion suivante. Définition 2.7 La fonction de répartition de X est définie, pour tout x, par : F X (x) = P (X x) = P X (], x]). On dit aussi que F X est la fonction de répartition de P X. C est une fonction F X : [0, 1], qui est croissante, continue à droite, et telle que lim x F X (x) = 0 et lim x + F X (x) = 1. Le Théorème d unicité des mesures dit qu il n y a qu une seule mesure de probabilité sur dont F X soit la fonction de répartition : F X détermine P X. 3 Exemples usuels de lois de probabilité sur Dans ce cours, on n utilisera essentiellement que deux lois de probabilité : la loi de Bernoulli et la loi gaussienne, avec en plus, la loi uniforme. On se contentera donc de parler de celles-ci, renvoyant, pour les autres lois usuelles, aux exercices. 6

7 3.1 Loi de Bernoulli C est la loi d une v.a.r. qui ne prend (presque sûrement) que les deux valeurs 0 et 1. Si X est une telle v.a.r., sa loi est déterminée par le nombre p = P (X = 1) ; on a 0 < p < 1, et p est appelé le paramètre de la loi. On a : P (X = 1) = p et P (X = 0) = 1 p = q, ou P X ({1}) = p, P X ({0}) = 1 p ; la loi de X est donc P X = p δ 1 + (1 p)δ 0, où δ 1 et δ 0 sont les mesures de Dirac en 1 et en 0. C est la loi du pile ou face : on a la probabilité p de réussir. On a E (X) = p et Var (X) = pq = p(1 p) ; en effet, E (X) = 0.(1 p)+ 1.p = p et E (X 2 ) = 0 2.(1 p) p = p, donc Var (X) = p p Loi de Gauss On dit aussi que c est la loi de Laplace ou la loi normale. Elle est caractérisée par deux paramètres m et σ > 0. On la note : N (m, σ 2 ). C est la loi de probabilité sur qui a pour densité (par rapport à la mesure de Lebesgue) : γ m,σ 2 = 1 [ σ 2π exp 1 ( x m ) ] 2. 2 σ appelons que /2 du = 2π, et donc γ e u2 m,σ 2 est bien la densité d une loi de probabilité Si X N (m, σ 2 ), on dit que X est une variable aléatoire gaussienne. On a donc, pour tout borélien B de : P (X B) = 1 [ σ exp 1 ( x m ) ] 2 dx. 2π 2 σ En particulier, sa fonction de répartition est : On a : En effet : B F X (x) = P (X x) = x γ m,σ 2(x) dx. E (X) = m et Var (X) = σ 2. E (X) = 1 [ σ x exp 1 ( x m ) ] 2 dx 2π 2 σ = 1 ] [σ u e u2 /2 du + m e u2 /2 du 2π = m, 7

8 et : Var (X) = 1 [ σ (x m) 2 exp 1 2π 2 = σ2 u 2 e u2 /2 du = σ 2, 2π ( x m σ ) 2 ] dx en écrivant u 2 e u2 /2 = u.u2e u2 /2 et en intégrant par parties. Ainsi donc la loi d une gaussienne est déterminée par sa moyenne m et sa variance σ 2. La loi N (0, 1) est appelée loi normale centrée réduite ; elle a pour densité : γ(x) = γ 0,1 (x) = 1 2π e x2 /2 ; son espérance est nulle et sa variance est 1. On a : X N (m, σ 2 ) Z = X m N (0, 1) ; σ ou, inversement : Z N (0, 1) X = σz + m N (m, σ 2 ). Cette loi est centrale en Probabilités, car on verra que, en un certain sens, toutes les lois tendent vers la loi de Gauss. 3.3 Loi uniforme La loi uniforme sur le segment [a, b] est la loi ayant pour densité la fonction : 1 b a 1I (a,b] par rapport à la mesure de Lebesgue sur. Pour tout intervalle I, on a, pour une v.ar. ayant cette loi : 1 P X (I) = P (X I) = b a 1I λ(i [a, b]] (a,b] dλ = b a 4 Indépendance I C est avec la notion d indépendance que la Théorie des Probabilités prend son autonomie par rapport à la Théorie de la mesure. Définition 4.1 Deux événements A et B sont dits indépendants si : On note A B. P (A B) = P (A) P (B). 8

9 L exemple suivant est fondamental, car, comme nous le verrons, l indépendance peut toujours se ramener, en un certain sens, à une mesure de probabilité qui est une mesure-produit (voir Théorème 4.7). Exemple fondamental. Prenons Ω = [0, 1] [0, 1], muni de sa tribu borélienne, et prenons pour probabilité P = λ 2 = λ λ, la mesure de Lebesgue 2-dimensionnelle, qui est aussi le produit de la mesure de Lebesgue 1-dimensionnelle par elle-même. Soit : A = [0, a] [0, 1] et B = [0, 1] [0, b]. On a P (A) = a et P (B) = b ; et, comme (A B = [0, a] [0, b] : P (A B) = ab = P (A) P (B). Autrement dit, l événement 0 x a est indépendant de l événement 0 y b, ou : choisir au hasard un x dans [0, a] est indépendant du choix au hasard d un y dans [0, b]. Définition 4.2 Soit A 1,..., A n n événements ; on dit qu ils sont indépendants si : P (A i1 A ik ) = P (A i1 ) P (A ik ) pour toute partie {i 1,..., i k } {1,..., n}. Cela entraîne bien sûr que A 1,..., A n n sont deux-à-deux indépendants. Définition 4.3 Si A 1,..., A n sont n sous-tribus de A, on dit qu elles sont indépendantes si les événements A 1,..., A n sont indépendants, pour tout choix de A 1 A 1,..., A n A n. Cela revient à dire que : P (A 1 A n ) = P (A 1 ) P (A n ), A 1 A 1,..., A n A n ; en effet, il est clair que c est entraîné par l indépendance ; réciproquement, si l on a cette propriété, prenons J {1,..., n} et A j A j arbitraire pour j J ; alors, en prenant A j = Ω A j pour tout j / J, on a n j=1 A j = j J A j et l on obtient P ( j J A ) j = j J P (A j), puisque P (Ω) = 1. 9

10 Notons que, étant donnés n événements A 1,..., A n, ils sont indépendants si et seulement si les tribus A k = {, A k, A c k, Ω} que chacun engendre sont indépendantes. Définition 4.4 Etant données n variables aléatoires X k : Ω d k, 1 k n, on dit qu elles sont indépendantes si les tribus A X1,..., A Xn qu elles engendrent sont indépendantes. On notera X Y lorsque les v.a. X et Y sont indépendantes. Comme : A Xk = {X 1 k (B) ; B Bor(d k )}, cela revient à dire que, pour tous B k Bor( d k ), 1 k n : P (X k B k, k n) = P (X 1 B 1 ) P (X n B n ) On notera que n événements A 1,..., A n sont indépendants si et seulement si les v.a.r. 1I A1,..., 1I An le sont, car A 1IAk = {, A k, A c k, Ω}. emarque. Une v.a. est indépendante d elle-même si et seulement si elle est constante (presque sûrement), et toute v.a. p.s. constante est indépendante de toutes les autres v.a., comme on pourra le vérifier à titre d exercice. Proposition 4.5 Si les v.a. X k : Ω d k, 1 k n, sont indépendantes, alors, pour toutes fonctions boréliennes f k : d k d k, les v.a. fk (X k ), 1 k n, sont encore indépendantes. En effet, f k (X k ) est A Xk -mesurable ; donc σ[f k (X k )] σ(x k ). Définition 4.6 Soit X 1,..., X n : Ω des v.a.r.. La loi du n-uplet X = (X 1,..., X n ), définissant un vecteur aléatoire X : Ω n, est appelée la loi conjointe des v.a.r. X 1,..., X n. Les lois de X 1,..., X n s appellent les lois marginales du v.a. X. Le théorème suivant est essentiel, car c est la plupart du temps en l utilisant que l on démontre l indépendance de v.a.r. car il est très facile d utilisation. Théorème 4.7 Les v.a.r. X 1,..., X n : Ω sont indépendantes si et seulement si leur loi conjointe P (X1,...,X n) est égale au produit des lois marginales P Xk : P (X1,...,X n) = P X1 P X1. Bien sûr, on aura de même : 10

11 Théorème 4.8 Les v.a. X k : Ω d k, 1 k n, sont indépendantes si et seulement si P (X1,...,X n) = P X1 P Xn. Preuve. Pour tous boréliens B 1,..., B n, on a : P (X k B k, k n) = P ( (X 1,..., X n ) B 1 B n ) = P (X1,...,X n)(b 1 B n ). Les v.a. X 1,..., X n sont donc indépendantes si et seulement si, pour tous boréliens B 1,..., B n, on a : P (X1,...,X n)(b 1 B n ) = P X1 (B 1 ) P Xn (B n ). Par définition (et l unicité) de la mesure-produit, cela signifie que P (X1,...,X n) est égale à P X1 P Xn. Corollaire 4.9 Si les variables aléatoires réelles X 1..., X n sont intégrables et indépendantes, leur produit est intégrable et l espérance de leur produit est égal au produit de leurs espérances : E (X 1 X n ) = E (X 1 ) E (X n ). Bien sûr, cette égalité est loin de suffire pour avoir l indépendance. Preuve. On a : X 1 X n dp = x 1 x n dp (X1,...,X n)(x 1,..., x n ) Ω n = x 1 x n d(p X1 P Xn )((x 1,..., x n ) ( n ) ( ) = x 1 dp X1 (x 1 ) x n dp Xn (x n ) par le Théorème de Fubini = E ( X 1 ) E ( X n ) < +, ce qui donne l intégrabilité du produit. Ensuite, le même calcul que ci-dessus, mais sans les valeurs abolues, et en utilisant cette fois-ci le Théorème de Fubini, donne l égalité E (X 1 X n ) = E (X 1 ) E (X n ). Corollaire 4.10 Si les v.a.r. X 1,..., X n indépendantes, alors : sont de carré intégrable et sont Var (X X n ) = Var (X 1 ) + + Var (X n ). 11

12 Bien sûr, là aussi, cette égalité est loin de suffire pour avoir indépendance. Preuve. Il suffit de le montrer pour deux v.a.r. indépendantes X et Y. On peut de plus supposer que E (X) = E (Y ) = 0, puisque la variance est la même pour une v.a.r. et sa v.a.r. centrée. Or, dans ce cas, en utilisant le Corollaire 4.9 : Var (X + Y ) = E [ (X + Y ) 2] = E (X 2 ) + 2 E (X) E (Y ) + E (Y 2 ) puisque E (X) = E (Y ) = 0. = Var (X) + Var (Y ), emarque. Comme Var (X) = X 2 L 2 (P ) lorsque X est centrée, le Corollaire 4.10 dit que si X et Y sont centrées et indépendantes, alors elles sont orthogonales dans l espace de Hilbert L 2 (P ) ; ainsi, pour des v.a.r. centrées : X Y = X Y. Corollaire 4.11 Si les v.a. X 1,..., X n sont indépendantes et ont des densités f X1,..., f Xn, alors X = (X 1,..., X n ) a une densité, définie, pour tout (x 1,..., x n ), par : f X (x 1,..., x n ) = f X1 (x 1 ) f Xn (x n ). Autrement dit, f X = f X1 f Xn. Il est pratique de pouvoir tester l indépendance sur une classe plus petite que la tribu entière. Proposition 4.12 Si, pour 1 k n, on a une famille d événements C k A k, qui est stable par intersection finie, contient une suite croissante dont la réunion est Ω, engendrant la tribu A k : σ(c k ) = A k, et si l on a : ( n P C k ) = n P (C k ), C k C k, 1 k n, alors les tribus A 1,..., A n sont indépendantes. Preuve. Par itération : fixons C 2 C 2,..., C n C n. Les applications : A 1 [0, 1] et A 1 [0, 1] A P ( A n k=2 C ) k A [ n k=2 P (C k) ] P (A) sont des mesures positives bornées qui sont égales sur C 1. Par le Théorème d unicité des mesures, elles sont égales sur A 1. On recommence ensuite, en fixant A 1 A 1, et C 3 C 3,..., C n C n, et ainsi de suite. Corollaire 4.13 Les v.a. X k : Ω d k, 1 k n, sont indépendantes dès que : P (X k D k, k n) = n P (X k D k ), D k D k, 1 k n, 12

13 où chaque D k Bor( d k ) est stable par intersection finie, contient une suite croissante dont la réunion est d k et qui engendre Bor( d k ). Preuve. Il suffit de prendre C k = {X 1 k (D k) ; D k D k } = X 1 k (D k), et d utiliser la formule de transfert : σ [ X 1 k (D k) ] = X 1 [ k σ(dk ) ] ; on a donc σ(c k ) = A Xk. Corollaire 4.14 Les v.a.r. X 1,..., X n : Ω sont indépendantes si et seulement si : n P (X k x k, k n) = F Xk (x k ), x 1,..., x n. On a une variante de la Proposition 4.12 : Proposition 4.15 Soit, pour 1 k n, C k A k stable par intersection finie et engendrant A k. Si C 1,..., C n sont indépendants pour tous les choix de C 1 C 1,..., C n C n, alors les tribus A 1,..., A n sont indépendantes. Preuve. Si l on pose C k = C k {Ω}, alors C k vérifie les conditions de la Proposition 4.12, puisque, si C k C k et si J est l ensemble des k n pour lesquels C k = Ω, on a, grâce à l indépendance des C k pour k / J : ( n P ) ( C k = P k / J 5 Fonction caractéristique 5.1 Généralités ) C k = P (C k ) = k / J n P (C k ). Définition 5.1 La fonction caractéristique (en abrégé f.c.) d une v.a.r. X : Ω est définie par : Φ X (t) = E ( e itx), t. En d autres termes : Φ X (t) = e itx dp X (x). emarquons que lorsque X a une densité f X, cela s écrit : Φ X (t) = e itx f X (x) dx ; 13

14 on reconnaît la définition de la transformée de Fourier de f X : Φ X (t) = ( ) ( F f X t ) 2π Plus généralement, on peut définir la transformée de Fourier d une mesure. Définition 5.2 Soit m une mesure complexe sur muni de sa tribu borélienne. La transformée de Fourier de m est définie par : ( ) F m (t) = ˆm(t) = e 2πitx dm(x), x. Cela s applique en particulier lorsque m est une mesure positive bornée, donc lorsque m est une probabilité. Pour toute v.a.r. X, on a donc : Φ X (t) = ( ) ( F P X t ) 2π Le Théorème de convergence dominée donne immédiatement : Proposition 5.3 F m = ˆm est une fonction continue bornée sur (c est-àdire que F : M () C b ()) et ˆm(t) m () = m (0). Corollaire 5.4 Pour toute v.a.r. X, on a Φ X C b () ; de plus Φ X (0) = 1 et Φ X (t) 1 pour tout t. Théorème 5.5 F est injective sur M (). Corollaire 5.6 Si deux v.a.r. ont la même fonction caractéristique, alors ces deux v.a.r. ont la même loi. Autrement dit : si Φ X = Φ Y, alors P X = P Y : la fonction caracéristique détermine la loi. Notation. On écrira X L = Y lorsque X et Y ont la même loi. Bien sûr, on ne peut rien dire des v.a.r. elle-mêmes ; elles pourraient d ailleurs ne même pas être définies sur le même espace de probabilité. Preuve. Soit m M (), et soit m = h. m sa décomposition polaire (on a 14

15 h = 1 m -p.p.). Pour toute f L 1 (), on a, par le Théorème de Fubini : [ ] ˆf(y) dm(y) = f(x) e 2πixy dx dm(y) [ ] = f(x) e 2πixy dx h(y) d m (y) [ ] = f(x) e 2πixy h(y) d m (y) dx [ ] = f(x) e 2πixy dm(y) dx = f(x) ˆm(x) dx. Donc, si ˆm = 0, on a ˆf(y) dm(y) = 0 pour toute f L 1 (). Comme F L 1 () est dense dans C 0 (), on a aussi g(y) dm(y) = 0 pour toute g C 0() ; donc m = 0 (car, par exemple, on aura m([a, b]) = 0 pour tout intervalle [a, b] de, en approchant 1I [a,b] par une suite de fonctions de C 0 ()). 5.2 Fonction caractéristique de la loi normale Théorème 5.7 Si X N (m, σ 2 ), alors : Φ X (t) = exp (imt σ2 t 2 ). 2 En particulier, si Z N (0, 1) est centrée réduite, alors Φ Z (t) = e t2 /2. Le calcul, dans le cas centrée réduite a été fait dans le cours d Analyse Fonctionnelle. Dans le cas général, il suffit d utiliser le résultat immédiat suivant, puisque si X N (m, σ 2 ), alors X = σz + m avec Z N (0, 1). Lemme 5.8 Pour toute v.a.r. Y, on a a, b. Une des propriétés importantes des f.c. est la suivante. Φ ay +b (t) = e ibt Φ Y (at), pour tous Théorème 5.9 Si X et Y sont deux v.a.r. indépendantes, alors : Φ X+Y (t) = Φ X (t) Φ Y (t), t. Preuve. Φ X+Y (t) = E ( e it(x+y )) = E ( e itx e ity ) = E ( e itx) E ( e ity ) (Proposition 4.9 et Proposition 4.5) = Φ X (t) Φ Y (t). 15

16 On en déduit l important résultat suivant. Corollaire 5.10 Si X 1 N (m 1, σ 2 1) et X 2 N (m 2, σ 2 2) sont deux v..a.r. gaussiennes indépendantes, alors leur somme X 1 + X 2 est encore gaussienne, et suit la loi N (m 1 + m 2, σ σ 2 2). Notons que, de toute façon, dès que l on sait que X 1 + X 2 est gaussienne N (m, σ 2 ), on sait que m = E (X 1 + X 2 ) = E (X 1 ) + E (X 2 ) = m 1 + m 1 et que, grâce à l indépendance (Proposition 4.10), σ 2 = Var (X 1 + X 2 ) = Var (X 1 ) + Var (X 2 ) = σ σ 2 2 ; mais on va tout obtenir d un coup. Preuve. Il suffit d appliquer le Théorème 5.9 : Φ X1+X 2 (t) = Φ X1 (t) Φ X2 (t) = exp (im 1 t σ2 1t 2 ) exp (im 2 t σ2 2t 2 ) 2 2 = exp (i(m 1 + m 2 )t (σ2 1 + σ2)t 2 2 ), 2 et d utiliser le Théorème 5.7 et le Théorème Dérivabilité Pour terminer, signalons juste le résultat suivant, conséquence immédiate du Théorème de dérivation sous les intégrales, qui permet de calculer les moments d une v.a.r. lorsque l on connaît sa f.c.. Proposition 5.11 Soit r un entier 1. Si X a un moment d ordre r, alors Φ X est r fois continûment dérivable et Φ (r) X (0) = ir E (X r ). 16