Let $X$ be a real-valued random variable on $\mathbb R$, and $f:\mathbb R \to \mathbb R$ differentiable such that $f'(x)>0$ for all $x \in \mathbb R$. Let $Y := f(X)$. Let $\mu_X, \mu_Y$ be the distributions of $X, Y$ respectively. Then $\mu_Y = f_{\sharp} \mu_X$. Let $F_X, F_Y$ be the c.d.f. of $X, Y$ respectively. At page $14$ of this lecture note, the author said that
Theorem: If $\mu_X$ is absolutely continuous w.r.t. Lesbesgue measure $\lambda$, then so is $\mu_Y$
My attempt: Clearly, we have $F_Y (t) = F_X \circ f^{-1} (t)$. Let $A$ be a Borel set such that $\lambda(A) = 0$. Because $\mu_X \ll \lambda$, we get $\mu_X (A) =0$. We have $\mu_Y (A) = \mu_X(f^{-1} (A))$. It suffices to prove $f^{-1} (A)$ is a $\lambda$-null set.
Could you shed some light on how to finish the proof?
Update: I have found a related result here. However, it requires $f$ to be continuously differentiable, i.e., if $f\in C^1$ and $\{f' = 0\}$ is $\lambda$-null then $f^{-1} (A)$ is also $\lambda$-null.
Best Answer
I formulate @Masacroso's idea as follows. First, we need 3 lemmas.
Lemma 1: If $g:\mathbb R \to \mathbb R$ is monotone and differentiable, then $g$ is absolutely continuous (a.c.).
Lemma 2: Let $F:\mathbb R \to \mathbb R$ and $g:\mathbb R \to \mathbb R$ be both a.c. where $g$ is (not necessarily strictly) monotone. Then $F \circ f : \mathbb R \to \mathbb R$ is a.c.
Lemma 3: A finite measure $\mu$ on Borel subsets of $\mathbb R$ is a.c. w.r.t. Lebesgue measure if and only if the associated function $F(x) := \mu((-\infty, x])$ is a.c.
Clearly, $f^{-1}$ is monotone, and differentiable by inverse function theorem, then $f^{-1}$ is a.c. by Lemma 1. By Lemma 3, $F_X$ is a.c. By Lemma 2, $F_Y = F_X \circ f^{-1}$ is a.c. Then $\mu_Y$ is a.c. by Lemma 3.
Update: I use the following version of inverse function theorem (IFT) (at page 306 of Amann's Analysis I), i.e.,
To use IFT we need to prove that $f^{-1}$ is continuous. However, this follows from invariance of domain theorem.