Topologías para las cuales el conjunto de distribuciones de probabilidad está completo


9

He estado luchando bastante para conciliar mi comprensión intuitiva de las distribuciones de probabilidad con las propiedades extrañas que poseen casi todas las topologías en las distribuciones de probabilidad.

Por ejemplo, considere una variable aleatoria de mezcla : elija un gaussiano centrado en 0 con varianza 1 y con probabilidad 1Xn , agreguenal resultado. Una secuencia de tales variables aleatorias convergería (débilmente y en variación total) a un Gaussiano centrado en 0 con varianza 1, pero la media de laXn1nnXn siempre es y las varianzas convergen en + . Realmente no me gusta decir que esta secuencia converge por eso.1+

Me tomó bastante tiempo recordar todo lo que había olvidado sobre las topologías, pero finalmente descubrí lo que me resultaba tan insatisfactorio sobre tales ejemplos: el límite de la secuencia no es una distribución convencional. En el ejemplo anterior, el límite es un extraño "gaussiano de media 1 y de varianza infinita". En términos topológicos, el conjunto de distribuciones de probabilidad no está completo bajo los débiles (y TV, y todas las demás topologías que he visto).

Entonces me enfrento a la siguiente pregunta:

  • ¿Existe una topología tal que el conjunto de distribuciones de probabilidad esté completo?

  • Si no, ¿esa ausencia refleja una propiedad interesante del conjunto de distribuciones de probabilidad? ¿O es simplemente aburrido?

Nota: He formulado mi pregunta sobre "distribuciones de probabilidad". Estos no se pueden cerrar porque pueden converger a Diracs y cosas así que no tienen un pdf. Pero las medidas aún no están cerradas bajo la topología débil, por lo que mi pregunta sigue siendo

cruzado a mathoverflow /mathpro/226339/topologies-for-which-the-ensemble-of-probability-measures-is-complete?noredirect=1#comment558738_226339


2
Descubriste que el conjunto de todas las distribuciones de probabilidad es muy compacto . Creo que compacidad es la palabra que necesitas, no integridad. El concepto relevante de compacidad en este entorno a menudo se llama estanqueidad . Ver por ejemplo stats.stackexchange.com/questions/180139/…
kjetil b halvorsen

@kjetilbhalvorsen Creo que es precompacto en lugar de compacto debido al Teorema de Skorohod.
Henry.L

¿Cuál es exactamente el problema con el ejemplo dado? ¿Es que (débil, por ejemplo) la convergencia no implica convergencia de momentos? ¿Por qué debería hacerlo? ¿Y qué tiene esto que ver con la integridad (el límite existe en el ejemplo dado)?
Michael

Respuestas:


1

Mirando la pregunta desde un ángulo estadístico más estrecho (el tema topológico matemático general es válido), el hecho de que la secuencia de momentos puede no converger a los momentos de la distribución limitante es un fenómeno bien conocido. Esto, en principio, no pone en duda automáticamente la existencia de una distribución limitante de la secuencia que se comporte bien.

{Xn+nBern(1/n)}N(0,1)


1
¿Cómo responde esto a la pregunta?
whuber

2
@whuber Bueno, mi respuesta dice que si existe una topología como la que solicita el OP, o no, no hace mucha diferencia desde un punto de vista estadístico.
Alecos Papadopoulos
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.