(Спочатку розміщено на MSE.)
Я бачив, як багато евристичних дискусій класичної теореми про центральну межу говорять про нормальний розподіл (або будь-який із стабільних розподілів) як про «атрактор» у просторі ймовірностей щільності. Наприклад, розгляньте ці пропозиції у верхній частині звернення Вікіпедії :
У більш загальному використанні центральною граничною теоремою є будь-яка із наборів теорем слабкої конвергенції в теорії ймовірностей. Всі вони виражають той факт, що сума безлічі незалежних і однаково розподілених (iid) випадкових змінних або, як альтернатива, випадкових змінних із специфічними типами залежності, як правило, розподіляється відповідно до одного з невеликого набору розподілів атракторів . Коли дисперсія змінних iid є кінцевою, розподіл атрактора є нормальним розподілом.
Ця мова динамічних систем є дуже сугестивною. У своєму другому томі Феллер також говорить про "привабливість" у своєму зверненні до CLT (цікаво, чи це джерело мови), а Юваль Флімус у цій записці навіть говорить про "басейні привабливості". (Я не думаю, що він насправді означає "точну форму басейну притягання можна вивести заздалегідь", а скоріше "точну форму атрактора заздалегідь можна вивести"; все-таки мова є.) Моє питання: чи можна це динамічні аналогії мають бути точними?Я не знаю книги, в якій вони є, хоча багато книг підкреслюють, що нормальний розподіл є особливим для його стабільності в згортанні (як і для його стабільності під час перетворення Фур'є). Це в основному говорить про те, що нормальність важлива, тому що це фіксована точка. CLT йде далі, кажучи нам, що це не просто фіксована точка, а атрактор.
Щоб зробити цю геометричну картину точною, я уявляю, що фазовий простір є відповідним простором нескінченномірних функцій (простір щільності ймовірності) та оператором еволюції, що має повторюватися згортка з початковою умовою. Але я не маю жодних відчуттів щодо технічних можливостей, пов'язаних з тим, щоб зробити цю картину роботою, чи варто її дотримуватися.
Я б здогадався, що оскільки я не можу знайти лікування, яке чітко дотримується цього підходу, у моєму відчутті повинно бути щось не так, що це можна зробити або що було б цікаво. Якщо це так, я хотів би почути, чому.
EDIT : На всьому Math Stack Exchange та MathOverflow є три подібних питання, які можуть зацікавити читачів: