Bien conocido teorema de Ulam dice, que cada probabilidad de medida $\mu$ definidas en subconjuntos de Borel de espacio polaco $X$ satisface la siguiente condición: para cada una de las $\epsilon>0$ no es un subconjunto compacto $K$$X$, de tal manera que $\mu(K)>1-\epsilon$.
Me pregunto hay alguna condición razonable a medida $\mu$ que garantiza que para cada una de las $\epsilon>0$ no es un conjunto abierto subconjunto $U$$X$, de tal manera que $\mbox{cl}\,U$ es compacto y $\mu(\mbox{cl}\,U)>1-\epsilon$. Alguna idea? Sería muy útil para mí.