Как минимум, можно доказать вот это (не совсем строгая формулировка): На множестве измеримых (относительно меры Лебега) функций, заданных на множестве конечной ненулевой меры в

, сходимость почти всюду не задаётся никакой топологией, т.е. не существует топологии сходимость в которой совпадает со сходимостью почти всюду.
(Кстати, доказательство очень простое.)