Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Function
▾
Measure
▾
Real measure
▾
Euclidean real measure
▾
Complex measure
▾
Basic measure
▾
Unsigned basic measure
▾
Unsigned basic integral measure
▾
Radon-Nikodym derivative
▾
Probability density function
Exponential density function
Formulation 0
The
exponential density function
with parameter $\theta > 0$ is the
D4367: Unsigned real function
\begin{equation} \mathbb{R} \to [0, \infty), \quad x \mapsto \theta e^{- \theta x} I_{x \geq 0} \end{equation}