Keskeinen raja-arvolause

**Keskeinen raja-arvolause** on toden­näköisyys­laskennan tulos, jonka mukaan keskiarvo riittävän suuresta määrästä toisistaan riippumattomia satunnais­muuttujia, joista kullakin on hyvin määritelty odotusarvo ja varianssi, on tietyin edellytyksin likipitäen normaalisti jakautunut riippumatta kunkin satunnaismuuttujan omasta jakaumasta.

Lausetta voi havainnollistaa muodostamalla suuren määrän havaintoja käsittävä otos, jossa kukin havainto on generoitu satunnaisesti muista havaintokerroista riippumatta. Tämän jälkeen lasketaan otoksen eli havaintojen keskiarvo. Jos tämä toistetaan monta kertaa, keskeisen raja-arvo­lauseen mukaan niiden keskiarvo jakautuu toden­näköisesti sitä tarkemmin normaali­jakauman eli niin sanotun kellokäyrän mukaisesti. Esimerkiksi jos kolikkoa heitetään erittäin monta kertaa, toden­näköisyys saada kruuna tietyllä määrällä kertoja noudattaa normaali­jakaumaa, jonka odotusarvo on puolet heittojen lukumäärästä.

Keskeisestä raja-arvo­lauseesta on monia muunnelmia. Sen kauimmin tunnettu muoto edellyttää, että satunnais­muuttujat, joiden keskiarvoa tarkastellaan, ovat samoin jakautuneet. Satunnais­muuttujien keskiarvo kuitenkin suppenee kohti normaali­jakaumaa tietyin edellytyksin useissa sellaisissakin tapauksissa, joissa ne eivät ole samoin jakautuneet eivätkä edes toisistaan riippumattomat.

Yleisimmässä mielessä *keskeiset raja-arvolauseet* ovat koko joukko toden­näköisyys­laskennan raja-arvo­lauseita. Ne kaikki ilmaisevat eri tavoin, että monen riippumattoman ja identtisesti jakautuneen tai tietyin edellytyksin myös tavalla tai toisella toisistaan riippuvankin satunnais­muuttujan summalla on taipumus noudattaa jakaumaa, joka kuuluu pieneen joukkoon *[[attraktori]]jakaumaa*. Kun riippumattomien ja identtisten jakautuneiden satunnais­muuttujien varianssi on äärellinen, tämä attraktori­jakauma on normaali­jakauma. Sitä vastoin jos muodostetaan sellaisten satunnais­muuttujien summa, joilla on potenssi­lain mukainen, funktion |*x*|-&alpha;-1 mukaisesti (0 1, ..., *X<sub>n</sub>*} *n* alkion satunnais­otos, toisin sanoen
jono riippumattomia ja identtisesti jakautuneita satunnais­muuttujia,
joilla kaikilla on sama odotusarvo on &mu; ja sama äärellinen varianssi &sigma;2. Tarkastellaan
näiden satunnaismuuttujien otoskeskiarvoa

:S_n := \frac{X_1+\cdots+X_n}{n}.

