# Merkezî limit teoremi
Merkezi limit teoremi büyük bir sayıda olan bağımsız ve aynı dağılım gösteren rassal değişkenlerin (eğer sonlu varyans değerleri bulunuyorsa) aritmetik ortalamasının, yaklaşık olarak normal dağılım (yani Gauss dağılımı) göstereceğini ifade eden bir teoremdir. Matematiksel bir ifadeyle, bir merkezi limit teoremi olasılık kuramı içinde bulunan bir zayıf yakınsama sonucu setidir. Bunların hepsi, birçok bağımsız aynı dağılım gösteren rassal değişkenlerin herhangi bir toplam değerinin limitte belirli bir "çekim gücü gösteren dağılıma" göre dağılım gösterme eğiliminde olduğu gerçeğini önerir.
Pratik gerçekte birçok anakütle, sonlu varyans gösteren dağılımlar ortaya çıkardıkları için, bu teorem normal olasılık dağılımının önemini açığa çıkartır.
Bu teoreminin kapsamını genişletip sonuçlarını genelleştiren eklere göre (Lindeberg koşulu, Lyapunov koşulu, Gnedenko durumu ve Kolmogorov durumu) sonlu varyans gösterme için mutlaka aynı dağılım gerekmemektedir.


## Tarihçe.
Tijms'in yazdığına göre:


## Klasik merkezi limit teoremi.
Merkezi limit teoremi olasılık kuramı için ikinci temel teorem olarak kabul edilmektedir. (Birinci temel teorem büyük sayılar yasasıdır.) X_1, X_2, ... ,X_n , n tane bağımsız ve aynı şekilde sonlu sayıda ve μ ortalamasıyla ve σ^2 varyansıyla dağılım gösteren rassal değişkenler olsun. Merkezi limit teoremine göre, değişken sayısı n artarak sonsuza yaklaştıkça, orijinal dağılım her ne şekilde olursa olsun, ortalaması μ ve varyansı σ^2 olan, bir normal dağılıma yakınsama gösterir.
Rassal değişkenlerin S_n ile ifade edilen toplamı şöyle verilsin:
S_n = X_1 + ... + X_n 
ve
Z_n = S_n - n μ/σ√(n) ,
bir standart normal μ ortalamalı ve σ√(n) varyanslı standart normal dağılım olsun.
Bu yakınsama teoremine göre limitte n →∞, S_n 'nin dağılımı olan Z_n dağılımı N(0,1) "standart normal dağılımına" yaklaşır.
Bu demektir ki; eğer Φ(z) , N(0,1) dağılımının yığmalı dağılım fonksiyonu ise o halde her z reel sayısı için
lim_n →∞ (Z_n ≤z) = Φ(z) ,
veya, 
lim_n→∞(X_n-μ/σ/ √(n)≤z)=Φ(z) ,
olur. Burada
X_n=S_n n= (X_1+⋯+X_n) n
örneklem ortalaması olur.
Yillarca, büyük örneklem hacmi pratik olarak n gt;29 olarak kabul edilmekteydi. Fakat 1990'lı yıllarda yapılan araştırmalar ortaya çıkarmıştır ki bu pratik kural her zaman geçerli değildir. Anakütle ne kadar çok çarpıklık gösterirse gereken "büyük" örneklem hacminin gittikçe daha büyük olması gerekmektedir. Bu şekilde çarpıklık gösteren anakütleler pratikte çok nadir bulunabilirler. Bu pratik kurala dayanan ve çıkarımsal istatistik için kullanılan Student'in t dağılımı tablolarına ancak n=30 verilmektedir ama simülasyon ve bilgisayar animasyonu ile gösterilmiştir ki "Student'in t dağılımı" "tabloları" için seçilen en yüksek örneklem hacmi olan n gt;29 yeterli büyüklükte değildir.


