Definition:Almost-Everywhere Equality Relation

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

Let $\map {\mathcal M} {X, \Sigma}$ be the set of $\Sigma$-measurable functions on $X$.

We define the almost-everywhere equality relation $\sim$ on $\map {\mathcal M} {X, \Sigma}$ by:


 * $f \sim g$ $\map f x = \map g x$ for $\mu$-almost all $x \in X$.

That is:


 * $\map \mu {\set {x \in X : \map f x \ne \map g x} } = 0$

Also see

 * Almost-Everywhere Equality Relation is Equivalence Relation