Tale stimatore non esiste.
L'intuizione è che la mediana può rimanere fissa mentre spostiamo liberamente la densità di probabilità su entrambi i lati, in modo che qualsiasi stimatore il cui valore medio è la mediana per una distribuzione avrà una media diversa per la distribuzione alterata, rendendola distorta. La seguente esposizione dà un po 'più di rigore a questa intuizione.
Facciamo il distribuzioni avente mediane uniche m , in modo che per definizione F ( m ) ≥ 1 / 2 e F ( x ) < 1 / 2 per tutti x < m . Fissare una dimensione del campione n ≥ 1 e supporre che t : [ 0 , 1 ] n → [ 0 , 1 ] stima m . (Basterà che tFmF(m)≥1/2F(x)<1/2x<mn≥1t:[0,1]n→[0,1]mtessere delimitata solo, ma di solito non si considera seriamente stimatori che producono valori ovviamente impossibile) Facciamo. nessun ipotesi sulla ; non deve nemmeno essere continuo da nessuna parte.t
Il significato di essere imparziale (per questa dimensione fissa del campione) è questot
EF[t(X1,…,Xn)]=m
per qualsiasi campione IID con . Un "stimatore" t è uno con questa proprietà per tutti i quali F .Xi∼FtF
Supponiamo che esista uno stimatore imparziale. Deriveremo una contraddizione applicandola a un insieme di distribuzioni particolarmente semplice. Considera le distribuzioni aventi queste proprietà:F=Fx,y,m,ε
;0≤x<y≤1
;0<ε<(y−x)/4
;x+ε<m<y−ε
;Pr(X=x)=Pr(X=y)=(1−ε)/2
; ePr(m−ε≤X≤m+ε)=ε
è uniforme su [ m - ε , m + ε ] .F[m−ε,m+ε]
These distributions place probability (1−ε)/2 at each of x and y and a tiny amount of probability symmetrically placed around m between x and y. This makes m the unique median of F. (If you are concerned that this is not a continuous distribution, then convolve it with a very narrow Gaussian and truncate the result to [0,1]: the argument will not change.)
Ora, per qualsiasi stimatore mediano putativo , una semplice stima mostra che E [ t ( X 1 , X 2 , ... , X n ) ] è strettamente all'interno di ε della media dei valori di 2 n t ( x 1 , x 2 , ... , x n ) dove x i variare su tutte le possibili combinazioni di x ed y . Tuttavia, possiamo variare mtE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixymtra e y - ε , un cambiamento di almeno ε (in virtù delle condizioni 2 e 3). Quindi esiste una m , e da cui una corrispondente distribuzione F x , y , m , ε , per la quale questa aspettativa non è uguale alla mediana, QED.x+εy−εεmFx,y,m,ε