Einen solchen Schätzer gibt es nicht.
Die Intuition ist, dass der Median fest bleiben kann, während wir die Wahrscheinlichkeitsdichte auf beiden Seiten frei verschieben, sodass jeder Schätzer, dessen Durchschnittswert der Median für eine Verteilung ist, einen anderen Durchschnitt für die geänderte Verteilung hat, wodurch er verzerrt wird. Die folgende Darstellung verleiht dieser Intuition etwas mehr Genauigkeit.
Wir konzentrieren uns auf Verteilungen mit einzigartigen Mediane m , so dass per Definition F ( m ) ≥ 1 / 2 und F ( x ) < 1FmF(m)≥1/2 für alle x < m . Legen Sie eine Stichprobengröße n ≥ 1 fest und nehmen Sie an, dass t : [ 0 , 1 ]F(x)<1/2x<mn≥1m schätzt. (Es wird ausreichen, dass tt:[0,1]n→[0,1]mtnur begrenzt sein, aber normalerweise werden Schätzer, die offensichtlich unmögliche Werte liefern, nicht ernsthaft in Betracht gezogen.) Wir machen keine Annahmen über ; es muss nicht einmal überall durchgehend sein.t
Die Bedeutung von als unverzerrt (für diese feste Stichprobengröße) ist die folgendet
EF[t(X1,…,Xn)]=m
für jede iid Probe mit . Ein „unverzerrter Schätzer“ t ist ein mit dieser Eigenschaft für alle solche F .Xi∼FtF
Angenommen, ein unvoreingenommener Schätzer existiert. Wir werden einen Widerspruch herleiten, indem wir ihn auf eine besonders einfache Menge von Distributionen anwenden. Betrachten Sie Verteilungen mit folgenden Eigenschaften:F=Fx,y,m,ε
;0≤x<y≤1
;0<ε<(y−x)/4
; < m < y - & epsi ;;x+ε<m<y−ε
; ) / 2 ;Pr(X=x)=Pr(X=y)=(1−ε)/2
; ≤ m + & epsi ; ) = & epsi ;; undPr(m−ε≤X≤m+ε)=ε
ist einheitlich auf [F .[m−ε,m+ε]
Diese Verteilungen platzieren die Wahrscheinlichkeit bei jedem von x und y und einen winzigen Betrag der Wahrscheinlichkeit, der symmetrisch um m zwischen x und y liegt . Dies macht m zum einzigartigen Median von(1−ε)/2xymxym . (Wenn Sie befürchten, dass dies keine kontinuierliche Verteilung ist, falten Sie sie mit einem sehr engen Gaußschen Wert zusammen und kürzen Sie das Ergebnis auf [ 0 , 1 ] : Das Argument ändert sich nicht.)F[0,1]
Für jeden vermuteten Medianschätzer zeigt eine einfache Schätzung, dass E [ t ( X 1 , X 2 , … , X n ) ] genau innerhalb von ε des Durchschnitts der 2 n- Werte t ( x 1) liegttE[t(X1,X2,…,Xn)]ε2n wobei x i über alle möglichen Kombinationen von x und y variiert. Wir können jedoch m variierent(x1,x2,…,xn)xixymzwischen epsi ; und y - & epsi ; eine Änderung von mindestens , m , ε , für die diese Erwartung nicht gleich dem Median QED ist.x+εy−ε (aufgrund der Bedingungen 2 und 3). Es existiert also ein m und daher eine entsprechende Verteilung F x , yεmFx,y,m,ε