suurten lukujen lain mukaan otoskeskiarvo suppenee stokastisesti ja melkein varmasti kohti odotusarvoa *&mu;*, kun *n* kasvaa rajatta. Klassinen keskeinen raja-arvolause kuvaa stokastisten fluktuaatioiden suuruutta ja niiden jakauman muotoa tämä raja-arvon &mu; molemmin puolin suppenemisen aikana. Tarkemmin sanottuna se sanoo, että kun *n* kasvaa, otoskeskiarvon *S<sub>n</sub> ja sen raja-arvon &mu; erotuksen jakauma, kun se kerrotaan tekijällä <math>\sqrt{n}</math>, toisin sanoen tulon <math>\sqrt{n} (S_n - \mu)</math> jakauma) lähestyy [[normaalijakauma]]a, jonka keskiarvo on 0 ja varianssi &sigma;<sup>2</sup>.  Tarpeeksi suurella *n*:n arvolla *Sn:n jakauma on lähellä normaali­jakaumaa, jonka keskiarvo on &mu; ja varianssi &sigma;2/*n*. Tuloksen merkitys perustuu siihen, että lausekkeen \sqrt{n} (S_n - \mu) jakauma lähestyy normaali­jakaumaa riippumatta siitä, millainen jakauma alku­peräisillä satunnais­muuttujilla *X<sub>i</sub>* itsellään on.  Täsmällisessä muodossa lause voidaan esittää seuraavasti: 

**Lindebergin–Lévyn keskeinen raja-arvolause.** Olkoon {*X*1, *X*2, ...} 
jono riippumattomia ja identtisesti jakautuneita satunnais­muuttujia,
joiden odotusarvo on E[*X<sub>i</sub>*]&nbsp;=&nbsp;*µ* ja varianssi Var[*X<sub>i</sub>*] = &sigma;2 \sqrt{n} (S_n - \mu) konvergoivat jakaumaltaan kohti normaalijakaumaa  *N*(0, &sigma;2):

:\sqrt{n}\bigg(\bigg(\frac{1}{n}\sum_{i=1}^n X_i\bigg) - \mu\bigg)\ \xrightarrow{d}\ N(0,\;\sigma^2).

Tapauksessa *s*&nbsp;>&nbsp;0, jakauma­konvergenssi merkitsee, että lausekkeen \sqrt{n} (S_n - \mu) jakauman kertymäfunktio suppenee pisteittäisesti kohti normaali­jakauman N (0, &sigma;2 kertymä­funktiota jokaisella reaali­luvulla&nbsp;*z*,

:\lim_{n\to\infty} \Pr[\sqrt{n}(S_n-\mu) \le z] = \Phi(z/\sigma),

missä F(*x*) on normaali­jakauman kertymä­funktion arvo pisteessä *x*.  Suppeneminen on myös tasaista pisteessä *z* siinä mielessä, että

:\lim_{n\to\infty}\sup_{z\in{\mathbf R}}\bigl|\Pr[\sqrt{n}(S_n-\mu) \le z] - \Phi(z/\sigma)\bigr| = 0,

missä sup tarkoittaa joukon pienintä ylärajaa eli supremumia.

### Ljapunovin keskeinen raja-arvolause
Tämä lause on saanut nimensä venäläisen matemaatikko Aleksandr Ljapunovin mukaan. Tämä keskeisen raja-arvo­lauseen muunnelma edellyttää, että satunnais­muuttujien *X<sub>i</sub>* on oltava riippumattomat, mutta ei välttämättä identtisesti jakautuneet.  Lause edellyttää myös, että satunnais­muuttujilla |*X<sub>i</sub>*| on oltava asteiden (2 + &delta;) momentit ja että näiden momenttien kasvu on rajoitettu jäljempänä selitetyllä Ljapunovin ehdon mukaisella tavalla.

**Ljapunovin keskeinen raja-arvolause.**
 Olkoon {*X*1, *X*2, ...} jono riippumattomia satunnais­muuttujia, joista jokaisen
odotusarvo on µ*i* ja varianssi &sigma;i2. Määritellään

:s_n^2 = \sum_{i=1}^n \sigma_i^2

Jos jollakin arvolla &delta; > 0, pätee *Ljapunovin ehto*

: \lim_{n\to\infty} \frac{1}{s_{n}^{2+\delta}} \sum_{i=1}^{n} \operatorname{E}\big[\,|X_{i} - \mu_{i}|^{2+\delta}\,\big] = 0

niin summa (*X<sub>i</sub>* - µ*i*)/*s<sub>n</sub>* konvergoi jakaumaltaan kohti standardia
normaalijakaumaa, kun *n* kasvaa rajatta:

: \frac{1}{s_n} \sum_{i=1}^{n} (X_i - \mu_i) \ \xrightarrow{d}\ \mathcal{N}(0,\;1).

Käytännössä on tavallisesti helpointa tarkistaa, päteekö Ljapunovin ehto arvolla &delta; = 1. Jos satunnais­muuttujien jono toteuttaa Ljapunovin ehdon, se toteuttaa myös Lindebergin ehdon. Kääntäen ei kuitenkaan Lindebergin ehdosta seuraa Ljapunovin ehto.

### Lindebergin–Fellerin lause

Suomalainen matemaatikko Jarl Waldemar Lindeberg osoitti vuonna 1920, että keskeisen raja-arvolauseen
edellytyksenä ollut Ljapunovin ehto voidaan korvata heikommalla *Lindebergin ehdolla*. Myöhemmin William Feller osoitti, että Lindebergin ehto on myös välttämätön ehto sille, että summa konvergoi jakaumaltaan kohti normaalijakaumaa. Täten kysymyksen siitä, millä ehdoilla keskeinen raja-arvolause pätee, voidaan katsoa saaneen tyhjentävän ratkaisun.

Olkoon {*X*1, *X*2, ...} jono riippumattomia satunnais­muuttujia, joista jokaisen
odotusarvo on µ*i* ja varianssi &sigma;i2. Oletetaan lisäksi, että

: \lim_{n \to \infty} \max_{1\le i\le n} \frac{\sigma_1}{s_n} = 0, missä s_n = \sqrt{\sum_{i=1}^{n}\sigma_i^2}.

Tällöin summa (*X<sub>i</sub>* - µ*i*)/*s<sub>n</sub>* konvergoi jakaumaltaan kohti standardia
normaalijakaumaa, kun *n* kasvaa rajatta, jos ja vain jos seuraava *Lindebergin ehto* pätee:

: \lim_{n \to \infty} \frac{1}{s_n^2}\sum_{i = 1}^{n} \int_{|x - \mu_i| > \epsilon s_n} (x - \mu_i)^2 dF_{X_i}(x) = 0 kaikilla &epsilon; > 0.

### Moniulotteinen keskeinen raja-arvolause
Todistukset, joissa käytetään karakteristisia funktioita, voidaan yleistää tapauksiin, joissa kukin muuttuja *X**i* on satunnaisvektori avaruudessa \mathbb{R}^k, jonka vektori­arvoinen odotus­arvo on µ = E(*X<sub>i</sub>*) ja vektorin komponenteista muodostettu kovarianssimatriisi *S*, ja nämä satunnaisvektorit ovat riippumattomat ja identtisesti jakautuneet. Näiden vektorien summaus on suoritettava komponenteittain. Moniulotteinen keskeinen raja-arvolause sanoo, että skaalattuina nämä summat suppenevat kohti moniulotteista normaalijakaumaa.

Olkoon

:\mathbf{X_i}=\begin{bmatrix} X_{i(1)} \\ \vdots \\ X_{i(k)} \end{bmatrix}

*k*-vektori. Lihavointi merkinnässä **X***i* osoittaa, että kyseessä on satunnaisvektori, ei yksiulotteinen satunnaismuuttuja. Tällöin satunnaisvektorien summa on

:\begin{bmatrix} X_{1(1)} \\ \vdots \\ X_{1(k)} \end{bmatrix}+\begin{bmatrix} X_{2(1)} \\ \vdots \\ X_{2(k)} \end{bmatrix}+\cdots+\begin{bmatrix} X_{n(1)} \\ \vdots \\ X_{n(k)} \end{bmatrix} = \begin{bmatrix} \sum_{i=1}^{n} \left [ X_{i(1)} \right ] \\ \vdots \\ \sum_{i=1}^{n} \left [ X_{i(k)} \right ] \end{bmatrix} = \sum_{i=1}^{n} \mathbf{X_i}

ja keskiarvo 

: \frac{1}{n} \sum_{i=1}^{n} \mathbf{X_i}= \frac{1}{n}\begin{bmatrix} \sum_{i=1}^{n} X_{i(1)} \\ \vdots \\ \sum_{i=1}^{n} X_{i(k)} \end{bmatrix} = \begin{bmatrix} \bar X_{i(1)} \\ \vdots \\ \bar X_{i(k)} \end{bmatrix}=\mathbf{\bar X_n}

ja sen vuoksi

:\frac{1}{\sqrt{n}} \sum_{i=1}^{n} \left [\mathbf{X_i} - E\left ( X_i\right ) \right ]=\frac{1}{\sqrt{n}}\sum_{i=1}^{n} ( \mathbf{X_i} - \mu ) = \sqrt{n}\left(\mathbf{\overline{X}}_n - \mu\right) .

Moniulotteinen keskeinen raja-arvolause osoittaa, että

:\sqrt{n}\left(\mathbf{\overline{X}}_n - \mu\right)\ \stackrel{D}{\rightarrow}\ \mathcal{N}_k(0,\Sigma)

missä kovarianssimatriisi S on 

: \Sigma=\begin{bmatrix}
{\operatorname{Var} \left (X_{1(1)} \right)} & \operatorname{Cov} \left (X_{1(1)},X_{1(2)} \right) & \operatorname{Cov} \left (X_{1(1)},X_{1(3)} \right) & \cdots & \operatorname{Cov} \left (X_{1(1)},X_{1(k)} \right) \\
\operatorname{Cov} \left (X_{1(2)},X_{1(1)} \right) & \operatorname{Var} \left (X_{1(2)} \right) & \operatorname{Cov} \left(X_{1(2)},X_{1(3)} \right) & \cdots & \operatorname{Cov} \left(X_{1(2)},X_{1(k)} \right) \\
\operatorname{Cov}\left (X_{1(3)},X_{1(1)} \right) & \operatorname{Cov} \left (X_{1(3)},X_{1(2)} \right) & \operatorname{Var} \left (X_{1(3)} \right) & \cdots & \operatorname{Cov} \left (X_{1(3)},X_{1(k)} \right) \\
\vdots & \vdots & \vdots & \ddots & \vdots \\
\operatorname{Cov} \left (X_{1(k)},X_{1(1)} \right) & \operatorname{Cov} \left (X_{1(k)},X_{1(2)} \right) & \operatorname{Cov} \left (X_{1(k)},X_{1(3)} \right) & \cdots & \operatorname{Var} \left (X_{1(k)} \right) \\
\end{bmatrix}.

### Yleistetty lause

Keskeinen raja-arvolause sanoo, että riippumattoman ja identtisesti jakautuneiden satunnaismuuttujien summa, kun niillä on äärellinen varianssi, lähestyy suurella todennäköisyydellä normaalijakaumaa, kun muuttujien lukumäärä kasvaa. Gnedenko ja Kolmogorov keksivät lauseelle
yleistyksen, joka koskee sellaisiakin satunnaismuuttujia, joiden jakaumat ääripäissään pienenevät potenssilain
mukaan kuten  |*x*|-a-1, missä 0 f(x;\alpha,0,c,0), kun yhteenlaskettavien lukumäärä kasvaa. Jos a > 2, tämä summa suppenee kohti vakaata jakaumaa, jonka vakausparametri on arvoltaan 2, toisin sanoen Gaussin jakaumaa.

## Keskeisiä raja-arvolauseita riippuville prosesseille

## Huomautuksia

### Klassisen keskeisen raja-arvolauseen todistus
Keskeisen raja-arvolauseen klassinen voidaan todistaa melko helposti karakterististen funktioiden avulla. Todistus on samantapainen kuin heikon suurten lukujen lain. Taylorin lauseen mukaan jokaisen sellaisen satunnaismuuttujan *Y* karakteristinen funktio, jonka odotusarvo on nolla ja varianssi var(*Y*) = 1), on

:\varphi_Y(t) = 1 - {t^2 \over 2} + o(t^2), \quad t \rightarrow 0

missä *o* on jokin *t*:n funktio, joka suppenee kohti nollaa nopeammin kuin *t*2*.

Olettamalla, että *Yi* on (*Xi* - µ)/s eli *Xi*:n standardoitu arvo on helppo huomata, että havaintojen *X*<sub>1</sub>, *X*<sub>2</sub>, ..., *X*<sub>*n*</sub> standardoitu keskiarvo on 

:<math>Z_n = \frac{n\overline{X}_n-n\mu}{\sigma \sqrt{n}} =\sum_{i=1}^n {Y_i \over \sqrt{n}}</math>

Karakterististen funktioiden perusominaisuuksien nojalla summan karakteristinen funktio on:

:<math>
\begin{align}
\varphi_{Z_n} & =\varphi_{\sum_{i=1}^n {Y_i \over \sqrt{n}}}\left(t\right) = \varphi_{Y_1} \left(t / \sqrt{n} \right) \cdot \varphi_{Y_2} \left(t / \sqrt{n} \right)\cdots \varphi_{Y_n} \left(t / \sqrt{n} \right) \\[8pt]
& = \left[\varphi_Y\left({t \over \sqrt{n}}\right)\right]^n
\end{align}
</math>

niin että kun [[eksponenttifunktio]] voidaan esittää raja-arvona
:<math>e^x = \lim (1 + \frac{x}{n})^n</math>, 
*Z*<sub>*n*</sub>:n karakteristinen funktio on

:<math>\left[\varphi_Y\left({t \over \sqrt{n}}\right)\right]^n = \left[ 1 - {t^2 \over 2n} + o\left({t^2 \over n}\right) \right]^n \, \rightarrow \, e^{-t^2/2}, \quad n \rightarrow \infty.</math>

Mutta tämä on sama kuin standardin normaalijakauman *N*(0, 1), karakteristinen funktio, ja keskeinen raja-arvolause seuraa [[Lévyn jatkuvuuslause]]esta, joka takaa, että karakterististen funktioiden suppenemisesta seuraa
jakaumien konvergenssi.

===Suppeneminen kohti raja-arvoa===
Keskeinen raja-arvolause antaa vain asymptoottisen jakauman. Äärelliselle äärelliselle määrälle havaintoja se antaa järkevän likiarvon vain lähellä normaalijakauman huippua; tarvitaan erittäin suuri määrä havaintoja, jotta tulos pätisi myös jakauman kummassakin ääripäässä.

Jos kolmas keskeinen [[momentti (matematiikka)|momentti]] E((*X*<sub>1</sub> - &mu;)<sup>3</sup>) on olemassa ja se on äärellinen, mainittu suppeneminen on [[tasainen suppeneminen|tasaista]] ja suppenemisvauhti on vähintään luokkaa 1/*n*<sup>1/2</sup> (katso [[Berryn-Esseenin lause]]). [[Steinin metodi]]a voidaan käyttää, paitsi keskeisen raja-arvolauseen todistamiseen, myös suppenemisvauhdin arvioimiseen valitulla mitta-asteikolla.

Suppeneminen normaali­jakaumaa kohti on mono­tonista siinä mielessä, että *Z*<sub>*n*</sub>:n [[entropia]] kasvaa [[monotoninen funktio|mono­tonisesti]] kohti normaali­jakauman entropiaa.

Keskeinen raja-arvolause pätee erityisesti myös riippumattomien ja identtisesti jakautuneiden [[diskreetti satunnaismuuttuja|diskreettien satunnais­muuttujien]] keskiarvolle. Diskreettien satunnais­muuttujien summa on yhä diskreetti satunnais­muuttuja, joten tässä on kysymyksessä jono diskreettejä satunnais­muuttujia, joiden [[kertymäfunktio]] suppenee kohti jatkuvan jakauman, nimittäin [[normaalijakauma]]n kertymäfunktiota. Tämä merkitsee, että jos *n* riippumattoman identtisen satunnais­muuttujan toteutuneista summista laaditaan [[histogrammi]] ja piirretään käyrä, joka yhdistää histo­grammin muodostavien suorakulmioiden ylä­reunojen kesk­ipisteet, tämä käyrä muistuttaa muodoltaan [[Gaussin käyrä]]ä sitä tarkemmin, mitä suurempi luku *n* on. Tätä tulosta sanotaan [[de Moivren–Laplacen lause]]eksi. Esimerkiksi jos lasketaan sellaisten satunnais­muuttujien summa, joista kullakin on vain kaksi mahdollista arvoa, tämä summa noudattaa [[binomijakauma]]a, joka lähestyy muodoltaan normaali­jakaumaa sitä enemmän, mitä enemmän näitä yhteen­laskettuja satunnais­muuttujia on.

===Keskeinen raja-arvolause ja suurten lukujen laki===
Keskeisen raja-arvolauseen tavoin myös [[suurten lukujen laki]] on osittainen ratkaisu yleiseen ongelmaan: Mitä
riippumattomien ja identtisesti jakautuneiden satunnais­muuttujien summalle *S*<sub>*n*</sub> tai niiden
keskiarvolle lopulta tapahtuu kun satunnais­muuttujien lukumäärä *n* kasvaa rajatta?  

Matemaattisessa analyysissä [[asymptoottonen sarja|asymptoottiset sarjat]] kuuluvat käytetyimpiin työkaluihin senlaatuisten kysymysten käsittelyssä. Oletetaan, että *f*(*n*):llä on asymptoottinen kehitelmä:
: <math>f(n)= a_1 \varphi_{1}(n)+a_2 \varphi_{2}(n)+O(\varphi_{3}(n)) \qquad  (n \rightarrow \infty).</math>

Jakamalla molemmat puolet f<sub>1</sub>(*n*):llä ja ottamalla raja-arvo saadaan *a*<sub>1</sub>, kehitelmän korkeimman asteen termin kerroin, joka osoittaa, kuinka nopeasti *f*(*n*):n johtava termi muuttuu.

: <math>\lim_{n\to\infty}\frac{f(n)}{\varphi_{1}(n)}=a_1.</math>

Epämuodollisesti voidaan sanoa, että "*f*(*n*) kasvaa likiptäen samassa tahdissa kuin *a*<sub>1</sub> f<sub>1</sub>(*n*)". Jos *f*(*n*):n ja sen likiarvon erotus jaetaan kehitelmän seuraavalla termillä saadaan *f*(*n*):lle tarkempi arvio:

: <math>\lim_{n\to\infty}\frac{f(n)-a_1 \varphi_{1}(n)}{\varphi_{2}(n)}=a_2 .</math>

Tässä voidaan sanoa, että funktion ja sen likiarvon erotus kasvaa likipitäen saman verran kuin *a*<sub>2</sub> f<sub>2</sub>(*n*).  Ajatuksena on, että kun funktio jaetaan sopivilla normalisointi­funktioilla ja tutkitaan, miten näin saadulle funktiolle käy *n*:n kasvaessa voidaan päätellä paljon myös siitä, miten alkuperäiselle funktiolle silloin tapahtuu

Kutakuinkin samaan tapaan voidaan tarkastella myös riippumattomien ja identtisesti jakautuneiden satunnais­muuttujien *X*<sub>1</sub>, ..., *Xn* summaa *Sn*. Jos jokaisella *Xi* on äärellinen odotusarvo &mu; suurten lukujen lain mukaan niiden keskiarvo lähestyy tätä odotusarvoa eli *Sn*/*n* → µ. Jos lisäksi jokaisella *Xi* on äärellinen varianssi &sigma;<sup>2</sup>, niin keskeisen raja-arvolauseen mukaan

