The Azimuth Project
Probability space



A probability space consists of the following data:

A random variable is a function XX from the sample space S into a range space VV, which is measurable, which means: there is a σ\sigma-algebra of subsets of VV, and the inverse image of every such subset under the function XX is an event in AA.