Masalah pekerjaan rumah saya adalah memberikan contoh tandingan di mana statistik tertentu secara umum tidak cukup memadai. Terlepas dari rincian menemukan sampel tandingan tertentu untuk statistik khusus ini, ini menimbulkan pertanyaan bagi saya:
Pertanyaan: Bagaimana seseorang dapat merumuskan kondisi tidak menjadi statistik yang cukup minimal dengan cara yang memungkinkan untuk membuktikan bahwa statistik yang cukup memenuhi kondisi tersebut?
Bekerja sejauh ini: Definisi statistik minimum yang memadai di buku teks saya (Keener, Statistik Teoritis: Topik untuk Kursus Inti ) adalah sebagai berikut:
- Statistik iff cukup memadai memadai dan, untuk setiap statistik yang memadai ada fungsi seperti yang ae .
Perhatikan bahwa (ae ) berarti bahwa set di mana kesetaraan gagal adalah set nol untuk setiap distribusi probabilitas dalam model statistik , .
Mencoba meniadakan ini, saya tiba di:
- Statistik adalah tidak minimal IFF yang cukup setidaknya satu dari berikut ini berlaku:
- Tidak cukup.
- Setidaknya ada satu statistik yang cukup yang tidak ada fungsinya seperti yang ae .
Jadi jika statistik adalah cukup, maka tampaknya seperti itu akan menjadi sangat sulit untuk menunjukkan bahwa tidak minimal cukup, bahkan jika tidak minimal cukup. (Karena seseorang harus menunjukkan 2. bukan 1., karena 1. adalah salah - tetapi 2. akan sangat sulit untuk ditampilkan karena, bahkan jika seseorang memiliki statistik sampel berlawanan)dalam pikiran, satu masih harus menunjukkan tidak adanya setiap fungsi dengan properti itu. Dan ketidakberadaan seringkali sulit untuk ditunjukkan.)
Buku teks saya tidak memberikan kondisi yang setara (yaitu diperlukan dan memadai) untuk statistik menjadi statistik yang cukup memadai. Bahkan tidak memberikan alternatif kondisi yang diperlukan untuk statistik menjadi statistik yang cukup minimal (selain menjadi statistik yang cukup).
Oleh karena itu, untuk masalah pekerjaan rumah saya, jika saya tidak dapat menunjukkan bahwa statistiknya tidak mencukupi (karena memang demikian), lalu bagaimana saya bisa menunjukkan bahwa itu tidak cukup memadai?
sumber
Jawaban:
Seperti yang Anda nyatakan:
Jadi, misalnya, dalam kasus di manaX1,....,Xn adalah variabel acak Bernoulli independen. Kita bisa buktikan itu(x1,....,xn) tidak cukup memadai dengan menunjukkan bahwa itu bukan fungsi dari ∑xi . Ini jelas, karena fungsi harus dipetakan1 untuk keduanya (1,0,0...,0,0,0) dan (0,0,0...,0,0,1) .
sumber
Saya telah memikirkan masalah ini beberapa baru-baru ini, dan inilah yang saya kemukakan.
MembiarkanΩ menjadi ruang probabilitas, maka variabel acak X adalah fungsi yang dapat diukur X:Ω→X dimana X adalah ruang yang terukur (X telah ditunjuk σ aljabar, dan X terukur sehubungan dengan ini σ -Aljabar dan σ -Aljabar aktif Ω ). The distribusi dariX hanyalah ukuran mundurnya X yaitu PX(A)=PΩ(X−1(A)) . Kemudian statistik dariX adalah fungsi * yang dapat diukur f:X→Y dimana Y adalah ruang terukur sewenang-wenang lainnya.
Sejauh yang saya tahu, tampaknya berarti ada fungsi ** yang dapat diukurh:Y→Z seperti yang g=h∘f , yaitu itu g dapat diperhitungkan melalui olehf .
(Dengan kata lain, "g harus didefinisikan dengan baik sebagai fungsi aktif f(X)⊆Y ".)
Jadi kapan anjak piutang seperti itu mungkin? Mari kita pikirkan hubungan kesetaraan. Secara khusus, tentukan hubungan ekivalensi∼f di X oleh x1∼fx2⟺f(x1)=f(x2) , juga, mendefinisikan hubungan ekivalensi ∼g di X oleh x1∼gx2⟺g(x1)=g(x2) .
Kemudian agarg menjadi faktor oleh f , hubungan kesetaraan ∼f dan ∼g harus kompatibel satu sama lain, dalam arti *** itu untuk apa pun x1,x2∈X , x1∼fx2⟹x1∼gx2 yaitu g tidak dapat mengambil dua elemen yang setara di bawah f dan memetakannya ke nilai yang tidak setara di bawah g yaitug tidak dapat membatalkan pengurangan informasi yang sebelumnya dilakukan oleh f ".
Dengan kata lain,g harus didefinisikan dengan baik sebagai fungsi aktif X/∼f≅f(X) , Yaitu ada harus ada fungsi g~:X/∼f→Z seperti yang g=g~∘πf dimana πf adalah proyeksi kanonik X→X/∼f . (Bagi mereka yang tidak nyaman dengan abstrak yang tidak masuk akal,πf pada dasarnya f , dan g~ pada dasarnya h . Formulasi di atas hanya membuat analogi dengan situasi lain lebih jelas.)
Sebagai contoh, ambilX=Y=Z=R dan X variabel acak bernilai nyata yang sewenang-wenang, kemudian g:x↦x2 dapat ditulis sebagai fungsi dari f:x↦x , tetapi tidak sebaliknya, karena x1=x2⟹x21=x22 tapi 12=(−1)2 tapi 1≠−1 .
Secara khusus, asumsikan bahwa setiap kelas kesetaraan di bawah∼f adalah singleton (mis f bersifat injeksi ). Kemudiang selalu dapat ditulis sebagai fungsi dari f , sejak X/∼f≅X yaitu f(x1)=f(x2)⟹x1=x2 maksudnya x1=x2⟺f(x1)=f(x2) (secara umum, untuk belum tentu suntik f , hanya satu arah berlaku), jadi kondisi kita menjadi x1=x2⟹g(x1)=g(x2) , Yang sepele puas untuk apa pun g:X→Z . (Untuk mendefinisikanh , ia dapat melakukan apapun yang diinginkannya Y∖f(X) selama itu bisa diukur, dan kemudian untuk apa pun y∈f(X) , yaitu sedemikian rupa sehingga y=f(x) untuk beberapa x∈X , tentukan h menjadi h:y=f(x)↦g(x) . Ini didefinisikan dengan baik kapanf bersifat suntik karena ada yang unik x∈X seperti yang f(x)=y . Lebih umum, ini hanya ditentukan kapan, terlepas dari manax kami memilih masuk f−1(y) , g(x) masih memiliki nilai yang sama, yaitu f(x1)=f(x2) (=y)⟹g(x1)=g(x2) .)
Juga, melihat Teorema 3.11 dalam Keener, pernyataannya agak kikuk, tetapi berpikir dalam istilah di atas, saya percaya itu dapat ditulis ulang sebagai:
Dari sini menjadi jelas bahwa rasio kemungkinan itu sendiri harus minimal.
Ini juga mengarah pada kesimpulan bahwa:
Jadi kondisinya sebenarnya tidak sesulit yang saya tunjukkan.
* Keener tidak membahas masalah apakah suatu statistik perlu diukur atau hanya fungsi yang sewenang-wenang atau tidak. Namun, saya cukup yakin bahwa statistik harus menjadi fungsi yang terukur, karena kalau tidak kita tidak bisa mendefinisikan distribusi untuk itu , yaitu ukuran mundur.
**Jikah tidak terukur, kami akan memiliki kontradiksi karena keduanya f dan g dapat diukur dan komposisi fungsi yang terukur dapat diukur kembali. Setidaknya,h harus dapat diukur terbatas pada f(X)⊆Y , meskipun saya pikir ini akan berarti dalam kebanyakan kasus itu masuk akal h harus menyetujui f(X) dengan fungsi yang dapat diukur pada semua Y (mengambil h|f(X) di f(X) dan misalnya z di Y∖f(X) jika ada titik terukur z∈Z , perhatikan bahwa keduanya f(X) dan Y∖f(X) harus dapat diukur dalam Y ) jadi wlog h dapat diasumsikan terukur pada semua Y .
*** Setidaknya ini perlu dan cukup untuk keberadaan fungsi sewenang-wenang melalui faktorg dan berakhir f , dan saya pikir ** menyiratkan bahwa jika fungsi sewenang-wenang itu ada, fungsi ini juga harus dapat diukur, karena keduanya f dan g adalah, yaitu benar-benar akan menjadi statistik Y→Z .
**** Kondisi yang diberikan setara denganT cukup oleh teorema faktorisasi, 3.6.
sumber