Definition:Pointwise Addition 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}/\sim_\mu$ be the space of real-valued measurable functions identified by $\mu$-A.E. equality.
We define pointwise addition $+$ on $\map \MM {X, \Sigma, \R} / \sim_\mu$ by:
- $\eqclass f {\sim_\mu} + \eqclass g {\sim_\mu} = \eqclass {f + g} {\sim_\mu}$
where:
- $\eqclass f {\sim_\mu}, \eqclass g {\sim_\mu} \in \map \MM {X, \Sigma, \R} / \sim_\mu$
- $f + g$ denotes the usual pointwise sum of $f$ and $g$.