पहले कुछ अंकन। Let और संबंधित क्रमबद्ध अनुक्रम को दर्शाएं। और , अर्थात । आज्ञा देना । Binerifications पर विचार करें
जहां है क्रोनकर डेल्टा। तो हमारे पास{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 से हमारे पास जहां वें तत्व का , । चूँकि स्लटस्की के पास हमारे पास जहां है , पहचान मैट्रिक्स
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−−√) । चूँकि में गुणनफल 1 का eigenvalue 1 और गुणन का eigenvalue , निरंतर मैपिंग प्रमेय द्वारा (या देखें) लेम्मा 17.1, वैन डेर वार्ट का प्रमेय 17.2) हमारे पास
Ik−a−−√a−−√′k−1∑i=1k(nXm,i−mYn,i)2nm(n+m)c^i→Dχ2k−1