Bagian pertama dari pertanyaan dijawab dalam komentar untuk pertanyaan: banyak "merek-nama" distribusi adalah multimodal, seperti setiap Beta ( a , b ) distribusi dengan a < 1 dan b < 1 . Mari kita beralih ke bagian kedua dari pertanyaan.
Semua distribusi diskrit adalah campuran jelas (dari atom, yang unimodal).
Saya akan menunjukkan bahwa sebagian besar distribusi kontinu juga merupakan campuran dari distribusi unimodal. Intuisi di balik ini sederhana: kita dapat "mengampelas" benjolan dari grafik bergelombang dari PDF, satu per satu, sampai grafik horizontal. Benjolan menjadi komponen campuran, yang masing-masing jelas unimodal.
Akibatnya, kecuali mungkin untuk beberapa distribusi tidak biasa yang PDFnya sangat terputus-putus, jawaban atas pertanyaannya adalah "tidak ada": semua distribusi multimodal yang benar-benar kontinu, diskrit, atau kombinasi keduanya adalah campuran dari distribusi unimodal.
Pertimbangkan distribusi kontinu yang PDF f kontinu (ini adalah "benar-benar berkelanjutan" distribusi). (Kontinuitas tidak banyak batasan; ia dapat dilonggarkan lebih lanjut dengan analisis yang lebih hati-hati, dengan hanya menganggap bahwa titik diskontinuitas itu terpisah.) Ff
Untuk mengatasi "dataran tinggi" dari nilai konstan yang mungkin terjadi, tentukan "mode" menjadi interval (yang mungkin merupakan titik tunggal di mana x l = x u ) sedemikian rupa sehinggam = [ xl, xkamu]xl= xkamu
memiliki nilai konstan pada m , katakanlah y .fm ,y
tidak konstan pada interval apa pun yang secara ketat mengandung m .fm
Ada angka positif sehingga nilai maksimum f yang diperoleh pada [ x l - ϵ , x u + ϵ ] sama dengan y .ϵf[ xl- ϵ , xkamu+ ϵ ]y
Biarkan menjadi mode apa pun dari f . Karena f adalah kontinu, terdapat interval [ x ′ l , x ′ u ] yang mengandung m yang mana f tidak bertambah dalam [ x ′ l , x l ] (yang merupakan interval yang tepat, bukan hanya titik) dan tidak bertambah dalam [ x kamu , x ′ kamu ]m = [ xl, xkamu]ff[ x′l, x′kamu]mf[ x′l, xl][ xkamu, x′kamu](yang juga merupakan interval yang tepat). Biarkan menjadi tak terhingga dari semua nilai tersebut dan x ′ u supremum dari semua nilai tersebut.x′lx′kamu
Konstruksi ini telah menetapkan satu "punuk" pada grafik memanjang dari x ′ l ke x ′ u . Biarkan y menjadi lebih besar dari f ( x ′ l ) dan f ( x ′ u ) . Dengan konstruksi, himpunan titik x dalam [ x ′ l , x ′ u ] yang f ( x ) ≥ y adalah interval yang tepat m ′fx′lx′kamuyf( x′l)f( x′kamu)x[ x′l, x′kamu]f( x ) ≥ ym′secara ketat mengandung (karena mengandung seluruh [ x ′ l , x l ] atau [ x u , x ′ u ] ).m[ x′l, xl][ xkamu, x′kamu]
Dalam ilustrasi PDF multimoda ini, mode diidentifikasi oleh titik merah pada sumbu horizontal. Tingkat horizontal dari bagian merah dari fill adalah interval m ′ : itu adalah dasar punuk yang ditentukan oleh mode m . Basis punuk itu berada di ketinggian y ≈ 0,16 . PDF asli adalah jumlah dari isian merah dan isian biru. Perhatikan bahwa isian biru hanya memiliki satu mode di dekat 2 ; mode asli pada [ 0 , 0 ] telah dihapus.m = [ 0 , 0 ]m′my≈ 0,162[ 0 , 0 ]
Menulis untuk panjang m ′ , tentukan| m′|m′
halm= PrF( m′) - y| m′|
dan
fm( x ) = f( x ) - yhalm
ketika dan f m ( x ) = 0 sebaliknya. (Ini menjadikan f m fungsi kontinu, secara kebetulan.) Pembilangnya adalah jumlah dimana f naik di atas y dan penyebut p m adalah area antara grafik f dan y . Jadi f m adalah non-negatif dan memiliki luas total 1 : itu adalah PDF dari distribusi probabilitas. Oleh konstruksi itu memiliki mode unik m .x ∈ m′fm( x ) = 0fmfyhalmfyfm1m
Juga oleh konstruksi, fungsinya
f′m( x ) = f( x ) - halmfm( x )1 - halm
adalah PDF yang disediakan . (Tentunya jika p m = 1 tidak ada yang tersisa dari f , yang pasti unimodal untuk memulai dengan.) Selain itu, ia tidak memiliki modus dalam interval m ' (di mana itu adalah konstan, yang mengapa definisi hati sebelumnya dari mode sebagai interval diperlukan). Selanjutnya,halm< 1halm= 1f,m′
f( x ) = pmfm( x ) + ( 1 - halm) f′m( x )
adalah campuran dari unimodal PDF dan PDF f ' m .fmf′m
Iterasi prosedur ini dengan (yang sebagai kombinasi linear fungsi kontinu masih merupakan fungsi kontinu, memungkinkan kita untuk melanjutkan seperti sebelumnya), menghasilkan urutan mode m = m 1 , m 2 , ... ; urutan bobot yang sesuai p 1 = p m , p 2 = p m 2 , … ; dan PDF f 1 = f m , f 2 = f m 2 , … .f′mm = m1, m2, ...hal1= pm, hal2= pm2, ...f1= fm, f2= fm2, ... . Hasil pembatas ada karena (a) interval di mana diratakan termasuk interval yang tepat yang belum diratakan dalam operasi i - 1 sebelumnya dan (b) bilangan real tidak dapat didekomposisi menjadi lebih dari jumlah interval yang dapat dihitung seperti itu. . Batas tidak dapat memiliki mode apa pun dan oleh karena itu konstan, yang harus nol (karena jika tidak, integralnya akan berbeda). Akibatnya, f telah dinyatakan (mungkin tidak unik, karena urutan mode yang dipilih akan penting) sebagai campuranfsayai - 1f
f( x ) = ∑sayahalsayafsaya( x )
distribusi unimodal, QED.