: <math> \frac{S_n-n\mu}{\sqrt{n}} \rightarrow \xi ,</math>

missä &xi; noudattaa normaali­jakaumaa N(0, &sigma;<sup>2</sup>).  Tästä saadaan kahden ensimmäisen vakion arvot epämuodollisessa kehitelmässä

: <math>S_n \approx \mu n+\xi \sqrt{n}. \, </math>

Tapauksessa, jossa satunnais­muuttujilla *X*<sub>*i*</sub> ei ole äärellistä keskiarvoa tai varianssia, niiden
summalle voidaan silti sopivasti muuntamalla ja uudelleen skaalaamalla saada suppeneva lauseke:

:<math>\frac{S_n-a_n}{b_n} \rightarrow \Xi,</math>

tai vähemmän muodollisesti

: <math>S_n \approx a_n+\Xi b_n. \, </math>

Tällä tavoin saatuja jakaumia &Xi; sanotaan *vakaiksi jakaumiksi*. Normaali­jakauma selvästikin on vakaa, mutta on olemassa muitakin vakaita jakaumia, esimerkiksi [[Cauchyn jakauma]], jolla ei ole odotusarvoa eikä varianssia ja jota sen vuoksi ei sen enempää keskeinen raja-arvolause enempää kuin suurten lukujen lakikaan koske.

