Category:Restricted Measures

This category contains results about restricted measures.

Let $\struct {X, \Sigma, \mu}$ be a measure space.

Let $\Sigma'$ be a sub-$\sigma$-algebra of $\Sigma$.

Then the restricted measure on $\Sigma'$ or the restriction of $\mu$ to $\Sigma'$ is the mapping $\nu: \Sigma' \to \overline \R$ defined by:

$\forall E' \in \Sigma': \map \nu {E'} = \map \mu {E'}$

That is, $\nu$ is the restriction $\mu \restriction_{\Sigma'}$.