먼저 몇 가지 표기법. 하자가 및 와 관련된 범주 시퀀스 나타낸다 와 , 즉 . 이라고하자 . 이진화
여기서 는 크로네 커 델타입니다. 그래서 우리는{Xt}1,…,m{Yt}1,…,nXmYnPr{Xt=i}=ai,Pr{Yt=i}=biN=n+m
X∗iY∗i=(X∗1,i,…,X∗N,i)=(δi,X1,…,δi,Xn,0,…,0)=(Y∗1,i,…,Y∗N,i)=(0,…,0,δi,Y1,…,δi,Yn)
δi,j≡1i=jXm,i=∑t=1NX∗t,i=∑t=1mδi,XtYn,i=∑t=1NY∗t,i=∑t=1nδi,Yt
이제 우리는 증거를 시작합니다. 먼저 테스트 통계의 두 가지 요약을 결합합니다. 참고
따라서 테스트 통계를
Xm,i−mc^iYn,i−nc^i=(n+m)Xm,i−m(Xm,i+Yn,i)n+m=nXm,i−mYn,in+m=(n+m)Yn,i−n(Xm,i+Yn,i)n+m=mYn,i−nXm,in+m
S=∑i=1k(Xm,i−mc^i)2mc^i+∑i=1k(Yn,i−nc^i)2nc^i=∑i=1k(nXm,i−mYn,i)2(n+m)2mc^i+∑i=1k(nXm,i−mYn,i)2(n+m)2nc^i=∑i=1k(nXm,i−mYn,i)2nm(n+m)c^i
다음 참고
와 다음 속성
nXm,i−mYn,i=∑t=1NnX∗t,i−mY∗t,i=Zi
E[Zi]Var[Zi]Cov[Zi,Zj]=nE[Xm,i]−mE[Yn,i]=nmai−nmai=0=Var[nXm,i−mYn,i]=n2Var[Xm,i]−m2Var[Yn,i]Note Xm,i and Yn,i are independent=n2mai(1−ai)+m2nai(1−ai)=nm(n+m)ai(1−ai)=E[ZiZj]−E[Zi]E[Zj]=E[(nXm,i−mYn,i)(nXm,j−mYn,j)]=n2(−maiaj+m2aiaj)−2n2m2aiaj+m2(−naiaj+n2aiaj)=−nm(n+m)aiaj
따라서 다변량 CLT에 의해 여기서 , 의 번째 요소 입니다. 이후 Slutsky는 여기서 는 항등 행렬입니다.
1nm(n+m)−−−−−−−−−√Z=nXm−mYnnm(n+m)−−−−−−−−−√→DN(0,Σ)
(i,j)Σσij=ai(δij−aj)c^=(c^1,…,c^k)→p(a1,…,ak)=anXm−mYnnm(n+m)−−−−−−−−−√c^→DN(0,Ik−a−−√a−−√′)
Ikk×ka−−√=(a1−−√,…,ak−−√) . 이후 multiplicty 1 고유치 0 다중성의 고유 한 갖고 (연속 매핑 법칙에 의해 또는 참조 Lemma 17.1, van der Vaart의 정리 17.2)
Ik−a−−√a−−√′k−1∑i=1k(nXm,i−mYn,i)2nm(n+m)c^i→Dχ2k−1