Category:Almost-Everywhere Equality Relation

This category contains results about Almost-Everywhere Equality Relation.
Definitions specific to this category can be found in Definitions/Almost-Everywhere Equality Relation.

Measurable Functions

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

Real-Valued Functions

Let $\map {\mathcal M} {X, \Sigma, \R}$ be the real-valued $\Sigma$-measurable functions on $X$.

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

$f \sim_\mu g$ if and only if $\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$

Extended Real-Valued Functions

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

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

$f \sim_\mu g$ if and only if $\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$

Lebesgue Space

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}$.

Definition 1

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.

Definition 2

We define the $\mu$-almost-everywhere equality relation $\sim$ on $\map {\LL^p} {X, \Sigma, \mu}$ by:

$f \sim_\mu g$ if and only if $\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$