There exists no topology on the set of Lebesgue-measurable functions such that a sequence is convergent in that topology if and only if it is convergent almost everywhere (i.e. everywhere except for a set of Lebesgue measure zero). That's because if all the sequences which converge almost everywhere are convergent in some topology, then all the sequences which are convergent in measure will also convergent in that topology?
My question is, does there exist a topology on the set of measurable functions such that a net is convergent in that topology if and only if it is convergent almost everywhere? Or does nothing change if you replace sequences with nets?
Best Answer
Suppose such a topology $\tau$ exists. In particular, since a sequence is a net, it will give $f_n\to f$ a.e. if and only if $f_n\to f$ in $\tau$. But now the same contradiction arise: picking $f_n\to 0$ in measure but not a.e. then there exists $U\in\tau$ containing $0$ such that $f_n\notin U$ for infinitely many $n$, i.e., we have a subsequence $f_{n_j}$ living entirely outside $U$ but converges to $0$ in measure. So we cannot extract a subsubsequence converging to 0 in the topology $\tau$, contradiction.