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