Một công cụ ước tính như vậy không tồn tại.
Trực giác là trung vị có thể cố định trong khi chúng ta tự do thay đổi mật độ xác suất xung quanh cả hai mặt của nó, do đó, bất kỳ công cụ ước tính nào có giá trị trung bình là một trung bình cho một phân phối sẽ có trung bình khác nhau cho phân phối bị thay đổi, làm cho nó bị sai lệch. Giải trình sau đây cung cấp một chút nghiêm ngặt hơn cho trực giác này.
Chúng tôi tập trung vào các bản phân phối có trung vị duy nhất , do đó theo định nghĩa và cho tất cả . Khắc phục kích thước mẫu và giả sử rằng ước tính . (Nó sẽ đủ mà chỉ được bao bọc, nhưng thông thường người ta không xem xét nghiêm túc ước lượng sản xuất rõ ràng là giá trị không thể.) Chúng tôi làm không giả định về ; nó thậm chí không phải liên tục ở bất cứ đâu.m F ( m ) ≥ 1 / 2 F ( x ) < 1 / 2 x < m n ≥ 1 t : [ 0 , 1 ] n → [ 0 , 1 ] m t tFmF(m)≥1/2F(x)<1/2x<mn ≥ 1t : [ 0 , 1 ]n→ [ 0 , 1 ]mtt
Ý nghĩa của là thiên (đối với cỡ mẫu cố định này) làt
EF[ t ( X1, Lọ , Xn) ] = m
cho bất kỳ mẫu iid với . Một "ước lượng không thiên vị" là một với khách sạn này cho tất cả các ví dụ .t FXTôi~ FtF
Giả sử tồn tại một ước lượng không thiên vị. Chúng tôi sẽ rút ra một mâu thuẫn bằng cách áp dụng nó vào một bộ phân phối đặc biệt đơn giản. Xem xét các bản phân phối có các thuộc tính này: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+ε)=ε ; và
[ m - ε , m + ε ]F là đồng nhất trên .[m−ε,m+ε]
Các phân phối này đặt xác suất tại mỗi và và một lượng nhỏ xác suất được đặt đối xứng quanh giữa và . Làm cho này trung bình độc đáo của . (Nếu bạn lo ngại rằng đây không phải là phân phối liên tục, thì hãy kết hợp nó với một Gaussian rất hẹp và cắt kết quả thành : đối số sẽ không thay đổi.)x y m x y m F [ 0 , 1 ](1−ε)/2xymxymF[0,1]
Bây giờ, đối với bất kỳ giả định trung bình ước lượng , ước tính các chương trình dễ dàng mà là đúng phạm mức trung bình của giá trị trong đó thay đổi trên tất cả các kết hợp có thể có của và . Tuy nhiên, chúng ta có thể thay đổi giữa và , một sự thay đổi ít nhất (theo điều kiện 2 và 3). Do đó, tồn tại một và từ đó phân phối tương ứngE [ t ( X 1 , X 2 , ... , X n ) ] ε 2 n t ( x 1 , x 2 , ... , x n ) x i x y m x + ε y - ε ε m F x , y , m , εtE[t(X1,X2,…,Xn)]ε2nt(x1,x2,…,xn)xixymx+εy−εεmFx,y,m,ε, theo đó kỳ vọng này không bằng trung bình, QED.