# Definition:Probability Density Function

This article is complete as far as it goes, but it could do with expansion.In particular: A simplified version in conventional languageYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Definition

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $X$ be an absolutely continuous random variable on $\struct {\Omega, \Sigma, \Pr}$.

Let $P_X$ be the probability distribution of $X$.

Let $\map \BB \R$ be the Borel $\sigma$-algebra of $\R$.

Let $\lambda$ be the Lebesgue measure on $\struct {\R, \map \BB \R}$.

We define the **probability density function** $f_X$ by:

- $\ds f_X = \frac {\d P_X} {\d \lambda}$

where $\dfrac {\d P_X} {\d \lambda}$ denotes the Radon-Nikodym derivative of $P_X$ with respect to $\lambda$.

### Naive Definition

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $X: \Omega \to \R$ be an absolutely continuous random variable on $\struct {\Omega, \Sigma, \Pr}$.

Let $F_X: \R \to \closedint 0 1$ be the cumulative distribution function of $X$.

Let $\SS$ be the set of points at which $F_X$ is differentiable.

We define:

- $\forall x \in \R: \map {f_X} x = \begin {cases} \map {F_X'} x & : x \in \SS \\ 0 & : x \notin \SS \end {cases}$

where $\map {F_X'} x$ denotes the derivative of $F_X$ at $x$.

## Also known as

**Probability density function** is often conveniently abbreviated as **p.d.f.** or **pdf**.

Sometimes it is also referred to as the **density function**.

## Also see

## Sources

- 1991: David Williams:
*Probability with Martingales*... (previous) ... (next): $6.12$: The 'elementary formula' for expectation - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next):**probability density function**