0
$\begingroup$

Consider a probability space $(\Omega,\Sigma,P)$.

We say that a real random variable $X\colon \Omega \to \mathbb{R}$ is absolutely continuous when there exists a function $f_X\colon \mathbb{R} \to [0,+\infty)$ such that $\mu_X((-\infty,x])=\int_{-\infty}^x f_X(t)\,\text{d}t$ for all $x \in \mathbb{R}$, where $\mu_X\colon \mathcal{B}(\mathbb{R}) \to [0,1] \mid \mu_X(A)=P(X \in A)$, namely $\mu_X$ is the Borel pushforward measure (or image measure) of $X$. $f_X$ is said to be the probability density function (PDF) of $X$.

$ $

Now consider Radon-Nikodym derivative:

Consider the measure space $(\mathbb{R},\mathcal{B}(\mathbb{R}),\mu_X)$. The Radon-Nikodym derivative $\frac{\text{d}\mu_X}{\text{d}\lambda}$ is a measurable function $f\colon \mathbb{R} \to [0,+\infty)$ such that for all $A \in \mathcal{B}(\mathbb{R}) \quad \mu_X(A)=\int_A f\,\text{d}\lambda$ where $\lambda$ is the Lebesgue measure.

$ $

So my question: is it true that $f_X=f$?

I have foound on wikipedia that: "The probability density function of a random variable is the Radon–Nikodym derivative of the induced measure with respect to some base measure (usually the Lebesgue measure for continuous random variables)". So I suppose that the answer to my question is "yes".

$ $

We know that $\forall \,x \in \mathbb{R} \quad \mu_X((-\infty,x])=\int_{-\infty}^x f_X(t)\,\text{d}t=\int_{(-\infty,x]} f_X\,\text{d}\lambda$, where obviously $(-\infty,x] \in \mathcal{B}(\mathbb{R})$. In order to show that $f_X=f$ we should prove that the above relation holds for every $A \in \mathcal{B}(\mathbb{R})$.

Thank you for your time!

$\endgroup$
1
$\begingroup$

The answer to your question is yes.

If $f:\mathbb R\to\mathbb R$ is a nonnegative measurable map such that $\int_{\mathbb R}f(x)\,dx=1$, then there exists a unique probability measure $\mu$ on $\mathcal B(\mathbb R)$ such that for all $x\in\mathbb R$, $\mu((-\infty,x])=\int_{-\infty}^xf(t)\,dt$. This is the very well known fact that the cumulative distribution function characterises a probability measure. So this measure $\mu$ is the one defined for all $A\in\mathcal B(\mathbb R)$ by $\mu(A)=\int_Af(x)\,dx$. We deduce that a real-valued random variable $X$ is absolutely continuous iff its distribution $\mu_X$ is absolutely continuous with respect to the Lebesgue measure $\lambda$, in which case $X$ admits the probability density function $f_X=\frac{d\mu_X}{d\lambda}$.

You could also check that if $X:\Omega\to\mathbb N$ is a discrete random variable, then the distribution $\mu_X$ of $X$ admits a density with respect to the counting measure $\nu=\sum_{n\in\mathbb N}\delta_n$. More precisely, the density $\frac{d\mu_X}{d\nu}=f_X:\mathbb N\to\mathbb R$ is defined for all $n\in\mathbb N$ by $f(n)=\mathbb P(X=n)$. Indeed we have for any $A\subset\mathbb N$ and measurable bounded map $h:\mathbb N\to\mathbb R$ that $$ \mathbb E[h(X)]=\sum_{n\in\mathbb N}h(n)\mathbb P(X=n)=\int_{\mathbb N}h(n)f_X(n)\,\nu(dn). $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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