回答:
次の線形モデルを考えます:。
残差のベクトルは、
ここで、です。
観察その(トレースは、巡回置換の下で不変である)およびその。したがって、Qの固有値は0および1です(詳細は以下)。したがって、ユニタリ行列Vが存在します(ユニタリ行列が正常である場合にのみ、行列はユニタリ行列によって対角化可能です)。
ここで、ます。
以来、、我々は、したがって、。かくしてK〜N(0、σ2Δ)KN-、P+1=...=KN=0
。
さらに、はユニタリ行列であるため、
かくして
最後に、この結果が意味することを観察します
以来、、最小多項式の多項式除算。だから、の固有値間にあると。のでまた、それらの多数を乗じた固有値の和であり、我々は必ずしも有する多重度を持つ固有値であり、、ゼロが多重度を持つ固有値である。Q z 2 − z Q 0 1 tr(Q )= n − p 1 n − p p
私見、行列表記事態を複雑にします。純粋なベクトル空間言語はよりクリーンです。モデルを書くことができる上に標準正規distributonを有する及びベクターに属するものとする部分空間。
今、基本幾何学の言語が登場します。最小二乗推定量の何もなくていない:観察の正射影空間にた属するものとします。残差のベクトルは、P ⊥ W Y:直交補数に投影W ⊥のWにおけるR N。寸法Wは⊥であるDIM (W ⊥)= N - DIM (。
最後に、および P ⊥ W Gは、上の標準正規分布有しW ⊥をその二乗ノルムを有し、従って、χ 2を有する分布DIMを(W ⊥)の自由度。
このデモでは、1つの定理、実際には定義定理のみを使用します。
定義と定理。ランダムベクトルベクトル空間上の標準正規分布有しU ⊂ Rを Nはその値をとる場合はU(一方で、その座標をすべてにおいて)正規直交基底は独立した1次元標準正規分布です
(この定義定理から、コクランの定理は非常に明白であるため、それを述べる価値はありません)