Loading [MathJax]/jax/output/CommonHTML/jax.js
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=(Ω,F,P) be a D1159: Probability space such that
(i) M=(Ξ,S) is a D1108: Measurable space
(ii) X1,,XN:ΩΞ are each a D202: Random variable from P to M
The empirical probability distribution measure with respect to X1,,XN is the D3650: Random probability measure Ω×S[0,1],(ω,S)1NNn=1I{XnS}(ω)
Children
D5680: Random real number empirical probability distribution measure