Bukti teorema limit pusat tidak menggunakan fungsi karakteristik

11

Apakah ada bukti untuk CLT yang tidak menggunakan fungsi karakteristik, metode yang lebih sederhana?

Mungkin metode Tikhomirov atau Stein?

Sesuatu yang mandiri dapat Anda jelaskan kepada seorang mahasiswa (tahun pertama matematika atau fisika) dan membutuhkan waktu kurang dari satu halaman?

skan
sumber
2
Saya membuat sketsa pendekatan dasar di stats.stackexchange.com/a/3904/919 . Dapat diperdebatkan, menggunakan fungsi pembuatan kumulans adalah metode paling sederhana yang mungkin: "sederhana" Anda mungkin dimaksudkan untuk membaca "lebih dasar."
whuber
2
Di bawah kondisi yang lebih ketat daripada ketika menggunakan fungsi karakteristik Anda dapat menggunakan fungsi-fungsi menghasilkan momen sebagai gantinya (memang CLT pertama yang saya lihat adalah dari formulir ini) - tetapi eksposisi sangat mirip.
Glen_b -Reinstate Monica
@ Glen_b Saya juga berpikir itu bisa lebih mudah dengan momen. Pokoknya saya akan meninggalkan pertanyaan terbuka kalau-kalau ada orang lain memposting demonstrasi yang berbeda.
skan
Sebagai bukti, sebenarnya tidak lebih mudah (bukti dengan cfs dapat ditulis dalam bentuk yang sama dengan bukti dengan mgfs), tetapi mungkin lebih disukai bagi siswa yang mungkin tidak memiliki latar belakang dengan fungsi yang melibatkan . Artinya, Anda dapat menyimpan memperkenalkan konsep-konsep baru, tetapi jika mereka memiliki konsep-konsep itu sudah menjadi bukti dari pernyataan yang sesuai dengan cfs sebenarnya tidak lebih sulit untuk dilakukan (meskipun lebih umum). Apakah ini lebih baik tergantung pada siswa yang Anda hadapi. i
Glen_b -Reinstate Monica
Saya ingat profesor statistik pascasarjana tahun pertama saya memberikan "bukti" visual CLT dengan menunjukkan distribusi sampel rata-rata dengan bawah berbagai model probabilitas. Normal, tentu saja, tidak menunjukkan kecenderungan, tetapi distribusi eksponensial, bernoulli, dan berbagai-ekor berat semua "dibulatkan" ke bentuk yang akrab secara visual per setiap peningkatan . nn=10,100,1000n
AdamO

Jawaban:

6

Anda dapat membuktikannya dengan metode Stein, namun itu masih bisa diperdebatkan jika buktinya dasar. Sisi positif dari metode Stein adalah Anda mendapatkan bentuk Berry Esseen yang sedikit lebih lemah secara gratis. Juga, metode Stein tidak kekurangan ilmu hitam! Anda dapat menemukan eksposisi bukti di bagian 6 tautan ini . Anda juga akan menemukan bukti CLT lainnya di tautan.

Berikut ini gambaran singkatnya:

1) Buktikan, menggunakan integrasi sederhana dengan bagian-bagian dan kepadatan distribusi normal, bahwa untuk semua terdiferensiasi secara terus-menerus jika adalah didistribusikan. Lebih mudah untuk ditunjukkan Normal menunjukkan hasil dan sedikit lebih sulit untuk menunjukkan yang sebaliknya, tetapi mungkin itu bisa diambil dengan keyakinan.A N ( 0 , 1 ) AEf(A)Xf(A)=0AN(0,1)A

2) Lebih umum, jika untuk setiap terdiferensiasi secara terus menerus dengan dibatasi, maka konvergen ke dalam distribusi. Buktinya di sini adalah lagi dengan integrasi oleh bagian-bagian, dengan beberapa trik. Secara khusus, kita perlu tahu bahwa konvergensi dalam distribusi setara dengan untuk semua fungsi kontinu yang dibatasi . Memperbaiki , ini digunakan untuk merumuskan kembali:f f , f X nEf(Xn)Xnf(Xn)0ff,fXnE gN(0,1)g gEg(Xn)Eg(A)gg