Skaalaus­tekijä *bn* saattaa olla verrannollinen lausekkeeseen *n*<sup>c</sup>, missä usein *c* = 1/2, mutta se voidaan myös kertoa jollakin *n*:n [[hitaasti vaihteleva funktio|hitaasti vaihtelevalla funktiolla]].

[[Toistettujen logaritmien laki]] tarkentaa, mitä tapahtuu [[suurten lukujen laki|suurten lukujen lain]] ja keskeisen raja-arvolauseen "välissä".  Erityisesti se osoittaa, että normalisointi­funktion <math> \sqrt{n\log\log n} </math> avulla, joka suuruudeltaan on suurten lukujen laissa esiintyvän lukumäärän *n* ja keskeisessä raja-arvolauseessa esiintyvän neliöjuuren <math>\sqrt{n}</math> välissä, saadaan *n*:n kasvaessa ei-triviaaleja tuloksia.

===Vaihtoehtoisia muotoiluja ===

====Tiheysfunktiot ====
Kahden tai useamman riippumattoman muuttujan summan [[tiheysfunktio]] on näiden muuttujien tiheyksien [[konvoluutio]], jos niillä on tiheys­funktiot. Niinä keskeinen raja-arvolauseen voidaan tulkita koskevan näiden tiheysfunktioiden ominaisuuksia konvoluutiossa: tiheys­funktio­joukon konvoluutio lähestyy normaalijakaumaa, kun tiheys­funktioiden lukumäärä kasvaa rajatta. Tällaiset tiheys­funktioiden suppenemista koskevat, niin sanotut *lokaalit keskeiset raja-arvolauseet* kuitenkin pätevät vain tietyin edellytyksin, jotka ovat ankarammat kuin keskeisen raja-arvolauseen edellä esitetyissä versiossa.

