Chúng ta có thể chứng minh điều này cho trường hợp tổng quát hơn của các biến bằng cách sử dụng "ma trận mũ" và một số thuộc tính hữu ích của nó. Những kết quả này thường khó khăn hơn nhiều để nêu trong các thuật ngữ phi ma trận do sử dụng phân rã phổ.p
Bây giờ trong phiên bản ma trận có bình phương tối thiểu, ma trận mũ là trong đó có hàng và cột (cột của cột cho ). Giả sử thứ hạng cột đầy đủ cho thuận tiện - khác bạn có thể thay thế bằng thứ hạng cột của sau đây. Chúng ta có thể viết các giá trị được trang bị là hoặc trong ký hiệu ma trận . Sử dụng điều này, chúng ta có thể viết tổng bình phương là: X n p + 1 β 0 p + 1 X Y i = Σ n j = 1 H i j Y j Y = H YH=X(XTX)−1XTXnp+1β0p+1XY^i=∑nj=1HijYjY^=HY
=YT(In-H)Y
∑i=1(Y−Yi^)2σ2=(Y−Y^)T(Y−Y^)σ2=(Y−HY)T(Y−HY)σ2
=YT(In−H)Yσ2
Trong đó là ma trận danh tính của đơn hàng . Bước cuối cùng xuất phát từ thực tế rằng là một ma trận bình dị, vì n H H 2 = [ X ( X T X ) - 1 X T ] [ X ( X T X ) - 1 X T ] = X ( X T X ) - 1 X T = H = H H T = H T HInnH
H2=[X(XTX)−1XT][X(XTX)−1XT]=X(XTX)−1XT=H=HHT=HTH
Bây giờ một tính chất gọn gàng của ma trận bình dị là tất cả các giá trị riêng của chúng phải bằng 0 hoặc 1. Để biểu thị một hàm riêng được chuẩn hóa của với eigenvalue , chúng ta có thể chứng minh điều này như sau:H leHl
He=le⟹H(He)=H(le)
LHS=H2e=He=leRHS=lHe=l2e
⟹le=l2e⟹l=0 or 1
(lưu ý rằng không thể bằng 0 vì nó phải thỏa mãn ) Bây giờ vì là idepotent, cũng vậy, bởi vìeeTe=1HIn−H
(In−H)(In−H)=I−IH−HI+H2=In−H
Chúng ta cũng có tính chất là tổng của các giá trị riêng bằng dấu vết của ma trận và
tr(In−H)=tr(In)−tr(H)=n−tr(X(XTX)−1XT)=n−tr((XTX)−1XTX)
=n−tr(Ip+1)=n−p−1
Do đó phải có giá trị riêng bằng và giá trị riêng bằng .I−Hn−p−11p+10
Bây giờ chúng ta có thể sử dụng phân rã phổ của trong đó và là trực giao (vì là đối xứng). Một tài sản hơn nữa đó là hữu ích là . Điều này giúp thu hẹp ma trậnI−H=ADATD=(In−p−10[p+1]×[n−p−1]0[n−p−1]×[p+1]0[p+1]×[p+1])AI−HHX=XA
HX=X⟹(I−H)X=0⟹ADATX=0⟹DATX=0
⟹(ATX)ij=0i=1,…,n−p−1j=1,…,p+1
và chúng tôi nhận được:
∑i=1(Y−Yi^)2σ2=YTADATYσ2=∑n−p−1i=1(ATY)2iσ2
Bây giờ, trong mô hình chúng ta có và sử dụng lý thuyết chuẩn thông thường, chúng ta có cho thấy các thành phần của là độc lập. Bây giờ bằng cách sử dụng kết quả hữu ích, chúng ta có cho . Phân phối chi bình phương với bậc tự do cho tổng các lỗi bình phương ngay sau đó.Y∼N(Xβ,σ2I)ATY∼N(ATXβ,σ2ATA)∼N(ATXβ,σ2I)ATY(ATY)i∼N(0,σ2)i=1,…,n−p−1n−p−1