Category:Mean Value over Measure

This category contains results about Mean Value over Measure.
Definitions specific to this category can be found in Definitions/Mean Value over Measure.

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

Let $f$ be a $\mu$-integrable function on a domain $D$.

The mean value of $f$ on $D$ is defined as:

$\ds \frac 1 {\map \mu D} \int_D \map f \rd \mu$