====Karakteristiset funktiot====
Koska konvoluution [[karakteristinen funktio]] on siinä mukana olevien tiheysfunktioiden karakterististen funktioiden tulo, keskeisestä raja-arvolauseesta on olemassa myös niitä koskeva muoto: tiheysfunktiojoukon karakterististen funktioiden tulo lähestyy normaalijakauman karakteristista funktiota, kun tiheysfunktioiden lukumäärä kasvaa rajatta, edellä mainituilla edellytyksillä.  Tämän tarkentamiseksi on karakterististen funktioiden argumentteja on kuitenkin muunnettava sopivalla skaalaustekijällä.

Vastaava tulos voidaan esittää myös [[Fourier-muunnos|Fourier-muunnoksille]], sillä karakteristinen funktio on
oleellisesti Fourier-muunnos.
==Lauseen laajennuksia ==

===Positiivisten satunnaismuuttujien tulo===
Lukujen tulon [[logaritmi]] on tulon tekijöiden logaritmien summa. Sen vuoksi sellaisten satunnais­muuttujien tulo, joista kukin lähestyy normaalijakaumaa mutta voi saada vain positiivisia arvoja, lähestyy [[log-normaalijakauma]]a. Monet fysikaaliset suureet (erityisesti massa tai pituus, jotka eivät voi olla negatiivisia), ovat monien satunnaisten tekijöiden tuloja, jolloin nämä suureet monissa tilanteissa noudattavat log-normaalijakaumaa.