### Merkezi limit teoreminin ispatı.
Olasılık kuramı ve istatistik bilimleri için temel önem taşıyan "merkezi limit teoremi"'nin ispatı karakteristik fonksiyonu kullanarak kolayca yapılabilir. Bu ispat zayıf büyük sayılar yasasını ispat etmek için kullanılan yönteme çok benzemektedir.
Sıfır ortalamaya ve birim varyansa sahip herhangi bir rassal değişken Y alalım (yani E(Y)=0, var(Y)=1); Taylor teoremi kullanılarak, Y için karakteristik fonksiyonun şu olduğu bilinir:
φ_Y(t) = 1 - t^2 2 + o(t^2), t →0
Burada t^2 ifadesinden daha hızlı sıfıra yaklaşan herhangi bir t_2 için o(t_2) →0 olur. Y_i ifadesini X_i standardize edilmiş değeri yani (X_i-μ)/σ olarak koyalım. Bu halde X_1, X_2, ... ,X_n gözlem noktalarının standardize edilmiş ortalaması 
Z_n = nX_n-nμ/σ√(n) = ∑_i=1^n Y_i √(n).
olur. Karakteristik fonksiyonun basit niteliklerine dayanarak, Z_n için karakteristik fonksiyonun
[φ_Y(t √(n))]^n = [ 1 - t^2 
2n + o(t^2 n) ]^n → e^-t^2/2, n →∞.
olduğu çıkartılır. Bu limit ise açıkça N(0,1) standart normal dağılımı için karakteristik fonksiyondur ve merkezi limit teoremi, karakteristik fonksiyonların yakınsamasının dağılımın yakınsamasına eşit olduğunu bildiren Levy süreklilik teoremi kullanarak ispat edilmiş olur.


### Limite yakınsama.
Eğer üçüncü merkezsel moment E(("X"1 − μ)3) bulunuyorsa ve sonlu ise, yukarıda açıklanan yakınsalaşma Berry-Eseen teoremi ile yakınsalaşma hızı asgari 1/"n"½ olur. Yakınsalaşma normali monotoniktir yani Z_n'nin enformasyon entropisi bir normal dağılım entropisine monotonik olarak yakınsalaşır.
Bir dağılımın toplama ile "düzgünleştirilmesi" için grafikler orijinal olasılık dağılım fonksiyonu ve diğer üç (dağılım fonksiyonların konvolusyonu ile elde edilen) toplama için şu grafiklerde görülür:
Merkezi limit teoreminin bir grafiksel temsili bir anakütlenin rassal ortalamalarının grafiği ile gösterilebilir. Bir "A""n" alalım ve bu bir rassal örneklem için örneklem ortalaması ve her bir örneklemden tek bir rassal değişken de "X"n olsun:
"A""n" = ("X"1 + ... + "X""n") / "n"
1den verilen bir örneklem hacmine kadar "A""n" ifadesini bulalım:
"A"1 = ("X"1) / 1
"A"2 = ("X"1 + "X"2)/ 2
"A"3 = ("X"1 + "X"2 + "X"3)/3
Merkezi limit teoremi için ortalamaları örneklem hacmi 90a kadar yani 30 nokta olarak gösterilmesi gerekir. Eğer "A""n"
"Z""n" = ("A""n" − μ) / (σ / "n"½)
kullanılarak standartize edilirse, yukarıda verilen "Z""n" değişkeninin aynısı ortaya çıkar ve bu bir standart normal dağılımına yakınsanır.
Merkezi Limit teoremi sonlu sayıda gözlemler için bir tahmin olarak kullanılması gerek bu sayılar normal dağılımın zirvesi etrafında toplanırsa iyi sonucdur; dağılımın kuyruklarında olan gözlemler için bu tahminin yeterince doğru olması için çok sayıda gözlem elde edilmesi gerekir.
Merkezi Limit Teoremi özellikle bağımsız ve aynen dağılım gösteren ayrık rassal değişkenler için uygulanır. Ayrık rassal değişken için bir toplama ile elde edilen değerde bir ayrık rassal değişkendir ve böylece bir seri ayrık rassal değişken için tek tek yığmalı olasılık dağılım fonksiyonu bir sürekli değişken için bir yığmalı olasılık dağılım fonksiyonua (yani normal dağılıma) yakınsalaşır.
Bu demektir ki eğer "n" sayıda bağımsız ve özdeş ayrık değişkenlerin toplamının gerçekleşmelerinin bir histogramını kurarsak, histogramı şekillendiren dikdörtgenlerin yukarı yüzlerinin merkezlerini birleştiren eğri, "n"' ∞ değerine yakınsalaştıkça, bir Gauss-tipi çan eğrisine gittikçe benzemeye başlar. Basit sadece iki değer alan bir ayrık değişkeni içeren binom dağılımı gösterdiği simüle edilen bir halde bile bu merkezi limit teoremi uygulandığı görülebilir.


