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

Mức ý nghĩa chính xác của kiểm định z hai phía

Phát biểu

Cho X1,…,XnX_1, \ldots, X_n độc lập, cùng phân phối N(μ0,σ2)N(\mu_0, \sigma^2) với σ\sigma đã biết, và Z=Xˉ−μ0σ/nZ = \frac{\bar{X} - \mu_0}{\sigma / \sqrt{n}}. Cho zα/2z_{\alpha/2} là giá trị thỏa P(Z>zα/2)=α/2P(Z > z_{\alpha/2}) = \alpha/2 đối với phân phối chuẩn tắc. Khi đó phép kiểm định bác bỏ H0:μ=μ0H_0: \mu = \mu_0 khi ∣Z∣>zα/2|Z| > z_{\alpha/2} thỏa P(reject H0∣H0)=αP(\text{reject } H_0 \mid H_0) = \alpha chính xác.

Vì sao đúng?

Miền bác bỏ được dựng trực tiếp từ phân phối chính xác của ZZ khi H0H_0 đúng, nên xác suất của nó khi H0H_0 đúng có thể tính chính xác thay vì chỉ chặn trên, cho một phép kiểm định mà tỉ lệ dương tính giả được kiểm soát chính xác ở mức α\alpha đã chọn, chứ không chỉ gần đúng.

Phác thảo chứng minh

Bước 1 (phân phối của ZZ khi H0H_0 đúng): vì X1,…,XnX_1, \ldots, X_n độc lập cùng phân phối N(μ0,σ2)N(\mu_0, \sigma^2), trung bình mẫu Xˉ\bar{X} có phân phối N(μ0,σ2/n)N(\mu_0, \sigma^2/n), nên chuẩn hóa cho Z=Xˉ−μ0σ/n∼N(0,1)Z = \frac{\bar{X} - \mu_0}{\sigma/\sqrt{n}} \sim N(0, 1) chính xác.

Bước 2 (xác suất của biến cố bác bỏ): biến cố bác bỏ là ∣Z∣>zα/2|Z| > z_{\alpha/2}, chia thành hai biến cố rời nhau Z>zα/2Z > z_{\alpha/2} và Z<−zα/2Z < -z_{\alpha/2}, nên P(∣Z∣>zα/2)=P(Z>zα/2)+P(Z<−zα/2)P(|Z| > z_{\alpha/2}) = P(Z > z_{\alpha/2}) + P(Z < -z_{\alpha/2}).

Bước 3 (dùng tính đối xứng của phân phối chuẩn tắc): mật độ chuẩn tắc đối xứng qua 00, nên P(Z<−zα/2)=P(Z>zα/2)P(Z < -z_{\alpha/2}) = P(Z > z_{\alpha/2}); theo định nghĩa của zα/2z_{\alpha/2}, mỗi xác suất này bằng α/2\alpha/2.

Bước 4 (cộng hai phần): thay vào Bước 2, P(∣Z∣>zα/2)=α/2+α/2=αP(|Z| > z_{\alpha/2}) = \alpha/2 + \alpha/2 = \alpha, và vì xác suất này được tính chính xác khi H0H_0 đúng (dùng Bước 1), P(reject H0∣H0)=αP(\text{reject } H_0 \mid H_0) = \alpha chính xác, như đã phát biểu.

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.