冪等行列

線型代数学において、冪等行列（べきとうぎょうれつ、）とは、自分自身との積が自分自身に一致する行列のことである。つまり、行列 formula_1 が冪等行列であるとは formula_2 が成り立つことである。積 formula_3 が意味を持つために、formula_1 は正方行列でなければならない。このように冪等行列とは行列環の冪等元のことである。
例.
formula_5 冪等行列の例：
formula_6
formula_7 冪等行列の例：
formula_8
実2次正方行列の場合.
行列 formula_9 が冪等であるならば、
よって、実2次正方行列が冪等であるならば、行列が対角行列であるか、または行列の跡が 1 に等しい。対角行列であるとき、 および はそれぞれ または のいずれかでなければならないことに注意する。
formula_20 のとき、行列 formula_21 は formula_22、よって が二次方程式
を満たすならば冪等である。この方程式は中心 、半径 の円を表す。角度 を用いて書けば、行列
は冪等である。
formula_20 は必要条件ではなく、formula_26 である任意の行列
は冪等である。
性質.
正則性.
唯一の正則な冪等行列は単位行列である。つまり、単位行列でない正方行列が冪等であるならば、その列ベクトル（または行ベクトル）のうち線型独立であるものの本数は行列の列数よりも小さい。
これは次のようにして分かる。formula_2 であり、 が正則ならば、formula_29 の左からの積を考えて formula_30。
単位行列から冪等行列を引いた行列もやはり冪等である。なぜなら：
行列 が冪等であるための必要十分条件は、任意の正整数 に対して formula_32 が成り立つことである。
（証明）十分性は、formula_33 ととれば良いので明らかである。必要性は数学的帰納法によって示せる。formula_34 は明らかだから formula_35 のときはよい。formula_36 と仮定する。このとき formula_37 となり、formula_38 のときも正しいことが分かった。
固有値.
冪等行列は常に対角化可能で、その固有値は 0 または 1 である。
跡.
冪等行列の跡（対角成分の和）は行列の階数に等しい。これより、成分の分かっている冪等行列の階数は容易に計算できるし、また逆に、成分が明示的でないような冪等行列の跡が容易に計算できる場合がある（このことは特に統計学で有用であり、例えば標本分散から母分散（誤差分散）を（線形）推定するときの計算に現れる）。
応用.
冪等行列は回帰分析や計量経済学でしばしば現れる。例えば最小二乗法では、残差 "e""i" の平方和を最小にするように係数ベクトル を求めることが問題となる。これを行列で書けば：
となる。
ここで formula_40 は従属変数の観測値を並べたベクトル、formula_41 は各列がそれぞれの独立変数の観測値を並べたものとなっている行列である。このとき係数ベクトルの推定量は
となる。ここで上付きの "T" は行列の転置を表し、残差ベクトルは
となる。formula_44 と formula_45（後者は射影行列として知られている）は冪等かつ対称な行列であり、このことを用いると残差平方和の計算が
のように簡単になる。formula_44 の冪等性はこの他に、formula_48 の分散の推定量を計算するときにも用いられる。
冪等行列 formula_49 の像空間を 、零空間を とすれば、formula_49 は への射影作用素であり、さらに直交射影でもあるための必要十分条件は対称行列であることである。