답변:
다음 선형 모델을 고려합니다 : .
잔차 벡터는 다음과 같이 추정됩니다.
여기서, .
관찰 (추적이 순환 전치 하에서 불변) 것을 Q ' = Q = Q 2 . 따라서 Q 의 고유 값은 0 과 1입니다 (일부 세부 사항은 아래 참조). 따라서, 단일 행렬 V 가 존재하여 ( 매트릭스가 정상인 경우에만 행렬이 단일 행렬에 의해 대각선 화 될 수있다. )
자,하자 ε을 .
이후 ε ~ N ( 0 , σ (2) Q가 ) , 우리가 K ~ N ( 0 , σ 2 Δ ) 때문에, K , N - P + 1 = ... = K , N = 0 . 그러므로
with 입니다.
또한 는 단일 행렬이므로
그러므로
마지막으로,이 결과는
이후 의 최소 다항식 의 다항식 분할 . 따라서 의 고유 값은 과 사이 입니다. 이후 또한 다수 곱한 고유의 합, 우리는 반드시 있음이 다중성와 고유치이다 제로는 다수의와 고유치이다 .
IMHO, 결혼 표기법 문제를 복잡하게 만듭니다. 순수한 벡터 공간 언어가 더 깨끗합니다. 모델은 로 작성 될 수 있습니다. 여기서 는 에 표준 정규 분포를 가지며 는 벡터 부분 공간 에 속한다고 가정합니다 .
이제 기본 기하학의 언어가 사용됩니다. 최소 자승 추정기 의 이외에 아무것도 없다 : 관찰의 정사영 공간에서 되는 가정이 속하는. 잔차 벡터는 직교 보수에 투영 : 의 에 . 의 차원 은 입니다.
마지막으로, 이고 는 에 표준 정규 분포를 가지므로 제곱 규범은 로 분배 자유도.
이 데모는 하나의 정리, 실제로 정의 정리 만 사용합니다.
정의와 정리 . 임의의 벡터 벡터 공간에 표준 정규 분포를 갖는 U ⊂ R을 N 는 그 값에 걸리는 경우 U (하나와 그 좌표를전체적으로) 정규 직교 기준 은 독립적 인 1 차원 표준 정규 분포입니다.
(이 정의-정리로부터 Cochran의 정리는 너무 명백하여 그것을 언급 할 가치가 없다)