Я вважаю, що до цього часу повинно бути зрозуміло, що "підхід CLT" дає правильну відповідь.
Давайте точно визначимо, де «підхід до LLN» йде не так.
Починаючи з кінцевих висловлювань, тоді зрозуміло, що ми можемо еквівалентно або відняти з обох сторін, або помножити обидві сторони на . Ми отримуємон--√1 / н--√
Р ( 1н--√∑i = 1нХi≤ n--√) = P ( 1н--√∑i = 1н( Xi- 1 ) ≤ 0 ) = P ( 1н∑i = 1нХi≤ 1 )
Отже, якщо межа існує, вона буде ідентичною. Встановивши , маємо, використовуючи функції розподілуZн= 1н√∑нi = 1( Xi- 1 )
Р ( 1н--√∑i = 1нХi≤ n--√) = FZн( 0 ) = FХ¯н( 1 )
... і правда, що .limn → ∞ЖZн( 0 ) = Φ ( 0 ) = 1 / 2
Мислення в "підході до LLN" йде так: "Ми знаємо з LLN, що перетворюється в імовірності в константу. І ми також знаємо, що" конвергенція у ймовірності передбачає конвергенцію в розподілі ". Отже, сходиться в розподілі на постійну ". До цього ми правильні.
Тоді ми констатуємо: "отже, обмежувальні ймовірності для задаються функцією розподілу постійної на випадкову змінну",Х¯нХ¯н
Х¯н1
Ж1( х ) = { 1x ≥ 10х < 1⟹Ж1( 1 ) = 1
... так ...limn → ∞ЖХ¯н( 1 ) = F1( 1 ) = 1
... і ми просто помилилися . Чому? Тому що, як @AlexR. Відповідь зазначається : "конвергенція в розподілі" охоплює лише точки безперервності функції обмеження обмеження. І - точка розриву для . Це означає, що може дорівнювати але може бути і ні , не заперечуючи "конвергенцію розподілу до постійної" імплікації LLN .1Ж1limn → ∞ЖХ¯н( 1 ) Ж1( 1 )
А оскільки з підходу CLT ми знаємо, яке значення повинно бути ( ). Я не знаю способу прямо довести, що .1 / 2limn → ∞ЖХ¯н( 1 ) = 1 / 2
Ми дізналися щось нове?
Я зробив. LLN стверджує, що
limn → ∞Р ( | Х¯н- 1 | ⩽ ε ) = 1для всіх ε > 0
⟹limn → ∞[ P ( 1-ε< X¯н≤ 1 ) + P ( 1 < X¯н≤ 1 + ε ) ] = 1
⟹limn → ∞[ Р ( X¯н≤ 1 ) + P ( 1 < X¯н≤ 1 + ε ) ] = 1
LLN не говорить про те, як розподіляється ймовірність в інтервалі . Що я дізнався, це те, що в даному класі результатів конвергенції ймовірність знаходиться на межі, розподіленій порівну з двох сторін центральної точки інтервалу згортання. ( 1 - ε , 1 + ε )
Загальне твердження тут, припустимо
Хн→pθ ,h ( n ) ( Xн- θ ) →гD ( 0 , V)
де деякий rv з функцією розподілу . ПотімDЖD
limn → ∞Р [ Хн≤ θ ] = limn → ∞P [h(n)( Xн- θ ) ≤ 0 ] = FD( 0 )
... що може не дорівнювати (функція розподілу постійної rv).Жθ( 0 )
Також це вагомий приклад того, що коли функція розподілу обмежувальної випадкової величини має розриви, то "конвергенція розподілу до випадкової величини" може описувати ситуацію, коли "обмежуючий розподіл" може не погоджуватися з "розподілом обмежуючої величини" випадкова величина "в точках розриву. Строго кажучи, обмежуючим розподілом для точок безперервності є постійне випадкове змінне. Для точок розриву ми можемо обчислити граничну ймовірність як "окремі" сутності.