Choosing the Exact Sampling Law
Exact sampling calculations for normal data are built from a small set of linked quantities: a sample mean, a residual sum of squares, and ratios formed from them. The important work in a problem is not just recognizing a familiar statistic. It is checking the model assumptions, identifying which quantities are independent, and matching the numerator and denominator degrees of freedom to the statistic actually calculated.
Throughout, \(X_1,\ldots,X_n\) are independent observations from \(N(\mu,\sigma^2)\), where \(\sigma^2>0\) and \(n\ge 2\), unless a different model is stated. Write \(\bar X=n^{-1}\sum_{i=1}^n X_i\), \(RSS=\sum_{i=1}^n(X_i-\bar X)^2\), and \(S^2=RSS/(n-1)\). The divisor \(n-1\) is essential: it makes the residual sum of squares correspond to \(n-1\) degrees of freedom.
Normal Means and Residual Variation
The exact mean law follows directly from closure of independent normal variables under linear combinations: \(\bar X\sim N(\mu,\sigma^2/n)\). The complementary part of the sample vector is its residual variation around \(\bar X\). For a normal sample, the mean and this residual variation are independent; the residual sum of squares, scaled by \(\sigma^2\), has a chi-square law.
To verify the residual degrees of freedom and independence, standardize the observation vector: \(Z_i=(X_i-\mu)/\sigma\). The vector \(Z\) has independent standard normal coordinates. Choose an orthogonal matrix whose first row is \((1/\sqrt n,\ldots,1/\sqrt n)\). Orthogonal transformations preserve the standard multivariate normal density, so the transformed coordinates are again independent standard normals. The first transformed coordinate is \(\sqrt n(\bar X-\mu)/\sigma\). The sum of squares of the remaining \(n-1\) coordinates is \(RSS/\sigma^2\): an orthogonal change of coordinates preserves total squared length, and removing the first coordinate removes \(n(\bar X-\mu)^2/\sigma^2\). Thus the residual sum is chi-square with \(n-1\) degrees of freedom and is independent of the first coordinate, hence independent of \(\bar X\). This proves the theorem. \(\square\)
Worked Example: Finding the Residual Degrees of Freedom
Suppose five independent observations are \(2,4,4,6,9\), from a \(N(\mu,\sigma^2)\) model. Calculate the sample mean and residual sum of squares, then state the exact sampling law of the scaled residual sum.
The mean is \(\bar x=(2+4+4+6+9)/5=25/5=5\). The squared deviations are \(9,1,1,1,16\), so \(RSS=9+1+1+1+16=28\). Since the sample size is five, \(S^2=28/(5-1)=7\). Under the stated normal model, \(RSS/\sigma^2\sim\chi^2_4\), or equivalently \(4S^2/\sigma^2\sim\chi^2_4\). The observed value 28 is not itself a chi-square random variable; it is the random quantity \(RSS\), scaled by the model variance, whose distribution has four degrees of freedom.
One-Sample Student Ratios
When \(\sigma\) is unknown, standardizing \(\bar X-\mu\) by the true standard error \(\sigma/\sqrt n\) is not operational. Replacing \(\sigma\) by \(S\) gives a statistic with an exact Student \(t\) law, because the standardized mean is independent of the scaled residual sum of squares.
For the proof, the mean law gives \(Z=\sqrt n(\bar X-\mu)/\sigma\sim N(0,1)\). The preceding result gives \(Q=(n-1)S^2/\sigma^2\sim\chi^2_{n-1}\), independently of \(Z\). Substitution shows \[ \frac{\bar X-\mu}{S/\sqrt n} =\frac{\sqrt n(\bar X-\mu)/\sigma}{\sqrt{(n-1)S^2/\sigma^2\,/(n-1)}} =\frac{Z}{\sqrt{Q/(n-1)}}. \] By the definition of the Student distribution, this is \(t_{n-1}\). \(\square\)
Worked Example: A One-Sample t Test and Interval
A normal-population sample has \(n=12\), \(\bar x=52.4\), and \(s=6\). Test \(H_0:\mu=50\) against a two-sided alternative using the exact statistic, and give the 95% confidence interval for \(\mu\).
Under \(H_0\), the statistic has a \(t_{11}\) distribution. Its observed value is \[ t_{\mathrm{obs}}=\frac{52.4-50}{6/\sqrt{12}} =\frac{2.4\sqrt{12}}{6} =0.4\sqrt{12} =0.8\sqrt3 =\frac{4\sqrt3}{5} \approx 1.38564. \]
The exact two-sided p-value is \(2[1-G_{11}(4\sqrt3/5)]\), where \(G_{11}\) is the \(t_{11}\) cumulative distribution function. Numerically this is about \(0.193\). The calculation uses 11 degrees of freedom because the estimated variance comes from 12 observations and has \(12-1\) residual degrees of freedom.
For a 95% interval, the standard error is \(s/\sqrt n=6/\sqrt{12}=\sqrt3\). Using \(t_{11,0.975}\approx2.200985\), the margin of error is \(2.200985\sqrt3\approx3.81222\). Therefore the interval is \[ 52.4\pm t_{11,0.975}\frac{6}{\sqrt{12}} \approx52.4\pm3.81222 =(48.588,\ 56.212), \] to three decimal places. The exact coverage follows from the same \(t_{11}\) pivot used in the test.
Two Samples: Pooled t and F Ratios
For two independent normal samples, within-sample residual sums of squares provide separate chi-square quantities. If the population variances are equal, adding those sums produces a pooled variance estimate. The resulting pooled t statistic is exact under equality of the population means. If instead the target is a variance comparison, the ratio of the two scaled sample variances has an exact F distribution under equal population variances.
For justification, each sample separately satisfies \((n_j-1)S_j^2/\sigma_j^2\sim\chi^2_{n_j-1}\), independently of its sample mean. The two samples are independent. Under the common-variance condition, the two independent chi-square variables add to a chi-square with \((n_1-1)+(n_2-1)=n_1+n_2-2\) degrees of freedom, and their sum is independent of the difference of sample means. Under \(\mu_1=\mu_2\), that difference divided by \(\sigma\sqrt{1/n_1+1/n_2}\) is standard normal. Dividing it by the square root of the independent pooled chi-square divided by \(n_1+n_2-2\) yields the stated t law. For the F result, divide each sample variance by its own population variance and its degrees of freedom; the resulting independent quantities are chi-square variables divided by their degrees of freedom, which is exactly the defining F ratio. \(\square\)
Worked Example: A Pooled Two-Sample t Statistic
Two independent normal samples have \(n_1=8,\bar x_1=14.2,s_1=2.4\) and \(n_2=10,\bar x_2=12.7,s_2=1.8\). Assuming equal population variances, calculate the pooled t statistic for testing \(H_0:\mu_1=\mu_2\).
The pooled variance and standard deviation are \[ s_p^2=\frac{(8-1)(2.4)^2+(10-1)(1.8)^2}{8+10-2} =\frac{7(5.76)+9(3.24)}{16} =\frac{40.32+29.16}{16} =4.3425, \qquad s_p\approx2.08387. \]
The estimated standard error of the mean difference is \[ s_p\sqrt{\frac18+\frac1{10}} =2.08387\sqrt{0.225} \approx 2.08387(0.474342) \approx0.98847. \] Thus \(t_{\mathrm{obs}}=(14.2-12.7)/0.98847\approx1.518\), with \(8+10-2=16\) degrees of freedom under the null and the equal-variance model. The exact two-sided p-value is \(2[1-G_{16}(1.518)]\), approximately \(0.149\). If equal variances are not assumed, this pooled statistic does not have the stated exact \(t_{16}\) law.
Worked Example: Comparing Two Population Variances
Independent normal samples have sizes \(n_1=10,n_2=12\), with observed sample variances \(s_1^2=16\) and \(s_2^2=9\). For testing equal population variances, form the ratio in the order sample 1 divided by sample 2 and state its reference law under \(H_0:\sigma_1^2=\sigma_2^2\).
The observed ratio is \(s_1^2/s_2^2=16/9\approx1.7778\). Under the null, the population-variance factors cancel: \[ \frac{S_1^2}{S_2^2} =\frac{(S_1^2/\sigma_1^2)}{(S_2^2/\sigma_2^2)} \sim F_{9,11}. \] The numerator degrees of freedom are \(10-1=9\); the denominator degrees of freedom are \(12-1=11\). For an upper-tail test, the exact p-value is \(1-H_{9,11}(16/9)\), where \(H_{9,11}\) is the \(F_{9,11}\) cumulative distribution function. Keeping the sample order fixed matters: reversing the ratio gives the reciprocal observation and interchanges the degrees of freedom.
Assumptions, Degrees of Freedom, and Common Errors
Exactness depends on the model, not simply on the appearance of a statistic. The one-sample t result requires independent observations from a single normal population; its exactness does not follow for an arbitrary population merely because the sample size is moderate. The pooled two-sample t result additionally requires independent samples and equal population variances. The F variance-ratio result requires independent normal samples. When these assumptions are doubtful, the corresponding exact reference law is not justified by the derivations above.
A frequent mistake is to use \(n\) degrees of freedom for a sample variance because there are \(n\) observations. The residuals satisfy \(\sum_i(X_i-\bar X)=0\), so only \(n-1\) residual coordinates can vary freely. The theorem makes this precise: \(RSS/\sigma^2\) is chi-square with \(n-1\) degrees of freedom. Another error is to treat a sample-variance ratio as \(F\) without accounting for the population variances. Its exact law is \(F\) under \(\sigma_1^2=\sigma_2^2\), or after explicitly dividing each sample variance by its own population variance.
Record normality, independence, sample sizes, and any equal-variance or null-mean assumptions relevant to the calculation.
Use the mean as a normal component, and each residual sum of squares as a chi-square component with sample size minus one degrees of freedom.
A normal divided by an independent chi-square scale gives t; a ratio of independent chi-square quantities divided by their degrees of freedom gives F.
Check Your Understanding
For each question, state the assumptions and degrees of freedom needed for an exact answer.
- For an independent normal sample of size 15, what is the law of \(14S^2/\sigma^2\)?
- In a one-sample test of a normal-population mean with \(n=9\) and unknown variance, what is the null distribution of the t statistic?
- Two independent normal samples have sizes 7 and 11 and equal population variances. How many degrees of freedom does the pooled t statistic have?
- For independent normal samples of sizes 6 and 13, what are the numerator and denominator degrees of freedom for \(S_1^2/\sigma_1^2\) divided by \(S_2^2/\sigma_2^2\)?
- Why does a pooled two-sample t statistic not automatically have its exact pooled t law when the population variances differ?