Taki estymator nie istnieje.
Intuicja polega na tym, że mediana może pozostać stała, podczas gdy swobodnie przesuwamy gęstość prawdopodobieństwa po obu jej stronach, tak że każdy estymator, którego średnia wartość jest medianą dla jednego rozkładu, będzie miał inną średnią dla zmienionego rozkładu, czyniąc go tendencyjnym. Poniższa ekspozycja dodaje nieco więcej rygorystyczności tej intuicji.
Skupiamy się na rozkład mających unikalnie mediany m , tak że definicja F ( m ) ≥ 1 / 2 i F ( x ) < 1 / 2 dla wszystkich x < m . Ustal wielkość próbki n ≥ 1 i załóżmy, że t : [ 0 , 1 ] n → [ 0 , 1 ] szacuje m . (Wystarczy, że tFmF(m)≥1/2F(x)<1/2x<mn≥1t:[0,1]n→[0,1]mtograniczać się, ale zwykle nie bierze się poważnie pod uwagę estymatorów, które dają wartości oczywiście niemożliwe.) Nie przyjmujemy żadnych założeń dotyczących ; nigdzie nie musi być ciągła.t
Znaczenie bycia obiektywnym (dla tej ustalonej wielkości próby) jest takiet
EF[t(X1,…,Xn)]=m
dla każdej próbki z IID . Określenie „Estymator nieobciążony” t jest jednym z obiektu dla wszystkich taki F .Xi∼FtF
Załóżmy, że istnieje obiektywny estymator. Wywołamy sprzeczność, stosując ją do szczególnie prostego zestawu dystrybucji. Rozważ rozkłady mające następujące właściwości:F=Fx,y,m,ε
;0≤x<y≤1
;0<ε<(y−x)/4
;x+ε<m<y−ε
;Pr(X=x)=Pr(X=y)=(1−ε)/2
; iPr(m−ε≤X≤m+ε)=ε
jest jednorodne na [ m - ε , m + ε ] .F[m−ε,m+ε]
Te rozkłady prawdopodobieństwa miejsce w każdym z X i Y, i niewielka ilość prawdopodobieństwa symetrycznie wokół m pomiędzy x i y . To sprawia(1−ε)/2xymxy wyjątkową medianę F . (Jeśli obawiasz się, że nie jest to rozkład ciągły, to zmień go bardzo wąskim gaussowskim i skróć wynik do [ 0 , 1 ] : argument się nie zmieni.)mF[0,1]
Teraz, dla każdego przypuszczalnego estymatora mediany , łatwe oszacowanie pokazuje, że E [ t ( X 1 , X 2 , … , X n ) ] jest ściśle w zakresie ε od średniej z 2 n wartości t ( x 1 , x 2 , … , X n ) gdzie x i różnią się we wszystkich możliwych kombinacjach x i y . Możemy jednak różnić mtE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixympomiędzy i y - ε , zmiana co najmniej ε x , y , m , ε , dla którego to oczekiwanie nie jest równe medianie, QED.x+εy−εε(na podstawie warunków 2 i 3). Tak więc istnieje , i stąd odpowiedni rozkład FmFx,y,m,ε