UA MATH566 统计理论7 还有一个例子:推导卡方检验
UA MATH566 統計理論7 還有一個例子:推導卡方檢驗
- 均值已知
- 均值未知
前面的文章中我們已經推導了Z檢驗和T檢驗,Z檢驗是方差已知時比較單個或兩個正態總體均值的方法;T檢驗是方差未知時比較單個或兩個正態總體均值的方法。這一講推導卡方檢驗,它是比較單個正態總體方差的方法。考慮雙邊檢驗:
考慮雙邊的單總體檢驗:
H0:σ2=σ02Ha:σ2≠σ02H_0:\sigma^2 = \sigma_0^2 \\ H_a:\sigma^2 \ne \sigma^2_0H0?:σ2=σ02?Ha?:σ2?=σ02?
均值已知
假設樣本為X1,?,Xn~iidN(μ,σ2)X_1,\cdots,X_n \sim_{iid} N(\mu,\sigma^2)X1?,?,Xn?~iid?N(μ,σ2),參數μ\muμ是已知的,參數σ\sigmaσ都是未知的。參數空間可以寫成
Θ={(μ,σ2):μ∈R,σ2>0}Θ0={(μ,σ2):μ∈R,σ2=σ02}Θ1={(μ,σ2):μ∈R,σ2=σ02}\Theta = \{(\mu,\sigma^2):\mu \in \mathbb{R},\sigma^2>0\} \\ \Theta_0 = \{(\mu,\sigma^2):\mu \in \mathbb{R},\sigma^2 = \sigma^2_0\} \\ \Theta_1 = \{(\mu,\sigma^2):\mu \in \mathbb{R},\sigma^2=\sigma^2_0\} Θ={(μ,σ2):μ∈R,σ2>0}Θ0?={(μ,σ2):μ∈R,σ2=σ02?}Θ1?={(μ,σ2):μ∈R,σ2=σ02?}
樣本的似然函數為
L(μ,σ2)=∏i=1n12πσ2exp?(?12σ2(Xi?μ)2)=(2π)n/2(σ2)n/2exp?(∑i=1n12σ2(Xi?μ)2)L(\mu,\sigma^2) = \prod_{i=1}^n \frac{1}{\sqrt{2\pi\sigma^2}}\exp \left( -\frac{1}{2\sigma^2}(X_i - \mu)^2 \right) = (2\pi)^{n/2}(\sigma^2)^{n/2}\exp \left( \sum_{i=1}^n \frac{1}{2\sigma^2}(X_i-\mu)^2 \right)L(μ,σ2)=i=1∏n?2πσ2?1?exp(?2σ21?(Xi??μ)2)=(2π)n/2(σ2)n/2exp(i=1∑n?2σ21?(Xi??μ)2)
下面取σ12≠σ02\sigma_1^2 \ne \sigma_0^2σ12??=σ02?,計算似然比
L(μ,σ02)L(μ,σ12)=(2π)n/2(σ02)n/2exp?(∑i=1n12σ02(Xi?μ)2)(2π)n/2(σ12)n/2exp?(∑i=1n12σ12(Xi?μ)2)=(σ02)n/2(σ12)n/2exp?((12σ02?12σ12)∑i=1n(Xi?μ)2)\frac{L(\mu,\sigma_0^2)}{L(\mu,\sigma_1^2)} = \frac{(2\pi)^{n/2}(\sigma_0^2)^{n/2}\exp \left( \sum_{i=1}^n \frac{1}{2\sigma_0^2}(X_i-\mu)^2 \right)}{(2\pi)^{n/2}(\sigma_1^2)^{n/2}\exp \left( \sum_{i=1}^n \frac{1}{2\sigma_1^2}(X_i-\mu)^2 \right)} \\ = \frac{(\sigma_0^2)^{n/2}}{(\sigma_1^2)^{n/2}} \exp \left( (\frac{1}{2\sigma^2_0 } - \frac{1}{2\sigma_1^2})\sum_{i=1}^n (X_i - \mu)^2 \right)L(μ,σ12?)L(μ,σ02?)?=(2π)n/2(σ12?)n/2exp(∑i=1n?2σ12?1?(Xi??μ)2)(2π)n/2(σ02?)n/2exp(∑i=1n?2σ02?1?(Xi??μ)2)?=(σ12?)n/2(σ02?)n/2?exp((2σ02?1??2σ12?1?)i=1∑n?(Xi??μ)2)
記統計量
T(X)=∑i=1n(Xi?μ)2~σ2χn2T(X) = \sum_{i=1}^n (X_i-\mu)^2 \sim \sigma^2\chi^2_nT(X)=i=1∑n?(Xi??μ)2~σ2χn2?
則T(X)T(X)T(X)要讓這個似然比足夠小,我們需要分兩種情況來討論:
情況1 假設σ12>σ02\sigma_1^2>\sigma_0^2σ12?>σ02?,則似然比關于T(X)T(X)T(X)是單調遞增的,要讓似然比比較小,需要T(X)T(X)T(X)也比較小,在原假設下,T(X)T(X)T(X)的α/2\alpha/2α/2分位點為σ02χα/2,n2\sigma_0^2\chi^2_{\alpha/2,n}σ02?χα/2,n2?,因此拒絕域為
{X:T(X)≤σ02χα/2,n2}\{X:T(X) \le \sigma^2_0\chi^2_{\alpha/2,n}\}{X:T(X)≤σ02?χα/2,n2?}
情況1 假設σ12<σ02\sigma_1^2<\sigma_0^2σ12?<σ02?,則似然比關于T(X)T(X)T(X)是單調遞減的,要讓似然比比較小,需要T(X)T(X)T(X)比較大,在原假設下,T(X)T(X)T(X)的1?α/21-\alpha/21?α/2分位點為σ02χ1?α/2,n2\sigma^2_0\chi^2_{1-\alpha/2,n}σ02?χ1?α/2,n2?,因此拒絕域為
{X:T(X)≥σ02χ1?α/2,n2}\{X:T(X) \ge \sigma^2_0\chi^2_{1-\alpha/2,n}\}{X:T(X)≥σ02?χ1?α/2,n2?}
綜上,當μ\muμ已知時,卡方檢驗的拒絕域為
{X:T(X)≤σ02χα/2,n2}∪{X:T(X)≥σ02χ1?α/2,n2}\{X:T(X) \le \sigma^2_0\chi^2_{\alpha/2,n}\}\cup \{X:T(X) \ge \sigma^2_0\chi^2_{1-\alpha/2,n}\}{X:T(X)≤σ02?χα/2,n2?}∪{X:T(X)≥σ02?χ1?α/2,n2?}
其中檢驗統計量為
T(X)=∑i=1n(Xi?μ)2~σ2χn2T(X) = \sum_{i=1}^n (X_i-\mu)^2 \sim \sigma^2\chi^2_nT(X)=i=1∑n?(Xi??μ)2~σ2χn2?
均值未知
均值未知時,我們先計算出均值的最大似然估計,
μ^=Xˉ\hat{\mu} = \bar{X}μ^?=Xˉ
然后計算似然比
L(Xˉ,σ02)L(Xˉ,σ12)=(2π)n/2(σ02)n/2exp?(∑i=1n12σ02(Xi?Xˉ)2)(2π)n/2(σ12)n/2exp?(∑i=1n12σ12(Xi?Xˉ)2)=(σ02)n/2(σ12)n/2exp?((12σ02?12σ12)∑i=1n(Xi?Xˉ)2)\frac{L(\bar{X},\sigma_0^2)}{L(\bar{X},\sigma_1^2)} = \frac{(2\pi)^{n/2}(\sigma_0^2)^{n/2}\exp \left( \sum_{i=1}^n \frac{1}{2\sigma_0^2}(X_i-\bar{X})^2 \right)}{(2\pi)^{n/2}(\sigma_1^2)^{n/2}\exp \left( \sum_{i=1}^n \frac{1}{2\sigma_1^2}(X_i-\bar{X})^2 \right)} \\ = \frac{(\sigma_0^2)^{n/2}}{(\sigma_1^2)^{n/2}} \exp \left( (\frac{1}{2\sigma^2_0 } - \frac{1}{2\sigma_1^2})\sum_{i=1}^n (X_i - \bar{X})^2 \right)L(Xˉ,σ12?)L(Xˉ,σ02?)?=(2π)n/2(σ12?)n/2exp(∑i=1n?2σ12?1?(Xi??Xˉ)2)(2π)n/2(σ02?)n/2exp(∑i=1n?2σ02?1?(Xi??Xˉ)2)?=(σ12?)n/2(σ02?)n/2?exp((2σ02?1??2σ12?1?)i=1∑n?(Xi??Xˉ)2)
記統計量
T(X)=∑i=1n(Xi?Xˉ)2~σ2χn2?1T(X) = \sum_{i=1}^n (X_i-\bar{X})^2 \sim \sigma^2\chi^2_n-1T(X)=i=1∑n?(Xi??Xˉ)2~σ2χn2??1
T(X)T(X)T(X)的分布可以參考UA MATH564 概率論VI 數理統計基礎1正態樣本方差的分布。T(X)T(X)T(X)要讓這個似然比足夠小,我們需要分兩種情況來討論:
情況1 假設σ12>σ02\sigma_1^2>\sigma_0^2σ12?>σ02?,則似然比關于T(X)T(X)T(X)是單調遞增的,要讓似然比比較小,需要T(X)T(X)T(X)也比較小,在原假設下,T(X)T(X)T(X)的α/2\alpha/2α/2分位點為σ02χα/2,n?12\sigma^2_0\chi^2_{\alpha/2,n-1}σ02?χα/2,n?12?,因此拒絕域為
{X:T(X)≤σ02χα/2,n?12}\{X:T(X) \le \sigma^2_0\chi^2_{\alpha/2,n-1}\}{X:T(X)≤σ02?χα/2,n?12?}
情況1 假設σ12<σ02\sigma_1^2<\sigma_0^2σ12?<σ02?,則似然比關于T(X)T(X)T(X)是單調遞減的,要讓似然比比較小,需要T(X)T(X)T(X)比較大,在原假設下,T(X)T(X)T(X)的1?α/21-\alpha/21?α/2分位點為σ02χ1?α/2,n?12\sigma^2_0\chi^2_{1-\alpha/2,n-1}σ02?χ1?α/2,n?12?,因此拒絕域為
{X:T(X)≥σ02χ1?α/2,n?12}\{X:T(X) \ge \sigma^2_0\chi^2_{1-\alpha/2,n-1}\}{X:T(X)≥σ02?χ1?α/2,n?12?}
綜上,當μ\muμ已知時,卡方檢驗的拒絕域為
{X:T(X)≤σ02χα/2,n?12}∪{X:T(X)≥σ02χ1?α/2,n?12}\{X:T(X) \le \sigma^2_0 \chi^2_{\alpha/2,n-1}\}\cup \{X:T(X) \ge \sigma^2_0\chi^2_{1-\alpha/2,n-1}\}{X:T(X)≤σ02?χα/2,n?12?}∪{X:T(X)≥σ02?χ1?α/2,n?12?}
總結
以上是生活随笔為你收集整理的UA MATH566 统计理论7 还有一个例子:推导卡方检验的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA MATH571B 2K析因设计 S
- 下一篇: UA MATH566 统计理论 Cram