Аксиоматика Колмогорова (теорвер)

[drzewo]

А входит ли в число аксиом предположение о полноте сигма-алгебры относительно меры?
Я знаю, что в явном виде вроде бы не входит, но часто такое предположение идет как само собой разумеющееся.

[dgwuqtj]

Не знаю насчёт теорвера, но вообще в теории меры полноту обычно не предполагают. Хотя бы потому что непрерывные функции не всегда измеримы относительно лебеговской сигма-алгебры. Мне кажется, для приложений обычно достаточно борелевских сигма-алгебр на польских пространствах (то есть сепарабельных полных метрических).