<?xml version="1.0" encoding="UTF-8"?>

<record version="9" id="3450">
 <title>density function</title>
 <name>DensityFunction</name>
 <created>2002-09-11 21:59:15</created>
 <modified>2005-02-21 16:08:34</modified>
 <type>Definition</type>
 <creator id="3" name="drini"/>
 <author id="8353" name="dw"/>
 <author id="3" name="drini"/>
 <classification>
	<category scheme="msc" code="60E05"/>
 </classification>
 <synonyms>
	<synonym concept="density function" alias="probability function"/>
	<synonym concept="density function" alias="density"/>
	<synonym concept="density function" alias="probabilities function"/>
 </synonyms>
 <related>
	<object name="DistributionFunction"/>
	<object name="CumulativeDistributionFunction"/>
	<object name="RandomVariable"/>
	<object name="Distribution"/>
	<object name="GeometricDistribution2"/>
 </related>
 <preamble>\usepackage{graphicx}
\usepackage{amsmath}
%\usepackage{xypic} 
\usepackage{bbm}
\newcommand{\Z}{\mathbbmss{Z}}
\newcommand{\C}{\mathbbmss{C}}
\newcommand{\R}{\mathbbmss{R}}
\newcommand{\Q}{\mathbbmss{Q}}
\newcommand{\mathbb}[1]{\mathbbmss{#1}}
\newcommand{\figura}[1]{\begin{center}\includegraphics{#1}\end{center}}
\newcommand{\figuraex}[2]{\begin{center}\includegraphics[#2]{#1}\end{center}}</preamble>
 <content>Let $X$ be a discrete random variable with sample space $\{x_1,x_2,\ldots\}$.
Let $p_k$ be the probability of $X$ taking the value $x_k$.

The function
$$
f(x)=\
\begin{cases}
p_k &amp; \text{if }x=x_k\\
0 &amp; \text{otherwise}
\end{cases}
$$
is called the \emph{probability function} or \emph{density function}.

It must hold:
$$\sum_{j=1}^{\infty} f(x_j)=1$$

If the density function for a random variable is known, we can calculate the probability of $X$ being on certain interval:
$$P[a&lt;X\leq b] = \sum_{a&lt;x_j\leq b}f(x_j) = \sum_{a&lt;x_j\leq b}p_j.$$

The definition can be extended to continuous random variables in a direct way: The probability of $x$ being on a given interval is calculated with an integral instead of using a summation:
$$P[a&lt;X\leq b] = \int_a^b f(x) dx.$$

For a more formal approach using measure theory, look at probability distribution function entry.</content>
</record>
