matrycy jest "annihilator" lub "resztkowa ekspres" matrycą związane z matrycą . Nazywa się to „anihilatorem”, ponieważ ( oczywiście dla własnej macierzy ). Nazywa się „resztkowym twórcą”, ponieważ , w regresji . M=I−X(X′X)−1X′XMX=0XMy=e^y=Xβ+e
Jest to symetryczna i idempotentna matryca. Jest używany w dowodzie twierdzenia Gaussa-Markowa.
Jest także wykorzystywany w twierdzeniu Frischa – Waugh – Lovella , z którego można uzyskać wyniki dla „regresji partycjonowanej”, która mówi, że w modelu (w postaci macierzy)
y=X1β1+X2β2+u
mamy to
β^1=(X′1M2X1)−1(X′1M2)y
Ponieważ jest idempotentny, możemy ponownie napisać powyższe przezM2
β^1=(X′1M2M2X1)−1(X′1M2M2)y
a ponieważ jest również symetryczny, mamyM2
β^1=([M2X1]′[M2X1])−1([M2X1]′[M2y]
Ale jest to estymator najmniejszych kwadratów z modelu
[M2y]=[M2X1]β1+M2u
i również M2y są pozostałości po regresie y na matrycy X2 tylko.
Innymi słowy: 1) Jeśli cofniemy się y na matrycy X2tylko, a następnie zresetuj resztki z tego oszacowania na macierzyM2X1 tylko β^1szacunki, które uzyskamy, będą matematycznie równe oszacowaniom, które uzyskamy, jeśli cofniemy sięy zarówno X1 i X2 razem w tym samym czasie, jak zwykle regresja wielokrotna.
Załóżmy teraz X1 nie jest matrycą, ale tylko jednym regresem, powiedzmy x1. NastępnieM2x1 jest pozostałością po regresie zmiennej X1 na matrycy regresora X2. A to zapewnia intuicję tutaj:β^1 daje nam efekt, który „część X1 to jest niewyjaśnione przez X2„ma” część Y niewyjaśnione przez X2„.
Jest to symboliczna część klasycznej algebry Least-Squares.