Sorunun ilk kısmı, soruya yapılan yorumlarda yanıtlanmaktadır: bol miktarda "marka adı" dağıtımı, ve ile herhangi bir Beta dağıtımı gibi multimodaldir . O zaman sorunun ikinci kısmına dönelim.a < 1 b < 1(a,b)a<1b<1
Tüm kesikli dağılımlar açıkça (tek atomlu atomların) karışımlarıdır.
Sürekli dağılımların çoğunun da tek modlu dağılımların karışımları olduğunu göstereceğim. Bunun arkasındaki sezgi basittir: PDF yatay bir şekilde engebeli bir grafikten tek tek çıkıntıları “zımparalayabiliriz”. Yumrular, her biri açıkça modimod olmayan karışım bileşenleri haline gelir.
Sonuç olarak, belki de PDF'leri son derece süreksiz olan bazı olağandışı dağılımlar dışında , sorunun cevabı "hiçbiri" dir: kesinlikle sürekli, ayrık olan veya bu ikisinin bir kombinasyonu olan tüm çok-modlu dağılımlar, tek-olmayan dağılımların karışımlarıdır.
PDF'leri sürekli olan sürekli dağılımları düşünün (bunlar "kesinlikle sürekli" dağılımlardır). (Süreklilik bir sınırlama değildir; yalnızca süreksizlik noktalarının ayrık olduğu varsayılarak daha dikkatli analizlerle daha da rahatlatılabilir.) fFf
Oluşabilecek sabit değerlerin "platolarıyla" başa çıkmak için, bir "mod" ( tek bir nokta olabilir) aralığı olacak şekilde tanımlayın .x l = x um=[xl,xu]xl=xu
m , yf üzerinde sabit bir değeri vardır örneğin .m,y
mf , kesinlikle içeren hiçbir aralıkta sabit değildir .m
Pozitif bir sayı vardır maksimum değeri öyle ki ile elde edilen eşit .f [ x l - ϵ , x u + ϵ ] yϵf[xl−ϵ,xu+ϵ]y
Let herhangi bir modu olmak . Çünkü süreklidir, aralıkları vardır ihtiva eden olan içinde azalmayan olan ve artmayacak (uygun bir aralık değil, sadece bir nokta olan) (bu da uygun bir aralıktır). Izin vermek tüm bu değerlerin ve bu tür tüm değerlerin üstünlüğü olsun.f f [ x ′ l , x ′ u ] m f [ x ′ l , x l ] [ x u , x ′ u ] x ′ l x ′ um=[xl,xu]ff[x′l,x′u]mf[x′l,xl][xu,x′u]x′lx′u
Bu yapı, grafik üzerinde bir "kambur" tanımlamıştır uzanan için . , ve daha büyük olsun . Yapım , içinde , kesinlikle içeren uygun bir aralık olan noktaları kümesi (çünkü veya ).x ' l' X ' u y f ( x ' l ) f ( x ' u ) x [ x ' l , X ' u ] f ( x ) ≥ y m ' m [ x ' l , X l ] [ x u , x ′ u ]fx′lx′uyf(x′l)f(x′u)x[x′l,x′u]f(x)≥ym′m[x′l,xl][xu,x′u]
Çok modlu bir PDF'nin bu çiziminde , yatay eksende kırmızı bir nokta ile modu tanımlanır. Dolgunun kırmızı kısmının yatay ölçüde aralığıdır : bu mod ile tespit tümseğin nokta . Bu kamburun tabanı yüksekliğindedir . Orijinal PDF, kırmızı dolgunun ve mavi dolgunun toplamıdır. Mavi dolgunun yakınında yalnızca bir modu olduğunu unutmayın ; orijinal mod kaldırıldı.m ′ m y ≈ 0.16 2 [ 0 , 0 ]m=[0,0]m′my≈0.162[0,0]
Yazmauzunluğu tanımlamakm ′|m′|m′
pm=PrF(m′)−y|m′|
ve
fm(x)=f(x)−ypm
zaman ve , aksi. (Bu, bu arada sürekli bir işlev haline getirir .) Pay, çıktığı miktardır ve paydası ve grafiği arasındaki alandır . Dolayısıyla negatif değildir ve toplam alan : olasılık dağılımının . Inşaat ile benzersiz bir mod .x∈m′fm(x)=0fmfypmfyfm1m
Ayrıca inşaat ile, fonksiyon
f′m(x)=f(x)−pmfm(x)1−pm
Resim bir PDF . (Açıkçası ise, geriye hiçbir şey kalmaz bu da başlamak için tek modlu olmamalıdır.) Dahası, aralığında herhangi bir mod yoktur (burada sabittir, bu yüzden önceki dikkatli tanımı aralık olarak bir mod gerekli). Ayrıca,pm<1pm=1f,m′
f(x)=pmfm(x)+(1−pm)f′m(x)
tek modlu PDF ve PDF bir karışımıdır .fmf′m
Bu prosedürü (sürekli işlevlerin doğrusal bir kombinasyonu olarak hala sürekli bir işlevdir ve daha önce olduğu gibi devam etmemizi sağlar) ile modları dizisi ; karşılık gelen ağırlık dizileri ; ve PDF'ler Sınırlayıcı sonuç vardır (a) düzleştirildiği aralık, önceki düzleştirilmemiş uygun bir aralık içerir.f′mm=m1,m2,…p1=pm,p2=pm2,…f1=fm,f2=fm2,….fii−1ve (b) gerçek sayılar, bu aralıkların sayılabilir sayısından daha fazlasına ayrılamaz. Limitin herhangi bir modu olamaz ve bu nedenle sabittir, bu sıfır olmalıdır (aksi takdirde integrali ayrılır). Sonuç olarak, bir karışım olarak ifade edilmiştir (belki de benzersiz değildir, çünkü modların seçilme sırası önemli olacaktır)f
f(x)=∑ipifi(x)
unimodal dağılımlar, QED.