Các ma trận là "Annihilator" hoặc "nhà sản xuất còn" ma trận kết hợp với ma trận X . Nó được gọi là "annihilator" vì M X = 0 ( dĩ nhiên đối với ma trận X của chính nó ). Được gọi là "nhà sản xuất còn lại" vì M y = e , trong hồi quy y = X β + e . M=I−X(X′X)−1X′XMX=0XMy=e^y=Xβ+e
Nó là một ma trận đối xứng và idempotent. Nó được sử dụng trong chứng minh định lý Gauss-Markov.
Ngoài ra, nó được sử dụng trong định lý FrischTHER WaughTHER Lovell , từ đó người ta có thể thu được kết quả cho "hồi quy phân vùng", nói rằng trong mô hình (ở dạng ma trận)
y=X1β1+X2β2+u
chúng ta có điều đó
β^1=(X′1M2X1)−1(X′1M2)y
Vì là idempotent, chúng ta có thể viết lại ở trên bằng cáchM2
β^1=(X′1M2M2X1)−1(X′1M2M2)y
M2
β^1=([M2X1]′[M2X1])−1([M2X1]′[M2y]
Nhưng đây là công cụ ước lượng bình phương nhỏ nhất từ mô hình
[M2y]=[M2X1]β1+M2u
M2yyX2
yX2M2X1β^1yX1X2
X1x1M2x1X1X2β^1X1X2YX2
Đây là một phần biểu tượng của Đại số Least-Squares cổ điển.