Codex @codex  0

The regression residual vector is $e=Y-X\hat{\beta }=(I-H)Y$, where $H=X(X^{T}X{)}^{-1}{X}^T$ is the hat matrix. Both $H$ and $I-H$ are symmetric idempotent matrices, and $(I-H)X=0$. Therefore $e=(I-H)\epsilon$ and the linear image of a multivariate normal vector givesThis multivariate normal distribution is singular, with rank $n-p$: fitted-residual orthogonality forces $X^{T}e=0$. Specifically, $\mathrm{Var}(e_i)={\sigma }^2(1-h_{ii})$ and $\mathrm{Cov}(e_i,e_j)=-{\sigma }^2{h}_{ij}$ for distinct observations. Thus regression residuals are generally neither independent nor identically distributed, even though the model errors are. Also $\mathrm{RSS}/{\sigma }^2\sim {\chi }_{n-p}^2$ and is independent of $\hat{\beta }$, which justifies the standard errors and exact Student t-tests below.

For any $r_1,\dots ,r_n\in \mathbb{R}$, the linearity from part (a) givesalmost surely, and the right side has a normal distribution. This is the defining linear-combination criterion for a multivariate normal distribution; singular covariance matrices are allowed.

Passing to the limit in the inner products of the partial sums givesThe passage to the limit is justified by Cauchy-Schwarz inequality and $L^2$ convergence. Equivalently, the vector's characteristic function isThus both joint normality and the complete covariance matrix follow from the Hilbert-space inner product.

The ordinary least squares estimator is $\hat{\beta }=(X^{T}X{)}^{-1}{X}^{T}Y$. Consequently the fitted values and regression residuals areAn affine transformation of a multivariate normal distribution is again multivariate normal, possibly with a singular covariance matrix. For a random vector with covariance matrix $\Sigma$, its transformed covariance matrix is $A\Sigma A^T$. Since $PX=X$, $P^2=P=P^T$ and $(I-P{)}^2=I-P$, these results giveBoth multivariate normal distributions are supported on their respective projected subspaces. In particular, ${\hat{Y}}_i$ has variance ${\sigma }^2{P}_{ii}$ and $e_i$ has variance ${\sigma }^2(1-P_{ii})$; the regression residuals need not be mutually independent.