Böyle bir tahminci yoktur.
Sezgi, olasılık yoğunluğunu her iki tarafında serbestçe değiştirirken medyanın sabit kalabilmesi, böylece ortalama değeri bir dağılım için medyan olan herhangi bir tahmin edicinin, değiştirilmiş dağılım için farklı bir ortama sahip olması, onu yanlı hale getirmesidir. Aşağıdaki açıklama bu sezgiye biraz daha titizlik vermektedir.
Benzersiz medyanları olan dağılımlarına odaklandık , böylece tanım gereği tüm için ve . örnek boyutunu düzeltin ve tahminlerini varsayalım . (O yeterli olacaktır sadece sınırlı olsun, ancak genellikle tek ciddiye açıkça imkansız değerler üretir tahmincileri dikkate almaz.) Biz yapmak hiçbir ilgili varsayımları ; hiçbir yerde sürekli olması bile gerekmez.FmF(m)≥1/2F(x)<1/2x<mn≥1t:[0,1]n→[0,1]mtt
Anlamı (bu sabit bir numune boyutu için) tarafsız olmak olmasıdırt
EF[t(X1,…,Xn)]=m
ile herhangi bir iid örneği için . "Tarafsız bir tahmin edici" , tüm bu için bu özelliğe sahip olanıdır .t FXi∼FtF
Diyelim ki tarafsız bir tahminci var. Özellikle basit bir dağıtım kümesine uygulayarak bir çelişki ortaya çıkaracağız. Şu özelliklere sahip dağılımlarını göz önünde bulundurun :F=Fx,y,m,ε
0≤x<y≤1 ;
0<ε<(y−x)/4 ;
x+ε<m<y−ε ;
Pr(X=x)=Pr(X=y)=(1−ε)/2 ;
Pr(m−ε≤X≤m+ε)=ε ; ve
[ m - ε , m + ε ]F , üzerinde eşittir .[m−ε,m+ε]
Bu dağılımlar, yer olasılığı her birinde ve ve olasılık küçük bir miktarda simetrik etrafına yerleştirilmiş arasında ve . Bu, eşsiz medyanı yapar . (Bunun sürekli bir dağıtım olmadığından endişe ediyorsanız, çok dar bir Gaussian ile kıvırın ve sonucu kesin: argüman değişmez.)x y m x y m F [ 0 , 1 ](1−ε)/2xymxymF[0,1]
Şimdi, herhangi bir varsayılan medyan tahminci , kolay bir tahmin, nin değerinin ortalamasının kesinlikle içinde olduğunu gösterir. burada , ve tüm olası kombinasyonlarında değişiklik gösterir . Bununla birlikte, en az değişikliği olan ve arasında değişebiliriz (koşullar 2 ve 3 nedeniyle). Böylece bir vardır ve buna karşılık gelen dağılımı vardır.E [ t ( X 1 , X 2 , … , X n ) ] ε 2 n t ( x 1 , x 2 , … , x n ) x i x y m x + ε y - ε ε m F x , y , m , εtE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixymx+εy−εεmFx,y,m,εki bu beklenti ortanca, QED'e eşit değil .