Чому верхівка броунівського мосту має розподіл Колмогорова – Смірнова?


16

Розподіл Колмогорова – Смирнова відомий з тесту Колмогорова – Смірнова . Однак, це також поширення надмости Браунівського мосту.

Оскільки це далеко не очевидно (для мене), я хотів би попросити інтуїтивно пояснити цей збіг. Посилання також вітаються.


@GaBorgulya: Що ти змінив?
— Расмус

Дивіться тут і тут .
— кардинал

Відповіді:


13

nsupx|Fn−F|=supx|1n∑i=1nZi(x)|

де Zi(x)=1Xi≤x−E[1Xi≤x]

по CLT у вас Gn=1n∑i=1nZi(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 ...


Чи не слід застосовувати CLT до всіх кінцевих розмірних граничних розподілів?
— Расмус

ви попросили інтуїтивно зрозуміти відповідь :) також я вирішу не турбувати вас за хитру математичну частину, яка полягає в тому, щоб показати, що конвергенція для всіх t передбачає конвергенцію (в законі) верховин ... Ви хочете, щоб я завершив відповідь?
— Робін Жирард

Шановний Робін Жирард, я вважаю, що відповідь тобі добре. Дякую!
— Расмус

1
насправді складна частина полягає у демонстрації слабкої конвергенції. Тоді конвергенція супрему випливає безпосередньо з теореми безперервного відображення. Цей результат можна знайти в «Зближенні ймовірних заходів» Біллінгслі. Ван дер Варт та Велнер дають більш загальний результат, і їхня книга справді, дуже жорстка :)
— mpiktas

@robingirard Я особисто хотів би побачити "повну відповідь" на всі "хитрі математичні частини [s]"
— StatsPlease

6

nf(x)=1n∑iχ(−∞,Xi](x)

qx=q

pp=2p

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.