J'ai eu beaucoup de mal à concilier ma compréhension intuitive des distributions de probabilités avec les propriétés étranges que possèdent presque toutes les topologies sur les distributions de probabilités.
Par exemple, considérons une variable aléatoire de mélange : choisissez une gaussienne centrée sur 0 avec la variance 1, et avec la probabilité , ajoutez n au résultat. Une séquence de ces variables aléatoires convergerait (faiblement et en variation totale) vers une gaussienne centrée sur 0 avec la variance 1, mais la moyenne de X_n est toujours 1 et les variances convergent vers + \ infty . Je n'aime vraiment pas dire que cette séquence converge à cause de cela.1 nXn1+∞
J'ai mis un certain temps à me souvenir de tout ce que j'avais oublié sur les topologies, mais j'ai finalement compris ce qui m'était si insatisfaisant à propos de tels exemples: la limite de la séquence n'est pas une distribution conventionnelle. Dans l'exemple ci-dessus, la limite est un "gaussien étrange de moyenne 1 et de variance infinie". En termes topologiques, l'ensemble des distributions de probabilité n'est pas complet sous le faible (et la télévision, et toutes les autres topologies que j'ai examinées).
Je suis alors confronté à la question suivante:
existe-t-il une topologie telle que l'ensemble des distributions de probabilité soit complet?
Si non, cette absence reflète-t-elle une propriété intéressante de l'ensemble des distributions de probabilité? Ou est-ce simplement ennuyeux?
Remarque: J'ai formulé ma question sur les "distributions de probabilité". Ceux-ci ne peuvent pas être fermés car ils peuvent converger vers des Diracs et des trucs comme ceux qui n'ont pas de pdf. Mais les mesures ne sont toujours pas fermées sous la topologie faible donc ma question reste
crossposted à mathoverflow /mathpro/226339/topologies-for-which-the-ensemble-of-probability-measures-is-complete?noredirect=1#comment558738_226339
la source
Réponses:
En examinant la question sous un angle statistique plus étroit (la question topologique mathématique générale est valable), le fait que la séquence des moments ne converge pas vers les moments de la distribution limite est un phénomène bien connu. En principe, cela ne met pas automatiquement en doute l'existence d'une distribution limitative bien conduite de la séquence.
La distribution limite de la séquence ci-dessus est une distribution bien comportée à moments finis. C'est la séquence des moments qui ne converge pas. Mais c'est une séquence différente , une séquence composée de fonctions de nos variables aléatoires (intégrales, densités et autres), et non la séquence des variables aléatoires elles-mêmes dont la distribution limite nous intéresse.N ( 0 , 1 ){Xn+nBern(1/n)} N(0,1)
la source