Такой оценки не существует.
Интуиция заключается в том, что медиана может оставаться фиксированной, в то время как мы свободно смещаем плотность вероятности по обе стороны от нее, так что любой оценщик, среднее значение которого является медианой для одного распределения, будет иметь другое среднее значение для измененного распределения, делая его смещенным. Следующая экспозиция придает немного большей строгости этой интуиции.
Мы сосредоточены на распределение , имеющий уникальные медианы м , так что по определению F ( м ) ≥ 1 / 2 и Р ( х ) < 1 / 2 для всех х < м . Зафиксируйте размер выборки n ≥ 1 и предположим, что t : [ 0 , 1 ] n → [ 0 , 1 ] оценивает m . (Достаточно того, что тFmF(m)≥1/2F(x)<1/2x<mn≥1t:[0,1]n→[0,1]mtбыть ограничены только, но , как правило , один серьезно не считают оценщики , которые производят явно невозможные значения) Мы не делаем. нет предположений о ; это даже не должно быть непрерывным где-либо.t
Смысл быть беспристрастным (для этого фиксированного размера выборки) заключается в том, чтоt
EF[t(X1,…,Xn)]=m
для любого н.о.р. образца с . «Несмещенная оценка» т является один с этим свойством для всех таких F .Xi∼FtF
Предположим, существует объективная оценка. Мы выведем противоречие, применив его к особенно простому набору распределений. Рассмотрим распределения имеющие следующие свойства: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+ε)=ε
равномерно на [ m - ε , m + ε ] .F[m−ε,m+ε]
Эти распределения помещают вероятность в каждое из x и y, и небольшое количество вероятности симметрично размещается вокруг m между x и y . Это делает м уникальный медиану F . (Если вы обеспокоены тем, что это не непрерывное распределение, то сверите его с очень узким гауссовым распределением и обрежьте результат до [ 0 , 1 ] : аргумент не изменится.)(1−ε)/2xymxymF[0,1]
Теперь, для любого предполагаемых медианных оценок , его можно легко оценка показывает , что E [ т ( Х 1 , Х 2 , ... , X п ) ] строго в пределах е от средней величины 2 п значений т ( х 1 , х 2 , … , X n ) где x i изменяется во всех возможных комбинациях x и y . Тем не менее, мы можем варьировать мtE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixymмежду и y - ε - изменение не менее ε (в силу условий 2 и 3). Таким образом, существует m , и, следовательно, соответствующее распределение F x , y , m , ε , для которого это ожидание не равно медиане, QED.x+εy−εεmFx,y,m,ε