ThmDex – An index of mathematical definitions, results, and 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 mass function
Definition D2872
Bernoulli probability mass function
Formulation 3
The Bernoulli probability mass function with parameter $\theta \in [0, 1]$ is the D4364: Real function \begin{equation} \{ 0, 1 \} \to \{ \theta, 1 - \theta \}, \quad n \mapsto \theta^n (1 - \theta)^{1 - n} \end{equation}
Children
▶ D2873: Binomial probability mass function