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
Binomial probability mass function