Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

On a polish space $\mathcal{X}$ i consider two Borel probabilities $P$ and $Q$ such that for any open set $E$ of $\mathcal{X}$ we have : $P(E) =0$ implies $Q(E)=0$. Does this imply that $Q$ is absolutely continuous with respect to $P$ that is, that for any Borel set $E$ of $\mathcal{X}$ we have $P(E)=0$ implies $Q(E)=0$ ?

share|improve this question
    
No: If $P$ is Lebesgue measure on $[0,1]$, then $P(E) > 0$ for every open set $E$, and every probability measure $Q$ on $[0,1]$ vacuously satisfies your assumption. –  Dan Apr 12 '13 at 12:45
    
Sorry i don't understand your answer, how does this prove that the claim is wrong ? –  Polite Apr 12 '13 at 13:10
add comment

closed as off-topic by Nate Eldredge, Andrey Rekalo, Stefan Kohl, Ramiro de la Vega, Noah Stein Feb 19 at 19:40

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Nate Eldredge, Andrey Rekalo, Stefan Kohl, Ramiro de la Vega, Noah Stein
If this question can be reworded to fit the rules in the help center, please edit the question.

1 Answer

up vote 1 down vote accepted

Your condition means precisely that the support of the measure $Q$ (the minimal closed set of full measure) is contained in the support of the measure $P$. Obviously it has nothing to do with absolute continuity.

share|improve this answer
    
Why is this obvious ? Do you have any counter exemple ? –  Polite Apr 12 '13 at 13:20
    
There is a lot of pairwise singular measures with the same support. For instance, look at the distribution of the sum $$ \sum_{k=1}^\infty x_k/2^k \;, $$ where $x_k$ are independent and take values 1 with probability $p$ and 0 with probability $1−p$. The resulting measures $m_p$ are pairwise singular (as it follows, for instance, from the law of large numbers) and have the same support $[0,1]$ (for $p=1/2$ this is the Lebesgue measure). –  R W Apr 12 '13 at 13:47
add comment

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