5) Th´eor`eme Central Limite Vectoriel
Th´eor`eme 15. Soient X1,...,Xndes vecteurs al´eatoires ind´ependants et de mˆeme loi dans Rdtels que
E(X2
1(j)) <+∞pour tout j∈ {1,...,n}. Notons ml’esp´erance de X1et Γsa matrice de covariance.
Alors √nX1+...+Xn
n−mL
−→
n→+∞Nd(0,Γ)
D´
emonstration : voir TD.
III Th´eor`eme de Cochran et mod`eles Gaussiens
1) Rappel : projection orthogonale sur un sous-espace vectoriel
Soit Eun R-espace vectoriel de dimension finie n, muni d’un produit scalaire (on parle d’espace Eu-
clidien). On peut par exemple prendre E=Rnet le produit scalaire d´efini au d´ebut du paragraphe II.
D´efinition 16. ⋆Deux vecteurs xet yde Esont dits orthogonaux si hx, yi= 0.
⋆Deux parties Aet Bde Esont dites orthogonales si hx, yi= 0 pour tout (x, y)∈A×B.
⋆Si Aest une partie de Ealors son orthogonal est le sous-espace vectoriel
A⊥={x∈E:∀y∈Ahx, yi= 0}
⋆Une base orthonorm´ee (BON) de Eest une base (ei)1≤i≤ntelle que keik= 1 pour tout i, et hei, eji= 0
pour i6=j
Notons qu’une telle base existe toujours dans un espace Euclidien.
D´efinition 17. Si il existe p∈ {2,...,n}et E1,...Epdes sous-espaces vectoriels de Edeux `a deux
orthogonaux tels que pour tout x∈Es’´ecrit de mani`ere unique
x=x1+···+xpavec (x1,...,xp)∈E1× ··· × Ep
alors on dit que Eest somme directe orthogonale de E1,...Epet on note E=E1
⊥
⊕··· ⊥
⊕Ep. De plus,
pour tout i∈ {1,...,p}, l’application ΠEi:x∈E7−→ xiest appel´ee projection orthogonale sur Ei.
Notons que, dans ce cas, on peut former une BON de Een r´eunissant des BON des Eiet
∀i∈ {1,...,p}E⊥
i=E1
⊥
⊕ ···Ei−1
⊥
⊕Ei+1
⊥
⊕ ··· ⊥
⊕Ep
Proposition 18. Si Fest un sous-espace vectoriel de E, l’orthogonal de Fest un sous-espace vectoriel
de dimension n−dimFet E=F⊕F⊥. Mentionnons aussi que (F⊥)⊥=F.
2) Th´eor`eme de Cochran
Th´eor`eme 19 (Cochran).Soit X∼ Nn(0, σ2In)(c’est-`a-dire X1,...,Xnest un n-´echantillon de loi
N(0, σ2)). Supposons que Rnest muni de sa base canonique et que
Rn=E1
⊥
⊕ ··· ⊥
⊕Ep
Alors les projections ΠE1X, . . . , ΠEpXde Xsont des vecteurs Gaussiens ind´ependants de lois respec-
tives Nn(0, σ2ΠE1),...,Nn(0, σ2ΠEp). En particulier
∀i∈ {1,...,p}1
σ2kΠEiXk2∼χ2(dimEi)
4