Sen sijaan että satunnaismuuttujien summaa koskeva keskeinen raja-arvolause edellyttää äärellistä varianssia, vastaava lause niiden tulolle edellyttää, että tiheysfunktioiden neliöt ovat integroituvia.

==Klassisen viitekehyksen ulkopuolella ==

Asymptoottinen normaalisuus, toisin sanoen suppeneminen sopivien muunnosten ja uudelleenskaalausten jälkeen kohti normaalijakaumaa, on ilmiö, joka esiintyy monessa muussakin kuin edellä käsitellyissä tilanteissa, toisin sanoen satunnaismuuttujien tai -vektoreiden summan tapauksessa. Tilanteita, joissa vastaava ilmiö esiintyy, on aikaa myöten paljastunut jatkuvasti lisää, eikä niitä kaikkia toistaiseksi voida käsitellä yhtenäiseltä pohjalta.



===Lakunaariset trigonometriset sarjat===
<blockquote>*'Salemin–Zygmundin lause**. Olkoon ''U'' satunnaismuuttuja
joka on [[tasainen jakauma|jakautunut tasaisesti]] välille (0, 2p), ja ''X<sub>k</sub>'' = ''r<sub>k</sub>'' cos(''n<sub>k</sub>U'' + ''a<sub>k</sub>''), missä
* ''n''<sub>''k''</sub> toteuttaa lakunaarisuusehdon: on olemassa sellainen luku ''q'' > 1, että ''n''<sub>''k''+1</sub> = ''qn''<sub>''k''</sub> kaikilla ''k'':n arvoilla,
* ''r''<sub>''k''</sub> ovat sellaisia, että 
:: <math> r_1^2 + r_2^2 + \cdots = \infty \text{ and } \frac{ r_k^2 }{ r_1^2+\cdots+r_k^2 } \to 0, </math>
* 0 = ''a''<sub>''k''</sub> < 2p. 
Silloin

: <math> \frac{ X_1+\cdots+X_k }{ \sqrt{r_1^2+\cdots+r_k^2} } </math>

konvergoi jakaumaltaan kohti normaalijaumaa ''N''(0, 1/2).</blockquote>

