Definition:Almost-Everywhere Equality Relation/Lebesgue Space/Definition 1
Jump to navigation
Jump to search
Definition
Let $\struct {X, \Sigma, \mu}$ be a measure space, and let $p \in \closedint 1 \infty$.
Let $\map {\LL^p} {X, \Sigma, \mu}$ be the Lebesgue $p$-space of $\struct {X, \Sigma, \mu}$.
We define the $\mu$-almost-everywhere equality relation $\sim_\mu$ on $\map {\LL^p} {X, \Sigma, \mu}$ by:
- $f \sim_\mu g$ if and only if $\norm {f - g}_p = 0$
where $\norm {\, \cdot \,}_p$ is the $p$-seminorm.
From Almost-Everywhere Equality Relation for Lebesgue Space is Equivalence Relation, $\sim_\mu$ is shown to be an equivalence relation.