Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(\Omega,\mathcal F)$ be a measurable space and $\mathcal P$ a weak*-compact set of the set of all probability measures $\mathcal M_1(\Omega)$. Does there always exist a probability measure $\mathbb Q\in\mathcal M_1(\Omega)$ such that every $\mathbb P\in\mathcal P$ is absolutely continuous to $\mathbb Q$, i.e. such that $\mathbb Q$ dominates all measures in $\mathcal P$?

share|cite|improve this question
Can you precisely state what you mean by weak$^*$-compact? – Davide Giraudo Apr 15 '13 at 19:55
the weak*-topology is usually taken to be the weakest topology such that the linear functionals $l_Z:\mathcal M_1(\Omega)\rightarrow\mathbb R$, defined by $l_Z(\mu)=\int_\mathbb R Zd\mu$ is continuous for every bounded and measurable function $Z:\Omega\rightarrow\mathbb R$. – Andy Teich Apr 15 '13 at 20:34
up vote 0 down vote accepted

The question is now answered at Math Overflow.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.