Ini lebih merupakan pertanyaan sejarah daripada pertanyaan teknis.
Mengapa lemma Neyman-Pearson adalah Lemma dan bukan Teorema?
tautan ke wiki: https://en.wikipedia.org/wiki/Neyman%E2%80%93Pearson_lemma
NB : Pertanyaannya bukan tentang apa itu lemma dan bagaimana lemma digunakan untuk membuktikan teorema, tetapi tentang sejarah lemma Neyman-Pearson. Apakah ini digunakan untuk membuktikan teorema dan kemudian ternyata lebih bermanfaat? Adakah bukti yang menunjukkan kecurigaan bahwa inilah yang terjadi?
Jawaban:
NB: Ini jawaban historis pertama untuk pertanyaan OP. Dalam statistik, lemma Neyman-Pearson diperkenalkan oleh Jerzy Neyman dan Egon Pearson dalam sebuah makalah pada tahun 1933 . Juga, ini digunakan dalam praktik oleh ahli statistik sebagai teorema , bukan lemma, dan itu disebut lemma sebagian besar karena makalah 1936. IMHO, perlakuan historis tidak menjawab pertanyaan "mengapa", dan pos ini berupaya melakukan itu.
Apa lemma adalah berbeda dengan teorema atau akibat wajar dibahas di tempat lain dan di sini . Lebih tepatnya, tentang masalah definisi: Lemma, arti pertama : Teorema pembantu atau perantara dalam argumen atau bukti. Saya setuju dengan kamus Oxford tetapi akan mengubah urutan kata, dan perhatikan bahasa yang tepat: teorema perantara atau cabang. Beberapa penulis keliru percaya bahwa lemma harus menjadi perantara dalam bukti, dan ini adalah kasus bagi banyak lemma yang tidak disebutkan namanya. Namun demikian, adalah umum, setidaknya untuk lemma bernama, untuk hasil lemma menjadi implikasi yang timbul dari teorema yang sudah terbukti sehingga lemma adalah tambahan, yaitu, teorema pembantu. Dari Ensiklopedia Dunia Baru Perbedaan antara teorema dan lemmas agak sewenang-wenang, karena hasil utama satu ahli matematika adalah klaim kecil orang lain. Lemma Gauss dan lemma Zorn, misalnya, cukup menarik sehingga beberapa penulis menyajikan lemma nominal tanpa melanjutkan untuk menggunakannya dalam bukti teorema apa pun. Contoh lain dari hal ini adalah Evans lemma, yang mengikuti bukan dari bukti teorema sederhana geometri diferensial yang ... menunjukkan bahwa persamaan struktur Cartan pertama adalah persamaan dua postulat tetrad ... Postulat tetrad [ Sic , sendiri] adalah sumber Evans Lemma dari geometri diferensial. Wikipedia menyebutkan evolusi lemma dalam waktu:Dalam beberapa kasus, ketika kepentingan relatif dari teorema yang berbeda menjadi lebih jelas, apa yang sebelumnya dianggap sebagai lemma sekarang dianggap sebagai teorema, meskipun kata "lemma" tetap ada dalam namanya.
Namun, perhatikan baik-baik apakah lemma itu berdiri sendiri atau bukan juga merupakan teorema. Yaitu, teorema yang merupakan lemma kadang - kadang bisa menjadi jawaban untuk pertanyaan, "Apa yang disiratkan oleh teorema (di atas)?" Kadang-kadang lemma adalah batu loncatan yang digunakan untuk membangun teorema.
Jelas dari membaca makalah 1933: IX. Pada masalah tes hipotesis statistik yang paling efisien. Jerzy Neyman, Egon Sharpe Pearson, dan Karl Pearson , bahwa teorema yang dieksplorasi adalah teorema Bayes . Beberapa pembaca posting ini mengalami kesulitan menghubungkan teorema Bayes dengan makalah 1933 meskipun ada pengantar yang agak eksplisit dalam hal itu. Perhatikan bahwa makalah 1933 dipenuhi dengan diagram Venn , diagram Venn menggambarkan probabilitas bersyarat , yang merupakan teorema Bayes. Beberapa orang menyebut ini sebagai aturan Bayes, karena berlebihan untuk menyebut aturan itu sebagai "teorema." Misalnya, jika kita menyebut 'penambahan' sebuah teorema, sebagai lawan dari aturan, kita akan mengacaukan daripada menjelaskan.
Oleh karena itu, lemma Neyman-Pearson adalah teorema tentang pengujian hipotesis Bayesian yang paling efisien, tetapi saat ini tidak disebut demikian karena itu tidak dimulai.
sumber
Versi klasik muncul pada tahun 1933, tetapi kesempatan paling awal yang disebut sebagai "lemma" mungkin dalam artikel Neyman dan Pearson tahun 1936 Kontribusi untuk teori pengujian hipotesis statistik (hal. 1-37 dari Memoirs Statistik Penelitian Volume I) . Lemma, dan proposisi yang digunakan untuk membuktikan, dinyatakan sebagai berikut:
Ini dikenal hari ini sebagai Neyman-Pearson Fundamental Lemma yang digeneralisasi (lih. Bab 3.6 dari Uji Hipotesis Statistik Lehman dan Romano ), dan itu berkurang ke Neyman-Pearson sehari-hari Anda ketika . Lemma itu sendiri kemudian dipelajari oleh beberapa nama besar dari era itu (misalnya PL Hsu, Dantzig, Wald, Chernoff, Scheffé) dan nama "Neyman and Pearson's lemma" dengan demikian macet.m=1
Berikut adalah daftar artikel / buku yang relevan jika seseorang tertarik pada sejarah lemma Neyman-Pearson:
sumber