Category:Convergence Almost Everywhere

From ProofWiki
Jump to navigation Jump to search

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

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

Let $D \in \Sigma$.

Let $f: D \to \R$ be a $\Sigma$-measurable function.

Let $\sequence {f_n}_{n \mathop \in \N}$ be a sequence of $\Sigma$-measurable functions $f_n: D \to \R$.


Then $\sequence {f_n}_{n \mathop \in \N}$ is said to converge almost everywhere (or converge a.e.) on $D$ to $f$ if and only if:

$\map \mu {\set {x \in D : \sequence {\map {f_n} x}_{n \mathop \in \N} \text { does not converge to } \map f x} } = 0$

and we write $f_n \stackrel{a.e.} \to f$.

Pages in category "Convergence Almost Everywhere"

The following 2 pages are in this category, out of 2 total.