This is an old revision of the document!
Measure space
Definition
| $X $ |
| $ \langle X,\Sigma,\mu\rangle\in \mathrm{MeasureSpace}(X) $ |
| $ \Sigma \in \mathrm{SigmaAlgebra}(X) $ |
| $ \mu\in \mathrm{Measure}(\Sigma) $ |
Discussion
A measure space is a measurable space together with a fixed measure.
Reference
Wikipedia: Measure
Parents
Equivalent to
Requirements