===Gaussin polytoopit===
<blockquote>**Teoreema**:  Olkoot ''A''<sub>1</sub>, ..., ''A''<sub>''n''</sub> riippumattomia satunnaisesti valittuja pisteitä tasossa <math>\mathbb{R}^2</math>, joista jokainen noudattaa kaksi­ulotteista standardi­normaali­jakaumaa. Olkoon ''K''<sub>''n''</sub> näiden pisteiden [[kupera peite]] ja **'Xn* alueen *K*<sub>*n*</sub> pinta-ala. Silloin

: <math> \frac{ X_n - \mathrm{E} (X_n) }{ \sqrt{\operatorname{Var} (X_n)} } </math>

suppenee jakaumana kohti normaali­jakaumaa *N*(0, 1), kun *n* kasvaa rajatta.</blockquote>

Sama pätee kaikissa ulottuvuuksissa (2, 3, ...).

[[Kupera polytooppi|Kuperaa polytooppia]] *K*<sub>*n*</sub> sanotaan Gaussin satunnais­polytoopiksi.

Vastaava tulos pätee Gaussin polytooppien kärkien, särmien ja sivutahkojenkin lukumäärälle.

===Alijonot===
*'Lause.*'  Olkoot satunnaismuuttujat *X*<sub>1</sub>, *X*<sub>2</sub>, … ∈ *L*<sub>2</sub>(O) sellaisia, että *Xn* → 0 [[heikko suppeneminen (Hilbertin avaruus)|heikosti]] joukossa *L*<sub>2</sub>(O) ja *Xn*<sup>2</sup> → 1 heikosti joukossa *L*<sub>1</sub>(O). Silloin on olemassa sellaiset kokonaisluvut *n*<sub>1</sub> < *n*<sub>2</sub> < …, että <math> ( X_{n_1}+\cdots+X_{n_k} ) / \sqrt k </math> suppenee kohti jakaumaa *N*(0, 1), kun *k* kasvaa rajatta.

===Satunnaiskulku kidehilassa ===
Keskeisestä raja-arvolauseesta on olemassa myös versio, joka koskee yksinkertaista [[satunnaiskulku]]a [[kidehila]]ssa. Kidehilan oletetaan olevan ääretön Abelin verkko, joka peittää äärellisen verkon. Tätä tulosta on käytetty kiteiden rakenteiden kuvaamiseen.

==Sovelluksia ja esimerkkejä==

===Yksinkertainen esimerkki===




Yksinkertainen esimerkki keskeisestä raja-arvolauseesta saadaan heittämällä suurta määrää samanlaisia, "painottamattomia" noppia. Saatujen silmälukujen summa tai vaihtoehtoisesti keskiarvo noudattaa tällöin likimain normaali­jakaumaa. Koska reaalimaailman suureet ovat usein monien havaitsematta jääneiden satunnais­ilmiöiden painotettuja keskiarvoja, keskeinen raja-arvolause osaltaan myös selittää, miksi normaalijakauma esiintyy mitä erilaisimmissa ilmiöissä. Siihen perustuu myös normaali­jakauman käyttö likiarvona suuria otoksia koskevia kontrolloiduissa tilastollisissa kontrolloiduissa kokeissa. 



===Sovellettavuudesta yleisesti ===
Julkaistussa kirjallisuudessa on suuri joukko käyttökelpoisia ja mielen­kiintoisia esimerkkejä keskeisen raja-arvolauseen sovelluksista. Esimerkkeinä voidaan mainita seuraavat: 
*Sen etäisyyden todennäköisyys­jakauma, johon [[satunnaiskulku|satunnaiskulussa]] päädytään, lähestyy normaalijakaumaa.
*Heitettäessä suurta määrää kolikkoja kruunien tai vastaavasti klaavojen lukumäärän todennäköisyys­jakauma lähestyy normaalijakaumaa.

Keskeistä raja-arvolauseesta seuraa, että mielivaltaisten riippumattomien satunnai­smuuttujien summa noudattaa 
likimain normaalijakaumaa, mikäli niitä yhteenlaskettavia muuttujia on hyvin paljon ja mikäli jokaisen yksityisen
muuttujan vaihtelu on pieni verrattuna summan vaihteluun.

Täten keskeinen raja-arvolause myös selittää "kellokäyrän" ([[Gaussin käyrä]]n) yleisen esiintymisen
reaali­maailman aineistoon sovelletuissa tietynlaisen tapauksen esiintyvyyden arvioinneissa. Sen kaltaisissa tapauksissa kuin esimerkiksi elektronisessa hälyssä, tutkintojen arvosanoissa ja monissa muissa voidaan yksittäistä mitattua arvoa usein pitää painotettuna keskiarvona suuresta määrästä pieniä ilmiöitä. Keskeisen raja-arvolauseen yleistysten avulla todetaan, että tämä usein, joskaan ei kaikissa tapauksissa, tuottaa lopullisen jakauman, joka on likipitäen normaali.

===Regressioanalyysi===

