Definition:Pointwise Multiplication on Space of Real-Valued Measurable Functions Identified by A.E. Equality
Jump to navigation
Jump to search
Definition
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$ be the $\mu$-almost-everywhere equality equivalence relation on $\map \MM {X, \Sigma, \R}$.
Let $\map \MM {X, \Sigma, \R} / \sim$ be the set of $\Sigma$-measurable functions identified by $\sim$.
We define pointwise multiplication $\cdot$ on $\map \MM {X, \Sigma,}/\sim$ by:
- $\eqclass f \sim \cdot \eqclass g \sim = \eqclass {f \cdot g} \sim$
where:
- $\eqclass f \sim, \eqclass g \sim \in \map \MM {X, \Sigma, \R} / \sim$
- $f \cdot g$ denotes the usual pointwise product of $f$ and $g$.