MathLabs
Định lýĐã chứng minh

Trung bình mẫu là ước lượng không chệch

Phát biểu

Nếu X1,…,XnX_1,\dots,X_n độc lập, cùng phân phối với E[Xi]=μE[X_i] = \mu với mọi ii, thì trung bình mẫu Xˉ=1n∑i=1nXi\bar X = \frac{1}{n}\sum_{i=1}^{n} X_i thỏa mãn E[Xˉ]=μE[\bar X] = \mu.

Vì sao đúng?

Việc lấy trung bình loại bỏ sai số hệ thống: tính trung bình qua nhiều mẫu giả định, Xˉ\bar X rơi đúng vào trung bình tổng thể thực μ\mu, không lệch cao hay lệch thấp một cách có hệ thống.

Phác thảo chứng minh

Theo định nghĩa, Xˉ=1n∑i=1nXi\bar X = \frac{1}{n}\sum_{i=1}^{n} X_i. Kỳ vọng là một toán tử tuyến tính nên phân phối được qua tổng và hệ số hằng 1n\frac{1}{n}: E[Xˉ]=1n∑i=1nE[Xi]E[\bar X] = \frac{1}{n}\sum_{i=1}^{n} E[X_i].

Vì mỗi XiX_i đều đến từ cùng một tổng thể, nên E[Xi]=μE[X_i] = \mu với mỗi trong số nn số hạng, nên tổng rút gọn thành 1n∑i=1nμ=1n(nμ)=μ\frac{1}{n}\sum_{i=1}^{n} \mu = \frac{1}{n}(n\mu) = \mu.

Do đó E[Xˉ]=μE[\bar X] = \mu với mọi cỡ mẫu nn: trung bình mẫu không chệch dù mẫu nhỏ hay lớn. Đây chỉ là phát biểu về tâm của phân phối mẫu -- độ phân tán của phân phối đó, Var⁡(Xˉ)=σ2/n\operatorname{Var}(\bar X) = \sigma^2/n, vẫn thu hẹp dần khi nn tăng, và đó chính là điều khoảng tin cậy bên dưới sử dụng.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. NIST/SEMATECH (2013). Confidence Limits for the Mean
  2. Diez, D.; Cetinkaya-Rundel, M.; Barr, C. (2019). OpenIntro Statistics