[[Regressioanalyysi]] ja varsinkin tavallinen [[pienimpien neliösummien menetelmä]] osoittavat, että jos jokin
muuttuja ei ole riippumaton, se yleensä riippuu jonkin funktion mukaisesti yhdestä tai useammasta riippu­mattomasta muuttujasta, joihin lisäksi liittyy korjaustermi. Useat regressioon perustuvat tilastolliset päätelmät edellyttävät, että korjaustermi on normaalisti jakautunut. Tämä oletus voidaan perustella olettamalla, että korjaustermi itse asiassa on hyvin monien riippumattomien korjaustermien summa; vaikka yksittäiset korjaustermit sinänsä eivät olisikaan normaalisti jakauteet, keskeisen raja-arvolauseen perusteella niiden summaa voidaan kuitenkin approksimoida normaalijakaumalla. 

==Historia==

Käsityksen normaalijakauman luonteesta eräänlaisena monen tekijän yhteisvaikutusta kuvaavana rajajakaumana esitti eräissä erikoistapauksissa jo [[Abraham de Moivre]] vuonna 1733. Keksintö oli tuolloin pitkälti aikaansa edellä, ja se lähes unohdettiin, kunnes kuuluisa ranskalainen matemaatikko [[Pierre-Simon Laplace]] palasi asiaan vuonna 1812 julkaistussa teoksessa *Théorie analytique des probabilités''. Laplace kuitenkin onnistui todistamaan lauseen vain binomijakauman tapauksessa. Mutta myöskään Laplacen keksintö ei hänen omana aikanaan saanut paljonkaan huomiota. Vasta 1800-luvun lopulla keskeisen raja-arvolauseen merkitys alettiin yleisesti ymmärtää, ja vuonna 1901 venäläinen matemaatikko Aleksandr Ljapunov määritteli sen yleisin käsittein ja todisti täsmällisesti, miten se matemaattisesti toimii.  Nykyisin keskeinen raja-arvolause yhdessä suurten lukujen lain kanssa muodostaa perustan koko matemaattiselle tilastotieteelle.

Francis Galton kuvaili keskeisen raja-arvolauseen merkitystä seuraavasti:

Termin "keskeinen raja-arvolause" () otti ensimmäisenä käyttöön George Pólya vuonna 1920 erään tutkielmansa nimessä. Pólya nimitti lausetta "keskeiseksi" sen suuren merkityksen vuoksi, joka sillä todennäköisyysteoriassa on. Le Camin mukaan todennäköisyyslaskennan ranskalainen koulukunta kuitenkin tulkitsee sanan "keskeinen" viittaavan siihen, että lause kuvaa jakauman keskikohdan, ei sen ääripäiden käyttäytymistä. Pólyan vuonna 1920 julkaiseman tutkielman yhteenvedossa sanotaan:

Gaussin todennäköisyystiheyden 1 = e-x² esiintyminen toistokokeissa ja mittausvirheissä, jotka saadaan yhteistuloksena hyvin monista ja hyvin pienistä virhelähteistä, sekä diffuusioprosesseissa ja niin edelleen voidaan tunnetusti selittää samalla raja-arvolauseella, jolla on keskeinen osa toden­näköisyys­laskennassa. Tämän raja-arvolauseen keksijäksi pitää nimetä Laplace; luultavaa on, että sen täsmällisen todistuksen esitti ensimmäisenä Tšebyšov, ja terävin löydettävissä oleva muoto, jonka tunnen, on eräässä Ljapunovin artikkelissa.  [...]

Yleisimmässä muodossaan lauseen todisti suomalainen matemaatikko Lindeberg vuonna 1922. Saman tuloksen todisti myöhemmin Lindebergin todistuksesta tietämättä myös Alan Turing vuonna 1934. Vasta lähetettyään tutkielmansa Cambridgen yliopistoon tarkastettavaksi hän sai tietää, että se oli jo aiemmin todistettu, minkä vuoksi Turingin tutkielmaa ei koskaan julkaistu.

Eräs Andreas Haldin laatima artikkeli matemaattisen tilasto­tieteen historiasta sisältää myös perusteellisen esityksen keskeisen raja-arvolauseen historiasta. Siinä kerrotaan yksityiskohtaisesti Laplacen sekä myös Cauchyn, Besselin ja Poissonin keksinnöistä. Hans Fischer on laatinut asiasta kaksi historiallista esityistä, joista ensimmäinen kuvaa kehitystä Laplacesta Cauchyyn, jälkimmäinen von Misesin, Pólyan, Lindebergin, Lévyn ja Cramérin tutkimuksia 1920-luvulla.  Le Cam on kuvaillut kehitystä vuoden 1935 aikoihin. Bernstein on myös laatinut lauseen historiasta esityksen, joka keskittyy Pafnuty Tšebyšovin ja hänen oppilaidensa Andrei Markovin ja Aleksandr Ljapunovin töihin, jotka johtivat keskeisen raja-arvolauseen ensimmäiseen yleisillä ehdoilla päteviin todistuksiin.

## Katso myös
* Suurten lukujen laki
* Normaalijakauma
* Benfordin laki 

## Lähteet
* 
* 

### Viitteet

## Aiheesta muualla

* 
* 
* 
* 
* 
* 
* 
* 
* 
*