7 votos

Cascos convexos de familias de medidas de probabilidad

Sea $X$ sea un espacio de Borel estándar, de modo que el espacio de medidas de probabilidad de Borel sobre $X$ también es un espacio de Borel estándar. Lo denotamos por $\mathcal P(X)$ .

En este documento para cualquier familia de medidas de probabilidad $P\subset \mathcal P(X)$ su casco convexo fuerte se define como $$ \operatorname{sco}P:=\left\{\left.\int_{\mathcal P(X)}q\;\nu(\mathrm dq)\;\right|\;\nu\in \mathcal P(\mathcal P(X)): \nu^*(P) = 1\right\} \subset \mathcal P(X). $$ que es exactamente el conjunto de todas las combinaciones convexas de elementos de $P$ : aquí $\nu^*(P)$ es el exterior $\nu$ -medida del conjunto $P$ . Desde $\operatorname{sco}$ es un mapa monótono, supongo que admite al menos un punto fijo que quizás pueda denominarse cierre convexo de $P$ . Sin embargo, no estoy seguro de que el punto fijo sea único.

Mi pregunta se refiere a la literatura sobre cascos convexos y cierres convexos de familias de medidas, por ejemplo, en espacios de Borel. El artículo mencionado sólo contiene una única referencia a "Probability and Potential" de Dellacherie y Meyer, sin embargo sólo tengo disponible en mi biblioteca el volumen C, y allí no encontré de ninguna manera un estudio exhaustivo de estos conceptos. Cualquier pista será muy apreciada.

En particular, además de la unicidad del punto fijo me interesa saber si el límite $$ \operatorname{clo} P := \bigcup_{n\in \Bbb N}\operatorname{sco}^n P $$ es un punto fijo de $\operatorname{sco}$ .

4voto

masylum Puntos 127

Esto es más un comentario pero no tengo ese privilegio. Si he entendido bien su pregunta, le interesarán dos artículos muy completos de T. Banakh sobre las topologías de los espacios de medidas de probabilidad. Aparecieron originalmente en ruso, pero ya están disponibles en inglés (arxiv: 1112.6161 y 1206.1727).

3voto

MobileCushion Puntos 217

Véase la noción de "conjunto de medida convexa" ...

MR2269765 Dostál, Petr; Lukeš, Jaroslav; Spurný, Jiří Conjuntos convexos y extremos medidos. Canad. Math. Bull. 49 (2006), no. 4, 536-548.

MR1009196 Rosenthal, Haskell Pruebas Martingale de un teorema de representación integral general. Analysis at Urbana, Vol. II (Urbana, IL, 1986-1987), 294-356, London Math. Soc. Lecture Note Ser., 138, Cambridge Univ. Press, Cambridge, 1989.

véase también MO post Integral en un conjunto σ-convexo.

2voto

Sergey Osypchuk Puntos 2225

Muchas gracias a Gerald Edgar y D. Kelleher por sus respuestas. Estoy (y estaba) un poco familiarizado con la teoría de Choquet e intenté encontrar la respuesta a OP y preguntas similares allí (sobre todo en "Lecture notes on Choquet's theorem"), pero mi búsqueda no tuvo mucho éxito. Esto no significa en absoluto que la respuesta no pueda encontrarse allí, sino que quizás mi familiaridad con la teoría de Choquet sea insuficiente.

Inspirado por el hecho de que el artículo de Dostal et al. ( Primera referencia de Gerald ) menciona un concepto de baricentro que también aparece en el libro "Probabilities and Potential, C" de Dellacherie y Meyer (versión inglesa, 1988), he decidido examinar una vez más este libro centrándome en esta palabra clave. Allí el Teorema en el Capítulo XI, par. 33 (p. 196) muestra que para todos los conjuntos fuertemente convexos $P$ sostiene que $\operatorname{sco}P = P$ y para todos los conjuntos analíticos $P$ el conjunto $\operatorname{sco}P$ es analítica y fuertemente convexa (de hecho, es la envolvente fuertemente convexa de $P$ que es la intersección de todos los superconjuntos fuertemente convexos de $P$ ). Los autores señalan que el resultado es "probablemente debido a Fremlin" y Dostal et al. también contienen una referencia al trabajo de Fremlin, así que quizá para los orígenes tenga que buscar en esa dirección.

En concreto, ahora tenemos que $\operatorname{sco}$ asigna la clase de subconjuntos analíticos de $\mathcal P(X)$ en sí misma, y es idempotente en esta clase. Junto con los comentarios de D. Kelleher puede dar una buena caracterización de los puntos fijos de $\operatorname{sco}$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X