n−−√supx|Fn−F|=supx|1n√∑ni=1Zi(x)|
де Zi(x)=1Xi≤x−E[1Xi≤x]
по CLT у вас
Gn=1n√∑ni=1Zi(x)→N(0,F(x)(1−F(x)))
це інтуїція ...
броунівський міст має дисперсію t ( 1 - t ) http://en.wikipedia.org/wiki/Brownian_bridge замінити t на F ( x ) . Це для одного х ...B(t)t(1−t) tF(x)x
Вам також потрібно перевірити коваріацію, а отже, ще легко показати (CLT), що для ( )
( G n ( x 1 ) , … , G n ( x k ) ) → ( B 1 , … , B k ) де ( B 1 , … , B k ) є N ( 0 , Σ ) зx1,…,xk(Gn(x1),…,Gn(xk))→(B1,…,Bk)(B1,…,Bk)N(0,Σ) , σ i j = min ( F ( x i ) , F ( x j ) ) - F ( x i ) F ( x j ) . Σ=(σij)σij=min(F(xi),F(xj))−F(xi)F(xj)
Важко частина, щоб показати , що розподіл suppremum межі є СУПРЕМУМ розподілу меж ... Щоб зрозуміти , чому це відбувається , вимагає деякої емпіричної теорії процесу, читання книг , таких , як ван дер Ваарт і Welner (нелегко) . Назва теореми - теорема Донкера http://en.wikipedia.org/wiki/Donsker%27s_theorem ...