Eg(Xn)Eg(A)=Ef(Xn)Xnf(Xn),

di mana seseorang memecahkan untuk menggunakan teori ODE dasar, dan kemudian menunjukkan bagus. Jadi jika kita dapat menemukan bagus , dengan asumsi rhs pergi ke 0, dan juga sisi kiri.f ffff

3) Akhirnya, buktikan teorema limit pusat untuk mana iid dengan rata-rata 0 dan varian 1. Ini lagi mengeksploitasi trik di langkah 2, di mana untuk setiap kita menemukan sedemikian rupa sehingga:Yn:=X1++Xnn g fXigf

Eg(Xn)Eg(A)=Ef(Xn)Xnf(Xn).
Alex R.
sumber
6

Inilah cara saya akan melakukannya jika saya masih di sekolah menengah.

Ambil distribusi probabilitas apa pun dengan kepadatan , dapatkan mean dan varians . Selanjutnya, perkiraan dengan variabel acak yang memiliki bentuk berikut: mana adalah variabel acak Bernoulli dengan parameter . Anda dapat melihat bahwa dan .μ x , σ 2 x z z = μ x - σ x + 2 σ x ξ , ξ p = 1 / 2 μ z = μ xf(x)μx,σx2z

z=μxσx+2σxξ,
ξp=1/2μz=μxσz2=σx2

Sekarang kita dapat melihat jumlah

Sn=i=1nzi
=n(μxσx)+2σxi=1nξi

Anda dapat mengenali distribusi Binomial di sini: , di mana . Anda tidak perlu fungsi karakteristik untuk melihat bahwa itu menyatu dengan bentuk distribusi normal .η=i=1nξiηB(n,1/2)

Jadi, dalam beberapa hal Anda bisa mengatakan bahwa Bernoulli adalah perkiraan paling tepat untuk distribusi apa pun, dan bahkan konvergen ke normal.

Misalnya, Anda dapat menunjukkan bahwa saat-saat itu cocok dengan normal. Mari kita mendefinisikan lihat variabel:y=(Sn/nμx)n

y=σx(1+2η/n)n

Mari kita lihat apa arti dan varians: Vsebuahr[y]=σ 2 x Vsebuahr[2η/n]n=4σ 2 x /nn(1/4)=σ 2 x

μy=σx(1+2(n/2)/n)n=0
Var[y]=σx2Var[2η/n]n=4σx2/nn(1/4)=σx2

Kemiringan dan kelebihan kurtosis menyatu ke nol dengan , mudah untuk ditunjukkan dengan memasukkan formula yang dikenal untuk Binomial.n

Aksakal
sumber
Menarik. Apakah mungkin untuk mengubah ide ini menjadi bukti yang lengkap?
Elvis
@ Elvis, saya mencoba untuk berpikir seperti saya bertahun-tahun yang lalu, dan saya tidak banyak bukti. Satu hal yang saya pikirkan adalah merepresentasikan distribusi berkelanjutan sebagai kombinasi dari bernoullis, tetapi tidak yakin apakah itu mungkin
Aksakal
Apa yang Anda tulis di atas bisa jauh lebih baik. Tidak perlu mendekati perkiraan distribusi: perkiraan kasar oleh variabel yang mengambil dua nilai berbeda akan melakukan pekerjaan.
Elvis
Yaitu, jika mungkin untuk mendapatkan beberapa ikatan pada keakuratan perkiraan normal. Seperti, perkiraan normal setidaknya sama baiknya untuk distribusi asli seperti halnya untuk Bernoulli yang diskalakan. Atau lebih mungkin sesuatu yang lebih lemah tetapi masih memungkinkan untuk menyimpulkan.
Elvis