Category:Space of Real-Valued Measurable Functions Identified by A.E. Equality

From ProofWiki
Jump to navigation Jump to search

This category contains results about Space of Real-Valued Measurable Functions Identified by A.E. Equality.
Definitions specific to this category can be found in Definitions/Space of Real-Valued Measurable Functions Identified by A.E. Equality.

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

Let $\map \MM {X, \Sigma, \R}$ be the set of real-valued $\Sigma$-measurable functions on $X$.

Let $\sim_\mu$ be the almost-everywhere equality relation on $\map \MM {X, \Sigma, \R}$ with respect to $\mu$.


We define the space of real-valued measurable functions identified by $\mu$-A.E. equality as the quotient set:

\(\ds \map \MM {X, \Sigma, \R}/\sim_\mu\) \(=\) \(\ds \set {\eqclass f {\sim_\mu} : f \in \map \MM {X, \Sigma, \R} }\)