Given a σ-finite measure μ on a set X is it possible to formulate a topology on the space of functions f:X→R that gives convergence μ-almost everywhere?
I can't seem to find any way to write this and am suspecting that no such topology exists! Is this true? If so, is there some generalisation of a topological space where one can make sense of convergence without having open sets?
Any comments, references or tips would be greatly appreciated.
Answer
Given I understand you correctly (topologize almost everywhere convergence), we can show that this is not possible. If we have a topological space, then we have convergence of a sequence if and only if every subsequence has a further convergent subsequence and so on.
So pick a sequence that converges in measure but not almost everywhere. There is a theorem that states that every subsequence of this also converges in the same measure. So it has a subsequence that converges almost everywhere (by another theorem). But the original sequence does not converge almost everywhere so we cannot have convergence in a topology.
Should I add more detail?
No comments:
Post a Comment