ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measurable map
Measurable function
Pre-kernel
Measure kernel
Random unsigned basic measure
Random probability measure
Definition D5236
Empirical probability distribution measure
Formulation 5
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space such that
(i) $M = (\Xi, \mathcal{S})$ is a D1108: Measurable space
(ii) $X_1, \ldots, X_N : \Omega \to \Xi$ are each a D202: Random variable from $P$ to $M$
The empirical probability distribution measure with respect to $X_1, \ldots, X_N$ is the D3650: Random probability measure \begin{equation} \Omega \times \mathcal{S} \to [0, 1], \quad (\omega, S) \mapsto \frac{1}{N} \sum_{n = 1}^N I_{\{ X_n \in S \}} (\omega) \end{equation}
Children
D5680: Random real number empirical probability distribution measure