Cho X1,…,Xn độc lập, cùng phân phối N(μ0,σ2) với σ đã biết, và Z=σ/nXˉ−μ0. Cho zα/2 là giá trị thỏa P(Z>zα/2)=α/2 đối với phân phối chuẩn tắc. Khi đó phép kiểm định bác bỏ H0:μ=μ0 khi ∣Z∣>zα/2 thỏa P(reject H0∣H0)=α 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 Z khi H0 đúng, nên xác suất của nó khi H0 đú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 α đã 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 Z khi H0 đúng): vì X1,…,Xn độc lập cùng phân phối N(μ0,σ2), trung bình mẫu Xˉ có phân phối N(μ0,σ2/n), nên chuẩn hóa cho Z=σ/nXˉ−μ0∼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, chia thành hai biến cố rời nhau Z>zα/2 và Z<−zα/2, nên P(∣Z∣>zα/2)=P(Z>zα/2)+P(Z<−zα/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 0, nên P(Z<−zα/2)=P(Z>zα/2); theo định nghĩa của zα/2, mỗi xác suất này bằng α/2.
Bước 4 (cộng hai phần): thay vào Bước 2, P(∣Z∣>zα/2)=α/2+α/2=α, và vì xác suất này được tính chính xác khi H0 đúng (dùng Bước 1), P(reject H0∣H0)=α chính xác, như đã phát biểu.