### Büyük sayılar yasasına ilişkisi.
Hem büyük sayılar yasası hem de Merkezi Limit Teoremi daha genel bir problemin kısmı çözümleri olmaları çok olasıdır. Bu genel problem şöyle ifade edilebilir: "Eğer "n" sonsuz değere yakınsamaktaysa "S""n" ifadesinin yakınsama davranışı ne olur?". Matematik analizde bu çeşit sorulara yaklaşmak için en popüler matematik araç asimtotik seriler konumuna dayanır.
"f(n)" fonsksiyonunun asimtotik genişletilmesin şu olduğunu kabul edelim:
 f(n)= a_1 φ_1(n)+a_2 φ_2(n)+O(φ_3(n)) (n →∞).
Bu ifadenin her iki tarafını da φ_1(n) ile bölersek ve limit alırsak, en f(n) fonksiyonunun en baştaki terimin değişme haddini temsil eden, genişletilmenin en yüksek-sıradaki katsayısı olan a_1 ifadesini üretiriz:
lim_n→∞f(n)/φ_1(n)=a_1.
Formel olmadan bu şöyle açıklanabilir: "fonksiyon ile onu yakalsık olarak ifadenin arasındaki fark a_2 φ_2(n) haddinde büyür". Bu kavramın ana sonucu şöyledir: fonksiyonu uygun bir yaklaşık veren normalize eden fonksiyonlar ile bölersek ve bu sonucun limitteki davranışına bakarsak, bu netice orijinal fonksiyonun limitteki davranışı hakkında epeyce çok açıklama yapar.
"S""n" ifadesinin klasik olasılık teoride incelenmesinde de aynı usulde açıklama yapılmaktadır. Belirli düzenleme koşulları altında, eğer ξ ifadesi N(0,σ^2) olarak dağılım gösterirse, hem Büyük Sayılar Yasası yani
S_n/n →μ
hem de Merkezi Limit Teoremi yani
 S_n-nμ/√(n) →ξ
şu formel olmayan ifadenin ilk iki sabitlerinin değerlerini verirler:
S_n ≈μn+ξ√(n).
Eğer "X"1, "X"2, "X"3, ... bağımsız ve özdeş ifadeler ise ve belli bir 1 ≤β lt;2 için E(|X_1|^β) lt; ∞ ifadesi geçerli ise, o zaman
 S_n-nμ/n^1/β →0 
olur ve böylece √(n) sıfır olmayan limitleyici davranışı temin eden bir normalize etme fonksiyonu hizmetini gören n nin en yüksek üssü olur. "Takrarlanan logaritma yasası" ise çok ilgi çekici olarak, √(nloglogn) normalize edici fonksiyonun, Büyük Sayılar Yasası için n ile Merkezi Limit Teoremi için √(n) ifadeleri arasında olduğunu bildirir ve bu iki teorem ifadesi de bu değerin iki tarafında bulunan limitleri gösterir demektedir.


## Lyapunov koşulu.
Main: Lyapunov'un merkezsel limit teoremi.