(Originariamente pubblicato su MSE.)
Ho visto molte discussioni euristiche sul teorema del limite centrale classico parlare della distribuzione normale (o di una qualsiasi delle distribuzioni stabili) come un "attrattore" nello spazio delle densità di probabilità. Ad esempio, considera queste frasi all'inizio del trattamento di Wikipedia :
Nell'uso più generale, un teorema del limite centrale è uno qualsiasi di un insieme di teoremi di convergenza debole nella teoria della probabilità. Tutti esprimono il fatto che una somma di molte variabili casuali indipendenti e identicamente distribuite (iid), o in alternativa, variabili casuali con tipi specifici di dipendenza, tenderà a essere distribuita secondo una di una piccola serie di distribuzioni di attrattori . Quando la varianza delle variabili iid è limitata, la distribuzione dell'attrattore è la distribuzione normale.
Questo linguaggio dinamico dei sistemi è molto suggestivo. Feller parla anche di "attrazione" nel suo trattamento del CLT nel suo secondo volume (mi chiedo se questa sia la fonte della lingua), e Yuval Flimus in questa nota parla addirittura del "bacino di attrazione". (Non penso che significhi davvero "la forma esatta del bacino di attrazione è deducibile in anticipo", ma piuttosto "la forma esatta dell'attrattore è deducibile in anticipo"; tuttavia, la lingua è lì.) La mia domanda è: possono questi le analogie dinamiche devono essere precise?Non conosco un libro in cui si trovino, anche se molti libri sottolineano che la distribuzione normale è speciale per la sua stabilità sotto convoluzione (così come la sua stabilità sotto la trasformata di Fourier). Questo in sostanza ci sta dicendo che il normale è importante perché è un punto fisso. Il CLT va oltre, dicendoci che non è solo un punto fisso ma un attrattore.
Per rendere precisa questa immagine geometrica, immagino che lo spazio delle fasi sia uno spazio funzionale a dimensione infinita adatta (lo spazio delle densità di probabilità) e l'operatore di evoluzione da ripetere convoluzione con una condizione iniziale. Ma non ho alcun senso degli aspetti tecnici coinvolti nel far funzionare questa immagine o se vale la pena perseguire.
Immagino che, dal momento che non riesco a trovare un trattamento che persegue esplicitamente questo approccio, ci debba essere qualcosa di sbagliato nel mio senso che possa essere fatto o che sarebbe interessante. In tal caso, vorrei sapere perché.
EDIT : Ci sono tre domande simili in Math Stack Exchange e MathOverflow a cui i lettori potrebbero essere interessati: