Penaksir seperti itu tidak ada.
Intuisi adalah bahwa median dapat tetap tetap sementara kita dengan bebas menggeser kepadatan probabilitas di kedua sisi itu, sehingga setiap penaksir yang nilai rata-rata adalah median untuk satu distribusi akan memiliki rata-rata yang berbeda untuk distribusi yang diubah, membuatnya bias. Eksposisi berikut memberikan sedikit ketegaran untuk intuisi ini.
Kami fokus pada distribusi memiliki median unik , sehingga menurut definisi dan untuk semua . Perbaiki ukuran sampel dan anggap bahwa perkiraan . (Ini akan cukup bahwa hanya dibatasi, tetapi biasanya seseorang tidak secara serius mempertimbangkan penduga yang menghasilkan nilai yang jelas tidak mungkin.) Kami tidak membuat asumsi tentang ; bahkan tidak harus berkelanjutan di mana pun.FmF(m)≥1/2F(x)<1/2x<mn≥1t:[0,1]n→[0,1]mtt
Arti dari tidak bias (untuk ukuran sampel tetap ini) adalah itut
EF[t(X1,…,Xn)]=m
untuk setiap sampel iid dengan . "Estimator yang tidak memihak" adalah satu dengan properti ini untuk semua seperti itu .Xi∼FtF
Misalkan ada penduga yang tidak bias. Kami akan mendapatkan kontradiksi dengan menerapkannya pada rangkaian distribusi yang sangat sederhana. Pertimbangkan distribusi memiliki properti ini: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+ε)=ε ; dan
F seragam pada .[m−ε,m+ε]
Distribusi ini menempatkan probabilitas pada masing-masing dan dan sejumlah kecil probabilitas secara simetris ditempatkan di sekitar antara dan . Merek ini median yang unik dari . (Jika Anda khawatir ini bukan distribusi berkelanjutan, gabungkan dengan Gaussian yang sangat sempit dan kurangi hasilnya menjadi : argumennya tidak akan berubah.)(1−ε)/2xymxymF[0,1]
Sekarang, untuk setiap diduga median estimator , perkiraan menunjukkan mudah yang secara ketat dalam dari rata-rata dari nilai mana bervariasi pada semua kombinasi yang mungkin dari dan . Namun, kita dapat memvariasikan antara dan , perubahan setidaknya (berdasarkan kondisi 2 dan 3). Jadi ada , dan dari mana distribusi yang sesuaitE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixymx+εy−εεmFx,y,m,ε, untuk yang harapan ini tidak sama dengan median, QED.