Me he atascado en la siguiente pregunta y me preguntaba si sería posible obtener ayuda.
Sea $\mu, \nu$ sean dos medidas finitas de Borel sobre un espacio métrico $X$ s.t. $\mu << \nu$ y que $c>0$ y supongamos que $\nu$ se está duplicando y que $$\lim_{r \to 0} \frac{\mu(B_r(x))}{\nu(B_r(x))} = c$$ para $\nu$ casi todos $x\in X$ . Utilizando el teorema de cobertura de Vitali para demostrar que $\mu = c\nu$ . (Suponemos que las bolas están cerradas)
He sido capaz de demostrar esto usando Radon-Nikodym combinado con el teorema de diferenciación de Lebesgue pero deseo demostrarlo únicamente usando el teorema de cobertura de Vital pero no he tenido éxito ni siquiera en encontrar una cobertura de Vitali apropiada.
Teorema (Teorema de cobertura de Vitali)
Sea X un espacio métrico y sea $\nu$ sea una medida de duplicación en $X$ y que $\mathcal{B}$ sea una cubierta de Vitali para $S \subset X$ entonces existe un $\mathcal{B}' \subset \mathcal{B}$ tal que todos los elementos de $\mathcal{B}'$ son disjuntos y $$\nu \bigg(S \setminus \bigcup_{B' \in \mathcal{B}'}B'\bigg)=0$$
Definición (Portada de Vitali)
Sea $S \subset X$ entonces $\mathcal{B}$ una colección de bolas cerradas tal que $\forall \epsilon >0 , \forall x \in S$ existe $B \in \mathcal{B}$ tal que $x \in B$ y $\rm{rad}(B) < \epsilon$ entonces llamamos a $\mathcal{B}$ una funda Vitali para S.
Muchas gracias.