Definition:Measure Space
From ProofWiki
Definition
A measure space is a triple $\left({X, \Sigma, \mu}\right)$ where:
- $X$ is a set
- $\Sigma$ is a $\sigma$-algebra over $X$
- $\mu$ is a measure on $\Sigma$.
