[Math] Sufficient condition for absolute continuity of measures

measure-theoryprobability theory

Let $X=2^{\omega}$ (the space of one-way infinite binary sequences) and $\mathcal{P}(X)$ the space of Borel probability measures on $X$. A measure $\mu \in \mathcal{P}(X)$ is absolutely continuous with respect to $\nu \in \mathcal{P}(X)$, written $\mu \ll \nu$, iff for every $\epsilon>0$ there is a $\delta>0$ such that for every Borel $B$, if $\nu(B)<\delta$ then $\mu(B) < \epsilon$.

Question 1 Does it suffice to check only cylinder sets? I.e. is it the case that $\mu \ll \nu$ iff for every $\epsilon>0$ there is a $\delta>0$ such that for every finite binary string $\sigma$ if $\nu([\sigma])<\delta$ then $\mu([\sigma]) < \epsilon$, where and $[\sigma] = \{ x \in X: \sigma \text{ is an initial segment of } x\}$?

Question 2 Is there some countable collection $\mathcal{C}$ of Borel sets such that $\mu \ll \nu$ iff for every $\epsilon>0$ there is a $\delta>0$ such that for every $B \in \mathcal{C}$, if $\nu(B)<\delta$ then $\mu(B) < \epsilon$?

Of course, an affirmative answer to Question 1 implies an affirmative answer to Question 2.

Best Answer

Recall

Let $(\Omega,\mathcal B,m)$ a finite measure space, and $\mathcal A\subset\mathcal B$ a generating algebra. Then for each $\varepsilon>0$, we can find $A\in\mathcal A$ such that $m(A\Delta B)<\varepsilon$.

(see here for a proof). We shall apply this result to $\mathcal A$ the algebra generated by cylindrical sets.
Fix $\varepsilon>0$. We can find $\delta>0$ such that for each $A\in\mathcal A$ satisfying $\nu(A)\leqslant 2\delta$ then $\mu(A)\leqslant \varepsilon$. Let $B\in\mathcal B(X)$. We can find $A\in\mathcal A$ such that $\mu(A\Delta B)+\nu(A\Delta B)<\delta$. If $\nu(B)\leqslant \delta$, then $\nu(A)\leqslant |\nu(B)-\nu(A)|+\nu(B)\leqslant 2\delta$ hence $\mu(A)\leqslant \varepsilon$. We can assume that $\delta<\varepsilon$. Then $\mu(A)\leqslant |\mu(B)-\mu(A)|+\mu(B)\leqslant 2\varepsilon$.

So if for all $\varepsilon>0$, we have can find $\delta>0$ such that if $A\in\cal A$ satisfies $\nu(A)\leqslant 2\delta$ then $\mu(A)\leqslant \varepsilon$, the same holds replacing $\cal A$ by $\mathcal{B}(X)$.

The algebra generated by cylindrical subsets is countable.

Related Question